I 34
Theorie muss nicht auf Absicht beruhen, wurde in der Vergangenheit verinnerlicht.
I 56
QuineVsVerifikation: sinnlos, einen Satz innerhalb mit einem außerhalb der Theorie gleichzusetzen - Intertheoretisch keine Bedeutung - keine Zusätze mit "oder" (> Goodman, Davidson,"
gefälschte Theorien"), >
Zusatzhypothesen, >
Verifikation.
I 57
Wir behalten unsere Überzeugungen bei der Theoriebildung zunächst noch bei.
I 74
Theorie: Carnap: Termini - Quine: Sätze.
I 393
Theorie: nur Prädikation, Allquantifikation, Wahrheitsfunktion (für abgeleitete Merkmale) - allgemeine Termini (für primäre Merkmale) - (kein "weil").
I 429
Theorie: isolierte Systeme, Massenpunkt, infinitesimale Größe: Verhalten jeweils typischer, je näher man an Null kommt, daher akzeptabel - aber nicht in Ontologie zugelassen - im Gegensatz zu geometrische Gegenstände: Position von Massenpunkten hatte keinen Sinn - daher nicht individuierbar! Keine Identität! >
Äquivalenz: siehe auch Quine,Wort und Gegenstand § 52, 1960
(1).
I 431
Paraphrase (keine Synonymie): man könnte Newton relativistisch umformulieren. - Das wäre wie in der Kirche: "in höherem Sinne wahr". - Quine: manchmal ist das akzeptabel.
I 432
Theorie: Struktur von Bedeutung, nicht die Wahl der Gegenstände! (Ramsey,Russell).
Quine: neu: auch bei physikalischen Gegenständen: die sind nämlich auch theoretisch!
Begründung: Sätze sind semantisch primär! >
Frege-Prinzip.
1. Quine, W. V. (1960). Word and Object. MIT Press
- - -
II 45
Äquivalenz von Theorien: wird entdeckt, wenn man die Möglichkeit einer Uminterpretation entdeckt - beide wahr - aber unter Umständen logisch unvereinbar!
- - -
VI 134
Theorie/empirisch äquivalent/logisch äquivalent/Quine: zwei Theorien können logisch unverträglich und dennoch empirisch äquivalent sein. Bsp Riemannsche/Euklidische Geometrie.
Fall 1: auch untransformierbare Theorien (in gleicher Terminologie, wobei jede gewisse Sätze impliziert, die die andere nicht impliziert) sind empirisch äquivalent - kein Problem.
Fall 2: zusätzliche theoretische Termini
Fall 3: logisch unverträglich.
Davidson: lässt sich auf Fall 2 zurückführen - weil strittige Sätze von theoretischen Termini abhängig, die eben nicht empirisch sind - daher immer noch empirisch äquivalent.
Lösung: fraglicher theoretischer Term in zwei Schreibweisen (je Theorie) - damit werden sie logisch verträglich.
VI 136
Empirisch äquivalent/logisch unverträglich/Theorie/Quine: Fall 2: (Theorie für globale Welten, ohne Kontexteinbettung).
Lösung. exotischer Termini (ohne Vorhersagekraft) eliminieren.
Pointe: dann geht es um Kohärenz (sonst QuineVsKohärenztheorie).
Elimination: ist gerechtfertigt dadurch, dass wir außer unseren eigenen Theorie keinen Zugang zur Wahrheit haben
VI 139
Empirisch äquivalent/logisch unverträglich/Theorie/Quine: Variante/Davidson: beide Theorien gelten, W-Prädikat: in umfassender, neutraler Sprache.
>
Metasprache,
QuineVsDavidson: wie viel weiter sollen sich dann die Variablen erstrecken? - wir brauchen Einhalt, weil wir keine dritte Theorie wollen.
Bsp "Alles könnte anders sein"/Pointe: die beiden System beschreiben auf jeden Fall dieselbe Welt - rein verbale Frage.
- - -
XII 70
Theorieform/Quine: nach Abstraktion der Bedeutungen des nicht-logischen Vokabulars und vom Wertebereich der Variablen - Reinterpretation der Theorieform liefert Modelle.
>
Reinterpretation, >
Modelle, >
Abstraktion.
