1. Introducción: La falla epistemológica entre el realismo metafísico y el antirrealismo semántico

¿Puede una proposición ser determinadamente verdadera incluso si ninguna mente finita pudiera jamás —ni siquiera en principio— verificarla, descubrirla o conocerla?

Esta pregunta define la línea de fractura más profunda de la metafísica, la epistemología, la filosofía del lenguaje y la filosofía de las matemáticas contemporáneas: el enfrentamiento entre el realismo metafísico (Metaphysical Realism) y el antirrealismo semántico (Semantic Anti-Realism / Verificacionismo).

1.1 El compromiso del realismo metafísico

Según el realismo metafísico —defendido por Gottlob Frege, Bertrand Russell, el primer Hilary Putnam y Timothy Williamson—, la verdad trasciende radicalmente nuestras capacidades de reconocimiento (recognition-transcendent truth). En el lenguaje formal de la lógica bimodal epistémico-alética, denotando por $p$ que la proposición $p$ es verdadera, por $Kp$ que «alguien en algún momento (pasado, presente o futuro) conoce $p$», y por $\Diamond\phi$ que «es lógica o metafísicamente posible que $\phi$», el realismo afirma la existencia de verdades incognoscibles:

Ejemplos paradigmáticos son los micro-hechos históricos irremediablemente borrados por la entropía (como si el número de cabellos en la cabeza de Julio César en el instante exacto en que Bruto lo apuñaló en el 44 a. C. era impar), los sucesos cuánticos más allá del horizonte de sucesos cosmológico o las proposiciones matemáticas indecidibles.

1.2 El antirrealismo semántico y el principio de cognoscibilidad (KP)

Frente a ello, la tradición del verificacionismo, el pragmatismo y el antirrealismo semántico —desde C.S. Peirce y el Círculo de Viena hasta el realismo interno de Putnam y el antirrealismo intuicionista de Michael Dummett— rechaza la noción de una verdad inaccesible en principio. Mediante sus célebres argumentos de la adquisición (Acquisition Argument) y de la manifestación (Manifestation Argument), Dummett sostuvo que los hablantes finitos solo pueden aprender y manifestar la comprensión del significado de una oración si sus condiciones de verdad están vinculadas constitutivamente a su verificabilidad o cognoscibilidad potencial.

Esto cristaliza en el axioma fundamental del antirrealismo moderno, el principio de cognoscibilidad (Knowability Principle, KP):

(«Para toda proposición $p$, si $p$ es verdadera, entonces es posible que alguien en algún momento conozca $p$.»)

1.3 El principio de no-omnisciencia (NO) y la bomba lógica de Fitch

El antirrealista no es un idealista subjetivo que afirme $\forall p \, (p \to K p)$ («toda verdad es conocida de hecho»). Todo antirrealista acepta como obvio el principio de no-omnisciencia (Non-Omniscience Principle, NO):

Sin embargo, en 1963, el lógico de Yale Frederic B. Fitch (1908–1987) publicó en The Journal of Symbolic Logic su artículo “A Logical Analysis of Some Value Concepts”, cuyo Teorema 5 demolió la compatibilidad entre KP y NO:

Paradoja de la cognoscibilidad de Fitch (1963): Utilizando únicamente las reglas de inferencia más débiles e indiscutibles de la lógica epistémica modal —la factividad del conocimiento y la distribución sobre la conjunción—, el modesto principio de cognoscibilidad $\forall p \, (p \to \Diamond K p)$ implica directamente en lógica clásica el absurdo principio de omnisciencia $\forall p \, (p \to K p)$. Por contraposición, si los seres humanos no somos omniscientes ($\exists p \, (p \land \neg K p)$), entonces existe necesariamente al menos una verdad que es lógicamente imposible que alguien llegue a conocer jamás ($\exists q \, (q \land \neg \Diamond K q)$).

2. Génesis histórica: El informe anónimo de Alonzo Church (1945) y el artículo de Fitch (1963)

En la nota 5 (p. 138) de su artículo de 1963, Fitch agradeció la prueba del Teorema 5 a «un árbitro anónimo de un artículo enviado en 1945 pero nunca publicado».

El misterio fue resuelto por Joe Salerno (2009, New Essays on the Knowability Paradox) en los archivos de la Universidad de Princeton: el árbitro anónimo de 1945 fue Alonzo Church (1903–1995), el creador del cálculo $\lambda$. En julio de 1945, al revisar un manuscrito de Fitch que identificaba verdad y cognoscibilidad, Church demostró que al sustituir la conjunción $q := (p \land \neg K p)$ en $\forall q \, (q \to \Diamond K q)$, se deduce $\neg(p \land \neg K p)$, colapsando la cognoscibilidad potencial en omnisciencia actual ($\forall p (p \to K p)$).

3. Sintaxis formal y sistema axiomático mínimo de la lógica bimodal

En el lenguaje bimodal $\mathcal{L}_{K,\Box}$, el operador epistémico $K\phi$ expresa el conocimiento colectivo y omnitemporal:

La prueba de Fitch no requiere ningún axioma epistémico fuerte como el principio KK (Axioma 4: $K\phi \to KK\phi$), la introspección negativa (Axioma 5: $\neg K\phi \to K\neg K\phi$) ni la clausura deductiva completa (Axioma K: $K(\phi \to \psi) \to (K\phi \to K\psi)$). Solo necesita tres principios mínimos:

1. (A1) Factividad del conocimiento (Axioma T): $$K\phi \vdash \phi$$ («Lo que se sabe debe ser verdadero; no se puede saber una falsedad.»)
2. (A2) Distribución del conocimiento sobre la conjunción: $$K(\phi \land \psi) \vdash K\phi \land K\psi$$ («Quien sabe la conjunción “$\phi$ y $\psi$”, sabe $\phi$ y sabe $\psi$.»)
3. (R1) Regla de necesitación modal (Modal Necessitation Rule): $$\text{Si } \vdash \phi, \quad \text{entonces } \vdash \Box\phi$$ («Todo teorema lógico es necesariamente verdadero en todos los mundos posibles», junto con la dualidad $\Box\neg\phi \equiv \neg\Diamond\phi$).

4. Derivación formal paso a paso de la paradoja de Fitch

4.1 Etapa I (Teorema 1 de Fitch): La imposibilidad lógica de conocer una verdad desconocida

Sea $q \stackrel{\text{def}}{\equiv} (p \land \neg K p)$ («$p$ es verdadera, pero nadie conoce jamás $p$»). Demostramos por reductio ad absurdum ($\neg$-Introducción) que nadie puede conocer $q$:

La línea (9) $\vdash \neg \Diamond K(p \land \neg K p)$ demuestra que es lógicamente imposible conocer jamás una verdad desconocida.

4.2 Etapa II (Teorema 5 de Fitch): El colapso de la cognoscibilidad (KP) en omnisciencia (OP)

Sustituimos ahora $q := (p \land \neg K p)$ en el principio de cognoscibilidad (KP) $\forall q \, (q \to \Diamond K q)$:

  flowchart TD
    subgraph Stage1["Etapa I: Teorema 1 de Fitch (Lema del punto ciego epistémico)"]
        A1["Supuesto (1): K(p ∧ ¬Kp)<br/>Alguien sabe que «p es verdadera y desconocida»"] -->|"Distribución conjuntiva (A2)<br/>K(φ ∧ ψ) ⊢ Kφ ∧ Kψ"| A2["(2) Kp ∧ K(¬Kp)"]
        A2 -->|"∧-Eliminación (izquierda)"| A3["(3) Kp<br/>p es conocida"]
        A2 -->|"∧-Eliminación (derecha)"| A4["(4) K(¬Kp)<br/>Se sabe que p es desconocida"]
        A4 -->|"Factividad del conocimiento (A1)<br/>Kψ ⊢ ψ"| A5["(5) ¬Kp<br/>p no es conocida"]
        A3 & A5 -->|"∧-Introducción"| A6["(6) Kp ∧ ¬Kp (⊥ ¡Contradicción!)"]
        A6 -->|"¬-Introducción (descarga de 1)"| A7["(7) ⊢ ¬K(p ∧ ¬Kp)"]
        A7 -->|"Necesitación modal (R1) + Dualidad"| A9["(9) ⊢ ¬◇K(p ∧ ¬Kp)<br/>Imposible conocer una verdad desconocida"]
    end

    subgraph Stage2["Etapa II: Teorema 5 de Fitch (Colapso en la omnisciencia)"]
        KP["Principio de cognoscibilidad (KP)<br/>∀q (q → ◇Kq)"] -->|"Sustitución q := (p ∧ ¬Kp)"| B10["(10) (p ∧ ¬Kp) → ◇K(p ∧ ¬Kp)"]
        A9 & B10 -->|"Modus Tollens"| B11["(11) ¬(p ∧ ¬Kp)<br/>No puede existir ninguna verdad desconocida"]
        B11 -->|"Implicación constructivamente válida"| B12["(12) ∀p (p → ¬¬Kp)<br/>Punto de parada intuicionista de Dummett"]
        B12 -->|"Eliminación de doble negación (DNE)<br/>¬¬Kp ⊢ Kp"| B14["(14) ∀p (p → Kp)<br/>¡Principio de omnisciencia (OP)!"]
    end

5. Diagnóstico estructural: La paradoja de Moore, los puntos ciegos epistémicos y el examen sorpresa

1. La paradoja de G.E. Moore (1942): La oración «Está lloviendo afuera, pero yo no sé que está lloviendo» ($p \land \neg K_a p$) es ontológicamente consistente pero epistémicamente incognoscible en primera persona. Al cuantificar $K$ sobre todos los agentes y todos los tiempos, $(p \land \neg K p)$ se convierte en una oración de Moore universalizada sin observador externo posible.
2. Los puntos ciegos epistémicos (Blindspots) de Roy Sorensen (1988): $(p \land \neg K p)$ es un punto ciego epistémico ($\Diamond\phi \land \neg\Diamond K\phi$): el acto mismo de adquirir el conocimiento $K p$ altera el estado epistémico del mundo y refuta el segundo conyunto $\neg K p$.
3. Paradoja del examen sorpresa y teorema de incompletitud de Gödel: En el examen sorpresa, los alumnos confunden la verdad de $(E_5 \land \neg K_{\text{Jue}} E_5)$ con su cognoscibilidad el jueves por la noche $K_{\text{Jue}}(E_5 \land \neg K_{\text{Jue}} E_5)$. En la aritmética formal, el teorema de Löb impide que el predicado de demostrabilidad $\text{Prov}_T(\ulcorner \phi \urcorner)$ satisfaga universalmente la factividad ($\text{Prov}_T(\ulcorner \phi \urcorner) \to \phi$), mientras que el conocimiento genuino $K$ es incondicionalmente factivo.

6. Las cuatro grandes vías de escape filosóficas y sus costos

6.1 Vía I: Michael Dummett y la lógica intuicionista

Michael Dummett (2001, “Victor’s Error”) y Neil Tennant observaron que las líneas (1) a (12) son plenamente válidas en la lógica intuicionista. La lógica clásica solo interviene en el paso de (12) a (13) mediante la eliminación de la doble negación (DNE: $\neg\neg K p \vdash K p$). Sin DNE, la derivación se detiene en:

La contracrítica de Timothy Williamson (1982, 2000):

1. Incluso en lógica intuicionista, la línea (11) demuestra $\vdash_{\text{Int}} \neg \exists p \, (p \land \neg K p)$, por lo que el principio de no-omnisciencia (NO) resulta contradictorio (falso) también para el intuicionista.
2. Para proposiciones decidibles ($K p \lor \neg K p$), $\neg\neg K p \vdash_{\text{Int}} K p$ es válido intuicionistamente, reapareciendo el colapso en $p \to K p$.

6.2 Vía II: La restricción de Neil Tennant a las «proposiciones cartesianas»

Neil Tennant (1997, The Taming of the Sleuth) restringe KP a las proposiciones cartesianas ($\text{Cartesian}(\phi) \iff K\phi \not\vdash \bot$):

Contraejemplo de DeVidi & Solomon (2001) y Williamson: La proposición compuesta $r \stackrel{\text{def}}{\equiv} p \land (K p \to n)$ es cartesiana ($K r \not\vdash \bot$), pero al sustituirse en $\text{KP}_{\text{Cart}}$ bajo el supuesto $p \land \neg K p$ implica $\Diamond(K p \land n)$, reactivando la paradoja.

6.3 Vía III: La lógica modal bidimensional de Dorothy Edgington ($\mathcal{A}$ / @)

Dorothy Edgington (1985, “The Paradox of Knowability”, Mind) introduce el operador de actualidad $\mathcal{A}$ («Actually») ($\mathcal{M}, w' \models \mathcal{A}\phi \iff \mathcal{M}, w_0 \models \phi$):

En un mundo posible contrafáctico $w'$, un agente puede saber sin contradicción que en el mundo actual $w_0$, $p$ es verdadera y nadie en $w_0$ la conoce ($K_{w'}(\mathcal{A} p) \land \neg \mathcal{A} K p$). Crítica de Williamson: ¿Cómo puede un agente en un mundo $w'$ causalmente aislado de $w_0$ tener conocimiento empírico sobre hechos contingentes de $w_0$?

6.4 Vía IV: Lógica epistémica dinámica (DEL) y lógica de anuncios públicos (PAL)

Johan van Benthem (2004) demuestra mediante el operador dinámico $[\phi!]\psi$ que $(p \land \neg K p)$ es una «fórmula infructuosa» (Unsuccessful Formula) que se falsifica a sí misma en el instante en que se anuncia o aprende: $\mathcal{M}, w \models [p \land \neg K p !] \neg(p \land \neg K p)$.

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

    Root --> E1["Vía I: Lógica intuicionista<br/>(Michael Dummett / Neil Tennant)"]
    Root --> E2["Vía II: Restricción cartesiana<br/>(Neil Tennant 1997)"]
    Root --> E3["Vía III: Lógica modal bidimensional<br/>(Dorothy Edgington 1985)"]
    Root --> E4["Vía IV: Lógica epistémica dinámica PAL<br/>(Johan van Benthem 2004)"]

    E1 --> M1["Mecanismo: Rechazo de la DNE clásica;<br/>detención en ∀p (p → ¬¬Kp)"]
    M1 --> C1["Costo: Sigue probando ¬∃p(p ∧ ¬Kp),<br/>haciendo contradictoria la no-omnisciencia"]

    E2 --> M2["Mecanismo: KP restringido a proposiciones<br/>cartesianas (Kφ ⊬ ⊥); bloquea (p ∧ ¬Kp)"]
    M2 --> C2["Costo: r := p ∧ (Kp → n) es cartesiana<br/>pero revive consecuencias modales absurdas"]

    E3 --> M3["Mecanismo: Operador de actualidad A:<br/>Aφ → ◇K(Aφ); saber en w' lo que ocurre en w0"]
    M3 --> C3["Costo: Imposibilidad de conocimiento empírico<br/>entre mundos posibles causalmente aislados"]

    E4 --> M4["Mecanismo: Operador PAL [φ!]ψ identifica<br/>(p ∧ ¬Kp) como actualización autorrefutante"]
    M4 --> C4["Consecuencia: Abandono de la identificación<br/>estática entre verdad y cognoscibilidad"]

7. Matriz comparativa y conclusión filosófica

Conclusión: Si aceptamos nuestra finitud cognitiva ($\exists p \, (p \land \neg K p)$), el Teorema 1 de Fitch ($\vdash \neg \Diamond K(p \land \neg K p)$) nos obliga por pura lógica a aceptar el realismo metafísico:

Referencias

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