# A Common Joke About Common Knowledge

If you enjoy this joke (which is discussed here, and comes from the folks at Spiked Math Comics) as much as I do, you might be a gearhead.

It illustrates one of the many surprising and subtle impacts of common knowledge. Yale’s John Geanakoplos provides an even more perverse version of the bar cartoon, in this incredibly helpful chapter :

Imagine three girls sitting in a circle, each wearing either a red hat or a white hat. Suppose that all the hats are red. When the teacher asks if any student can identify the color of her own hat, the answer is always negative, since nobody can see her own hat. But if the teacher happens to remark that there is at least one red hat in the room, a fact which is well-known to every child (who can see two red hats in the room) then the answers change. The first student who is asked cannot tell, nor can the second. But the third will be able to answer with confidence that she is indeed wearing a red hat.

You can find out the reasoning behind the inference here.

Back in 1997, Barry Nalebuff and I published an article showing how the common knowledge about insulting or threatening bits of information can destroy relationships and thereby be a “barrier to negotiation.”  The beginning of the article lays out a simple description of the double infinity of knowledge that constitutes common knowledge:

When we communicate one thing, we often unavoidably send other messages. To start with a simple example, imagine that Ian says to Barry, “My mother’s name is Karen.” From Ian’s communication, Barry learns more than just the underlying bit of information (mom’s name). The communication also lets Barry know that: (a) Ian knows his mom’s name, and (b) Ian knows that Barry knows Ian’s mom’s name.

What is less well understood is that when we teach, we learn. When Ian tells Barry about his mom, Ian learns several things. For example, by telling Barry, Ian now knows that Barry knows Karen is the name of Ian’s mom. Direct communication of a fact can potentially create two infinite series of knowledge. If we symbolize the underlying bit of information (Karen is Ian’s mom) as K, then Ian’s communication might create the following hierarchy of beliefs:

 Table 1: Potential Hierarchy of Beliefs Ian’s Knowledge Barry’s Knowledge 1a. Ian knows K 1b. Barry knows K 2a. Ian knows Barry knows K 2b. Barry knows Ian knows K 3a. Ian knows that Barry knows that Ian knows K 3b. Barry knows that Ian knows that Barry knows K and so on . . . and so on . . .

If Ian’s communication succeeds in creating both of these infinite series, economists would say that the underlying fact is “common knowledge.” Table 1 makes clear how directly communicating a simple fact can produce other types of knowledge. Ian begins with what we will call “first-order” information (la) and wants to convey this to Barry (1b). But in doing so, Ian may be teaching Barry “higher-order” information as well (2b, 3b, 4b, etc.). Moreover, by teaching Barry, Ian may unavoidably acquire higher-order information himself (2a, 3a, 4a, etc.).

[HT: Peter Siegelman]

#### Trevor

This is taken to its extreme in the Blue-Eyes puzzle:

http://www.xkcd.com/blue_eyes.html

The bit that messes me up, is that the additional information ("I can see someone with blue eyes", or above "I can see someone with a red hat") doesn't add anything new to the situation, but changes the outcome. How is that possible?

#### Joshua Northey

It adds information because it begins a string of iterative inferences.

The "blues eye puzzle" isn't quite well formed as stated on his website, because he really needs to add the premise that in addition to "all BEING perfect logicians", they also need to "KNOW that the others are perfect logicians". But he omits that piece of information because it would seem odd, would thus tip some people off to the answer making the overall puzzle easier.

In normal human interactions it is not advisable to assume others around you are perfect logicians, it will probably get you maimed or killed eventually. So that really needs to be added to the premises.

A related problem is a "surprise exam problem". It seems that a teacher cannot give a surprise exam to logic students. If he says " I will give a surprise exam in period Y" (e.g. I will give a surprise exam in October) the exam cannot actually be a surprise.

If the exam is on the 31st if wouldn't be a surprise, and since it cannot be on the 31st it clearly cannot be on the 30th either, and so on and so on. Until they decide there can be no surprise test. Then they are surprised when there is indeed a test...

#### David Clayton

I'm not getting the red hat example. Red hats are worn by A, B, and C. All are told that at least ONE is wearing a red hat. A is asked her hat color, but she can't tell since she can see at least one red hat. B can't tell since she also can see at least one red hat. In the example, C can deduce that she must be wearing a red hat. But I think this is wrong.

A can't tell if she's wearing a red hat, because she can see at least one red hat. Her answer tells both B and C that at least one of them is red. But this doesn't inform either B or C; B can see that C is red, and C can see that B is red. Then when B says she doesn't know, this tells A and C that at least one of them is red. But this doesn't further inform C, since B could be talking about A, who C can see.

The logic is challenging, so modify the situation and see what answers change. Change C's hat to white. Now the teacher has said that at least one hat is red - that's the same. A sees at least one red hat - on B - so her answer doesn't change. B sees at least one red hat - on A - so her answer doesn't change. C can see at least one red hat - she still sees two - and so her answer does not change.

Her answer must therefore be "I don't know. "

Am I missing something?

David,

Your alternative scenario is wrong. In that one, B would know that she is wearing a red hat, because A let her know that there is at least 1 red hat on B and C, and since C doesn't have one, B knows she has one herself.

In scenario 1, C knows she has a red hat herself because if she didn't, B would have known that B was wearing a red hat.

Got it. Thanks.

#### Russell W

What's odd about this kind of recursive thinking is that people appear to be pretty bad at generally, but really good at it in specific circumstances. Pedagogy, for instance, requires what Michael Tomasello calls a "shared intentionality." For me to teach you, you have to understand my intent to teach, and I must know that you know that. Then the information I give you after that will be more greatly emphasized. That kind of recursive thinking is actually a key difference between apes that, well, ape and we humans who can engage in shared intentionality.

#### red robin

Dear Joshua;

Not preying at all. At least, that was not my intention. A lesson--- yes. Teaching math and having your life and integrity threatened daily and simultaneously was a good experience (I learned a lot and did acquire an ace of a wonderful student in the process, but overall it still was a hugely stressful experience of which I would mostly like to forget about). Teaching Theories of Social Order over a ten year period was enlightening. Loved every minute of it and do hope to have an opportunity to do so again. We (my students and I) learned so much from each other. I had one student (a black woman) of about 25 and a "gentle reader" who may not ever find herself. She writes this amazing paper with quotes all over the place. I questioned the quotes (since she never cited a source) Turns out, she was the source and did not know that one need not cite one's self. I asked her about going on to graduate school. Seems like she had too much to do to survive i.e., as in make sure there is food on the table.

As for teaching someone a lesson- I never read Comte from that standpoint until I left myself open to learning the real lesson that he had in mind. And If I thought that he was lying to me i.e., presenting me with a false statement from the start, I might not have read Comte or Spencer or Martineau with an open mind to sorting the matter of their enterprise out for myself. The truth hurts. I was oblvious to Martineau's achievments for a very, very long time. We all learn from our mistakes. That is how we learn by acknowledging them.

#### Joshua Northey

Great comic!

The red hat one is a tricky one, basically preying on the same trap as the Monty Hall problem (people assuming superficially uninformative answers contain no information even though with a little inference they actually do).

I have seen fairly smart people fight Monty Hall for quite a while before conceding. This red hat one seems a little more straightforward.

#### caleb b

Yes, I've seen the same. Very smart people who just cannot understand the Monty Hall problem. One guy was so angry at me that we bet using a deck of cards. At \$1 a guess, he quit when I got up by \$20. Then he understood.

#### Sean E

Err ... so what?
Sorry, but I don't get the point of the point. I am willing to admit that I am quite possibly being obtuse and oblivious and would be happy to learn something useful (or even interesting) from this article, but I'm not.
Is the point that there are a lot of folks who are not good at (read, have been badly taught) logic?
There is also a very large population that cannot change a tire ...

(Really not trying to be a bore, here. But all I'm seeing is a discussion of the sky is up and other bits of 'knowledge'.)