Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
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.
>
Semantik/Bigelow.
Def „extrovertierte Axiomatik“/Terminologie/Bigelow/Pargetter: Eine Axiomatik, die in einer schon existierenden Sprache entwickelt wird.
>
Axiome, >
Axiomensysteme.
I 135
Vollständigkeit/Korrespondenztheorie/Bigelow/Pargetter: Die Existenz von Vollständigkeitsbeweisen liefert eine Art Korrespondenztheorie.
>Korrespondenztheorie, >
Beweise, >
Beweisbarkeit.
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.
>
Ableitung, >
Ableitbarkeit, >
Mögliche Welten.
I 137
Def Vollständigkeitstheorem/Bigelow/Pargetter: Das Vollständigkeitstheorem 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.
>
Falsifikation, >
Verifikation, >
Verifizierbarkeit.