1. Introdução: O Choque do Desacordo Racional e o Fim das Desculpas Epistêmicas

Na vida cotidiana, na medicina clínica, na jurisprudência, na política macroeconômica, nas ciências empíricas e na própria filosofia, deparamo-nos constantemente com pessoas que rejeitam nossas convicções mais cuidadosamente refletidas. Na grande maioria das disputas comuns, descobrir que alguém discorda de nós não abala nossa confiança porque dispomos de explicações convenientes que quebram a simetria — verdadeiras «desculpas epistêmicas». Dizemos a nós mesmos que nosso interlocutor não leu os estudos mais recentes, carece de treinamento estatístico rigoroso ou está cego por um viés ideológico ou financeiro. Sempre que podemos classificar nosso oponente como um inferior epistêmico (Epistemic Inferior) em relação à questão em pauta, manter nossa crença inicial parece natural.

Mas o que acontece quando todas essas desculpas reconfortantes desaparecem?

Suponha que você e uma colega trabalhem lado a lado há dez anos no mesmo campo científico ou filosófico. Vocês examinaram exatamente o mesmo corpo de literatura primária, os mesmos dados experimentais e as mesmas demonstrações matemáticas (um conjunto compartilhado de evidências $E$). Além disso, você sabe com certeza que sua colega se iguala a você em inteligência, rigor analítico, honestidade intelectual, atenção e imparcialidade. No vocabulário técnico da Epistemologia Social (Social Epistemology) contemporânea, essa colega é seu par epistêmico ($\text{Peer}(S_1, S_2)$).

Após avaliar independentemente a evidência compartilhada $E$, você chega à firme convicção de que a proposição $P$ é verdadeira, atribuindo-lhe um grau de crença (credence) de $c_1(P) = 0.85$. Seu par epistêmico, tendo avaliado exatamente a mesma evidência $E$ com igual cuidado, anuncia a conclusão oposta: ela acredita em $\neg P$, atribuindo a $P$ apenas $c_2(P) = 0.15$.

No exato momento em que você descobre esse desacordo entre pares, o que a racionalidade epistêmica exige que você faça?

1. Conciliacionismo / Visão do Peso Igual (Conciliationism / Equal Weight View): Como você e seu par são processadores igualmente confiáveis da evidência $E$ e pelo menos um de vocês cometeu um erro cognitivo nesta ocasião, privilegiar seu próprio julgamento apenas porque é o seu é uma forma de dogmatismo. Você deve revisar substancialmente sua confiança em direção ao ponto médio ($c_{\text{new}}(P) = 0.50$) e suspender o juízo.
2. Visão da Firmeza (The Steadfast View / Non-Conciliationism): Mesmo diante do desacordo de um par, se a evidência de primeira ordem $E$ apoia objetivamente $P$ e você raciocinou corretamente de $E$ para $P$, você não é obrigado a abandonar uma crença bem fundamentada apenas porque seu par sofreu um ponto cego pontual.

Desde meados dos anos 2000, essa questão — estruturada por Richard Feldman, David Christensen, Adam Elga, Thomas Kelly, Jennifer Lackey e Miriam Schoenfield — ocupa o centro da epistemologia analítica.

2. Formalizando a Paridade Epistêmica e a Arquitetura da Evidência em Dois Níveis

2.1 Igualdade Evidencial e Igualdade Cognitiva

Seguindo Thomas Kelly (2005, “The Epistemic Significance of Disagreement”) e Richard Feldman (2007), dois agentes $S_1$ e $S_2$ são pares epistêmicos em relação a uma proposição $P$ se satisfazem duas condições de simetria:

1. Igualdade Evidencial (Evidential Equality): $S_1$ e $S_2$ possuem exatamente o mesmo conjunto de evidências substantivas de primeira ordem $E$ relevantes para o valor de verdade de $P$ ($E_1 = E_2 = E$).
2. Igualdade Cognitiva (Cognitive Equality): $S_1$ e $S_2$ são iguais quanto às competências cognitivas gerais (inteligência, rigor lógico, formação na área) e virtudes epistêmicas (honestidade intelectual, abertura mental, isenção de viés) necessárias para avaliar $E$, apresentando confiabilidade equivalente $R(S_1) \approx R(S_2)$.

2.2 Evidência de Primeira Ordem ($E$) vs. Evidência de Ordem Superior ($E_{\text{HOE}}$)

O motor analítico do debate reside na distinção entre Evidência de Primeira Ordem ($E$) e Evidência de Ordem Superior ($E_{\text{HOE}}$) (Christensen 2010; Kelly 2010):

• Evidência de Primeira Ordem ($E$): Evidência que incide diretamente sobre a verdade da proposição $P$ no mundo (dados clínicos, séries macroeconômicas, manuscritos históricos ou os números de uma conta de restaurante).
• Evidência de Ordem Superior ($E_{\text{HOE}}$): Meta-evidência sobre a confiabilidade do nosso próprio funcionamento cognitivo ao processar $E$ ou sobre se $E$ realmente sustenta $P$.

No clássico caso da droga distorcedora da razão (Christensen 2010), se um médico lhe informa que seu café da manhã continha uma substância que induz alucinações lógicas indetectáveis em $80\%$ dos indivíduos logo após você deduzir um teorema $P$ a partir de axiomas $E$, esse testemunho não refuta diretamente o teorema matemático $P$, mas atua como um derrotador solapador de ordem superior ($E_{\text{HOE}}$) que exige reduzir drasticamente sua confiança. Descobrir que um par epistêmico concluiu $\neg P$ a partir de $E$ funciona exatamente como evidência de ordem superior de que pelo menos um dos dois sistemas cognitivos sofreu uma falha de desempenho.

  flowchart TD
    E["Evidência compartilhada de primeira ordem E<br/>(Dados clínicos, textos, conta do restaurante)"] --> S1["Processamento cognitivo do agente S1<br/>(Confiabilidade R1 = 1 - ε)"]
    E --> S2["Processamento cognitivo do par S2<br/>(Confiabilidade R2 = 1 - ε)"]
    S1 --> J1["Julgamento inicial de S1: P<br/>(Credence inicial c1(P) = 0.85)"]
    S2 --> J2["Julgamento inicial de S2: ¬P<br/>(Credence inicial c2(P) = 0.15)"]
    J1 --> D["Descoberta do desacordo (Evidência de ordem superior E_HOE)<br/>'Meu par epistêmico S2 concluiu ¬P a partir de E'"]
    J2 --> D
    D --> C["Conciliacionismo (Equal Weight View)<br/>Obedece ao Princípio da Independência; simetria do erro<br/>Atualiza a crença para o ponto médio: c_new(P) = 0.50"]
    D --> ST["Visão da Firmeza (Total Evidence View)<br/>Preserva o apoio objetivo da evidência E<br/>Mantém crença elevada: c_new(P) ≈ 0.80"]

3. O Campo Conciliacionista: A Conta do Restaurante, Peso Igual e Independência

3.1 O Caso da Conta do Restaurante de David Christensen (2007)

Em “Epistemology of Disagreement: The Good News” (2007), David Christensen propôs o famoso experimento mental da Conta do Restaurante (The Restaurant Check Case): cinco amigos jantam juntos e concordam em dividir a conta igualmente acrescentando $20\%$ de gorjeta. Você e sua amiga — tão rápida e precisa quanto você em cálculo mental — examinam a mesma conta ($E$). Você calcula mentalmente que a parte de cada um é $\$43$ ($c_1(P) = 0.95$), mas sua amiga anuncia com igual confiança que o valor é $$45$ ($c_2(P) = 0.05$).

Raciocinar dizendo: *«Eu calculei $\$43$, logo a resposta certa é $$43$; como minha amiga disse $$45$, ela errou a conta hoje e continuo $95%$ seguro»* é flagrantemente irracional e arrogante. Como ambos possuem uma probabilidade simétrica $\varepsilon > 0$ de cometer um deslize mental, a racionalidade exige reduzir sua confiança em $$43$ para cerca de $50%$.

3.2 A Visão do Peso Igual de Adam Elga e a Agregação Linear Bayesiana

Adam Elga (2007, “Reflection and Disagreement”) generalizou essa intuição na Visão do Peso Igual (Equal Weight View), que prescreve uma agregação linear de opiniões (Linear Opinion Pooling) com pesos iguais $w_1 = w_2 = \frac{1}{2}$:

Em um modelo bayesiano com probabilidade a priori $\mathbb{P}(P) = p_0$ onde cada agente tem precisão diagnóstica $1 - \varepsilon$ ($\varepsilon \in (0, 1/2)$), a probabilidade a posteriori de $P$ dado o evento conjunto $\{D_1 = P, D_2 = \neg P\}$ é:

O fator $(1 - \varepsilon)\varepsilon$ cancela-se perfeitamente no numerador e no denominador, retornando a crença à probabilidade a priori $p_0$ ($0.50$), o que corresponde à suspensão do juízo defendida por Richard Feldman (2006).

3.3 O Princípio da Independência de Christensen

Para bloquear a desqualificação circular do par, Christensen (2009, 2011) formulou o Princípio da Independência (Independence Principle):

[Princípio da Independência (Christensen 2009)] Ao avaliar as credenciais epistêmicas da crença expressa por outra pessoa sobre $P$ para determinar como (ou se devo) modificar minha própria crença sobre $P$, devo fazê-lo de uma maneira que não dependa do raciocínio por trás da minha crença inicial sobre $P$.

Violar a Independência equivale a cometer uma petição de princípio epistêmica (begging the question), análoga ao Paradoxo do Dogmatismo (Harman 1973; Kripke 2011).

4. O Campo da Firmeza: Evidência Total, Informação Pessoal e Autorrefutação

4.1 A Visão da Evidência Total de Thomas Kelly (2010)

Thomas Kelly (2005, 2010) objeta que o conciliacionismo permite que a evidência psicológica de ordem superior ($E_{\text{HOE}}$) engula ou ofusque (swamp) a evidência substantiva de primeira ordem $E$. Se $E$ apoia objetivamente $P$, a evidência total ($E_{\text{total}}$) de $S_1$ consiste em três elementos:

Embora os dois fatos psicológicos sejam simétricos, o primeiro elemento — a própria evidência $E$ — não é simétrico, pois aponta objetivamente para $P$. Segundo a Visão da Evidência Total (Total Evidence View) de Kelly, a presença direta de $E$ impede que a crença racional desabe até $0.50$.

4.2 A Visão Justificacionista de Jennifer Lackey e a Autorrefutação

Jennifer Lackey (2010) mostra por meio de casos extremos (como quando um colega nega que $2 + 2 = 4$ ou que uma amiga visível está sentada à mesa) que você possui informação pessoal (Personal Information) introspectiva de primeira pessoa sobre sua própria sobriedade e alerta cognitivo, o que quebra legitimamente a simetria quando a justificação inicial é altíssima.

Além disso, o conciliacionismo enfrenta a objeção da autorrefutação (Self-Defeat Objection) (Elga 2010): visto que os próprios epistemólogos pares discordam sobre a verdade do conciliacionismo $C$, um conciliacionista deveria aplicar $C$ a $C$ e abandonar a confiança no próprio conciliacionismo!

5. A Divisão Meta-Epistemológica: Tese da Unicidade vs. Permissivismo Epistêmico

• Tese da Unicidade (Uniqueness Thesis — Feldman 2007; Roger White 2005): Dada uma evidência total $E$, existe no máximo uma atitude doxástica maximamente racional $c(P \mid E)$. Pelo argumento da pílula mágica, White sustenta que manter $P$ se dois padrões $R_1, R_2$ fossem igualmente racionais seria tão arbitrário quanto engolir uma pílula aleatória.
• Permissivismo Epistêmico (Epistemic Permissivism — Gideon Rosen 2001; Miriam Schoenfield 2014): Diante de evidências complexas $E$, existe uma família de distribuições a priori racionalmente permissíveis $\{\mathbb{P}_\theta\}_{\theta \in \Theta}$. Schoenfield (2014) responde que ninguém pode avaliar evidências fora de todo padrão epistêmico; julgado à luz do próprio padrão coerente $R_1$ de $S_1$, $R_1$ é mais conducente à verdade do que $R_2$, tornando possível um desacordo sem culpa (Faultless Disagreement).

6. Teoria dos Jogos e o Teorema do Acordo de Robert Aumann (1976)

Em “Agreeing to Disagree” (1976), Robert J. Aumann provou em um espaço de probabilidade $(\Omega, \mathcal{F}, \mathbb{P})$ com uma probabilidade a priori comum (Common Prior) $\mathbb{P}$ e partições de informação privada $\mathcal{P}_1, \mathcal{P}_2$ que se as probabilidades a posteriori $q_1(\omega) = \mathbb{P}(A \mid \mathcal{P}_1(\omega)) = a$ e $q_2(\omega) = \mathbb{P}(A \mid \mathcal{P}_2(\omega)) = b$ forem conhecimento comum (Common Knowledge) em $\omega^* \in C \in \mathcal{P}_1 \wedge \mathcal{P}_2$, então:

Agentes bayesianos com um prior comum não podem concordar em discordar! Quando especialistas reais persistem em divergir, falha ao menos uma condição de Aumann: (1) ausência de prior comum ($\mathbb{P}_1 \neq \mathbb{P}_2$, permissivismo), (2) evidência tácita e incomunicável (van Inwagen 1996), ou (3) intratabilidade computacional (NP-difícil) ao inverter o modelo mental alheio (Scott Aaronson 2005).

  flowchart TD
    Start["Desacordo persistente entre os especialistas S1 e S2<br/>S1: c1(P) = 0.85 vs. S2: c2(P) = 0.15"] --> Q1{"Compartilham um Prior Comum P?<br/>(A Tese da Unicidade é válida?)"}
    Q1 -- "Sim (Prior comum / Unicidade)" --> Q2{"Suas posteriores e racionalidade mútua<br/>são Conhecimento Comum?"}
    Q1 -- "Não (Permissivismo epistêmico)" --> Perm["Desacordo racional persistente<br/>Priors permissíveis distintos P1 ≠ P2"]
    Q2 -- "Sim (Condições de Aumann)" --> Aumann["Aplica-se o Teorema do Acordo de Aumann<br/>Convergência exata: q1* = q2*"]
    Q2 -- "Não (Fricção epistêmica real)" --> Friction["Três fontes de desacordo real<br/>1. Evidência tácita incomunicável (van Inwagen)<br/>2. Complexidade computacional (Aaronson 2005)<br/>3. Dúvida sobre isenção de viés"]