Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data

 
Books on Amazon
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




> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-27