IV 78
Ramsey-Satz/Lewis: Der Ramsey-Satz eliminiert theoretische Termini (TT) zugunsten gebundener Variablen.
>
Theoretischer Term, >
Gebundene Variable.
Der Carnap-Konditional teilt dann die Theorie in zwei Teile:
a) analytischer Teil der Theorie: partielle Interpretation der theoretischen Termini,
b) synthetischer Teil: hier sind die theoretischen Termini eliminiert.
>
Carnap-Konditional.
IV 81
Ramsey-Satz/Lewis: Der Ramsey-Satz sagt nichts anderes, als dass die Theorie realisiert ist.
Der Carnap-Satz ist neutral dazu, ob sie realisiert ist.
Carnap-Satz: ist ein Konditional des Ramsey-Satzes und des Postulats der Theorie.
1. Das Postulat: ist logisch äquivalent der Konjunktion des Ramsey- und das Carnap-Satzes.
2. Der Ramsey-Satz und das Postulat implizieren genau dieselben Sätze in alter Theorie.
3. Der Carnap-Satz impliziert keine Sätze der alten Theorie außer logischen Wahrheiten.
Ein Ramsey-Satz könnte das Postulat (die neue Theorie in einem Satz) einfach ersetzen.
Carnap: schlägt vor, den Ramsey-Satz als synthetisches Postulat von T und den Carnap-Satz als analytisches Postulat von T zu nehmen. Sie teilen sich die Arbeit das ursprünglichen Postulats.
Postulat/Carnap: Ein Postulat systematisierte die O-Sätze (alte Theorie) und interpretierte partiell die theoretischen Termini.
IV 89
Ramsey-Satz/Lewis: Der Ramsey-Satz besagt, dass eine Theorie wenigstens eine Realisierung hat. Das ist schwächer als unser "erweitertes Postulat".
"Erweitertes Postulat"/Lewis: Dieses besagt, dass die Theorie einmalig realisiert ist.
IV 259
Ramsey-Satz/Lewis: Der Ramsey-Satz tilgt den Unterschied zwischen intensionaler und extensionaler Sprache.
>
Extension, >
Intension, >
Existenzquantifikation.
Gleichzeitig eliminiert er technisches Vokabular durch Existenzquantifikation, auch genannt "Ramsifikation".
Neutrale Ebene: Es gibt ein System von Kategorien, S, N, X/Y, es gibt drei Relationen von Ausdrücken zu Dingen: "A-tension", "B-tension" und "C-tension".
---
Schwarz I 218
Ramsey-Satz/Lewis/Schwarz: Bsp Bananen-Theorie: "Es gibt Dinge, die längliche, gelbe Früchte sind". Dies kann sich als falsch herausstellen.
Carnap-Konditional: Wenn es Dinge gibt, die längliche..., dann sind Bananen längliche..." - kann sich nicht als falsch herausstellen (ist analytisch).
>
Analytisch/synthetisch.