1. El experimento mental que fracturó la racionalidad: la paradoja de Newcomb (1960–1969)

En 1960, el físico teórico William A. Newcomb, en el Laboratorio Nacional Lawrence Livermore de la Universidad de California, concibió un problema de elección engañosamente simple que sacudiría los cimientos de la teoría de la decisión racional. Presentado al mundo académico por el filósofo de Harvard Robert Nozick en su célebre artículo de 1969, «Newcomb’s Problem and Two Principles of Choice» (publicado en Essays in Honor of Carl G. Hempel), y popularizado por Martin Gardner en Scientific American (1973, 1974), el problema dividió a economistas, matemáticos, físicos y filósofos en dos bandos irreconciliables.

Nozick inmortalizó esta fractura en su párrafo inicial:

«Para casi todo el mundo, está perfectamente claro y es obvio lo que se debe hacer. La dificultad es que estas personas parecen dividirse casi en partes iguales respecto al problema, y grandes fracciones piensan que la otra mitad simplemente está siendo tonta.» — Robert Nozick (1969), “Newcomb’s Problem and Two Principles of Choice”

1.1 El planteamiento canónico: dos cajas y el Predictor Omega ($\Omega$)

Frente a ti, sobre una mesa, hay dos cajas: la Caja Transparente A y la Caja Opaca B.

1. Caja Transparente A: De cristal transparente; contiene visiblemente $\$1.000$ en efectivo.
2. Caja Opaca B: De acero sellado; sabes con certeza que contiene o bien $\$1.000.000$ (un millón de dólares) o bien $$0$ (nada).

En el instante actual $t = 0$, debes elegir entre dos acciones posibles:

• Tomar una sola caja (One-Boxing, $A_1$): Renunciar a la Caja A y tomar únicamente la Caja Opaca B.
• Tomar ambas cajas (Two-Boxing, $A_2$): Tomar tanto la Caja A como la Caja B.

El protagonista detrás del escenario es un Predictor sobrehumano, Omega ($\Omega$), cuyos escáneres cerebrales y modelos neurocomputacionales han predicho decisiones humanas con una precisión verificada del $99\%$ ($p = 0,99$) a lo largo de miles de ensayos previos. Ayer (en $t = -1$), $\Omega$ predijo tu elección de hoy y preparó la Caja B siguiendo estrictamente esta regla:

• Estado del mundo $S_1$ ($\text{Pred}_1$: $\Omega$ predijo que tomarías solo la Caja B, $A_1$): $\Omega$ depositó ayer $\$1.000.000$ dentro de la Caja B.
• Estado del mundo $S_2$ ($\text{Pred}_2$: $\Omega$ predijo que tomarías ambas cajas, $A_2$): $\Omega$ dejó ayer la Caja B completamente vacía ($\$0$).

Se garantiza estrictamente la clausura causal del pasado: $\Omega$ ya se marchó ayer; no existe retrocausalidad ($A \not\to S$). Tu movimiento de mano hoy en $t = 0$ no puede alterar físicamente el contenido de la Caja B.

  flowchart TD
    D["Tiempo t = -2: Arquitectura neuronal y disposición cognitiva (D)"] -->|"t = -1: Escaneo y simulación por Omega"| S["Tiempo t = -1: Predicción de Omega y estado de Caja B (S1: $1M / S2: $0)"]
    D -->|"t = 0: Deliberación consciente y elección"| A["Tiempo t = 0: Acción del agente (A1: Una caja / A2: Dos cajas)"]
    S -->|"Determina el contenido de la Caja B"| Y["Pago final U(A, S)"]
    A -->|"A2 añade +$1.000 garantizados de la Caja A"| Y
    S -.->|"Sin retrocausalidad (A ↛ S)"| A

2. Pilar I: Teoría de la Decisión Evidencial (EDT) y el argumento a favor de una caja

El fundamento formal de quienes eligen una sola caja es la Teoría de la Decisión Evidencial (Evidential Decision Theory, EDT), desarrollada por Richard C. Jeffrey en su obra clásica The Logic of Decision (1965; 2.ª ed. 1983).

2.1 Utilidad esperada condicional y «valor de noticia (News Value)»

En el álgebra booleana unificada de Jeffrey, cada acción $A_i$ se evalúa mediante su valor de noticia (News Value), ponderando cada resultado por la probabilidad condicional bayesiana $\mathbb{P}(S_j \mid A_i)$:

Con $\mathbb{P}(S_1 \mid A_1) = 0,99$, $\mathbb{P}(S_2 \mid A_1) = 0,01$ y $\mathbb{P}(S_1 \mid A_2) = 0,01$, $\mathbb{P}(S_2 \mid A_2) = 0,99$, obtenemos:

En general, para un premio $M$ en B, una suma $k$ en A y una precisión $p$:

Basta con que la precisión de Omega supere el $50,05\%$ para que la EDT ordene tomar una sola caja ($A_1$), dando origen a la célebre burla empírica contra los partidarios de dos cajas: «Si eres tan listo, ¿por qué no eres rico?» (If you’re so smart, why ain’t you rich?)

3. Pilar II: Teoría de la Decisión Causal (CDT), dominancia estricta y el cálculo-$do$ de Pearl

Los fundadores de la Teoría de la Decisión Causal (Causal Decision Theory, CDT) —Allan Gibbard y William Harper (1978), Brian Skyrms (1980), David Lewis (1981), James Joyce (1999) y Judea Pearl (2000)— demostraron que la EDT confunde la correlación diagnóstica (evidencia estadística) con la eficacia causal.

3.1 Principio de dominancia estricta y condicionales contrafácticos

Según el principio de dominancia estricta de Leonard Savage (1954), dado que el estado de la Caja B ($S_1$ o $S_2$) ya está fijado en el pasado y es causalmente independiente de tu acción $A$, tomar ambas cajas ($A_2$) rinde estrictamente $+\$1.000$ más en *cualquier* estado del mundo ($1.001.000 > 1.000.000$ y $1.000 > 0$).

Gibbard y Harper (1978) reemplazaron $\mathbb{P}(S_j \mid A_i)$ por la probabilidad del condicional contrafáctico de Stalnaker-Lewis $\mathbb{P}(A_i \Box\!\to S_j)$, mientras que Judea Pearl (2000) formalizó la CDT mediante Modelos Causales Estructurales (SCM) y el operador de intervención $do(A_i)$:

3.2 La horquilla de causa común ($S \leftarrow D \to A$) y la cirugía gráfica

En el grafo acíclico dirigido (DAG), tu disposición neuronal previa $D$ actúa como una causa común (Common-Cause Fork: $S \leftarrow D \to A$) tanto de la predicción de Omega ayer $S = f_S(D, U_S)$ como de tu elección hoy $A = f_A(D, U_A)$.

  flowchart TD
    subgraph G_obs["1. Grafo observacional G (EDT: camino de puerta trasera A ← D → S abierto)"]
        D1["Disposición neuronal D (Causa común)"] -->|"f_S(D): correlación 99%"| S1["Estado Caja B S (t = -1)"]
        D1 -->|"f_A(D): deliberación"| A1["Acción observada A (t = 0)"]
        S1 --> Y1["Pago Y"]
        A1 --> Y1
    end
    subgraph G_do["2. Grafo mutilado G_do(A) (CDT: flecha D → A cortada)"]
        D2["Disposición neuronal D (Causa común)"] -->|"f_S(D)"| S2["Estado Caja B S (t = -1)"]
        DO["Intervención do(A = a)"] ==>|"Reemplaza f_A"| A2["Acción intervenida A = a (t = 0)"]
        S2 --> Y2["Pago Y"]
        A2 --> Y2
    end

Mientras que el condicionamiento observacional $\mathbb{P}(S \mid A)$ abre el camino de puerta trasera (back-door path) $A \leftarrow D \to S$, la cirugía gráfica ($do(A_i)$) de Pearl corta la flecha entrante $D \to A$, de modo que:

4. Problemas de Newcomb médicos (la lesión del fumador) y la predestinación calvinista en Max Weber

4.1 La «lesión del fumador (The Smoking Lesion, Skyrms 1980)»

Basándose en la hipótesis constitucional de Ronald Fisher, Brian Skyrms (1980) propuso el caso de la lesión del fumador: supongamos que fumar tabaco es químicamente inofensivo ($A_{\text{smoke}} \not\to C$), pero una lesión genética congénita $L$ provoca con un $99\%$ de probabilidad tanto el deseo de fumar ($A_{\text{smoke}}$, placer $+1$) como cáncer de pulmón letal ($C$, utilidad $-1.000$).

• En la horquilla $C \leftarrow L \to A$, la EDT calcula $\text{EU}_{\text{EDT}}(A_{\text{abstain}}) = -10$ frente a $\text{EU}_{\text{EDT}}(A_{\text{smoke}}) = -989$, ordenándote supersticiosamente abstenerte de fumar ¡para reducir la probabilidad condicional de haber nacido con el gen $L$!
• La CDT reconoce mediante $\mathbb{P}(C \mid do(A)) = \mathbb{P}(C)$ que tu ADN es inmutable y recomienda racionalmente disfrutar del cigarrillo ($+1$).

4.2 Isomorfismo estructural con la predestinación calvinista de Max Weber (1905)

Como señaló Nozick (1969), la doctrina de la doble predestinación de Juan Calvino analizada por Max Weber en La ética protestante y el espíritu del capitalismo (1904–1905) constituye un problema de Newcomb teológico: Dios decretó antes de la creación quién pertenece a los Elegidos ($S_1$) y quién a los Réprobos ($S_2$), sin que ninguna obra humana ($A_1$) pueda alterar causalmente ese decreto ($A \not\to S$). Sin embargo, los puritanos practicaron un riguroso ascetismo intramundano ($A_1$) no como causa de salvación (causa salutis), sino como signo diagnóstico de elección (cognoscendi ratio) dentro de la horquilla $\text{Salvación } S_1 \leftarrow \text{Gracia divina } D \to \text{Obras ascéticas } A_1$, maximizando $\mathbb{P}(S_1 \mid A_1)$ exactamente como agentes de la EDT.

5. La «Tickle Defense» de Ellery Eells y el Dilema del Prisionero Gemelo de David Lewis

5.1 La «defensa del cosquilleo (Tickle Defense, 1982)» y la ratificabilidad

Para rescatar a la EDT de la lesión del fumador, Ellery Eells (1982) argumentó que la lesión $L$ solo causa el acto $A$ a través de un deseo consciente o «cosquilleo» $T = (\mathcal{B}, \mathcal{D})$ ($C \leftarrow L \to T \to A$). Si el agente conoce $T$ por introspección antes de actuar, condicionar sobre $T$ apantalla (Screening-Off) la correlación entre $A$ y $L$: $\mathbb{P}(C \mid A, T) = \mathbb{P}(C \mid T)$, haciendo coincidir a la EDT con la CDT. No obstante, en el problema de Newcomb, $\Omega$ predice la decisión final misma, y el criterio de ratificabilidad (Ratifiability, Jeffrey 1983) demuestra que decidir tomar una caja ($\text{Decide}(A_1)$) no es ratificable, pues dado $\text{Decide}(A_1)$, cambiar a $A_2$ reporta $+\$1.000$ adicionales.

5.2 El teorema de isomorfismo de David Lewis: «Prisoners’ Dilemma Is a Newcomb Problem» (1979)

En 1979, David Lewis demostró que el Dilema del Prisionero de una sola jugada contra un gemelo psicológico (o un clon que ejecuta el mismo código fuente) es $100\%$ isomorfo a la paradoja de Newcomb:

• Cooperar ($C_{\text{PD}}$: renunciar a $\$1.000$ propios para otorgar $$1.000.000$ a tu gemelo) $\Longleftrightarrow$ One-Boxing ($A_1$).
• Traicionar ($D_{\text{PD}}$: embolsarse los $+\$1.000$ propios) $\Longleftrightarrow$ Two-Boxing ($A_2$). Como Omega te predice ejecutando ayer una simulación (un gemelo) de tu mente, ambos problemas son idénticos. Lewis concluyó que la racionalidad exige traicionar y tomar dos cajas, mientras que Douglas Hofstadter (1983) formuló la superracionalidad (Superrationality) para respaldar la cooperación mutua $(C_{\text{PD}}, C_{\text{PD}})$ y el One-Boxing ($A_1$).

6. Frontera en alineación de IA: Teoría de la Decisión Funcional (FDT)

Para agentes de software (IA) cuyo código fuente puede ser leído o simulado al $100\%$ en un entorno sandbox, el predictor $\Omega$ es una realidad cotidiana. En 2017, Eliezer Yudkowsky y Nate Soares (integrando la TDT y la UDT de Wei Dai) formularon la Teoría de la Decisión Funcional (Functional Decision Theory, FDT).

6.1 Contrafácticos lógicos: intervención sobre la función matemática $\mathsf{F}$

La CDT modela la elección como un evento físico local $A$ en $(x_0, t_0)$ y evalúa $do(A = A_2)$ imaginando el mundo lógicamente imposible donde el mismo algoritmo determinista $\mathsf{F}(\mathcal{I})$ arroja $A_1$ ayer en el simulador de Omega y $A_2$ hoy. La FDT interviene directamente sobre la salida de la función matemática de decisión $\mathsf{F}(\mathcal{I})$:

1. Paradoja de Newcomb: Como la predicción de Omega $S = f_S(\mathsf{F}(\mathcal{I}), U_S)$ depende funcionalmente de $\mathsf{F}(\mathcal{I})$, la intervención $do(\mathsf{F}(\mathcal{I}) = A_1)$ fija tanto la simulación como la acción actual en $A_1$ $\implies$ ¡la FDT toma una sola caja ($A_1$) y gana $\$1.000.000$!
2. Lesión del fumador: Como el gen congénito $L$ no es una simulación de $\mathsf{F}(\mathcal{I})$ ($C \leftarrow L \to \mathcal{I} \to \mathsf{F}(\mathcal{I}) \to A$), $do(\mathsf{F}(\mathcal{I}) = a)$ no altera la probabilidad de cáncer $\implies$ ¡la FDT fuma ($A_{\text{smoke}}$) sin caer en supersticiones!
3. Newcomb transparente (autoestopista de Parfit) y equilibrio de programas (teorema de Löb): Incluso si la Caja B es transparente y ves el millón de dólares dentro, la FDT/UDT optimiza la política global $\mathsf{F}$ ex ante y toma solo la Caja B; en el dilema del prisionero con acceso al código fuente, FairBot emplea el teorema de Löb ($\square(\square P \to P) \to \square P$) para lograr cooperación mutua formalmente demostrable.

6.2 Tabla comparativa: EDT vs. CDT vs. FDT/UDT

Referencias

• Nozick, R. (1969). “Newcomb’s Problem and Two Principles of Choice.” En 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.