1. Introduction : La ligne de faille épistémologique entre réalisme métaphysique et anti-réalisme sémantique

Une proposition peut-elle être déterminément vraie même si aucun esprit fini ne pouvait jamais — pas même en principe — la vérifier, la découvrir ou la connaître ?

Cette question trace la ligne de faille fondamentale de la métaphysique, de l’épistémologie, de la philosophie du langage et de la philosophie des mathématiques contemporaines : l’affrontement entre le réalisme métaphysique (Metaphysical Realism) et l’anti-réalisme sémantique (Semantic Anti-Realism / Vérificationnisme).

1.1 L’engagement du réalisme métaphysique

Selon le réalisme métaphysique — défendu par Gottlob Frege, Bertrand Russell, le premier Hilary Putnam et Timothy Williamson — la vérité transcende radicalement nos capacités de reconnaissance (recognition-transcendent truth). Dans le langage formel de la logique bimodale épistémique et aléthique, en notant $p$ le fait que la proposition $p$ est vraie, $Kp$ le fait que « quelqu’un connaît $p$ à un moment donné (passé, présent ou futur) » et $\Diamond\phi$ le fait qu’« il est logiquement ou métaphysiquement possible que $\phi$ », le réalisme affirme la possibilité de vérités inconnaissables :

Des exemples classiques incluent les micro-faits historiques irrémédiablement détruits par l’entropie (par exemple : « Le nombre de cheveux sur la tête de Jules César à l’instant précis où Brutus l’a poignardé en 44 av. J.-C. était impair »), les événements physiques au-delà de l’horizon cosmologique des événements, ou les énoncés mathématiques indécidables.

1.2 L’anti-réalisme sémantique et le principe de connaissabilité (KP)

À l’opposé, la tradition du vérificationnisme, du pragmatisme et de l’anti-réalisme sémantique — de C.S. Peirce et du Cercle de Vienne jusqu’au réalisme interne de Putnam et à l’anti-réalisme intuitionniste de Michael Dummett — rejette l’idée d’une vérité totalement détachée de toute vérification possible. Par ses célèbres arguments de l’acquisition (Acquisition Argument) et de la manifestation (Manifestation Argument), Dummett soutient que la compréhension du sens d’un énoncé par des locuteurs finis exige que ses conditions de vérité soient liées constitutivement à sa connaissabilité en principe.

Cela conduit à l’axiome central de l’anti-réalisme, le principe de connaissabilité (Knowability Principle, KP) :

(« Pour toute proposition $p$, si $p$ est vraie, alors il est possible que quelqu’un connaisse $p$ à un moment donné. »)

1.3 Le principe de non-omniscience (NO) et la bombe logique de Fitch

L’anti-réaliste n’est nullement un idéaliste subjectif affirmant que toute vérité est actuellement connue ($\forall p (p \to K p)$). Conscient de la finitude humaine, tout anti-réaliste souscrit au principe de non-omniscience (Non-Omniscience Principle, NO) :

Or, en 1963, le logicien de Yale Frederic B. Fitch (1908–1987) a publié dans The Journal of Symbolic Logic l’article “A Logical Analysis of Some Value Concepts”, dont le Théorème 5 fait voler en éclats la compatibilité entre KP et NO :

Paradoxe de la connaissabilité de Fitch (1963) : En utilisant uniquement les règles d’inférence les plus faibles et les moins contestables de la logique épistémique modale — la factivité de la connaissance et la distributivité sur la conjonction — le modeste principe de connaissabilité $\forall p \, (p \to \Diamond K p)$ implique directement en logique classique l’absurde principe d’omniscience $\forall p \, (p \to K p)$ ! Par contraposition, si l’humanité n’est pas omnisciente ($\exists p \, (p \land \neg K p)$), alors il existe nécessairement au moins une vérité qu’il est logiquement impossible de jamais connaître ($\exists q \, (q \land \neg \Diamond K q)$).

2. Genèse historique : Le rapport anonyme d’Alonzo Church (1945) et l’article de Fitch (1963)

Dans la note de bas de page 5 (p. 138) de son article de 1963, Fitch mentionnait que la preuve du théorème 5 lui avait été suggérée par « un rapporteur anonyme d’un article soumis en 1945 mais jamais publié ».

Ce mystère historique a été résolu par Joe Salerno (2009, New Essays on the Knowability Paradox) grâce aux archives de l’Université de Princeton : le rapporteur anonyme de 1945 n’était autre qu’Alonzo Church (1903–1995), le père du $\lambda$-calcul ! En juillet 1945, évaluant un manuscrit de Fitch qui identifiait vérité et connaissabilité, Church démontra qu’en substituant la conjonction $q := (p \land \neg K p)$, le principe $\forall q \, (q \to \Diamond K q)$ s’effondre immédiatement en $\forall p \, (p \to K p)$.

3. Syntaxe formelle et système axiomatique minimal de la logique bimodale

Dans le langage bimodal $\mathcal{L}_{K,\Box}$, l’opérateur épistémique $K\phi$ représente la connaissance collective et omnitemporelle :

La force redoutable de la preuve de Fitch réside dans le fait qu’elle n’utilise aucun axiome épistémique fort : ni le principe KK (introspection positive, Axiome 4 : $K\phi \to KK\phi$), ni l’introspection négative (Axiome 5 : $\neg K\phi \to K\neg K\phi$), ni même la clôture déductive complète (Axiome K : $K(\phi \to \psi) \to (K\phi \to K\psi)$). Elle ne requiert que trois principes minimaux :

1. (A1) Factivité de la connaissance (Axiome T) : $$K\phi \vdash \phi$$ (« Ce qui est su doit être vrai ; on ne peut pas savoir le faux. »)
2. (A2) Distribution de la connaissance sur la conjonction : $$K(\phi \land \psi) \vdash K\phi \land K\psi$$ (« Savoir la conjonction “$\phi$ et $\psi$” implique savoir $\phi$ et savoir $\psi$. »)
3. (R1) Règle de nécessitation modale (Modal Necessitation Rule) : $$\text{Si } \vdash \phi, \quad \text{alors } \vdash \Box\phi$$ (« Tout théorème de la logique pure est nécessairement vrai dans tous les mondes possibles », avec la dualité $\Box\neg\phi \equiv \neg\Diamond\phi$).

4. Démonstration formelle étape par étape du paradoxe de Fitch

4.1 Étape I (Théorème 1 de Fitch) : L’impossibilité logique de connaître une vérité inconnue

Considérons la proposition conjonctive $q \stackrel{\text{def}}{\equiv} (p \land \neg K p)$ (« $p$ est vraie, mais personne ne connaît jamais $p$ »). Prouvons par reductio ad absurdum ($\neg$-Introduction) que personne ne peut connaître $q$ :

La ligne (9) $\vdash \neg \Diamond K(p \land \neg K p)$ établit qu’il est logiquement impossible de jamais connaître une vérité inconnue !

4.2 Étape II (Théorème 5 de Fitch) : L’effondrement de la connaissabilité (KP) en omniscience (OP)

Instancions maintenant le principe de connaissabilité (KP) $\forall q \, (q \to \Diamond K q)$ avec $q := (p \land \neg K p)$ :

  flowchart TD
    subgraph Stage1["Étape I : Théorème 1 de Fitch (Lemme de l'angle mort épistémique)"]
        A1["Hypothèse (1): K(p ∧ ¬Kp)<br/>Quelqu'un sait que « p est vraie et inconnue »"] -->|"Distribution conjonctive (A2)<br/>K(φ ∧ ψ) ⊢ Kφ ∧ Kψ"| A2["(2) Kp ∧ K(¬Kp)"]
        A2 -->|"∧-Élimination (gauche)"| A3["(3) Kp<br/>p est connue"]
        A2 -->|"∧-Élimination (droite)"| A4["(4) K(¬Kp)<br/>Il est su que p est inconnue"]
        A4 -->|"Factivité du savoir (A1)<br/>Kψ ⊢ ψ"| A5["(5) ¬Kp<br/>p n'est pas connue"]
        A3 & A5 -->|"∧-Introduction"| A6["(6) Kp ∧ ¬Kp (⊥ Contradiction !)"]
        A6 -->|"¬-Introduction (décharge de 1)"| A7["(7) ⊢ ¬K(p ∧ ¬Kp)"]
        A7 -->|"Nécessitation modale (R1) + Dualité"| A9["(9) ⊢ ¬◇K(p ∧ ¬Kp)<br/>Impossible de connaître une vérité inconnue"]
    end

    subgraph Stage2["Étape II : Théorème 5 de Fitch (Effondrement en omniscience)"]
        KP["Principe de connaissabilité (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/>Aucune vérité inconnue ne peut exister"]
        B11 -->|"Implication constructivement valide"| B12["(12) ∀p (p → ¬¬Kp)<br/>Point d'arrêt intuitionniste de Dummett"]
        B12 -->|"Élimination de la double négation (DNE)<br/>¬¬Kp ⊢ Kp"| B14["(14) ∀p (p → Kp)<br/>Principe d'omniscience (OP) !"]
    end

5. Diagnostic structurel : Paradoxe de Moore, angles morts épistémiques et examen surprise

1. Le paradoxe de G.E. Moore (1942) : L’énoncé de Moore « Il pleut dehors, mais je ne sais pas qu’il pleut » ($p \land \neg K_a p$) est ontologiquement cohérent mais épistémiquement inconnaissable à la première personne. Lorsque $K$ englobe toute la communauté des sujets connaissants à travers tous les temps, $(p \land \neg K p)$ devient un énoncé de Moore universalisé privé de tout observateur extérieur.
2. Les angles morts épistémiques (Blindspots) de Roy Sorensen (1988) : La conjonction $(p \land \neg K p)$ constitue un angle mort épistémique ($\Diamond\phi \land \neg\Diamond K\phi$). L’acte même d’acquérir la connaissance $K p$ modifie l’état épistémique du monde et détruit la vérité du second conjoint $\neg K p$.
3. Paradoxe de l’examen surprise et théorème d’incomplétude de Gödel : Dans le paradoxe de l’examen surprise, l’élève confond la vérité de $(E_5 \land \neg K_{\text{Jeu}} E_5)$ avec sa connaissabilité le jeudi soir $K_{\text{Jeu}}(E_5 \land \neg K_{\text{Jeu}} E_5)$. En arithmétique formelle, le théorème de Löb interdit au prédicat de prouvabilité $\text{Prov}_T(\ulcorner \phi \urcorner)$ de vérifier universellement la factivité ($\text{Prov}_T(\ulcorner \phi \urcorner) \to \phi$), tandis que le savoir authentique $K$ est inconditionnellement factif.

6. Les quatre grandes voies de sortie philosophiques et leurs coûts

6.1 Voie I : Michael Dummett et la logique intuitionniste

Michael Dummett (2001, “Victor’s Error”) et Neil Tennant soulignent que les lignes (1) à (12) de la preuve de Fitch sont intégralement valides en logique intuitionniste. La logique classique n’intervient qu’à la ligne (13) via l’élimination de la double négation (DNE : $\neg\neg K p \vdash K p$). En rejetant la DNE, l’anti-réaliste intuitionniste s’arrête à :

La contre-attaque de Timothy Williamson (1982, 2000) :

1. Même en logique intuitionniste, la ligne (11) prouve $\vdash_{\text{Int}} \neg \exists p \, (p \land \neg K p)$ : le principe de non-omniscience (NO) est donc démontré contradictoire (faux) même intuitionnistement !
2. Dès que $K p \lor \neg K p$ est décidable (par exemple si l’histoire humaine ne comporte qu’un nombre fini d’actes de connaissance), $\neg\neg K p \vdash_{\text{Int}} K p$ redevient valide en logique intuitionniste, provoquant à nouveau l’effondrement en $p \to K p$.

6.2 Voie II : La restriction de Neil Tennant aux « propositions cartésiennes »

Neil Tennant (1997, The Taming of the Sleuth) restreint KP aux propositions cartésiennes dont la connaissance n’est pas logiquement contradictoire :

Contre-exemple de DeVidi & Solomon (2001) et Williamson : La proposition $r \stackrel{\text{def}}{\equiv} p \land (K p \to n)$ est cartésienne ($K r \vdash K p \land n \not\vdash \bot$), mais son instanciation dans $\text{KP}_{\text{Cart}}$ sous l’hypothèse $p \land \neg K p$ entraîne $\Diamond(K p \land n)$, réintroduisant le paradoxe !

6.3 Voie III : La logique modale bidimensionnelle de Dorothy Edgington ($\mathcal{A}$ / @)

Dorothy Edgington (1985, “The Paradox of Knowability”, Mind) introduit l’opérateur d’actualité $\mathcal{A}$ (« Actually ») ($\mathcal{M}, w' \models \mathcal{A}\phi \iff \mathcal{M}, w_0 \models \phi$) :

Dans un monde possible contrefactuel $w'$, un agent peut savoir sans contradiction que dans le monde actuel $w_0$, $p$ est vraie et ignorée dans $w_0$ ($K_{w'}(\mathcal{A} p) \land \neg \mathcal{A} K p$). Objection de Williamson : Comment un sujet situé dans un monde $w'$ causalement isolé de $w_0$ pourrait-il acquérir un savoir empirique sur les faits contingents de $w_0$ ?

6.4 Voie IV : Logique épistémique dynamique (DEL) et logique des annonces publiques (PAL)

Johan van Benthem (2004) montre via l’opérateur d’annonce publique $[\phi!]\psi$ que $(p \land \neg K p)$ est une « formule infructueuse » (Unsuccessful Formula) qui se réfute elle-même dès qu’elle est apprise : $\mathcal{M}, w \models [p \land \neg K p !] \neg(p \land \neg K p)$.

  flowchart TD
    Root["Paradoxe de la connaissabilité de Fitch<br/>KP: ∀q (q → ◇Kq) + NO: ∃p (p ∧ ¬Kp) ⊢ ⊥"]

    Root --> E1["Voie I : Logique intuitionniste<br/>(Michael Dummett / Neil Tennant)"]
    Root --> E2["Voie II : Restriction cartésienne<br/>(Neil Tennant 1997)"]
    Root --> E3["Voie III : Logique modale bidimensionnelle<br/>(Dorothy Edgington 1985)"]
    Root --> E4["Voie IV : Logique épistémique dynamique PAL<br/>(Johan van Benthem 2004)"]

    E1 --> M1["Mécanisme : Rejet de la DNE classique ;<br/>arrêt à ∀p (p → ¬¬Kp)"]
    M1 --> C1["Coût : Prouve toujours ¬∃p(p ∧ ¬Kp),<br/>rendant la non-omniscience contradictoire"]

    E2 --> M2["Mécanisme : KP restreint aux propositions<br/>cartésiennes (Kφ ⊬ ⊥) ; exclut (p ∧ ¬Kp)"]
    M2 --> C2["Coût : r := p ∧ (Kp → n) est cartésienne<br/>mais réactive immédiatement le paradoxe"]

    E3 --> M3["Mécanisme : Opérateur d'actualité A :<br/>Aφ → ◇K(Aφ) ; savoir en w' ce qui vaut en w0"]
    M3 --> C3["Coût : Impossibilité épistémique d'un savoir<br/>empirique inter-mondes sans lien causal"]

    E4 --> M4["Mécanisme : Opérateur PAL [φ!]ψ identifiant<br/>(p ∧ ¬Kp) comme mise à jour auto-réfutante"]
    M4 --> C4["Conséquence : Abandon de l'identification<br/>statique entre vérité et connaissabilité"]

7. Matrice comparée et conclusion philosophique

Conclusion : Dès lors que nous reconnaissons notre finitude cognitive ($\exists p \, (p \land \neg K p)$), le Théorème 1 de Fitch ($\vdash \neg \Diamond K(p \land \neg K p)$) nous contraint logiquement à admettre le réalisme métaphysique :

Références

• 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.