I 140
Identität/Bigelow/Pargetter: Identität fassen wir hier als 2-stelliges Prädikat auf dazu müssen wir die Sprache nicht erweitern.
I 141
Axiome:
A19. (x)(x = x)
A20. (a u ~a (σ/λ) > σ ≠ λ)
Alltagssprachliche Übersetzung: Wenn etwas wahr ist von etwas und nicht wahr ist von etwas, dann können diese beiden Dinge nicht identisch sein.
I 141
Kontingente Identität/Bigelow/Pargetter: Diese beiden Axiome haben eine überraschende Konsequenz: nämlich dass alle Identität notwendig ist.
Vgl. >
Identität/Kripke.
Es gibt dann keine kontingente Identität. Auch Nichtidentität ist dann notwendig. D.h. folgendes kann als Theoreme bewiesen werden:
NI. (x = y) > N(x = y)
NNI. (x ≠ y) > N(x ≠ y)
Semantische Regel: bewirkt dann, dass eine Identitätsaussage wahr in allen Welten ist oder wahr in keiner.
>
Mögliche Welten, >
Notwendigkeit, >
Wahrheit.
Bewertungsregel/Identität/Bigelow/Pargetter: V(=) (c, c) = W
W: ist die Menge aller möglichen Welten.
Identitätsaussagen/Bigelow/Pargetter: Identitätsaussagen sind dann entweder notwendig oder unmöglich.
Das ist überraschend und zeigt eine weitere Illustration des Zusammenspiels zwischen Semantik und Ontologie.
>
Semantik, >
Ontologie.
Ontologie/Bigelow/Pargetter: Ontologie ist das, was uns von einer stromlinienförmigen und plausiblen Semantik nahegelegt wird.
Identität/Wissenschaft/Bigelow/Pargetter: In der Geschichte der Wissenschaft gab es oft Entdeckungen, die uns gezeigt haben, dass Dinge, die wir für verschieden gehalten hatten, identisch sind.
Vgl. >
Natürliche Arten/Putnam, >
Fortschritt, >
Wissenschaft, >
Wissen.
I 143
Nun solle man meinen, dass dies kontingente Identitäten sind.
>
Kontingenz.
Kontingente Identität/Semantik/Bigelow/Pargetter: Wenn ihnen kontingente Identität gefällt, müssten sie die Semantik ändern. Und das ist nicht schwer:
Def Verschiedenheit/neu: Statt zu sagen, dass zwei Dinge verschieden sind, wenn etwas wahr von dem einen aber nicht wahr von dem andere ist, könnten wir sagen, dass etwas nichtmodales wahr ist vom einen, aber nicht vom anderen.
>Vgl. >
Leibniz-Prinzip, >
Verschiedenheit, >
Ununterscheidbarkeit, >
Unterscheidungen.
Das bringt einige neue Systeme hervor.
Interessant ist, dass einige dieser Systeme NNI verifizieren, während sie weiterhin NI falsifizieren. (s.o.)
Bsp Es ist schwieriger zu erlauben, dass New York und Miami ein und dieselbe Stadt sind als zu erlauben, dass Miami zwei Städte sind.
Notwendige Identität/BigelowVskontingente Identität/Bigelow/Pargetter: Wir sollten die Semantik entscheiden lassen und sagen, dass es einfach keine kontingente Identität gibt.
Kontingente Identität/Bigelow/Pargetter: Anstatt die Semantik zu ändern, um sie doch zuzulassen sollten wir lieber erklären, warum es sie zu geben scheint: Bsp
Theorie der Kennzeichnungen/Russell/Bigelow/Pargetter: Russels Theorie der Kennzeichnungen liefert ein Mittel, um kontingent mit notwendigen Identitäten zu versöhnen: Behauptungen der Form
Das F = das G
können als kontingent analysiert werden, indem man sagt, dass die Eigenschaften F und G kontingenterweise von einem einzigen Ding ko-instantiiert werden. Das ist immer noch mit notwendiger Selbstidentität vereinbar.
>
Theorie der Kennzeichnungen/Russell, >
Kennzeichnungen.
Bigelow/Pargetter: Durch Kennzeichnungen sind die meisten kontingenten Identitäten wegerklärt worden.
I 144
Introvertierter Realismus/Bigelow/Pargetter: Der introvertierte Realismus, das zeigt sich hier, kann den extrovertierten verstärken, aus dem er entsprang.
>
Realismus/Bigelow, >
Realismus.
