Philosophie Lexikon der Argumente

Screenshot Tabelle Begriffe



 
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 T. Natürliches Schließen   Geach, Peter T.
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   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  



Hg. Martin Schulz, Abfragedatum 21.11.2017