Philosophie Lexikon der Argumente

Suche  
 
Natürliches Schließen, Logik: Kalkül von Gerhard Gentzen (Gentzen, Untersuchungen über das logische Schließen. In Mathematische Zeitschrift Band 39, 1935, S. 176–210, 405–431), der weitgehend ohne Axiome auskommt und stattdessen mit Einführungs- und Eliminationsregeln für die verwendeten Operatoren arbeitet. Annahmen, die im Verlauf gebraucht werden, können zum Teil später eliminiert werden. Siehe auch Axiomatisierung, Axiomensysteme, Axiome, Inferenz.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 143
Kalkül des natürlichen Schließens/Gentzen/Geach: hier gibt es "mögliche Namen" (>Existenzeinführung) - aber nicht Quantifikation über sie. - GeachVsQuine: so kann er Namen nicht mehr als "verdeckte Kennzeichnungen" auffassen.

Gea I
P.T. Geach
Logic Matters Oxford 1972

> Gegenargumente gegen Geach



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 28.05.2017