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 201
natürliches Schließen/Quantorenlogik: nur bestimmte Kennzeichnungen, Individuenkonstanten nur als Abkürzungen für bestimmten individuellen Terminus, nicht als Variable aufgefasst.

We I
H. Wessel
Logik Berlin 1999

> Gegenargumente gegen Wessel



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