1. Einleitung: Die erkenntnistheoretische Bruchlinie zwischen metaphysischem Realismus und semantischem Antirealismus

Kann eine Proposition determiniert wahr sein, selbst wenn kein endlicher Geist jemals – nicht einmal im Prinzip – in der Lage wäre, ihre Wahrheit zu verifizieren, zu entdecken oder zu wissen?

Diese Frage markiert die tiefste Bruchlinie in der zeitgenössischen Metaphysik, Erkenntnistheorie, Sprachphilosophie und Philosophie der Mathematik: den Konflikt zwischen dem metaphysischen Realismus (Metaphysical Realism) und dem semantischen Antirealismus (Semantic Anti-Realism / Verifikationismus).

1.1 Die Position des metaphysischen Realismus

Gemäß dem metaphysischen Realismus – vertreten durch Gottlob Frege, Bertrand Russell, den frühen Hilary Putnam und Timothy Williamson – ist Wahrheit radikal erkenntnistranszendent (recognition-transcendent / evidence-transcendent). Ob eine Aussage $p$ wahr oder falsch ist, hängt allein von der objektiven, geistunabhängigen Beschaffenheit der Welt ab. In der formalen Sprache der bimodalen epistemisch-alethischen Logik (mit $p$ für „$p$ ist wahr“, $Kp$ für „jemand weiß zu irgendeinem Zeitpunkt $p$“ und $\Diamond\phi$ für „es ist logisch/metaphysisch möglich, dass $\phi$“) behauptet der Realismus die Existenz unerkennbarer Wahrheiten (Unknowable Truths):

Beispiele hierfür sind unwiederbringlich verlorene historische Mikro-Tatsachen (etwa ob die Anzahl der Kopfhaare Julius Cäsars im exakten Moment seiner Ermordung im Jahr 44 v. Chr. ungerade war), Quantenereignisse jenseits des kosmologischen Ereignishorizonts oder unentscheidbare mathematische Aussagen.

1.2 Semantischer Antirealismus und das Erkennbarkeitsprinzip (KP)

Im Gegensatz dazu lehnt die Tradition des Verifikationismus, Pragmatismus und semantischen Antirealismus – von C.S. Peirce und dem Wiener Kreis (Rudolf Carnap) über Hilary Putnams internen Realismus bis zu Michael Dummetts intuitionistischem Antirealismus – den Begriff einer prinzipiell unzugänglichen Wahrheit als inhaltsleer ab. Durch sein Erwerbsargument (Acquisition Argument) und Manifestationsargument (Manifestation Argument) zeigte Dummett, dass endliche Sprecher die Bedeutung eines Satzes nur dann erlernen und im praktischen Sprachgebrauch manifestieren können, wenn Wahrheitsbedingungen konstitutiv an prinzipielle Verifizierbarkeit gekoppelt sind.

Daraus ergibt sich das Grundaxiom des modernen Antirealismus, das Erkennbarkeitsprinzip (Knowability Principle, KP):

(„Für jede Proposition $p$ gilt: Wenn $p$ wahr ist, dann ist es prinzipiell möglich, dass irgendjemand zu irgendeinem Zeitpunkt $p$ weiß.“)

1.3 Das Prinzip der Nicht-Allwissenheit (NO) und Fitchs logische Bombe

Der Antirealist ist kein subjektiver Idealist; er behauptet keineswegs $\forall p \, (p \to K p)$ („Alle Wahrheiten sind tatsächlich bekannt“). Da Menschen endliche Wesen sind, bleiben unzählige triviale Tatsachen unentdeckt. Jeder Antirealist akzeptiert daher selbstverständlich das Prinzip der Nicht-Allwissenheit (Non-Omniscience Principle, NO):

Doch im Jahr 1963 bewies der Yale-Logiker Frederic B. Fitch (1908–1987) in seiner Arbeit “A Logical Analysis of Some Value Concepts” (The Journal of Symbolic Logic, Theorem 5) ein erschütterndes Resultat:

Fitchs Paradoxon der Erkennbarkeit (Fitch’s Paradox of Knowability): Setzt man lediglich die schwächsten, völlig unstrittigen Inferenzregeln der epistemischen Modallogik voraus – nämlich die Faktivität des Wissens und die Konjunktionsdistribution –, so folgt aus dem moderaten Erkennbarkeitsprinzip $\forall p \, (p \to \Diamond K p)$ in der klassischen Logik unmittelbar das absurde Allwissenheitsprinzip $\forall p \, (p \to K p)$! Kontrapositiv formuliert: Wenn die Menschheit nicht allwissend ist ($\exists p \, (p \land \neg K p)$), dann existiert notwendigerweise mindestens eine Wahrheit, die prinzipiell niemals gewusst werden kann ($\exists q \, (q \land \neg \Diamond K q)$).

2. Historische Genese: Alonzo Churchs anonymes Gutachten von 1945 und Fitchs Aufsatz von 1963

Auf Seite 138 seines Aufsatzes von 1963 merkte Fitch in Fußnote 5 an: “The proof of theorem 5 was suggested to the author by an anonymous referee of a paper submitted in 1945 but never published.”

Über sechzig Jahre lang blieb die Identität dieses anonymen Gutachters von 1945 ein Rätsel. Erst durch Archivforschungen von Joe Salerno (veröffentlicht 2009 in New Essays on the Knowability Paradox) im Nachlass von Alonzo Church (1903–1995) an der Princeton University wurde enthüllt, dass der anonyme Gutachter niemand geringerer als Alonzo Church selbst war – der Begründer des $\lambda$-Kalküls! Als Fitch 1945 ein Manuskript einreichte, das Wahrheit mit prinzipieller Erkennbarkeit gleichsetzte, zeigte Church in seinem Gutachten vom Juli 1945 durch die Substitution $q := (p \land \neg K p)$, dass dies unmittelbar in Allwissenheit ($\forall p (p \to K p)$) kollabiert.

3. Formale Syntax und minimales Axiomensystem der bimodalen epistemischen Logik

In der bimodalen Sprache $\mathcal{L}_{K,\Box}$ steht $K\phi$ für zeitübergreifendes kollektives Wissen:

Die enorme Durchschlagskraft von Fitchs Beweis beruht darauf, dass er keinerlei starke, kontroverse Axiome wie das KK-Prinzip (Positive Introspektion, Axiom 4: $K\phi \to KK\phi$), die Negative Introspektion (Axiom 5: $\neg K\phi \to K\neg K\phi$) oder die volle deduktive Abgeschlossenheit (Axiom K: $K(\phi \to \psi) \to (K\phi \to K\psi)$) benötigt. Er stützt sich ausschließlich auf drei minimale Prinzipien:

1. (A1) Faktivität des Wissens (Epistemisches Axiom T): $$K\phi \vdash \phi$$ („Was gewusst wird, muss wahr sein; Falsches kann man nicht wissen.“)
2. (A2) Distribution des Wissens über die Konjunktion: $$K(\phi \land \psi) \vdash K\phi \land K\psi$$ („Wer die Konjunktion ‚$\phi$ und $\psi$‘ weiß, der weiß $\phi$ und weiß $\psi$.“)
3. (R1) Modale Necessitationsregel (Modal Necessitation Rule): $$\text{Wenn } \vdash \phi, \quad \text{dann } \vdash \Box\phi$$ („Logische Theoreme gelten notwendigerweise in allen möglichen Welten.“ Zudem gilt die modale Dualität $\Box\neg\phi \equiv \neg\Diamond\phi$.)

4. Vollständiger formaler Beweis von Fitchs Paradoxon (Step-by-Step)

4.1 Stufe I (Fitchs Theorem 1): Die logische Unmöglichkeit, eine unbekannte Wahrheit zu wissen

Sei $q \stackrel{\text{def}}{\equiv} (p \land \neg K p)$ („$p$ ist wahr, aber niemand weiß jemals $p$“). Wir beweisen durch Reductio ad absurdum ($\neg$-Einführung), dass niemand jemals $q$ wissen kann:

Zeile (9) $\vdash \neg \Diamond K(p \land \neg K p)$ beweist: Es ist logisch unmöglich, eine unbekannte Wahrheit zu wissen!

4.2 Stufe II (Fitchs Theorem 5): Der Kollaps von Erkennbarkeit (KP) in Allwissenheit (OP)

Nun setzen wir die Konjunktion $q := (p \land \neg K p)$ in das antirealistische Erkennbarkeitsprinzip (KP) $\forall q \, (q \to \Diamond K q)$ ein:

  flowchart TD
    subgraph Stage1["Stufe I: Fitchs Theorem 1 (Das Moore-Fitch-Blindspot-Lemma)"]
        A1["Annahme (1): K(p ∧ ¬Kp)<br/>Jemand weiß, dass ‚p wahr und unbekannt ist‘"] -->|"Konjunktionsdistribution (A2)<br/>K(φ ∧ ψ) ⊢ Kφ ∧ Kψ"| A2["(2) Kp ∧ K(¬Kp)"]
        A2 -->|"∧-Elimination (links)"| A3["(3) Kp<br/>p ist bekannt"]
        A2 -->|"∧-Elimination (rechts)"| A4["(4) K(¬Kp)<br/>Es ist bekannt, dass p unbekannt ist"]
        A4 -->|"Faktivität des Wissens (A1)<br/>Kψ ⊢ ψ"| A5["(5) ¬Kp<br/>p ist nicht bekannt"]
        A3 & A5 -->|"∧-Einführung"| A6["(6) Kp ∧ ¬Kp (⊥ Widerspruch!)"]
        A6 -->|"¬-Einführung (Annahme 1 entladen)"| A7["(7) ⊢ ¬K(p ∧ ¬Kp)"]
        A7 -->|"Modale Necessitation (R1) + Dualität"| A9["(9) ⊢ ¬◇K(p ∧ ¬Kp)<br/>Unbekannte Wahrheit ist logisch unerkennbar"]
    end

    subgraph Stage2["Stufe II: Fitchs Theorem 5 (Kollaps von Erkennbarkeit zu Allwissenheit)"]
        KP["Erkennbarkeitsprinzip (KP)<br/>∀q (q → ◇Kq)"] -->|"Substitution q := (p ∧ ¬Kp)"| B10["(10) (p ∧ ¬Kp) → ◇K(p ∧ ¬Kp)"]
        A9 & B10 -->|"Modus Tollens"| B11["(11) ¬(p ∧ ¬Kp)<br/>Keine unbekannte Wahrheit kann existieren"]
        B11 -->|"Konstruktiv gültige Implikation"| B12["(12) ∀p (p → ¬¬Kp)<br/>Dummetts intuitionistischer Haltepunkt"]
        B12 -->|"Klassische Doppelnegationselimination (DNE)<br/>¬¬Kp ⊢ Kp"| B14["(14) ∀p (p → Kp)<br/>Allwissenheitsprinzip (OP)!"]
    end

5. Strukturelle Diagnose: Moores Paradoxon, epistemische blinde Flecken und das Paradoxon der unerwarteten Hinrichtung

1. G.E. Moores Paradoxon (1942): Moores Satz „Es regnet draußen, aber ich weiß nicht, dass es regnet“ ($p \land \neg K_a p$) beschreibt einen konsistenten Sachverhalt, kann aber von $a$ selbst niemals gewusst werden. Während eine dritte Person $b$ problemlos $K_b(p \land \neg K_a p)$ wissen kann, quantifiziert der Operator $K$ in Fitchs Paradoxon über alle Subjekte und Zeiten, sodass es keinen externen Beobachter mehr gibt.
2. Roy Sorensens Blindspots (1988): Die Proposition $(p \land \neg K p)$ ist ein epistemischer blinder Fleck ($\Diamond\phi \land \neg\Diamond K\phi$). Der Akt des Wissenserwerbs verändert den epistemischen Zustand der Welt von $\neg K p$ zu $K p$ und falsifiziert damit die Konjunktion im selben Augenblick, in dem sie erkannt wird.
3. Parallelen zum Paradoxon der unerwarteten Prüfung und zu Gödels Unvollständigkeitssatz: Im Überraschungstest-Paradoxon scheitert die Rückwärtsinduktion der Schüler genau daran, dass sie die Wahrheit von $(E_5 \land \neg K_{\text{Do}} E_5)$ mit ihrer Erkennbarkeit am Donnerstagabend $K_{\text{Do}}(E_5 \land \neg K_{\text{Do}} E_5)$ verwechseln. In der formalen Arithmetik verhindert Löbs Theorem, dass das Beweisbarkeitsprädikat $\text{Prov}_T(\ulcorner \phi \urcorner)$ allgemein faktiv ist ($\text{Prov}_T(\ulcorner \phi \urcorner) \to \phi$ ist in $T$ nicht allgemein beweisbar), weshalb Gödels Satz keinen Kollaps in die Vollständigkeit auslöst; echtes Wissen $K$ hingegen ist konstitutiv faktiv ($K\phi \to \phi$).

6. Die vier großen philosophischen Fluchtwege und ihre Kosten

6.1 Fluchtweg I: Michael Dummett und die intuitionistische Logik

Michael Dummett (2001, “Victor’s Error”) und Neil Tennant wiesen darauf hin, dass die Zeilen (1) bis (12) von Fitchs Beweis in der intuitionistischen Logik vollkommen gültig sind, da Zeile (7) lediglich eine konstruktiv zulässige $\neg$-Einführung ($A \vdash \bot \implies \vdash \neg A$) verwendet. Klassische Logik wird ausschließlich beim Übergang von Zeile (12) zu Zeile (13) benötigt, wo die Doppelnegationselimination (DNE: $\neg\neg K p \vdash K p$) angewandt wird! Für den intuitionistischen Antirealisten endet der Beweis daher bei:

Timothy Williamsons (1982, 2000) Gegenkritik:

1. Selbst ohne DNE ist Zeile (11) $\vdash_{\text{Int}} \neg \exists p \, (p \land \neg K p)$ ein intuitionistisches Theorem! Damit wird das Prinzip der Nicht-Allwissenheit (NO: $\exists p (p \land \neg K p)$) auch in der intuitionistischen Logik als widersprüchlich (falsch) widerlegt!
2. Für alle entscheidbaren Aussagen (Decidable Propositions), für die $K p \lor \neg K p$ gilt (etwa wenn die Menschheit nur endlich lange existiert und nur endlich viele Erkenntnisakte vollzieht), gilt $\neg\neg K p \vdash_{\text{Int}} K p$ auch intuitionistisch, sodass $p \to \neg\neg K p$ wieder in $p \to K p$ kollabiert!

6.2 Fluchtweg II: Neil Tennants Beschränkung auf „kartesische Propositionen“

Neil Tennant (1997, The Taming of the Sleuth) definierte eine Proposition $\phi$ als kartesisch (Cartesian) genau dann, wenn die Annahme, dass $\phi$ gewusst wird, keinen logischen Widerspruch erzeugt:

Da $K(p \land \neg K p) \vdash \bot$, ist die Fitch-Konjunktion nicht-kartesisch und darf nicht eingesetzt werden. Gegenbeispiel von DeVidi & Solomon (2001) und Williamson: Betrachte $r \stackrel{\text{def}}{\equiv} p \land (K p \to n)$, wobei $n$ eine kontingente Falschheit ist, die mit $p$ konsistent gewusst werden kann ($K p \land K n \not\vdash \bot$). Dann ist $r$ kartesisch ($K r \not\vdash \bot$), führt aber bei Einsetzung in $\text{KP}_{\text{Cart}}$ sofort zu $(p \land \neg K p) \to \Diamond(K p \land n)$, was das Paradoxon wiederbelebt!

6.3 Fluchtweg III: Dorothy Edgingtons zweidimensionale Modallogik ($\mathcal{A}$ / @)

Dorothy Edgington (1985, “The Paradox of Knowability”, Mind) führte den Aktualitätsoperator $\mathcal{A}$ („Actually“) ein ($\mathcal{M}, w' \models \mathcal{A}\phi \iff \mathcal{M}, w_0 \models \phi$) und formulierte:

Ein Beobachter in einer kontrafaktischen möglichen Welt $w'$ kann widerspruchsfrei wissen, dass in der aktualen Welt $w_0$ die Tatsache $p$ besteht und in $w_0$ niemand $p$ weiß ($K_{w'}(\mathcal{A} p) \land \neg \mathcal{A} K p$). Williamsons Kritik: Wie kann ein Subjekt in einer kausal isolierten Welt $w'$ empirisches Wissen über kontingente Tatsachen in einer anderen Welt $w_0$ erlangen?

6.4 Fluchtweg IV: Dynamische Epistemische Logik (DEL) und Public Announcement Logic (PAL)

Johan van Benthem (2004) zeigte mithilfe des dynamischen Ankündigungsoperators $[\phi!]\psi$, dass $(p \land \neg K p)$ eine „erfolglose Formel“ (Unsuccessful Formula / Self-Refuting Update) ist: Sobald die wahre Formel $(p \land \neg K p)$ bekannt gegeben oder gelernt wird, wird $K p$ im aktualisierten Modell wahr und $\neg K p$ dadurch falsch ($\mathcal{M}, w \models [p \land \neg K p !] \neg(p \land \neg K p)$).

  flowchart TD
    Root["Fitchs Paradoxon der Erkennbarkeit<br/>KP: ∀q (q → ◇Kq) + NO: ∃p (p ∧ ¬Kp) ⊢ ⊥"]

    Root --> E1["Fluchtweg I: Intuitionistische Logik<br/>(Michael Dummett / Neil Tennant)"]
    Root --> E2["Fluchtweg II: Kartesische Einschränkung<br/>(Neil Tennant 1997)"]
    Root --> E3["Fluchtweg III: Zweidimensionale Modallogik<br/>(Dorothy Edgington 1985)"]
    Root --> E4["Fluchtweg IV: Dynamische Epistemische Logik<br/>(Johan van Benthem 2004)"]

    E1 --> M1["Mechanismus: Ablehnung der klassischen DNE;<br/>Beweis stoppt bei ∀p (p → ¬¬Kp)"]
    M1 --> C1["Kosten: Beweist weiterhin ¬∃p(p ∧ ¬Kp);<br/>Nicht-Allwissenheit wird widersprüchlich"]

    E2 --> M2["Mechanismus: KP gilt nur für kartesische<br/>Aussagen (Kφ ⊬ ⊥); blockiert (p ∧ ¬Kp)"]
    M2 --> C2["Kosten: r := p ∧ (Kp → n) ist kartesisch,<br/>erzeugt aber erneut absurde modale Folgen"]

    E3 --> M3["Mechanismus: Aktualitätsoperator A:<br/>Aφ → ◇K(Aφ); Wissen in w' über Welt w0"]
    M3 --> C3["Kosten: Kein kausaler Zugang von Welt w'<br/>zu kontingenten Fakten der aktualen Welt w0"]

    E4 --> M4["Mechanismus: PAL-Operator [φ!]ψ identifiziert<br/>(p ∧ ¬Kp) als selbstwiderlegende Formel"]
    M4 --> C4["Konsequenz: Aufgabe der statischen Gleichsetzung<br/>von Wahrheit und Erkennbarkeit"]

7. Vergleichsmatrix und Fazit

Fazit: Wenn wir die Endlichkeit menschlichen Wissens anerkennen ($\exists p \, (p \land \neg K p)$), zwingt uns Fitchs Theorem 1 ($\vdash \neg \Diamond K(p \land \neg K p)$) mit mathematischer Notwendigkeit zum metaphysischen Realismus:

Die objektive Realität übersteigt aus rein logischen Gründen die Grenzen dessen, was jemals gewusst werden kann.

Literaturverzeichnis (References)

• Fitch, F. B. (1963). “A Logical Analysis of Some Value Concepts”. The Journal of Symbolic Logic, 28(2), 135–142.
• Salerno, J. (Ed.). (2009). New Essays on the Knowability Paradox. Oxford University Press.
• Dummett, M. (2001). “Victor’s Error”. Analysis, 61(269), 1–2.
• Williamson, T. (2000). Knowledge and Its Limits. Oxford University Press.
• Edgington, D. (1985). “The Paradox of Knowability”. Mind, 94(376), 557–568.
• Tennant, N. (1997). The Taming of the Sleuth. Oxford University Press.
• van Benthem, J. (2004). “What One May Come to Know”. Analysis, 64(282), 95–105.