Featured image of post Wenn es wie Wasser aussieht und wirkt, ist es bei anderer Chemie kein ‚Wasser‘? Das Zwillingserde-Gedankenexperiment und der semantische Externalismus

Wenn es wie Wasser aussieht und wirkt, ist es bei anderer Chemie kein ‚Wasser‘? Das Zwillingserde-Gedankenexperiment und der semantische Externalismus

Eine fundierte philosophische Analyse von Freges Sinn und Bedeutung sowie Russells Kennzeichnungstheorie über Kripkes starre Designatoren in ‚Name und Notwendigkeit‘, Putnams Zwillingserde-Gedankenexperiment (H2O vs. XYZ) und Burges sozialen Externalismus bis hin zum Symbol-Grounding-Problem moderner Large Language Models.

1. Einleitung: Wo befindet sich die „Bedeutung“ eines Wortes?

Wenn wir im Alltag Wörter wie „Wasser“, „Gold“ oder „Aristoteles“ aussprechen, wie gelingt es diesen Lautfolgen oder Schriftzeichen, über unser Bewusstsein hinauszuweisen und sich präzise auf bestimmte Substanzen oder historische Personen in der physischen Welt zu beziehen?

Seit John Lockes These im 17. Jahrhundert, dass Wörter Zeichen für „Ideen im Geist des Sprechers“ seien, bis hin zur analytischen Philosophie des frühen 20. Jahrhunderts bei Gottlob Frege, Bertrand Russell, Rudolf Carnap und John Searle herrschte in der Sprachphilosophie ein scheinbar unerschütterlicher Konsens: der semantische Internalismus und der Deskriptivismus. Demnach besteht das Verstehen der Bedeutung (Intension) eines Wortes darin, im eigenen Kopf (Gehirn oder Bewusstsein) einen bestimmten Begriff oder eine Liste identifizierender Beschreibungen zu speichern; und dieser mentale Begriff legt eindeutig fest, welche Gegenstände in der Außenwelt unter das Wort fallen (seine Extension oder Referenz).

In den frühen 1970er Jahren brachten jedoch zwei bahnbrechende Werke dieses klassische Gebäude zum Einsturz: Saul Kripkes Vorlesungen Name und Notwendigkeit (Naming and Necessity, 1972/1980) und Hilary Putnams berühmter Aufsatz „Die Bedeutung von ‚Bedeutung‘“ (The Meaning of “Meaning”, 1975).

Mit seinem berühmten Zwillingserde-Gedankenexperiment (Twin Earth: $\text{H}_2\text{O}$ vs. $\text{XYZ}$) bewies Putnam: Im Jahr 1750 (vor der Entdeckung der modernen Chemie) können ein Sprecher auf der Erde (Oscar) und sein exaktes, Molekül für Molekül identisches Doppelgänger-Pendant auf der Zwillingserde (Zwillings-Oscar) in 100 % identischen engen psychologischen und neuronalen Zuständen sein – und dennoch bezieht sich ihr Wort „Wasser“ auf völlig unterschiedliche chemische Substanzen ($\text{H}_2\text{O}$ bzw. $\text{XYZ}$) und hat somit eine unterschiedliche Bedeutung! Putnam fasste dies in seinem berühmten Diktum zusammen:

„Wie immer man den Kuchen auch anschneidet, ‚Bedeutungen‘ sind einfach nicht im Kopf! (Cut the pie any way you like, ‘meanings’ just ain’t in the head!)“

Dieser Artikel rekonstruiert den Paradigmenwechsel vom klassischen Deskriptivismus (Frege, Russell, Searle) über Kripkes starre Designatoren (Rigid Designators) und notwendige Wahrheiten a posteriori, Putnams Zwillingserde und die sprachliche Arbeitsteilung sowie Tyler Burges sozialen Externalismus (Arthritis-Gedankenexperiment) bis hin zu den Konsequenzen für moderne Large Language Models (LLMs).


2. Die klassische internalistische und deskriptivistische Tradition: Frege, Russell und Searle

2.1 Freges Puzzle und „Über Sinn und Bedeutung“ (1892)

Im Jahr 1892 eröffnete Gottlob Frege seinen Aufsatz „Über Sinn und Bedeutung“ mit einem berühmten Rätsel über Identitätsaussagen (Freges Puzzle). Man vergleiche die beiden Sätze:

  1. $a = a$: „Der Abendstern ist der Abendstern (Hesperus is Hesperus).“
  2. $a = b$: „Der Abendstern ist der Morgenstern (Hesperus is Phosphorus).“

Astronomisch gesehen beziehen sich sowohl „der Abendstern“ (Hesperus) als auch „der Morgenstern“ (Phosphorus) auf denselben physischen Himmelskörper: den Planeten Venus:

$$\llbracket \text{Abendstern (Hesperus)} \rrbracket = \llbracket \text{Morgenstern (Phosphorus)} \rrbracket = \text{Venus}$$

Bestünde die Bedeutung eines Namens allein in seinem Bezugsobjekt / seiner Referenz (Bedeutung / Extension), müsste Satz (2) denselben Erkenntniswert besitzen wie die triviale Tautologie (1). Tatsächlich ist $a = a$ jedoch eine analytische Wahrheit a priori, während $a = b$ eine bedeutende empirische Entdeckung a posteriori darstellt.

Zur Lösung führte Frege zwei semantische Ebenen ein:

  • Bedeutung (Referenz / Extension): Der reale Gegenstand in der Welt (der Planet Venus).
  • Sinn (Intension): Die „Art des Gegebenseins“ des Gegenstands – das begriffliche Kriterium im Geist des Sprechers (z. B. der hellste Himmelskörper am westlichen Abendhimmel vs. am östlichen Morgenhimmel).

Bei Frege erfasst der Geist den Sinn, und der Sinn legt die Bedeutung (Referenz) eindeutig fest.

  flowchart TD
    subgraph SpeakerMind["Geist des Sprechers / Begriffliche Ebene (Intension / Sinn)"]
        S1["Sinn von ‚Abendstern‘ (Hesperus)<br/>‚Hellster Himmelskörper am Abendhimmel‘"]
        S2["Sinn von ‚Morgenstern‘ (Phosphorus)<br/>‚Hellster Himmelskörper am Morgenhimmel‘"]
    end
    subgraph ExternalWorld["Physische Außenwelt (Extension / Bedeutung)"]
        Ref["Bedeutung (Referenz)<br/>Der Planet Venus"]
    end
    S1 -->|"Sinn bestimmt Bedeutung"| Ref
    S2 -->|"Sinn bestimmt Bedeutung"| Ref

2.2 Russells Kennzeichnungstheorie (1905) und Searles Bündeltheorie (1958)

Bertrand Russell analysierte in „On Denoting“ (1905) definite Kennzeichnungen der Form „das $F$ ist $G$“ ($\iota x\, F(x)$) mittels Existenzquantor und Eindeutigkeitsbedingung in der Prädikatenlogik erster Stufe:

$$\text{Das } F \text{ ist } G \iff \exists x \Big( F(x) \land \forall y \big(F(y) \to y = x\big) \land G(x) \Big)$$

Russell behauptete, gewöhnliche Eigennamen (wie „Aristoteles“) und Ausdrücke für natürliche Arten (wie „Wasser“ oder „Gold“) seien in Wahrheit verkappte oder abgekürzte Kennzeichnungen (Disguised Definite Descriptions). John Searle („Proper Names“, 1958) verfeinerte dies zur Bündeltheorie (Cluster Descriptivism): Ein Name ist mit einem gewichteten Bündel von Beschreibungen $\{D_1, D_2, \dots, D_n\}$ im Kopf des Sprechers verknüpft und referiert auf dasjenige Objekt $x$, das eine hinreichende gewichtete Mehrheit dieser Beschreibungen erfüllt:

$$\llbracket N \rrbracket = \iota x \left( \sum_{i=1}^{n} w_i \cdot \mathbb{I}\big[D_i(x)\big] \ge \theta \right)$$

2.3 Die zwei Grunddogmen der traditionellen Semantik: (A1) und (A2)

Hilary Putnam destillierte diese gesamte Tradition in zwei fundamentale Annahmen:

  • Annahme (A1) Methodologischer Solipsismus: Die Bedeutung (Intension $I(t)$) eines Ausdrucks $t$ zu kennen heißt schlicht, sich in einem engen psychologischen Zustand ($\psi \in \mathcal{S}_{\text{narrow}}$) im Inneren des eigenen Kopfes zu befinden (völlig unabhängig von der Existenz oder Beschaffenheit der Außenwelt).
  • Annahme (A2) Die Intension bestimmt die Extension: Die mentale Intension $I(t)$ legt die Extension $E(t)$ in der Welt eindeutig fest:
$$\psi(S_1, t) = \psi(S_2, t) \stackrel{\text{(A1)}}{\implies} I_1(t) = I_2(t) \stackrel{\text{(A2)}}{\implies} E_1(t) = E_2(t)$$

3. Saul Kripkes Name und Notwendigkeit: Starre Designatoren und Kausaltheorie

3.1 Das Gödel/Schmidt-Gedankenexperiment und die Widerlegung des Deskriptivismus

Saul Kripke widerlegte den Deskriptivismus durch drei berühmte Argumente:

  1. Das modale Argument: Wäre „Aristoteles“ synonym mit „der Lehrer Alexanders des Großen“, dann wäre der Satz „Aristoteles hätte möglicherweise nicht der Lehrer Alexanders sein können“ ($\Diamond \neg \text{Taught}(\text{Aristotle}, \text{Alexander})$) widersprüchlich. Doch es ist eine kontingente Tatsache, dass Aristoteles Alexander unterrichtete; selbst in einer möglichen Welt $w'$, in der er Fischer wurde, bleibt er Aristoteles.
  2. Das Gödel/Schmidt-Gedankenexperiment (Epistemisches & Semantisches Argument): Nehmen wir an, die einzige Beschreibung, die ein normaler Sprecher mit dem Namen „Kurt Gödel“ verbindet, lautet $D_{\text{Gödel}} =$ „der Entdecker des Unvollständigkeitssatzes der Arithmetik“. Stellen wir uns nun vor, dass in Wahrheit ein unbekannter Wiener Mathematiker namens Schmidt den Satz bewiesen hat, aber vor der Veröffentlichung mysteriös verstarb; sein Freund Gödel stahl das Manuskript und veröffentlichte es unter eigenem Namen. Nach dem Deskriptivismus müsste unser Wort „Gödel“ auf Schmidt referieren, da allein Schmidt die Beschreibung $D_{\text{Gödel}}$ erfüllt ($\iota x\, D_{\text{Gödel}}(x) = \text{Schmidt}$)! Kripke zeigt, wie absurd dies ist: Wenn wir „Gödel“ sagen, beziehen wir uns eindeutig auf Gödel (und würden sagen: „Gödel hat den Satz gar nicht bewiesen, sondern von Schmidt gestohlen!“). Mentale Beschreibungen im Kopf legen die Referenz also nicht fest.

3.2 Starre Designatoren (Rigid Designators) und die kausal-historische Referenztheorie

In der Mögliche-Welten-Semantik $\mathcal{M} = \langle \mathcal{W}, \mathcal{D}, w_0, \mathcal{I} \rangle$ definiert Kripke:

  • Nicht-starrer (akzidenteller) Designator: Eine Kennzeichnung wie „der Erfinder der Bifokalbrille“ bezeichnet in verschiedenen möglichen Welten unterschiedliche Personen (in $w_0$ Benjamin Franklin, in $w_1$ etwa Thomas Edison).
  • Starrer Designator (Rigid Designator): Ein Designator $d_{\text{rigid}}$ ist starr genau dann, wenn er in jeder möglichen Welt $w \in \mathcal{W}$, in der das Objekt existiert, exakt dasselbe Objekt $o_{\text{actual}}$ bezeichnet: $$\forall w \in \mathcal{W}, \quad \llbracket d_{\text{rigid}} \rrbracket_w = \llbracket d_{\text{rigid}} \rrbracket_{w_0} = o_{\text{actual}}$$

Eigennamen („Aristoteles“, „Hesperus“) und Ausdrücke für natürliche Arten („Wasser“, „Gold“, „Tiger“) sind starre Designatoren. Ihre Referenz wird laut Kripkes kausal-historischer Theorie durch zwei Schritte gesichert: (1) eine ursprüngliche Taufe (Initial Baptism) durch direkten Hinweis (Ostension) und (2) eine kausal-historische Kommunikationskette ($S_0 \to S_1 \to \dots \to S_n$) innerhalb der Sprachgemeinschaft.

3.3 Notwendige Wahrheiten a posteriori ($\Box(\text{Wasser} = \text{H}_2\text{O})$)

Da sowohl „Hesperus“ und „Phosphorus“ als auch „Wasser“ und „$\text{H}_2\text{O}$“ starre Designatoren sind, gilt ihre in der aktualen Welt $w_0$ empirisch entdeckte Identität in allen möglichen Welten:

$$(\text{Wasser} = \text{H}_2\text{O}) \implies \Box(\text{Wasser} = \text{H}_2\text{O}), \quad (\text{Hesperus} = \text{Phosphorus}) \implies \Box(\text{Hesperus} = \text{Phosphorus})$$

Kripke durchbrach damit die seit Kant herrschende Gleichsetzung von metaphysischer Notwendigkeit ($\Box$) und epistemischer Apriorität: Dass Wasser $\text{H}_2\text{O}$ ist, ist eine notwendige Wahrheit a posteriori!


4. Hilary Putnams Zwillingserde-Gedankenexperiment (1975)

4.1 Erde und Zwillingserde im Jahr 1750: $\text{H}_2\text{O}$ vs. $\text{XYZ}$

In „Die Bedeutung von ‚Bedeutung‘“ (1975) entwarf Putnam das berühmte Zwillingserde-Szenario (Twin Earth):

  1. Makroskopische Identität: Die Zwillingserde gleicht der Erde bis ins Detail; dort lebt zu jedem Erdenbürger wie Erd-Oscar ($\text{Oscar}_E$) ein mikroskopisch und psychologisch identischer Doppelgänger Zwillings-Oscar ($\text{Oscar}_{TE}$).
  2. Der einzige chemische Unterschied: Auf der Erde hat die farblose, geruchlose, durstlöschende Flüssigkeit in Flüssen und Meeren, die "water" genannt wird, die chemische Struktur $\text{H}_2\text{O}$. Auf der Zwillingserde besteht die äußerlich völlig ununterscheidbare Flüssigkeit namens "water" nicht aus $\text{H}_2\text{O}$, sondern aus einer komplexen Verbindung $\text{XYZ}$!
  3. Das Jahr 1750: Vor der Entwicklung der modernen Chemie wissen weder die Menschen auf der Erde noch die auf der Zwillingserde etwas von $\text{H}_2\text{O}$ oder $\text{XYZ}$. Im Jahr 1750 befinden sich $\text{Oscar}_E$ und $\text{Oscar}_{TE}$ daher in 100 % identischen engen psychologischen Zuständen:
$$\text{State}_{\text{narrow}}\big(\text{Oscar}_E, 1750\big) \equiv \text{State}_{\text{narrow}}\big(\text{Oscar}_{TE}, 1750\big)$$

4.2 Warum $\text{XYZ}$ kein Wasser ist („Narrenwasser“) und der Kollaps von (A1) & (A2)

Bezieht sich das Wort "water" im Jahr 1750 im Mund von $\text{Oscar}_E$ und $\text{Oscar}_{TE}$ auf dasselbe? Nein! Der Ausdruck für eine natürliche Art "water" ist implizit indexikalisch an die Mikrostruktur der lokalen Umweltproben gebunden ($\text{same}_L$: „dieselbe Flüssigkeit wie dieses hiesige Vorkommen“):

$$\forall x, \quad x \in \llbracket \text{water} \rrbracket_{\text{Erde}} \iff \text{same}_L\big(x, \text{sample}_{\text{Erde}}\big) \iff \text{Microstructure}(x) = \text{H}_2\text{O}$$$$\forall x, \quad x \in \llbracket \text{water} \rrbracket_{\text{Zwillingserde}} \iff \text{same}_L\big(x, \text{sample}_{\text{Zwillingserde}}\big) \iff \text{Microstructure}(x) = \text{XYZ}$$

Genauso wie Pyrit ($\text{FeS}_2$, „Katzengold / Fool’s Gold“) schon in der Antike kein echtes Gold ($\text{Au}$) war, ist $\text{XYZ}$ kein Wasser, sondern bloßes „Narrenwasser“ (Fool’s Water).

  flowchart TD
    subgraph Year1750["Jahr 1750: Vor der modernen Chemie (100% identische Gehirnzustände)"]
        OE["Erd-Oscar (Oscar_E)<br/>Enger psychologischer Zustand ψ:<br/>‚Klare, durstlöschende Flüssigkeit‘"]
        OTE["Zwillings-Oscar (Oscar_TE)<br/>Enger psychologischer Zustand ψ:<br/>‚Klare, durstlöschende Flüssigkeit‘"]
        OE <-->|"ψ(Oscar_E) = ψ(Oscar_TE)<br/>Exakt identische mentale Zustände"| OTE
    end
    subgraph EnvE["Physische Umwelt der Erde"]
        H2O["Kausale Verankerung: Lokale Proben<br/>Mikrostruktur: H2O<br/>Extension E_Earth = {H2O}"]
    end
    subgraph EnvTE["Physische Umwelt der Zwillingserde"]
        XYZ["Kausale Verankerung: Lokale Proben<br/>Mikrostruktur: XYZ<br/>Extension E_TwinEarth = {XYZ}"]
    end
    OE -->|"Äußerung ‚water‘ referiert auf"| H2O
    OTE -->|"Äußerung ‚water‘ referiert auf"| XYZ

Da beide Oscars im selben engen psychologischen Zustand sind ($\psi(\text{Oscar}_E) = \psi(\text{Oscar}_{TE})$), ihre Wörter aber verschiedene Extensionen haben ($\{\text{H}_2\text{O}\} \neq \{\text{XYZ}\}$), können (A1) und (A2) nicht beide wahr sein: Bedeutungen sind nicht im Kopf!


5. Sprachliche Arbeitsteilung, Burges sozialer Externalismus und moderne KI (LLMs)

5.1 Sprachliche Arbeitsteilung (Ulmen vs. Buchen) und Putnams Bedeutungsvektor

Putnam gesteht, dass er eine Ulme (Ulmus) nicht von einer Buche (Fagus) unterscheiden kann: Seine internen Begriffe von "elm" und "beech" sind völlig identisch ($\psi(\text{Putnam}, \text{``elm''}) = \psi(\text{Putnam}, \text{``beech''})$). Dennoch bezeichnet sein Wort "elm" ausschließlich Ulmen, weil in einer Sprachgemeinschaft eine sprachliche Arbeitsteilung (Division of Linguistic Labor) herrscht: Laiensprecher delegieren die exakte Referenzbestimmung an Experten (Botaniker, Chemiker).

Putnam beschreibt Wortbedeutung daher als vierkomponentigen Bedeutungsvektor (Meaning Vector):

$$\vec{M}(\text{``water''}) = \big\langle \text{Syntaktische Marker},\, \text{Semantische Marker},\, \text{Stereotyp},\, \text{Extension} \big\rangle$$

5.2 Tyler Burges sozialer Externalismus (1979): Das „Arthritis“-Gedankenexperiment

In „Individualism and the Mental“ (1979) zeigte Tyler Burge, dass selbst mentale Überzeugungen (Beliefs) externalistisch bestimmt sind:

  • Bert in der aktualen Welt glaubt: „Meine Arthritis hat sich auf meinen Oberschenkel ausgebreitet.“ Da „Arthritis“ medizinisch strikt auf Gelenkentzündungen beschränkt ist, hat Bert eine falsche Überzeugung über Arthritis.
  • Zwillings-Bert (Twin Bert) besitzt exakt dieselbe physische Geschichte und dieselben Gehirnzustände, lebt aber in einer Sprachgemeinschaft, in der Ärzte das Wort "arthritis" (Begriff tharthritis) auch für Muskelschmerzen im Oberschenkel verwenden. Zwillings-Berts Überzeugung ist daher wahr!
  • Da eine Überzeugung falsch und die andere wahr ist, haben Bert und Zwillings-Bert trotz identischer Gehirne unterschiedliche Gedankeninhalte!

5.3 Konsequenzen für Large Language Models (LLMs) und das Symbol-Grounding-Problem

Reine Text-LLMs lernen über Next-Token-Prediction $P_\theta(w_t \mid w_{1:t-1})$ perfekte Stereotype im hochdimensionalen Vektorraum $\mathbb{R}^d$. Wie Bender & Kollers Oktopus-Gedankenexperiment (2020) und Putnams Gehirne im Tank (Brains in a Vat, 1981) zeigen, liegt die Referenz nicht isoliert in den Gewichtsmatrizen $\Theta$ des Netzes. Da reale LLMs jedoch auf Texten trainiert wurden, die von Menschen in kausaler Interaktion mit realem $\text{H}_2\text{O}$ und realen Objekten verfasst wurden, partizipieren LLMs über kausal-historische Ketten und die sprachliche Arbeitsteilung parasitär an der Referenz der menschlichen Sprachgemeinschaft.

DimensionKlassischer Internalismus & Deskriptivismus (Frege, Russell, Searle)Semantischer & Sozialer Externalismus (Kripke, Putnam, Burge)
KerntheseBedeutung (Intension) ist eine mentale Beschreibung im Kopf und legt die Extension fest.„Bedeutungen sind nicht im Kopf.“ Referenz und Gedankeninhalt hängen von physischer Umwelt und Sprachgemeinschaft ab.
Eigennamen & natürliche ArtenAbgekürzte Kennzeichnungen oder Bündel (nicht-starre Designatoren).Starre Designatoren (Rigid Designators); bezeichnen in allen möglichen Welten dieselbe Entität/Mikrostruktur.
Gödel/Schmidt-FallSagt fälschlich voraus, dass „Gödel“ auf Schmidt referiert.Referiert über die kausal-historische Kette korrekt auf Gödel.
Zwillingserde im Jahr 1750Identische Gehirnzustände $\implies$ identische Bedeutung und Extension.Trotz identischer Gehirne bezeichnet "water" auf der Erde $\text{H}_2\text{O}$ und auf der Zwillingserde $\text{XYZ}$.
Modalität & EpistemologieNotwendig $\iff$ a priori; „Wasser $=\text{H}_2\text{O}$“ gilt als kontingent.Beweist notwendige Wahrheiten a posteriori: $\Box(\text{Wasser} = \text{H}_2\text{O})$, $\Box(\text{Hesperus} = \text{Phosphorus})$.
comments powered by Disqus