IV 49
Gegenstück/Lewis: Es gibt keine mögliche Welt, in der ich ein Basilisk hätte sein können. Gegenstücke müssen den Originalen ausreichend in wichtigen Hinsichten ähneln. Die Gegenstück-Relation GR ist niemals Identität. >
Gegenstücktheorie/Lewis.
IV 29
Gegenstück/Modallogik/Lewis: Die Theorie der Gegenstücke (GT) und die Modallogik mit Quantifikation (qML) sind wechselseitig ineinander übersetzbar.
Die Gegenstücktheorie hat mindestens drei Vorteile gegenüber der Modallogik mit Quantifikation:
1. Sie hat keine spezielle intensionale Logik.
2. Sie ist nicht so obskur (opak?).
a) Unsicherheit über Analytizität und infolgedessen
b) Unsicherheit, welche Beschreibungen mögliche Welten beschreiben. (Welche Welten unmöglich sind).
c) Welche Dinge sind Gegenstücke wovon?
3. Wenn unser Übersetzungsschema korrekt ist, dann hat jeder Satz der Modallogik mit Quantifikation dieselbe Bedeutung wie der entsprechende in der Gegenstücktheorie.
Aber nicht umgekehrt! Nicht jeder Satz der Gegenstücktheorie ist die Übersetzung oder ist äquivalent mit irgendeinem Satz der Modallogik mit Quantifikation.
((s) Asymmetrie: Also beinhaltet die Gegenstücktheorie die Modallogik mit Quantifikation und zusätzliche Sätze, die nicht übersetzt werden können. Also ist die Gegenstücktheorie reicher).
IV 35
Wesen/Gegenstück/Lewis: Wesen und Gegenstück sind durcheinander definierbar.
Wesen: Das Wesen von etwas ist das Attribut, das etwas mit allen und nur seinen Gegenstücken teilt.
Def Gegenstück/Lewis: Gegenstück von etwas ist alles, was das wesentliche Attribut von ihm hat.
Das heißt nicht, dass das Attribut das Wesen des Gegenstücks ist! Es muss noch nicht einmal ein wesentliches Attribut des Gegenstücks sein. ((s) Wesen ist nicht transitiv über Welten.) >
Gegenstücktheorie/Plantinga.
