Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Bigelow, John
 
Bücher bei Amazon
Vollständigkeit I 134
Vollständigkeit/Bigelow/Pargetter: liegt vor, wenn unsere explizite Semantik alle und nur die extrovertiert behaupteten Theoreme garantiert. D.h. unsere Semantik liest nichts in unsere Sprache hinein, was nicht schon da ist.
Def „extrovertierte Axiomatik“/Terminologie/Bigelow/Pargetter: eine Axiomatik, die in einer schon existierenden Sprache entwickelt wird.
I 135
Vollständigkeit/Korrespondenztheorie/Bigelow/Pargetter: die Existenz von Vollständigkeitsbeweisen liefert eine Art Korrespondenztheorie.
Vollständigkeit: besteht für uns darin, dass wir zeigen können, dass alle Sätze, die nach unserer Semantik wahr sind in allen möglichen Welten, abgeleitet werden können.
I 137
Def Vollständigkeitstheorem/Bigelow/Pargetter: ist ein Theorem, das beweist, dass, wenn ein Satz in einer bestimmten Semantik garantiert wahr ist, dieser Satz als Theorem bewiesen werden kann. Wie können wir das beweisen? Wie können wir beweisen, dass jeder solche Satz ein Theorem ist?
Lösung: wir beweisen die Kontraposition des Satzes: Statt:
Wenn a garantiert wahr ist in der Semantik, ist a ein Theorem
beweisen wir
Wenn a kein Theorem ist, ist er nicht garantiert wahr in der Semantik.
Das beweisen wir, indem wir eine Interpretation finden, nach der er falsch ist.

Big I
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990

> Gegenargumente gegen Bigelow



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