Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Mates, Benson
 
Bücher bei Amazon
Widerspruchs- Freiheit I 234
Widerspruchsfreiheit/WSF/Mates: kann zweifach verifiziert werden:
a) semantisch: indem man eine Interpretation angibt, bei der alle Axiome wahr sind
b) syntaktisch: indem man, ohne sich auf eine Interpretation zu beziehen, zeigt, dass es keine Aussage φ gibt, derart, dass sowohl φ als auch ~φ aus den Axiomen ableitbar ist.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Gegenargumente gegen Mates



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 24.03.2017