Newcomb's paradox

There are two agents: a reliable predictor and a player. Two boxes are designated A and B. The player is given a choice between taking only box B or taking both boxes A and B. The player knows the following:{{cite journal |first1=D. H. |last1=Wolpert |first2=G. |last2=Benford |title=The lesson of Newcomb's paradox |journal=Synthese |date=June 2013 |volume=190 |issue=9 |pages=1637–1646 |doi=10.1007/s11229-011-9899-3 |jstor=41931515|s2cid=113227 }}

• Box A is transparent and always contains a visible $1,000.
• Box B is opaque, and its content has already been set by the predictor:
• If the predictor has predicted that the player will take both boxes A and B, then box B contains nothing.
• If the predictor has predicted that the player will take only box B, then box B contains $1,000,000.

The player does not know what the predictor predicted or what box B contains while making the choice.

In his 1969 article, Nozick noted that "To almost everyone, it is perfectly clear and obvious what should be done. The difficulty is that these people seem to divide almost evenly on the problem, with large numbers thinking that the opposing half is just being silly." The problem continues to divide philosophers today.{{cite news |last1=Bellos |first1=Alex |title=Newcomb's problem divides philosophers. Which side are you on? |url=https://www.theguardian.com/science/alexs-adventures-in-numberland/2016/nov/28/newcombs-problem-divides-philosophers-which-side-are-you-on |access-date=13 April 2018 |work=The Guardian |date=28 November 2016 |language=en}}Bourget, D., Chalmers, D. J. (2014). "What do philosophers believe?" Philosophical Studies, 170(3), 465–500. In a 2020 survey, a modest plurality of professional philosophers chose to take both boxes (39.0% versus 31.2%).{{cite web | url=https://survey2020.philpeople.org/survey/results/4886 | title=PhilPapers Survey 2020 }}

Game theory offers two strategies for this game that rely on different principles: the expected utility principle and the strategic dominance principle. The problem is considered a paradox because two seemingly logical analyses yield conflicting answers regarding which choice maximizes the player's payout.

• Considering the expected utility when the probability of the predictor being right is certain or near-certain, the player should choose box B. This choice statistically maximizes the player's winnings, resulting in approximately $1,000,000 per game.
• Under the dominance principle, the player should choose the strategy that is always better; choosing both boxes A and B will always yield $1,000 more than only choosing B. However, the expected utility of "always $1,000 more than B" depends on the statistical payout of the game; when the predictor's prediction is almost certain or certain, choosing both A and B sets player's winnings at $1,000 per game.

David Wolpert and Gregory Benford point out that paradoxes arise when not all relevant details of a problem are specified, and there is more than one "intuitively obvious" way to fill in those missing details. They suggest that, in Newcomb's paradox, the debate over which strategy is 'obviously correct' stems from the fact that interpreting the problem details differently can lead to two distinct noncooperative games. Each strategy is optimal for one interpretation of the game but not the other. They then derive the optimal strategies for both of the games, which turn out to be independent of the predictor's infallibility, questions of causality, determinism, and free will.

Causality issues arise when the predictor is posited as infallible and incapable of error; Nozick avoids this issue by positing that the predictor's predictions are "almost certainly" correct, thus sidestepping any issues of infallibility and causality. Nozick also stipulates that if the predictor predicts that the player will choose randomly, then box B will contain nothing. This assumes that inherently random or unpredictable events would not come into play anyway during the process of making the choice, such as free will or quantum mind processes.{{cite journal|journal=Noesis|author=Christopher Langan|issue=44|title=The Resolution of Newcomb's Paradox|url=http://megasociety.org/noesis/44/newcomb.html}} However, these issues can still be explored in the case of an infallible predictor. Under this condition, it seems that taking only B is the correct option. This analysis argues that we can ignore the possibilities that return $0 and $1,001,000, as they both require that the predictor has made an incorrect prediction, and the problem states that the predictor is never wrong. Thus, the choice becomes whether to take both boxes with $1,000 or to take only box B with $1,000,000{{snd}} so taking only box B is always better.

William Lane Craig has suggested that, in a world with perfect predictors (or time machines, because a time machine could be used as a mechanism for making a prediction), retrocausality can occur.{{cite journal |author=Craig |year=1987 |url=http://www.leaderu.com/offices/billcraig/docs/newcomb.html |title=Divine Foreknowledge and Newcomb's Paradox |journal=Philosophia |volume=17 |issue=3 |pages=331–350 |doi=10.1007/BF02455055|s2cid=143485859 |url-access=subscription }} The chooser's choice can be said to have caused the predictor's prediction. Some have concluded that if time machines or perfect predictors can exist, then there can be no free will and choosers will do whatever they are fated to do. Taken together, the paradox is a restatement of the old contention that free will and determinism are incompatible, since determinism enables the existence of perfect predictors. Put another way, this paradox can be equivalent to the grandfather paradox; the paradox presupposes a perfect predictor, implying the "chooser" is not free to choose, yet simultaneously presumes a choice can be debated and decided. This suggests to some that the paradox is an artifact of these contradictory assumptions.{{cite journal |last=Craig |first=William Lane |author-link=William Lane Craig |year=1988 |title=Tachyons, Time Travel, and Divine Omniscience |journal=The Journal of Philosophy |volume=85 |issue=3 |pages=135–150 |jstor=2027068|doi=10.2307/2027068 }}

Gary Drescher argues in his book Good and Real that the correct decision is to take only box B, by appealing to a situation he argues is analogous{{snd}} a rational agent in a deterministic universe deciding whether or not to cross a potentially busy street.{{cite book |last=Drescher |first=Gary |author-link=Gary Drescher |year=2006 |title=Good and Real: Demystifying Paradoxes from Physics to Ethics |publisher=MIT Press |isbn=978-0262042338}}

Andrew Irvine argues that the problem is structurally isomorphic to Braess's paradox, a non-intuitive but ultimately non-paradoxical result concerning equilibrium points in physical systems of various kinds.{{cite journal |first=Andrew |last=Irvine |title=How Braess' paradox solves Newcomb's problem |journal=International Studies in the Philosophy of Science |volume=7 |issue=2 |year=1993 |pages=141–60 |doi=10.1080/02698599308573460}}

Simon Burgess has argued that the problem can be divided into two stages: the stage before the predictor has gained all the information on which the prediction will be based and the stage after it. While the player is still in the first stage, they are presumably able to influence the predictor's prediction, for example, by committing to taking only one box. So players who are still in the first stage should simply commit themselves to one-boxing.

Burgess readily acknowledges that those who are in the second stage should take both boxes. As he emphasises, however, for all practical purposes that is beside the point; the decisions "that determine what happens to the vast bulk of the money on offer all occur in the first [stage]".{{cite journal |last=Burgess |first=Simon |title=Newcomb's problem and its conditional evidence: a common cause of confusion |journal=Synthese |date=February 2012 |volume=184 |issue=3 |page=336 |doi=10.1007/s11229-010-9816-1 |jstor=41411196 |s2cid=28725419}} So players who find themselves in the second stage without having already committed to one-boxing will invariably end up without the riches and without anyone else to blame. In Burgess's words: "you've been a bad boy scout"; "the riches are reserved for those who are prepared".{{cite journal |last=Burgess |first=Simon| title=Newcomb's problem: an unqualified resolution |journal=Synthese |date=January 2004 |volume=138 |issue=2 |page=282 |doi=10.1023/b:synt.0000013243.57433.e7 |jstor=20118389 |s2cid=33405473}}

Burgess has stressed that{{snd}} pace certain critics (e.g., Peter Slezak){{snd}} he does not recommend that players try to trick the predictor. Nor does he assume that the predictor is unable to predict the player's thought process in the second stage.{{cite journal |last=Burgess |first=Simon |title=Newcomb's problem and its conditional evidence: a common cause of confusion |journal=Synthese |date=February 2012 |volume=184 |issue=3 |pages=329–330 |doi=10.1007/s11229-010-9816-1 |jstor=41411196 |s2cid=28725419}} Quite to the contrary, Burgess analyses Newcomb's paradox as a common cause problem, and he pays special attention to the importance of adopting a set of unconditional probability values{{snd}} whether implicitly or explicitly{{snd}} that are entirely consistent at all times. To treat the paradox as a common cause problem is simply to assume that the player's decision and the predictor's prediction have a common cause. (That common cause may be, for example, the player's brain state at some particular time before the second stage begins.)

It is also notable that Burgess highlights a similarity between Newcomb's paradox and the Kavka's toxin puzzle. In both problems one can have a reason to intend to do something without having a reason to actually do it. Recognition of that similarity, however, is something that Burgess actually credits to Andy Egan.{{cite journal |last=Burgess |first=Simon |title=Newcomb's problem and its conditional evidence: a common cause of confusion |journal=Synthese |date=February 2012 |volume=184 |issue=3 |page=338 |doi=10.1007/s11229-010-9816-1 |jstor=41411196 |s2cid=28725419}}

Newcomb's paradox can also be related to the question of machine consciousness, specifically if a perfect simulation of a person's brain will generate the consciousness of that person.{{cite arXiv |first=R. M. |last=Neal |title=Puzzles of Anthropic Reasoning Resolved Using Full Non-indexical Conditioning |eprint=math.ST/0608592 |year=2006 }} Suppose we take the predictor to be a machine that arrives at its prediction by simulating the brain of the chooser when confronted with the problem of which box to choose. If that simulation generates the consciousness of the chooser, then the chooser cannot tell whether they are standing in front of the boxes in the real world or in the virtual world generated by the simulation in the past. The "virtual" chooser would thus tell the predictor which choice the "real" chooser is going to make, and the chooser, not knowing whether they are the real chooser or the simulation, should take only the second box.

Newcomb's paradox is related to logical fatalism in that they both suppose absolute certainty of the future. In logical fatalism, this assumption of certainty creates circular reasoning ("a future event is certain to happen, therefore it is certain to happen"), while Newcomb's paradox considers whether the participants of its game are able to affect a predestined outcome.{{citation |last1=Dummett |first1=Michael |title=The Seas of Language |publisher=Clarendon Press Oxford |year=1996 |pages=352–358}}.

Many thought experiments similar to or based on Newcomb's problem have been discussed in the literature. For example, a quantum-theoretical version of Newcomb's problem in which box B is entangled with box A has been proposed.{{cite journal|journal=International Journal of Quantum Information|volume=1|issue=3|year=2003|pages=395–402|author1=Piotrowski, Edward|author2=Jan Sladowski |title=Quantum solution to the Newcomb's paradox|doi=10.1142/S0219749903000279|arxiv=quant-ph/0202074|s2cid=20417502}}

Another related problem is the meta-Newcomb problem.{{cite journal|journal=Analysis|volume=61|issue=4|author=Bostrom, Nick|year=2001|title=The Meta-Newcomb Problem|pages=309–310|doi=10.1093/analys/61.4.309}} The setup of this problem is similar to the original Newcomb problem. However, the twist here is that the predictor may elect to decide whether to fill box B after the player has made a choice, and the player does not know whether box B has already been filled. There is also another predictor: a "meta-predictor" who has reliably predicted both the players and the predictor in the past, and who predicts the following: "Either you will choose both boxes, and the predictor will make its decision after you, or you will choose only box B, and the predictor will already have made its decision."

In this situation, a proponent of choosing both boxes is faced with the following dilemma: if the player chooses both boxes, the predictor will not yet have made its decision, and therefore a more rational choice would be for the player to choose box B only. But if the player so chooses, the predictor will already have made its decision, making it impossible for the player's decision to affect the predictor's decision.

• Causal decision theory
• Evidential decision theory

{{reflist|30em}}

• {{cite journal |last1=Bar-Hillel |first1=Maya |last2=Margalit |first2=Avishai |year=1972 |title=Newcomb's paradox revisited |journal=British Journal for the Philosophy of Science |volume=23 |issue=4 |pages=295–304 |jstor=686730 |doi=10.1093/bjps/23.4.295}}
• Campbell, Richmond and Sowden, Lanning, ed. (1985), Paradoxes of Rationality and Cooperation: Prisoners' Dilemma and Newcomb's Problem, Vancouver: University of British Columbia Press. (an anthology discussing Newcomb's Problem, with an extensive bibliography).
• Collins, John. [https://philarchive.org/archive/COLNP "Newcomb's Problem"], International Encyclopedia of the Social and Behavioral Sciences, Neil Smelser and Paul Baltes (eds.), Elsevier Science (2001).
• {{cite book

|last=Gardner

|first=Martin

|date=1986

|title=Knotted Doughnuts and Other Mathematical Entertainments

|url=https://archive.org/details/knotteddoughnuts00mart

|url-access=registration

|publisher=W. H. Freeman and Company

|isbn=0-7167-1794-8

|pages=[https://archive.org/details/knotteddoughnuts00mart/page/155 155–175]

}}

• {{cite journal |last=Levi |first=Isaac |year=1982 |title=A Note on Newcombmania |journal=Journal of Philosophy |volume=79 |issue=6 |pages=337–342 |jstor=2026081 |doi=10.2307/2026081 }} (An article discussing the popularity of Newcomb's problem.)

{{Paradoxes}}

Category:Eponymous paradoxes

Category:Temporal paradoxes

Category:Thought experiments

Category:Mathematical paradoxes

Category:Philosophical paradoxes

Category:Prediction

Category:1969 introductions

Category:Decision-making paradoxes

Category:Non-cooperative games