Take the 2-minute tour ×
Philosophy Stack Exchange is a question and answer site for those interested in logical reasoning. It's 100% free, no registration required.

Superrational decision making is a type of rational decision making in which the players cooperate in a one-shot prisoner's dilemma without coordination, punishment, or magical thinking.

The idea is that when playing a symmetric prisoner's dilemma, one assumes that there is a unique solution to the mathematical problem of the optimal strategy, that this solution will be found and played by all superrational players, and that assuming the players are perfectly correlated, you maximize your utility.

The result in a one shot prisoner's dilemma is that two superrational players cooperate with each other, as opposed to two Nash-rational (or economically rational) players who defect.

A superrational player playing a Nash-rational economist will defect, and in general, in the absence of other superrational players, will play according to the Nash-rational strategy. It is only when there is a community of superrational players that one finds new types of rational behavior.

I have two closely related questions about the literature on this:

  1. Douglass Hofstadter expounds this idea at great length in a series of Scientific American articles, reprinted in his collection: "Metamagical Themas", one of which is "Dilemmas for Superrational Thinkers, Leading Up to a Luring Lottery" (Scientific American, June 1983). I believe the idea, at least in its mathematically precise form, is original to him, and I credit him whenever I mention it.

    Is the mathematically precise definition of superrationality in symmetric multi-player games due to him, or was it somewhere in the literature before?

  2. Do philosophers take this idea seriously? I have not seen any professional literature which uses this. I am not asking whether philosophers should take the idea seriously, because I think they should. I am asking whether they do and if anyone can point me to specific examples of this that can be found in the literature.

share|improve this question
    
@CodyGray: Thanks Cody--- nice edits. –  Ron Maimon Apr 15 '12 at 17:27
add comment

2 Answers 2

TL;DR:

Is the mathematically precise definition of superrationality in symmetric multi-player games due to him, or was it somewhere in the literature before?

Not really. The idea had emerged several times in philosophy, economics and mathematics before Hofstadter wrote about it. Notably, Martin Gardener wrote about a puzzle involving the notion in Scientific American in the 70s, in the same column that Hofstadter ultimately took over and wrote about superrationality in.

A good place to start would be SEP's entry on Common Knowledge.

Do philosophers take this idea seriously?

Yes.


Here's a quote from Hofstadter's Metamagical Themas (1985) where he provides a definition of superrationality:

You need to depend not just on their being rational, but on their depending on everyone else to be rational, and on their depending on everyone to depend on everyone to be rational - and so on. A group of reasoners in this relationship to each other I call superrational. Superrational thinkers, by recursive definition, include in their calculations the fact that they are in a group of superrational thinkers. (Chapter 30)

Prior to this, the idea appeared a number of times, dating back to Hume. See the linked SEP article for a discussion.

I will present two mentions from the economics literature.

In 2005, Thomas Schelling and Robert Aumann shared the Nobel prize in economics for "having enhanced our understanding of conflict and cooperation through game-theory analysis" (see the press release).

Schelling in particular can be credited with preempting Hofstadter's definition of superrationality in coordination games:

  • Thomas Schelling: There's a nice quote from The Strategy of Conflict (1960) that the linked SEP article uses:

    When a man loses his wife in a department store without any prior understanding on where to meet if they get separated, the chances are good that they will find each other. It is likely that each will think of some obvious place to meet, so obvious that each will be sure that it is "obvious" to both of them. One does not simply predict where the other will go, which is wherever the first predicts the second to predict the first to go, and so ad infinitum. Not "What would I do if I were she?" but "What would I do if I were she wondering what she would do if she were wondering what I would do if I were she … ?" (p. 54)

    Schelling ran a variety of experiments based around games like the one sketched above, and ultimately developed the idea of a focal point equilibrium:

    Most situations - perhaps every situation for people who are practiced in this kind of game - provide some clue for coordinating behavior, some focal point for each person's expectation of what the other expects him to expect to be expected to do. (p. 57).

  • Robert Aumann is the first person credited with a rigorous notion of common knowledge. He presents the graph reachability notion of common knowledge on partitions on information space, which is now the defacto defition for modern logicians working on Epistemic Logic. Here's the abstract of his paper Agreeing to Disagree (1976) (full text):

    Two people, 1 and 2, are said to have common knowledge of an event E if both know it, 1 knows that 2 knows it, 2 knows that 1 knows it, 1 knows that 2 knows that 1 knows it, and so on.

    Theorem: If two people have the same priors, and their posterios for an event A are common knowledge, then these posteriors are equal

share|improve this answer
    
Sorry, these are not superrationality. Superrationality requires at least the analysis of the Luring lottery, to show that the superrational answer for N players is to flip an N-sided dice to and send a postcard if it comes up "1". All the other things are philosophical blah blah blah with no precise counterpart, and no essential modification of economical game-theoretic reasoning required. –  Ron Maimon Aug 2 '12 at 8:18
2  
I quoted Hofstadter's definition of superrationality. I don't really see how to distinguish Hofstadter's definition as not "philosophical blah blah". It looks very similar to Schelling and Lewis' definitions. The Luring Lottery is quite similar to Schelling's games involving focal points, with the exception that Hofstadter's proposed focal point could not be observed empirically... although admittedly a contest in Scientific American is not a reliable instrument for doing behavioral economics. –  Matt W-D Aug 2 '12 at 19:53
    
The Schelling reference might be relevant. The other ones are philosophical blah blah. Hofstadter's isn't because he can solve the Luring Lottery (it is possible to do Luring Lottery empirically--- simply do a prisoner's dilemma like game with CC payoff of $10 each, DD payoff of $0, and CD payoff of $1000/$1. In this case, I think that it is conceivable to see coin-flipping behavior in humans. The concept of "focal point" is similar, although DD is also a focal point of sorts in prisoner's dilemma, so I need to read Schelling before upvoting or accepting. –  Ron Maimon Aug 10 '12 at 1:11
    
Ok, I looked at the focal point, and it is completely unrelated, so I should downvote, but I won't because you are sincere in confusing the two concepts. The Schelling fellow does not predict cooperation in one-shot prisoner's dilemma, and his theory is to explain how to coordinate without communication, which is only vaguely related to the Hofstadter idea. Hofstadter's thing is mathematically precise-- I can tell you the superrational strategy in any symmetric game you dream up. –  Ron Maimon Aug 10 '12 at 1:13
    
@RonMaimon: I made my reply briefer. Can you edit your original post to contain a complete quote from Hofstadter defining superrationality, with a focus on aspects of it you consider essential? I don't see where he lays out a framework for systematically analyzing any arbitrary symmetric game. –  Matt W-D Aug 11 '12 at 21:12
show 5 more comments

If your action forces other players to behave the same way, you are not playing a real game. you are playing a one-player game, a decision problem. The game theoretic fallacy Hofstadter makes is not new. An extensive discussion of the "symmetry fallacy" can be found in Ken Binmore's Game Theory and the Social Contract, Vol. 1: Playing Fair in Chapter 3.

share|improve this answer
    
It is not forcing anything, rather it is saying that your decision is correlated with the other player because you are both finding the unique answer to a well defined problem. Assuming it is well defined and there is a unique answer is what forces the answers to be the same, not any causal mechanism. This is not a fallacy, no matter what Ken Binmore says, it is a point of view that was just missed by philosophers and economists both, because it is essentially religious. I don't downvote new users, and I also cannot really participate on this site anymore, unfortunately. –  Ron Maimon Dec 13 '12 at 0:22
    
@RonMaimon This point has certainly not been missed. There is a unique solution to the prisoners dilemma that is compatible with both players being rational. Rationality forces the choices of both players to be the same: Both players defect. The argument that this leads to any form of correlation is flawed though. Constant random variables are automatically uncorrelated (and even independent). –  Michael Greinecker Dec 17 '12 at 12:28
    
Of course it has been missed--- you just missed it! The "unique answer" is only to defect if you assume the answer is uncorrelated between the two players, that it is a "random variable", when it is a result of a procedure of deciding what to do, and is far from random. If you assume that the result of "figuring out what to do" is unique and perfectly correlated, it is just as obviously to cooperate. You are simply wrong, and this is why it is important to explain Hofstadters position, because people are wrong, and continue to say wrong things even after being patiently corrected. –  Ron Maimon Dec 22 '12 at 8:57
    
That is plain nonsense. Both defecting is the only correlated equilibrium of the PD. The term correlation is only defined for random variables, so I'm not responsible for your abuse of language. Why don't you provide a formal argument insteadof just repeating dogma? –  Michael Greinecker Dec 22 '12 at 9:16
    
The argument is trivially formal: when "rational" means "superrational", so that there is a unique self-consistent answer to all (symmetric) games, then for the prisoner's dilemma, the unique superrational strategy is the one that maximizes (either) player's utility assuming all players play it. That's CC. This is not a standard equilibrium, it is the new concept of "Hofstadter equilibrium". The term "random variable" is fine, you are right, sorry. But you are missing the central point, that the superrationality is equally self consistent, and much better deserves the name "rationality". –  Ron Maimon Dec 25 '12 at 4:56
show 6 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.