Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe



 Natürliches Schließen - Philosophie Lexikon der Argumente
 
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.
_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff    Weitere Begriffe zu Autor
Geach, Peter Natürliches Schließen   Geach, Peter
Wessel, H. Natürliches Schließen   Wessel, H.

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z