1. Introducción: El choque del desacuerdo racional y la desaparición de las excusas

En la vida cotidiana, la medicina clínica, la jurisprudencia, la política macroeconómica, las ciencias empíricas y la propia filosofía, nos enfrentamos constantemente a personas que rechazan nuestras convicciones más meditadas. En la gran mayoría de las disputas ordinarias, descubrir ese desacuerdo no socava nuestra confianza porque disponemos de explicaciones cómodas que rompen la simetría: auténticas «excusas epistémicas». Nos decimos que nuestro interlocutor no ha leído los últimos estudios empíricos, carece de formación estadística rigurosa o está cegado por un sesgo ideológico o financiero. Mientras podamos clasificar al oponente como un inferior epistémico (Epistemic Inferior) respecto a la cuestión debatida, conservar nuestra creencia inicial resulta sencillo.

Pero ¿qué ocurre cuando desaparecen todas esas excusas reconfortantes?

Supongamos que usted y una colega han trabajado codo con codo durante diez años en la misma disciplina científica o filosófica. Ambos han examinado exactamente el mismo corpus de literatura primaria, los mismos datos experimentales y las mismas demostraciones matemáticas (un conjunto compartido de evidencia $E$). Además, sabe con certeza que su colega le iguala en inteligencia, rigor analítico, honestidad intelectual, atención e imparcialidad. En el vocabulario técnico de la epistemología social (Social Epistemology) contemporánea, esa colega es su par epistémico ($\text{Peer}(S_1, S_2)$).

Tras evaluar independientemente la evidencia compartida $E$, usted llega a la firme convicción de que la proposición $P$ es verdadera, asignándole un grado de creencia o credence de $c_1(P) = 0.85$. Su par epistémico, habiendo evaluado exactamente la misma evidencia $E$ con igual cuidado, anuncia la conclusión opuesta: cree $\neg P$, asignando a $P$ apenas $c_2(P) = 0.15$.

En el instante en que descubre este desacuerdo entre pares, ¿qué le exige la racionalidad epistémica?

1. El conciliacionismo / La visión del peso igual (Conciliationism / Equal Weight View): Puesto que usted y su par son procesadores igualmente fiables de la evidencia $E$ y al menos uno de los dos ha cometido un error cognitivo en esta ocasión, privilegiar su propio juicio solo porque es el suyo constituye una forma de dogmatismo. Debe revisar sustancialmente su confianza hacia el punto medio ($c_{\text{new}}(P) = 0.50$) y suspender el juicio.
2. La visión de la firmeza (The Steadfast View / Non-Conciliationism): Incluso frente al desacuerdo de un par, si la evidencia de primer orden $E$ apoya objetivamente $P$ y usted razonó correctamente de $E$ a $P$, no está obligado a abandonar una creencia bien fundada solo porque su par haya sufrido un punto ciego puntual.

Desde mediados de la década de 2000, este problema —articulado por Richard Feldman, David Christensen, Adam Elga, Thomas Kelly, Jennifer Lackey y Miriam Schoenfield— ocupa el centro de la epistemología analítica.

2. Formalización de la paridad epistémica y arquitectura de la evidencia en dos niveles

2.1 Igualdad evidencial e igualdad cognitiva

Siguiendo a Thomas Kelly (2005, “The Epistemic Significance of Disagreement”) y Richard Feldman (2007), dos agentes $S_1$ y $S_2$ son pares epistémicos respecto a una proposición $P$ si cumplen dos condiciones de simetría:

1. Igualdad evidencial (Evidential Equality): $S_1$ y $S_2$ poseen exactamente el mismo cuerpo de evidencia sustantiva de primer orden $E$ relevante para la verdad de $P$ ($E_1 = E_2 = E$).
2. Igualdad cognitiva (Cognitive Equality): $S_1$ y $S_2$ son iguales en las competencias cognitivas generales (inteligencia, rigor lógico, formación en el dominio) y virtudes epistémicas (honestidad intelectual, apertura mental, ausencia de sesgos) necesarias para evaluar $E$, con tasas de fiabilidad equivalentes $R(S_1) \approx R(S_2)$.

2.2 Evidencia de primer orden ($E$) frente a evidencia de orden superior ($E_{\text{HOE}}$)

El motor analítico del debate reside en la distinción entre evidencia de primer orden ($E$) y evidencia de orden superior ($E_{\text{HOE}}$) (Christensen 2010; Kelly 2010):

• Evidencia de primer orden ($E$): Evidencia que incide directamente sobre la verdad de la proposición $P$ en el mundo (datos clínicos, series macroeconómicas, manuscritos históricos o las cifras de una cuenta de restaurante).
• Evidencia de orden superior ($E_{\text{HOE}}$): Meta-evidencia acerca de la fiabilidad de nuestro propio funcionamiento cognitivo al procesar $E$ o sobre si $E$ apoya realmente a $P$.

En el clásico caso del fármaco distorsionador del razonamiento (Christensen 2010), si un médico le informa de que su café matutino contenía una sustancia que provoca alucinaciones lógicas indetectables en el $80\%$ de los sujetos tras haber deducido un teorema $P$ a partir de axiomas $E$, ese testimonio no refuta directamente el teorema matemático $P$, sino que actúa como un derrotador socavador de orden superior ($E_{\text{HOE}}$) que le obliga a reducir su confianza en su propio cálculo. Descubrir que un par epistémico concluyó $\neg P$ a partir de $E$ funciona exactamente como evidencia de orden superior de que al menos uno de los dos sistemas cognitivos sufrió un fallo de rendimiento.

  flowchart TD
    E["Evidencia compartida de primer orden E<br/>(Datos clínicos, textos, cuenta del restaurante)"] --> S1["Procesamiento cognitivo del agente S1<br/>(Fiabilidad R1 = 1 - ε)"]
    E --> S2["Procesamiento cognitivo del par S2<br/>(Fiabilidad R2 = 1 - ε)"]
    S1 --> J1["Juicio inicial de S1: P<br/>(Credence inicial c1(P) = 0.85)"]
    S2 --> J2["Juicio inicial de S2: ¬P<br/>(Credence inicial c2(P) = 0.15)"]
    J1 --> D["Descubrimiento del desacuerdo (Evidencia de orden superior E_HOE)<br/>'Mi par epistémico S2 concluyó ¬P a partir de E'"]
    J2 --> D
    D --> C["Conciliacionismo (Equal Weight View)<br/>Obedece el Principio de Independencia; simetría del error<br/>Actualiza la creencia al punto medio: c_new(P) = 0.50"]
    D --> ST["Visión de la Firmeza (Total Evidence View)<br/>Conserva el apoyo objetivo de la evidencia E<br/>Mantiene una creencia alta: c_new(P) ≈ 0.80"]

3. El campo conciliacionista: La cuenta del restaurante, el peso igual y la independencia

3.1 El caso de la cuenta del restaurante de David Christensen (2007)

En “Epistemology of Disagreement: The Good News” (2007), David Christensen formuló el célebre experimento mental de la cuenta del restaurante (The Restaurant Check Case): cinco amigos cenan juntos y acuerdan dividir la factura en partes iguales añadiendo un $20\%$ de propina. Usted y su amiga —igual de hábil y precisa en aritmética mental— revisan la cuenta ($E$). Usted calcula mentalmente que cada uno debe pagar $\$43$ ($c_1(P) = 0.95$), pero su amiga anuncia con idéntica seguridad que la cuota es $$45$ ($c_2(P) = 0.05$).

Razonar diciendo: *«Yo calculé $\$43$, luego la respuesta correcta es $$43$; como mi amiga dijo $$45$, ella cometió un error aritmético hoy y yo sigo seguro al $95%$»* es patentemente irracional y dogmático. Dado que ambos tienen una probabilidad simétrica $\varepsilon > 0$ de cometer un desliz mental, la racionalidad exige rebajar la confianza en $$43$ al $50%$.

3.2 La visión del peso igual de Adam Elga y la agregación lineal bayesiana

Adam Elga (2007, “Reflection and Disagreement”) generalizó esta intuición en la visión del peso igual (Equal Weight View), que prescribe una agregación lineal de opiniones (Linear Opinion Pooling) con pesos simétricos $w_1 = w_2 = \frac{1}{2}$:

En un modelo bayesiano con probabilidad a priori $\mathbb{P}(P) = p_0$ donde cada agente tiene una fiabilidad diagnóstica $1 - \varepsilon$ ($\varepsilon \in (0, 1/2)$), la probabilidad a posteriori de $P$ dado el evento conjunto $\{D_1 = P, D_2 = \neg P\}$ es:

El factor $(1 - \varepsilon)\varepsilon$ se cancela exactamente en el numerador y el denominador, devolviendo la creencia a la probabilidad previa $p_0$ ($0.50$), lo que equivale a la suspensión del juicio defendida por Richard Feldman (2006).

3.3 El Principio de Independencia de Christensen

Para bloquear la descalificación circular del par, Christensen (2009, 2011) formuló el Principio de Independencia (Independence Principle):

[Principio de Independencia (Christensen 2009)] Al evaluar las credenciales epistémicas de la creencia expresada por otro sobre $P$ para determinar cómo (o si debo) modificar mi propia creencia sobre $P$, debo hacerlo de un modo que no dependa del razonamiento que respalda mi creencia inicial sobre $P$.

Violar la Independencia incurre en una petición de principio epistémica (begging the question), análoga a la paradoja del dogmatismo (Harman 1973; Kripke 2011).

4. El campo de la firmeza: Evidencia total, información personal y autorrefutación

4.1 La visión de la evidencia total de Thomas Kelly (2010)

Thomas Kelly (2005, 2010) objeta que el conciliacionismo permite que la evidencia psicológica de orden superior ($E_{\text{HOE}}$) inunde o eclipse (swamp) la evidencia sustantiva de primer orden $E$. Si $E$ apoya objetivamente a $P$, la evidencia total ($E_{\text{total}}$) de $S_1$ consta de tres elementos:

Aunque los dos hechos psicológicos son simétricos, el primer elemento —la evidencia $E$ misma— no es simétrico, sino que apunta objetivamente hacia $P$. Según la visión de la evidencia total (Total Evidence View) de Kelly, $E$ impide que la creencia racional caiga hasta $0.50$.

4.2 La visión justificacionista de Jennifer Lackey y la autorrefutación

Jennifer Lackey (2010) demuestra mediante casos extremos (como cuando un colega niega que $2 + 2 = 4$ o que una amiga visible está sentada a la mesa) que usted posee información personal (Personal Information) introspectiva de primera persona sobre su propia sobriedad y alerta cognitiva, lo cual rompe legítimamente la simetría cuando la justificación inicial es altísima.

Además, el conciliacionismo afronta la objeción de autorrefutación (Self-Defeat Objection) (Elga 2010): dado que los propios epistemólogos pares discrepan sobre si el conciliacionismo $C$ es verdadero, ¡un conciliacionista debería aplicar $C$ a $C$ y dejar de creer en el conciliacionismo!

5. La división meta-epistemológica: Tesis de la Unicidad frente a Permisivismo Epistémico

• Tesis de la Unicidad (Uniqueness Thesis — Feldman 2007; Roger White 2005): Dada una evidencia total $E$, existe a lo sumo una actitud doxástica máximamente racional $c(P \mid E)$. Mediante el argumento de la píldora mágica, White sostiene que mantener $P$ si dos estándares $R_1, R_2$ fueran igualmente racionales sería tan arbitrario como tragar una píldora aleatoria.
• Permisivismo Epistémico (Epistemic Permissivism — Gideon Rosen 2001; Miriam Schoenfield 2014): Ante evidencias complejas $E$, existe una familia de distribuciones previas racionalmente permisibles $\{\mathbb{P}_\theta\}_{\theta \in \Theta}$. Schoenfield (2014) replica que nadie puede evaluar la evidencia desde fuera de todo estándar epistémico; juzgado a la luz del propio estándar coherente $R_1$ de $S_1$, $R_1$ es más conducente a la verdad que $R_2$, haciendo posible un desacuerdo sin culpa (Faultless Disagreement).

6. Teoría de juegos y el Teorema de Acuerdo de Robert Aumann (1976)

En “Agreeing to Disagree” (1976), Robert J. Aumann demostró en un espacio de probabilidad $(\Omega, \mathcal{F}, \mathbb{P})$ con una probabilidad a priori común (Common Prior) $\mathbb{P}$ y particiones de información privada $\mathcal{P}_1, \mathcal{P}_2$ que si las probabilidades posteriores $q_1(\omega) = \mathbb{P}(A \mid \mathcal{P}_1(\omega)) = a$ y $q_2(\omega) = \mathbb{P}(A \mid \mathcal{P}_2(\omega)) = b$ son conocimiento común (Common Knowledge) en $\omega^* \in C \in \mathcal{P}_1 \wedge \mathcal{P}_2$, entonces:

¡Los agentes bayesianos con un prior común no pueden acordar estar en desacuerdo! Cuando los expertos reales persisten en discrepar, falla al menos una condición de Aumann: (1) ausencia de prior común ($\mathbb{P}_1 \neq \mathbb{P}_2$, permisivismo), (2) evidencia tácita e incomunicable (van Inwagen 1996), o (3) intratabilidad computacional (NP-difícil) al invertir el modelo mental ajeno (Scott Aaronson 2005).

  flowchart TD
    Start["Desacuerdo persistente entre los expertos S1 y S2<br/>S1: c1(P) = 0.85 vs. S2: c2(P) = 0.15"] --> Q1{"¿Comparten un Prior Común P?<br/>(¿Se cumple la Tesis de la Unicidad?)"}
    Q1 -- "Sí (Prior común / Unicidad)" --> Q2{"¿Son sus posteriores y racionalidad mutua<br/>Conocimiento Común?"}
    Q1 -- "No (Permisivismo epistémico)" --> Perm["Desacuerdo racional persistente<br/>Priors permisibles distintos P1 ≠ P2"]
    Q2 -- "Sí (Condiciones de Aumann)" --> Aumann["Se aplica el Teorema de Acuerdo de Aumann<br/>Convergencia exacta: q1* = q2*"]
    Q2 -- "No (Fricción epistémica real)" --> Friction["Tres fuentes de desacuerdo real<br/>1. Evidencia tácita incomunicable (van Inwagen)<br/>2. Complejidad computacional (Aaronson 2005)<br/>3. Duda sobre la ausencia de sesgos"]