Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Thiel, Christian
 
Books on Amazon
Incompleteness Thiel I 222
Unvollständigkeit/Thiel: Unvollständigkeit taucht immer wieder auf. In den logischen Regeln erscheinen weder alle beim Schließen tatsächlich vorgenommenen Operationen noch sind die Voraussetzungen dieser Operationen formalisiert.
Bsp Die Reihenfolge der Prämissen einer Regel wird als unwesentlich angesehen, z. B. wird die Abtrennungsregel auch mit vertauschten Prämissen formuliert.
I 223
Die seit Frege üblichen Axiomensysteme der klassischen Junktorenlogik sind vollständig.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995




back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-25