1. O Experimento Mental que Fraturou a Racionalidade: O Paradoxo de Newcomb (1960–1969)

Em 1960, o físico teórico William A. Newcomb, no Laboratório Nacional Lawrence Livermore da Universidade da Califórnia, formulou um problema de escolha aparentemente simples que abalaria os alicerces da teoria da decisão racional. Apresentado à comunidade acadêmica pelo filósofo de Harvard Robert Nozick em seu artigo clássico de 1969, «Newcomb’s Problem and Two Principles of Choice» (publicado em Essays in Honor of Carl G. Hempel), e popularizado por Martin Gardner na Scientific American (1973, 1974), o paradoxo dividiu economistas, matemáticos, físicos e filósofos em dois campos irreconciliáveis.

Nozick imortalizou esse impasse logo na abertura de seu artigo:

«Para quase todo mundo, é perfeitamente claro e óbvio o que deve ser feito. A dificuldade é que essas pessoas parecem se dividir quase igualmente sobre o problema, com grandes frações pensando que a outra metade está apenas sendo tola.» — Robert Nozick (1969), “Newcomb’s Problem and Two Principles of Choice”

1.1 O Cenário Canônico: Duas Caixas e o Previsor Ômega ($\Omega$)

Você está diante de uma mesa com duas caixas: a Caixa Transparente A e a Caixa Opaca B.

1. Caixa Transparente A: Feita de vidro transparente; contém visivelmente $\$1.000$ em dinheiro vivo.
2. Caixa Opaca B: Feita de aço lacrado; você sabe com certeza que ela contém ou $\$1.000.000$ (um milhão de dólares) ou $$0$ (nada).

No instante presente $t = 0$, você deve escolher entre duas ações:

• Pegar uma única caixa (One-Boxing, $A_1$): Abrir mão da Caixa A e levar apenas a Caixa Opaca B.
• Pegar ambas as caixas (Two-Boxing, $A_2$): Levar tanto a Caixa A quanto a Caixa B.

A figura central nos bastidores é um Previsor sobre-humano, Ômega ($\Omega$), cujos escâneres cerebrais e simulações neurocomputacionais previram escolhas humanas com uma precisão empiricamente verificada de $99\%$ ($p = 0,99$) em milhares de testes anteriores. Ontem (em $t = -1$), $\Omega$ previu sua escolha de hoje e preparou a Caixa B segundo esta regra estrita:

• Estado do mundo $S_1$ ($\text{Pred}_1$: $\Omega$ previu que você pegaria apenas a Caixa B, $A_1$): $\Omega$ colocou ontem $\$1.000.000$ dentro da Caixa B.
• Estado do mundo $S_2$ ($\text{Pred}_2$: $\Omega$ previu que você pegaria ambas as caixas, $A_2$): $\Omega$ deixou ontem a Caixa B completamente vazia ($\$0$).

Garante-se estritamente o fechamento causal do passado: $\Omega$ já partiu ontem; não há retrocausalidade ($A \not\to S$). Seu movimento de mão hoje em $t = 0$ não pode alterar fisicamente o conteúdo da Caixa B.

  flowchart TD
    D["Tempo t = -2: Arquitetura neural e disposição cognitiva (D)"] -->|"t = -1: Escaneamento e simulação por Ômega"| S["Tempo t = -1: Previsão de Ômega e estado da Caixa B (S1: $1M / S2: $0)"]
    D -->|"t = 0: Deliberação consciente e escolha"| A["Tempo t = 0: Ação do agente (A1: Uma caixa / A2: Duas caixas)"]
    S -->|"Determina o conteúdo da Caixa B"| Y["Pagamento final U(A, S)"]
    A -->|"A2 adiciona +$1.000 garantidos da Caixa A"| Y
    S -.->|"Sem retrocausalidade (A ↛ S)"| A

2. Pilar I: Teoria da Decisão Evidencial (EDT) e o Argumento para Uma Caixa

O fundamento formal dos defensores de uma caixa é a Teoria da Decisão Evidencial (Evidential Decision Theory, EDT), formulada por Richard C. Jeffrey em The Logic of Decision (1965; 2.ª ed. 1983).

2.1 Utilidade Esperada Condicional e «Valor de Notícia (News Value)»

Na álgebra booleana unificada de Jeffrey, cada ação $A_i$ é avaliada por seu valor de notícia (News Value), ponderando cada resultado pela probabilidade condicional bayesiana $\mathbb{P}(S_j \mid A_i)$:

Com $\mathbb{P}(S_1 \mid A_1) = 0,99$, $\mathbb{P}(S_2 \mid A_1) = 0,01$ e $\mathbb{P}(S_1 \mid A_2) = 0,01$, $\mathbb{P}(S_2 \mid A_2) = 0,99$, obtemos:

Em geral, para um prêmio $M$ em B, uma quantia $k$ em A e uma precisão $p$:

Basta que a precisão de Ômega supere $50,05\%$ para que a EDT ordene pegar uma única caixa ($A_1$), originando a célebre provocação empírica contra os defensores de duas caixas: «Se você é tão esperto, por que não é rico?» (If you’re so smart, why ain’t you rich?)

3. Pilar II: Teoria da Decisão Causal (CDT), Dominância Estrita e o Cálculo-$do$ de Pearl

Os fundadores da Teoria da Decisão Causal (Causal Decision Theory, CDT) — Allan Gibbard e William Harper (1978), Brian Skyrms (1980), David Lewis (1981), James Joyce (1999) e Judea Pearl (2000) — demonstraram que a EDT confunde correlação diagnóstica (evidência estatística) com eficácia causal.

3.1 Princípio da Dominância Estrita e Condicionais Contrafactuais

Pelo princípio da dominância estrita de Leonard Savage (1954), como o estado da Caixa B ($S_1$ ou $S_2$) já está fixado no passado e é causalmente independente de sua ação $A$, pegar ambas as caixas ($A_2$) rende estritamente $+\$1.000$ a mais em *qualquer* estado do mundo ($1.001.000 > 1.000.000$ e $1.000 > 0$).

Gibbard e Harper (1978) substituíram $\mathbb{P}(S_j \mid A_i)$ pela probabilidade do condicional contrafactual de Stalnaker-Lewis $\mathbb{P}(A_i \Box\!\to S_j)$, enquanto Judea Pearl (2000) formalizou a CDT via Modelos Causais Estruturais (SCM) e o operador de intervenção $do(A_i)$:

3.2 O Garfo de Causa Comum ($S \leftarrow D \to A$) e a Cirurgia de Grafo

No grafo acíclico direcionado (DAG), sua disposição neural prévia $D$ atua como uma causa comum (Common-Cause Fork: $S \leftarrow D \to A$) tanto da previsão de Ômega ontem $S = f_S(D, U_S)$ quanto de sua escolha hoje $A = f_A(D, U_A)$.

  flowchart TD
    subgraph G_obs["1. Grafo Observacional G (EDT: caminho back-door A ← D → S aberto)"]
        D1["Disposição neural D (Causa comum)"] -->|"f_S(D): correlação 99%"| S1["Estado Caixa B S (t = -1)"]
        D1 -->|"f_A(D): deliberação"| A1["Ação observada A (t = 0)"]
        S1 --> Y1["Pagamento Y"]
        A1 --> Y1
    end
    subgraph G_do["2. Grafo Mutilado G_do(A) (CDT: seta D → A cortada)"]
        D2["Disposição neural D (Causa comum)"] -->|"f_S(D)"| S2["Estado Caixa B S (t = -1)"]
        DO["Intervenção do(A = a)"] ==>|"Substitui f_A"| A2["Ação intervinda A = a (t = 0)"]
        S2 --> Y2["Pagamento Y"]
        A2 --> Y2
    end

Enquanto o condicionamento observacional $\mathbb{P}(S \mid A)$ abre o caminho de porta dos fundos (back-door path) $A \leftarrow D \to S$, a cirurgia de grafo ($do(A_i)$) de Pearl corta a seta $D \to A$, resultando em:

4. Problemas de Newcomb Médicos (A Lesão do Fumante) e a Predestinação Calvinista em Max Weber

4.1 A «Lesão do Fumante (The Smoking Lesion, Skyrms 1980)»

Baseado na hipótese constitucional de Ronald Fisher, Brian Skyrms (1980) propôs o caso da lesão do fumante: suponha que fumar tabaco seja quimicamente inofensivo ($A_{\text{smoke}} \not\to C$), mas uma lesão genética congênita $L$ provoque com $99\%$ de probabilidade tanto o desejo de fumar ($A_{\text{smoke}}$, prazer $+1$) quanto câncer de pulmão letal ($C$, utilidade $-1.000$).

• No garfo $C \leftarrow L \to A$, a EDT calcula $\text{EU}_{\text{EDT}}(A_{\text{abstain}}) = -10$ contra $\text{EU}_{\text{EDT}}(A_{\text{smoke}}) = -989$, ordenando supersticiosamente que você não fume para reduzir a probabilidade condicional de ter nascido com o gene $L$!
• A CDT reconhece via $\mathbb{P}(C \mid do(A)) = \mathbb{P}(C)$ que seu DNA é imutável e recomenda racionalmente apreciar o cigarro ($+1$).

4.2 Isomorfismo Estrutural com a Predestinação Calvinista de Max Weber (1905)

Como observou Nozick (1969), a doutrina da dupla predestinação de João Calvino analisada por Max Weber em A Ética Protestante e o Espírito do Capitalismo (1904–1905) constitui um problema de Newcomb teológico: Deus decretou antes da criação quem pertence aos Eleitos ($S_1$) e quem pertence aos Réprobos ($S_2$), sem que nenhuma obra humana ($A_1$) possa alterar causalmente esse decreto ($A \not\to S$). Contudo, os puritanos praticaram um rigoroso ascetismo intramundano ($A_1$) não como causa da salvação (causa salutis), mas como sinal diagnóstico da eleição (cognoscendi ratio) dentro do garfo $\text{Salvação } S_1 \leftarrow \text{Graça divina } D \to \text{Obras ascéticas } A_1$, maximizando $\mathbb{P}(S_1 \mid A_1)$ exatamente como agentes da EDT.

5. A «Tickle Defense» de Ellery Eells e o Dilema do Prisioneiro Gêmeo de David Lewis

5.1 A «Defesa da Cócega (Tickle Defense, 1982)» e a Ratificabilidade

Para salvar a EDT da lesão do fumante, Ellery Eells (1982) argumentou que a lesão $L$ só causa o ato $A$ por meio de um desejo consciente ou «cócega» $T = (\mathcal{B}, \mathcal{D})$ ($C \leftarrow L \to T \to A$). Se o agente conhece $T$ por introspecção antes de agir, condicionar sobre $T$ blinda (Screening-Off) a correlação entre $A$ e $L$: $\mathbb{P}(C \mid A, T) = \mathbb{P}(C \mid T)$, fazendo a EDT coincidir com a CDT. Todavia, no problema de Newcomb, $\Omega$ prevê a própria decisão final, e o critério de ratificabilidade (Ratifiability, Jeffrey 1983) demonstra que decidir pegar uma caixa ($\text{Decide}(A_1)$) não é ratificável, pois dado $\text{Decide}(A_1)$, mudar para $A_2$ rende $+\$1.000$ adicionais.

5.2 O Teorema de Isomorfismo de David Lewis: «Prisoners’ Dilemma Is a Newcomb Problem» (1979)

Em 1979, David Lewis provou que o Dilema do Prisioneiro de jogada única contra um gêmeo psicológico (ou um clone que executa o mesmo código-fonte) é $100\%$ isomorfo ao paradoxo de Newcomb:

• Cooperar ($C_{\text{PD}}$: abrir mão de $\$1.000$ próprios para conceder $$1.000.000$ ao gêmeo) $\Longleftrightarrow$ One-Boxing ($A_1$).
• Desertar ($D_{\text{PD}}$: embolsar os $+\$1.000$ próprios) $\Longleftrightarrow$ Two-Boxing ($A_2$). Como Ômega prevê você executando ontem uma simulação (um gêmeo) de sua mente, ambos os problemas são idênticos. Lewis concluiu que a racionalidade exige desertar e pegar duas caixas, enquanto Douglas Hofstadter (1983) formulou a super-racionalidade (Superrationality) para sustentar a cooperação mútua $(C_{\text{PD}}, C_{\text{PD}})$ e o One-Boxing ($A_1$).

6. Fronteira no Alinhamento de IA: Teoria da Decisão Funcional (FDT)

Para agentes de software (IA) cujo código-fonte pode ser lido ou simulado com $100\%$ de fidelidade em uma sandbox, o previsor $\Omega$ é uma realidade cotidiana. Em 2017, Eliezer Yudkowsky e Nate Soares (integrando a TDT e a UDT de Wei Dai) formularam a Teoria da Decisão Funcional (Functional Decision Theory, FDT).

6.1 Contrafactuais Lógicos: Intervenção sobre a Função Matemática $\mathsf{F}$

A CDT modela a escolha como um evento físico local $A$ em $(x_0, t_0)$ e avalia $do(A = A_2)$ imaginando o mundo logicamente impossível onde o mesmo algoritmo determinista $\mathsf{F}(\mathcal{I})$ produz $A_1$ ontem no simulador de Ômega e $A_2$ hoje. A FDT intervém diretamente sobre a saída da função matemática de decisão $\mathsf{F}(\mathcal{I})$:

1. Paradoxo de Newcomb: Como a previsão de Ômega $S = f_S(\mathsf{F}(\mathcal{I}), U_S)$ depende funcionalmente de $\mathsf{F}(\mathcal{I})$, a intervenção $do(\mathsf{F}(\mathcal{I}) = A_1)$ fixa tanto a simulação quanto a ação atual em $A_1$ $\implies$ a FDT pega uma única caixa ($A_1$) e ganha $\$1.000.000$!
2. Lesão do Fumante: Como o gene congênito $L$ não é uma simulação de $\mathsf{F}(\mathcal{I})$ ($C \leftarrow L \to \mathcal{I} \to \mathsf{F}(\mathcal{I}) \to A$), $do(\mathsf{F}(\mathcal{I}) = a)$ não altera a probabilidade de câncer $\implies$ a FDT fuma ($A_{\text{smoke}}$) sem cair em superstições!
3. Newcomb Transparente (Caroneiro de Parfit) e Equilíbrio de Programas (Teorema de Löb): Mesmo se a Caixa B for transparente e você vir o milhão de dólares lá dentro, a FDT/UDT otimiza a política global $\mathsf{F}$ ex ante e pega apenas a Caixa B; no dilema do prisioneiro com acesso ao código-fonte, FairBot emprega o teorema de Löb ($\square(\square P \to P) \to \square P$) para alcançar cooperação mútua formalmente demonstrável.

6.2 Tabela Comparativa: EDT vs. CDT vs. FDT/UDT

Referências

• Nozick, R. (1969). “Newcomb’s Problem and Two Principles of Choice.” Em Essays in Honor of Carl G. Hempel (pp. 114–146).
• Jeffrey, R. C. (1965 / 1983). The Logic of Decision. University of Chicago Press.
• Lewis, D. (1979). “Prisoners’ Dilemma Is a Newcomb Problem.” Philosophy & Public Affairs, 8(3), 235–240.
• Pearl, J. (2000 / 2009). Causality: Models, Reasoning, and Inference. Cambridge University Press.
• Yudkowsky, E., & Soares, N. (2017). “Functional Decision Theory: A New Theory of Instrumental Rationality.” arXiv:1710.05060.