Il cuore del Paradosso di Newcomb risiede in un'affermazione apparentemente modesta: se un predittore è sufficientemente affidabile, allora la scelta razionale potrebbe essere quella di prendere solo la scatola opaca, anche se il mille visibile è lì in bella vista. Questa risposta sembra tradire la massimizzazione ordinaria. Eppure, il paradosso è progettato in modo tale che la scelta che appare inferiore a un'ispezione locale possa essere quella che meglio si adatta alla struttura dell'intera situazione.
La formulazione classica si presenta come una piccola favola di fiducia e lungimiranza. Ti viene detto che un predittore quasi perfetto ti ha già osservato, ti ha modellato o in qualche modo ha afferrato il tuo comportamento futuro. Una scatola è trasparente e contiene già una somma garantita più piccola. L'altra è chiusa e potrebbe contenere una somma molto più grande. Il predittore ha messo la somma più grande nella scatola chiusa solo se ha previsto che avresti preso solo la scatola chiusa. Se ha previsto che avresti preso entrambe, ha lasciato la scatola chiusa vuota. Ora ti trovi davanti alle scatole. Cosa dovresti fare?
A prima vista, prendere entrambe le scatole sembra irresistibile. Qualunque cosa sia stata messa nella scatola opaca è stata determinata prima della tua scelta, e quindi, si pensa, la tua azione presente non può alterarla. Se la scatola è piena, prendere anche la somma visibile più piccola ti dà più soldi; se è vuota, prendere entrambe lascia comunque con il mille. Da quel punto di vista, prendere una sola scatola sembra superstizione, come se stessi cercando di influenzare il passato desiderando abbastanza intensamente.
Ma il caso ha un'altra faccia. Un predittore altamente accurato non si limita a riportare la tua decisione; crea un ponte statistico tra la tua scelta presente e i contenuti precedenti della scatola. Se il predittore ha quasi sempre ragione, allora l'atto di prendere una sola scatola è profondamente associato al milione che si trova all'interno. In questo senso, la tua scelta è prova di ciò che il mondo era disposto a contenere. Un "one-boxer" è il tipo di agente che il predittore si aspettava; un "two-boxer" è il tipo di agente che il predittore si aspettava di trovare povero. L'enigma è che entrambe le descrizioni sono vere e ciascuna spinge la razionalità in una direzione diversa.
Questo è ciò che ha reso il problema così inquietante quando è circolato per la prima volta. Non era semplicemente un trucco da casinò. Sembrava mettere due ideali familiari l'uno contro l'altro. Un ideale dice: quando decidi, presta attenzione solo alle conseguenze della tua azione. L'altro dice: quando decidi, presta attenzione a ciò che la tua azione ti dice sul mondo. Il Paradosso di Newcomb sembra mostrare che questi possono separarsi in un caso brutalmente semplice.
La sorpresa è che il paradosso non viene risolto appellandosi alla debolezza umana. Anche un agente idealmente razionale deve affrontarlo. La questione non è se alcune persone siano più impulsive di altre. È se la razionalità stessa debba essere indicizzata all'impatto causale o alla correlazione evidenziale. È per questo che il caso è sopravvissuto così a lungo. Non sfrutta l'ignoranza o il pregiudizio; sfrutta un divario concettuale nel significato di "dovrebbe".
Il contesto storico ha affilato il problema. La sfida è entrata nella discussione filosofica negli anni '60 e rapidamente è diventata un caso di prova nella teoria delle decisioni, specialmente dopo che Robert Nozick l'ha presentata in forma scritta in Philosophical Explanations (1981), dove l'impostazione di base è stata attribuita al fisico William Newcomb. Da quel momento in poi, l'enigma ha acquisito una forma canonica: un predittore così accurato che sembra quasi ridurre la lungimiranza a certezza, e un giocatore la cui scelta sembra contare solo dopo che il fatto cruciale è già stato fissato. La questione non era un abbellimento teatrale. Era la struttura pulita, quasi clinica dell'esempio a conferirgli forza.
Un modo vivace per vedere la tensione è immaginare due giocatori a cui vengono offerte le stesse scatole sotto diverse affidabilità previsionali. Se il predittore è mediocre, prendere entrambe le scatole potrebbe essere innocuo o addirittura migliore, perché la scatola nascosta non segue più da vicino la tua decisione da contare. Se il predittore è straordinario, la scelta diventa quasi simbolica: prendere entrambe è il segno del tipo di agente che di solito finirà con solo il mille, mentre prendere una è il segno del tipo di agente che se ne va con un milione. Gli interessi pratici sono ovvi; gli interessi filosofici sono più acuti. Quale correlazione, se esiste, appartiene alla logica della scelta?
La forza più profonda del paradosso deriva dal fatto che entrambe le risposte possono essere formulate come applicazioni della razionalità piuttosto che come deviazioni da essa. Se prendere una sola scatola porta denaro nell'impostazione attuale, allora perché prendere entrambe non è un fallimento dell'intelligenza pratica? Se prendere entrambe le scatole garantisce il mille a prescindere, allora perché prendere una sola scatola non è un fallimento della prudenza? Il caso è ingegnerizzato in modo tale che il linguaggio ordinario del buon processo decisionale si frammenta.
Una seconda illustrazione aiuta. Considera un medico con un modello diagnostico quasi perfetto che può prevedere se un paziente svilupperà una malattia. La previsione non causa la malattia, ma potrebbe correlare fortemente con essa. Nella vita ordinaria, siamo già a nostro agio nel trattare tali correlazioni come prove. Il Paradosso di Newcomb chiede perché la teoria delle decisioni dovrebbe comportarsi diversamente quando la correlazione non riguarda la malattia ma il proprio atto e il suo rendimento.
Gli interessi diventano più chiari quando si ricorda che l'enigma è costruito attorno a una contingenza nascosta. Il grande rendimento non è semplicemente "lì" in astratto; è presente solo se il modello precedente del predittore su di te si allineava con l'atto che avresti poi compiuto. Se il predittore aveva ragione, il milione è stato messo nella scatola opaca in anticipo. Se il predittore aveva torto, la scatola opaca è stata lasciata vuota. Questo significa che ciò che è nascosto non è solo denaro, ma un record di un giudizio precedente sul tuo futuro io. Il denaro, la previsione e la tua scelta presente formano un sistema unico. La scatola sul tavolo è il punto finale visibile di un'inferenza precedente.
Quella struttura è ciò che conferisce allo scenario la sua precisione documentaria. La scatola opaca non è un oggetto mistico. È un artefatto di ragionamento precedente, un risultato di una classificazione anteriore: "one-boxer" o "two-boxer", premio da un milione di dollari o compartimento vuoto. Anche il mille nella scatola trasparente non è simbolico; è la base fissa rispetto alla quale viene misurata l'intera scommessa. Gli importi esatti contano perché il caso dipende dall'asimmetria. Una somma garantita più piccola è in vista aperta, mentre una somma molto più grande dipende da ciò che è già stato inferito su di te. Il contrasto classico—mille dollari contro un milione—rende facile percepire la tentazione razionale del "two-boxing" e difficile accettare la presunta superiorità del "one-boxing".
È per questo che il problema è sempre stato discusso come un confronto tra regole decisionali. Una regola chiede cosa produrrà causalmente la tua azione da questo momento in poi. L'altra chiede cosa rivela la tua azione su quale mondo ti trovi. Il Paradosso di Newcomb non chiede semplicemente quale regola sia più elegante. Chiede se un agente pienamente razionale possa rimanere coerente se le due regole puntano in direzioni diverse. Se l'affidabilità del predittore è sufficientemente alta, il denaro visibile potrebbe essere la parte meno informativa della scena. Ciò che conta è l'allineamento nascosto tra la previsione precedente e il comportamento successivo.
L'idea originale, quindi, è abbastanza semplice da esprimere ma abbastanza difficile da digerire: la scelta razionale può richiedere di scegliere l'atto che meglio si adatta a un modello affidabile che collega scelta e risultato, anche quando quel risultato non è causalmente a valle dell'atto. Una volta che questa affermazione è sul tavolo, tutto il resto nel dibattito deriva dal tentativo di dire esattamente quale tipo di connessione conta e perché.