Recently someone pointed out to me that there was no good canonical post that explained the use of common knowledge in society. Since I wanted to be able to link to such a post, I decided to try to write it.

The epistemic status of this post is that I hoped to provide an explanation for a standard, mainstream idea, in a concrete way that could be broadly understood rather than in a mathematical/logical fashion, and so the definitions should all be correct, though the examples in the latter half are more speculative and likely contain some inaccuracies.

Let's start with a puzzle. What do these three things have in common?

  • Dictatorships all through history have attempted to suppress freedom of the press and freedom of speech. Why is this? Are they just very sensitive? On the other side, the leaders of the Enlightenment fought for freedom of speech, and would not budge an inch against this principle.
  • When two people are on a date and want to sleep with each other, the conversation will often move towards but never explicitly discuss having sex. The two may discuss going back to the place of one of theirs, with a different explicit reason discussed (e.g. "to have a drink"), even if both want to have sex.
  • Throughout history, communities have had religious rituals that look very similar. Everyone in the village has to join in. There are repetitive songs, repetitive lectures on the same holy books, chanting together. Why, of all the possible community events (e.g. dinner, parties, etc) is this the most common type?

What these three things have in common, is common knowledge - or at least, the attempt to create it.

Before I spell that out, we’ll take a brief look into game theory so that we have the language to describe clearly what’s going on. Then we’ll be able to see concretely in a bunch of examples, how common knowledge is necessary to understand and build institutions.

Prisoner's Dilemmas vs Coordination Problems

To understand why common knowledge is useful, I want to contrast two types of situations in game theory: Prisoner’s Dilemmas and Coordination Problems. They look similar at first glance, but their payoff matrices have important differences.

The Prisoner's Dilemma (PD)

You’ve probably heard of it - two players have the opportunity to cooperate, or defect against each other, based on a story about two prisoners being offered a deal if they testify against the other.

If they do nothing they will put them both away for a short time; if one of them snitches on the other, the snitch gets off free and the snitched gets a long sentence. However if they both snitch they get pretty bad sentences (though neither are as long as when only one snitches on the other).

In game theory, people often like to draw little boxes that show two different people's choices, and how much they like the outcome. Such a diagram is called a decision matrix, and the numbers are called the players' payoffs.

To describe the Prisoner's Dilemma, below is a decision matrix where Anne and Bob each have the same two choices, labelled  and . These are colloquially called ‘cooperate’ and ‘defect’. Each box contains two numbers, for Anne and Bob's payoffs respectively. ​

If the prisoner ‘defects’ on his partner, this means he snitches, and if he ‘cooperates’ with his partner, he doesn’t snitch. They’d both prefer that both of them cooperate  to both of them defecting , but each of them has an incentive to stab each other in the back to reap the most reward .

Do you see in the matrix how they both would prefer no snitching to both snitching, but they also have an incentive to stab each other in the back?

Real World Examples

Nuclear disarmament is a prisoner’s dilemma. Both the Soviet Union and the USS wanted to have nuclear bombs while the opponent doesn't, but they'd probably both prefer a world where nobody had bombs than a world where they were both pointing massive weapons at each others heads. Unfortunately in our world, we failed to solve the problem, and ended up pointing massive weapons at each others' heads for decades.

Military budget spending more broadly can be a prisoner’s dilemma. Suppose two neighbouring countries are determining how much to spend on the military. Well, they don’t want to go to war with each other, and so they’d each like to spend a small amount of money on their military, and spend the rest of the money on running the country - infrastructure, healthcare, etc. However, if one country spends a small amount and the other country spends a lot, then the second country can just walk in and take over the first. So, they both spend lots of money on the military with no intention of using it, just so the other one can’t take over.

Another prisoner’s dilemma is tennis players figuring out whether to take performance enhancing drugs. Naturally, they'd like to dope and the opposing player not, but they'd rather both not dope than both dope.

Free-Rider Problems

Did you notice how there are more than two tennis players in the doping situation? When deciding whether to take drugs, not only do you have to worry about whether your opponent in the match today will dope, but also whether your opponent tomorrow will, and the day after, and so on. We’re all wondering whether all of us will dope. In society there are loads of these scaled up versions of the prisoner’s dilemma.

For example, according to many political theories, everyone is better off if the government takes some taxes and uses them to provide public goods (e.g. transportation, military, hospitals). As a population, it's in everyone's interest if everyone cooperates, and takes a small personal sacrifice of wealth.

However, if most people are doing it, you can defect, and this is great for you - you get the advantage of a government providing public goods, and also you keep your own money. But if everyone defects, then nobody gets the important public goods, and this is worse for each person than if they'd all cooperated.

Whether you’re two robbers, one of many tennis players, or a whole country fighting another country, you will run into a prisoner’s dilemma. In the scaled-up version, a person who defects while everyone else cooperates is known as a free-rider, and the scaled up prisoner’s dilemma is called the free-rider problem.

Coordination Problems

With that under our belt, let’s look at a new decision matrix. Can you identify what’s importantly different about this matrix? Make a prediction about how you think this will change the players’ strategies.​

Don't mix this up with the Prisoners' Dilemma - it's quite different. In the PD, if you cooperate and I defect, I get 4. What’s important about the new decision-matrix, is that nobody has an incentive to backstab! If you cooperate and I defect, I get zero, instead of four.

We all want the same thing. Both players' preference ordering is:

So, you might be confused: Why is this a problem at all? Why doesn’t everyone just pick C?

Let me give an example from Michael Chwe’s classic book on the subject Rational Ritual: Culture, Coordination and Common Knowledge.

Say you and I are co-workers who ride the same bus home. Today the bus is completely packed and somehow we get separated. Because you are standing near the front door of the bus and I am near the back door, I catch a glimpse of you only at brief moments. Before we reach our usual stop, I notice a mutual acquaintance, who yells from the sidewalk, “Hey you two! Come join me for a drink!” Joining this acquaintance would be nice, but we care mainly about each other’s company. The bus doors open; separated by the crowd, we must decide independently whether to get off.

Say that when our acquaintance yells out, I look for you but cannot find you; I’m not sure whether you notice her or not and thus decide to stay on the bus. How exactly does the communication process fail? There are two possibilities. The first is simply that you do not notice her; maybe you are asleep. The second is that you do in fact notice her. But I stay on the bus because I don’t know whether you notice her or not. In this case we both know that our acquaintance yelled but I do not know that you know.

Successful communication sometimes is not simply a matter of whether a given message is received. It also depends on whether people are aware that other people also receive it. In other words, it is not just about people’s knowledge of the message; it is also about people knowing that other people know about it, the “metaknowledge” of the message.

Say that when our acquaintance yells, I see you raise your head and look around for me, but I’m not sure if you manage to find me. Even though I know about the yell, and I know that you know since I see you look up, I still decide to stay on the bus because I do not know that you know that I know. So just one “level” of metaknowledge is not enough.

Taking this further, one soon realizes that every level of metaknowledge is necessary: I must know about the yell, you must know, I must know that you know, you must know that I know, I must know that you know that I know, and so on; that is, the yell must be “common knowledge.” 

The term “common knowledge” is used in many ways but here we stick to a precise definition. We say that an event or fact is common knowledge among a group of people if everyone knows it, everyone knows that everyone knows it, everyone knows that everyone knows that everyone knows it, and so on.

Two people can create these many levels of metaknowledge simply through eye contact: say that when our acquaintance yells I am looking at you and you are looking at me, [and we exchange a brief glance at our mutual friend and nod]. Thus I know you know about the yell, you know that I know that you know (you see me looking at you), and so on. If we do manage to make eye contact, we get off the bus; communication is successful.

Coordination problems are only ever problems when everyone is currently choosing , and we need to coordinate all choosing  at the same time. To do that, we need common knowledge.

(The specific definition of common knowledge ("I know that you know that I know that....") is often confusing, but for now the concrete examples below should help get a solid intuition for the idea.)

Compare you and I on the bus to the coordination game payoff matrix: If we both get off the train , we get to hang out with each other and spend some time with a mutual acquaintance. If only one of us does, we both miss out on the opportunity to hang out with each other (the thing we want least -  or ). If neither of us gets off the train, we get to hang out with each other, but in a less interesting way .

A Stable State

The reason that it’s a difficult coordination problem, is because the state  is an equilibrium state; neither of us alone can improve it by getting off the bus - only if we’re able to coordinate us both getting off the bus does this work. You can think of it like a local optimum: if you take one step in any direction (if any single one of us changes our actions) we lose utility on net.

The name for such an equilibrium is taken from mathematician John Nash (who the film A Beautiful Mind was based on), and is called a Nash equilibrium. Both  and  are Nash equilibria in a coordination problem. Can you see how many Nash equilibria there are in the Prisoner's Dilemma?

Solving problems and resolving dilemmas

A good way to contrast coordination problems and free rider problems is to think about these equilibrium states. In the free rider problem, the situation where everyone cooperates is not a Nash equilibrium - everyone is incentivised to defect while the others cooperate, and so occasionally some people do. While the PD only has one Nash equilibrium however, a coordination problem has got two! The challenge is moving from the current one, to one we all prefer.

Free rider problems are solved by creating new incentives against defecting. For example, the government punishes you if you don't pay your taxes. In sports, the practice of doping is punished, and what's more it's made out to be dishonourable. People tell stories of the evil people that dope and how we all look down on them; even if you could dope and probably get away with it, there's no plausible deniability in your mind - you know you're being a bad person and would be judged by everyone of your colleagues.

Coordination problems can be solved by creating such incentives, but they can also be solved just by improving information flow. We'll see that below.

Three Coordination Problems

That situation when you and I lock eyes, nod, and get off the bus? That’s having common knowledge. It’s the confidence to take the step, because you’re not worried about what I might do. Because you know I’m getting off the bus with you.

Now we’ve got a handle on what common knowledge is, we can turn back to the three puzzling phenomena from the beginning.

Dictators and freedom of speech

Dictatorships all through history have attempted to suppress freedom of the press and freedom of speech. Why is this? Are they just very sensitive? On the other side, the leaders of the Enlightenment fought for freedom of speech, and would not budge an inch against this principle.

Many people under a dictatorship want a revolution - but rebelling only makes sense if enough other people want to rebel. The people as a whole are much more powerful than the government. But you alone won’t be any match for the local police force. You have to know that the others are willing to rebel (as long as you rebel), and you have to know that they know that you’re willing to rebel.

People in a dictatorship are all trying to move to a better nash equilibrium without going via the corners of the box (i.e. where some people rebel, but not enough, and then you have some pointless death instead of a revolution).

That feeling of worrying whether the people around you will support you, if you attack the police. That’s what it’s like not to have common knowledge. When a dictator gets ousted by the people, it's often in the form of a riot, because you can see the other people around you who are poised on the brink of violence. They can see you, and you all know that if you moved as one you might accomplish something. That’s the feeling of common knowledge.

The dictator is trying to suppress the people’s ability to create common knowledge that jumps them straight to  - and so they attempt to suppress the news media. Preventing common knowledge being formed among the populace means that large factions cannot coordinate - this is a successful divide and conquer strategy, and is why dictators are able to lead with so little support (often <1% of the population).

Uncertainty in Romance

When two people are on a date and want to sleep with each other, the conversation will often move towards but never explicitly discuss having sex. The two may discuss going back to the place of one of theirs, with a different explicit reason discussed (e.g. "to have a drink"), even if both want to have sex.

Notice the difference between

  • Walking up to someone cold at a bar and starting a conversation
  • Walking up to someone at a bar, after you noticed them stealing glances at you
  • Walking up to someone at a bar, after you glanced at them, they glanced at you, and your eyes locked

It’s easiest to approach confidently in the last case, since you have clear evidence that you’re both at least interested in a flirtatious conversation.

In dating, getting explicitly rejected is a loss of status, so people are incentivised to put a lot of effort into preserving plausible deniability. No really, I just came up to your flat to listen to your vinyl records! Similarly, we know other people don’t like getting rejected, so we rarely explicitly ask either. Are you trying to have sex with me?

So with sex, romance, or even deep friendships, people are often trying to get to  without common knowledge, up until the moment that they’re both very confident that both parties are interested in raising their level of intimacy.

(Scott Alexander wrote about this attempt to avoid rejection and the confusion it entails in his post Conversation Deliberately Skirts the Border of Incomprehensibility.)

This problem of avoiding common knowledge as we try to move to better Nash equilibrium also shows up in negotiations and war, where you might make a threat, and not want there to be common knowledge of whether you’ll actually follow through on that threat.

(Added: After listening to a podcast with Robin Hanson, I realise that I've simplified too much here. It's also the case that each member of the couple might not have figured out whether they want to have sex, and so plausible deniability gives them an out if they decide not to, without the explicit status hit/attack.

I definitely have the sense that if someone very bluntly states subtext when they notice it, this means I can't play the game with them even if I wanted to, as when they state it explicitly I have to say "No!" else admit that I was slightly flirting / exploring a romance with them, and significantly increase the change I will immediately receive an explicit rejection.)

Communal/Religious Rituals

Throughout history, communities have had religious rituals that look very similar. Everyone in the village has to join in. There are repetitive songs, repetitive lectures on the same holy books, chanting together. Why, of all the possible community events (e.g. dinner, parties, etc) is this the most common type?

Michael Chwe wrote a whole book on this topic. To simplify massively: rituals are a space to create common knowledge in a community.

You don’t just listen to a pastor talk about virtue and sin. You listen together, where you know that everyone else was listening too. You say ‘amen’ together after each prayer the pastor speaks, and you all know that you’re listening along and paying attention. You speak the Lord’s Prayer or some Buddhist chant together, and you know that everyone knows the words.

Rituals create common knowledge about what in the community is is rewarded, what is punished. This is why religions are so powerful (and why the state likes to control religion). It’s not just a part of life like other institutions everyone uses like a market or a bank - this is an institution that builds common knowledge about all areas of life, especially the most important communal norms.

To flesh out the punishment part of that: When someone does something sinful by the standards of the community, you know that they know they’re not supposed to, and they know that you know that they know. This makes it easier to punish people - they can’t claim they didn’t know they weren’t supposed to do something. And making it easier to punish people also makes people less likely to sin in the first place.

The rituals have been gradually improved and changed over time, and often the trade-offs have been towards helping coordinate a community. This is why the words in the chants or songs that everyone sings are simple, repetitive, and often rhyme - so you know that everyone knows exactly what they are. This is why rituals often occur seated in a circle - not only can you see the performance, but you can see me seeing the performance, and I you, and we have common knowledge.

Common knowledge is often much easier to build in small groups - in the example about getting off the bus, the two need only to look at each other, share a nod, and common knowledge is achieved. Building common knowledge between hundreds or thousands of people is significantly harder, and the fact that religion has such a significant ability to do so is why it has historically had so much connection to politics.

Common Knowledge Production in Society at Large

Common knowledge is a very common state of affairs that humans had to reason about naturally in the ancestral environment; there is no explicit mathematical calculation being done when two people lock eyes on a bus then coordinate getting off and seeing their friend.

We’ve looked at how religions help create common knowledge of norms. Here’s a few other common knowledge producing mechanisms that exist in the world today.

The News

The main way common knowledge is built is by having everyone in the same room, in silence, while somebody speaks. Another way (in the modern world) is official channels of communication that you know everyone listens to.

This is actually one of the good reasons to discuss news so much - we’ve built trust that what the NYT says is common knowledge, and so can coordinate around it. Sometimes an official document is advertised widely and is known to be known as common knowledge, even if we ourselves often haven’t read it (e.g. Will MacAskill’s book, the NYT).

Nowadays there is no such single news source, and we’ve lost that coordination mechanism. We all have Facebook, but Facebook is entirely built out of bubbles. Facebook could choose to create common knowledge by making something appear in everyone’s feed, but they choose not to (and this is in fact a fairly restrained use of power that I appreciate).

One time facebook slipped up on this, was when they built their 'Marked Safe' feature. If a dangerous event (big fire, terrorist attack, earthquake) happened near you, you could 'mark yourself safe' and then all of your friends would get a notification saying you were safe.

Now, it was clear that everyone else was seeing the notifications you were seeing, and so if your nearby friend marked themselves safe and you didn’t, your friends would all notice that conspicuous absence of a notification, and know that you had chosen not to click it. This creates a pressure for all people to always notify their friends whenever there’s been a dangerous event near them, even if the odds of them being involved were miniscule. This is a clear waste of time and attention, and the feature was removed the feature continues to be a piece of security theatre in our lives.

A related point about the power of media that creates common knowledge: in Michael Chwe's book, he does some data analysis of the marketing strategies of multiple different industries. He classifies products that are 'social goods' - those you want to buy if you expect other people like them. For example, you want to buy wines that you know your guests like, or bring beer to parties that others like; you want to use popular computer brands that people have developed software for; etc.

He then shows that social brands typically pay more per viewer for advertising; not necessarily more total, but that they'll pay a higher amount for opportunities to broadcast in places that generate common knowledge. Rather than buy 10 opportunities to broadcast to 2 million people on various channels, they'll pay a premium for 20 million people to view their ad during the superbowl, to create stronger common knowledge.

Academic Research

The central place where common knowledge is generated in science is in journals. These are where researchers can discover the new insights of the field, and build off them. Conferences can also help in this regard.

A more interesting case is textbooks (I borrow this example from Oliver Habryka). There was once a time in the history of physics where the basics of quantum mechanics were known, and yet to study them required reading the right journal articles, in the right order. When you went to a convention of physicists, you likely had to explain many of the basics of the field before you could express your new idea.

Then, some people decided to aggregate it into textbooks, which were then all taught to the undergraduates of the next generation, until the point where you could walk into the room and start using all the jargon and trust that everyone knew what you meant. Having common knowledge of the basics of a field is necessary for a field to make progress - to make the 201 the 101, and then build new insights on top.

In my life, even if 90% of the people around have the idea, when I’m not confident that 100% do then I often explain the basic idea for everyone. This often costs a lot of time - for example, after you read this post, I’ll be able to say to you a sentence like ‘the undergrad textbook system is a mechanism to create the common knowledge that allows the field as a whole to jump to the new Nash equilibrium of using advanced concepts’.

Paragraphs can be reduced to sentences, and you can get even more powerful returns with more abstract ideas - in mathematics, pages of symbols can be turned into a couple of lines (with the right abstractions e.g. calculus, linear algebra, probability theory, etc).

Startups

A startup is a very small group of people building detailed models of a product. They’re able to create a lot of common knowledge due to their small size. However, one of the reasons why they need to put a lot of thought into the long-term of the company, is because they will lose this common knowledge producing mechanism as they scale, and the only things they’ll be able to coordinate on are the things they already learned together.

The fact that they’re able to build common knowledge when they’re small is why they’re able to make so much more progress than big companies, and is also why big companies that innovate tend to compartmentalise their teams into small groups. As the company grows, there are far fewer things that can be retained as common knowledge amongst the employees. You can have intensive on-boarding processes for the first 20 hires, but it really doesn’t scale to 100 employees.

Here are three things that can sustain at very large scales:

Name: Y Combinator says that the name of your company should tell people what you do - cf. AirBnb, InstaCart, DoorDash, OpenAI, Lyft, etc. Contrast with companies like Palantir, where even I don’t know exactly what they work on day-to-day, and I’ve got friends who work there.

Mission: It is possible to predict the output of an organisation very well by what their mission statement concretely communicates. For example, the company SpaceX has their mission statement at the top of all hiring documents (cf. the application forms to be a rocket scientist, business analyst, or barista).

Values: Affects hiring and decision-making long into the future. YC specifically says to pick 4-8 core values, have a story associated with each value, and tell each story every day (e.g. in meetings). That may seem like way too much, but in fact that’s how much it can take to make the values common knowledge (especially as your company scales).

At what cost?

A standard response to coordination failures is one of exasperation - a feeling that we should be able to solve this if only we tried.

Imagine you’re trying to coordinate you and a few friends to move some furniture, and they keep getting in each other’s way. You might shout “Hey guys! Look, Pete and Laurie have to move the couch first, then John and Pauline can move the table!” And then things just start working. Or even just between two of you - when a friend is late for skype calls because she messes up her calendar app, you might express irritation, and she might try extra hard to fix the problem.

We also feel this when we look at society at large, for example when we look at coordination failures in politics. Why does everyone continue voting for silly-no-good politicians? Why can’t we all just vote for someone sane?!

In the book Inadequate Equilibria by Eliezer Yudkowsky, the character Simplicio represents this feeling. Here is the character discussing a (real) coordination failure in the US healthcare system that causes a few dozen newborn children to die every year:

simplicio: The first thing you have to understand, Visitor, is that the folk in this world are hypocrites, cowards, psychopaths, and sheep.

I mean, I certainly care about the the lives of newborn children. Hearing about their plight certainly makes me want to do something about it. When I see the problem continuing in spite of that, I can only conclude that other people don’t feel the level of moral indignation that I feel when staring at a heap of dead babies.

[...]

Regardless, I’m not seeing what the grand obstacle is to people solving these problems by, you know, coordinating. If people would just act in unity, so much could be done!

I feel like you’re placing too much blame on system-level issues, Cecie, when the simpler hypothesis is just that the people in the system are terrible: bad at thinking, bad at caring, bad at coordinating. You claim to be a “cynic,” but your whole world-view sounds rose-tinted to me.

One of the final points to deeply understand about common knowledge in society, is how costly it is to create at scale.

Big companies get to pick only a few sentences to become common knowledge. To have a community rally around a more complex set of values and ideals (i.e. a significant function of religion) each and every member of that community must give up half of each Sunday, to repeat ideas they already know over and over - nothing new, just with the goal of creating common knowledge.

There used to be news programmes everybody in a country would tune in for. Notice how the New York Times used to be something people would read once per week or once per day, and discuss it with friends, even though most of the info has no direct effect on their lives.

Our intuitions were developed for tribes of size 150 or less (cf. Dunbar’s number) and as such, our intuitions around coordination are often terribly off. Simplicio is someone who has not noticed the cost of creating common knowledge at scale. He believes that society could easily vote for good politicians if only we coordinated, and because we don’t he infers we must be stupid and/or evil.

The feeling of indignation at people for failing to coordinate can be thought of as creating an incentive to solve the coordination problem. I’m letting my skype partner know that I will punish them if they fail again. But today, this feeling toward people for failing to coordinate is almost always misguided.

Think of it this way: many small coordination problems are sufficiently small that you’ll solve them quickly; many coordination problems are sufficiently big that you have no chance of solving them via normal means, and you will feel indignation every time you notice them (e.g. think politics/twitter). Basically, when you feel like being indignant in the modern world, 99% of the time it’s wasted motion.

Simplicio’s intuitions are a great fit for a hunter-gatherer tribe. When he gets indignant, it would be proportional to the problem, the problem would get solved, and everyone would be happy. At a later point in the book Simplicio calls for political revolution - the sort of mechanism that works if you’re able to get everyone to gather in a single place.

The solution to coordination problems at scale is much harder, and requires thinking about incentives structures and information flows rather than emotions directed at individuals in your social environment. Or in other words, building a civilization.

visitor: Indeed. Moving from bad equilibria to better equilibria is the whole point of having a civilization in the first place.

- Another character in Inadequate Equilibria, by Eliezer Yudkowsky

So, what's common knowledge for?

Summary of this post:

  1. A coordination problem is when everyone is taking some action A, and we’d rather all be taking action B, but it’s bad if we don’t all move to B at the same time.
  2. Common knowledge is the name for the epistemic state we’re collectively in, when we know we can all start choosing action B - and trust everyone else to do the same.
  3. We’re intuitively very good at navigating such problems when we’re in small groups (size < 150).
  4. We’re intuitively very bad at navigating such problems in the modern world, and require the building of new, microeconomic intuitions in order to build a successful society.

There is a great deal more subtlety to how common knowledge gets built and propagates. This post has given but a glimpse through the lens of game-theory, and hopefully you now see the light that this lens sheds on a great variety of phenomena.


Links to explore more on this subject:

  • Moloch’s Toolbox (Inadequate Equilibria, Ch 3) (link)
    • A guide to the ways our current institutions fail to coordinate. Largely applying standard microeconomics, and a great post to read after this one.
  • Meditations on Moloch (link)
    • An original idea about coordination failures, which the above book chapter formalised. It's a great post, and it's good to follow the intellectual heritage of ideas.
  • Rational Ritual: Culture, Coordination and Common Knowledge (link)
    • Solid book with lots of detail.
  • Scott Aaronson on Common Knowledge and Aumann's Agreement Theorem (link)
    • This post caused me to spend a bunch more time thinking about these topics. I found the explanations personally to be fairly abstract, which inspired me to write this post.
  • Scott Alexander’s sequence on Game Theory (link)
    • After writing this post, I found Scott Alexander had also written about some of the examples (especially the dictatorship one) in detail 7 years ago (link).
  • Andrew Critch on 'Unrolling Social Metacognition: Three levels of meta are not enough' (link)
    • This is a great post going into the details of how my modelling of you modelling me modelling you... works in practice. Highly recommended if the definition of common knowledge presented above seemed confusing.

Thanks to Raymond Arnold, Jacob Lagerros and Oliver Habryka for extensive feedback and comments, and to Hadrien Pouget for proofreading an early draft. A further special mention to Raymond for pointing out this term ought to be a standard piece of expert jargon in this community, and suggesting I write this post

New Comment
31 comments, sorted by Click to highlight new comments since:

Awesome, thanks for writing this. Scott Aaronson wrote a nice post on common knowledge awhile back based on a talk he gave at SPARC, but this post gets at more of the use cases I think are actually relevant. I also wrote a post about how drinking together is about creating common knowledge that we're drunk.

Thanks!

I've drafted a few follow-up posts on the math of common knowledge and aumann's agreement theorem; reading Scott's post got me thinking about these a lot, I'll add it to the further reading section at the bottom.

Promoted to curated for:

  • Covering an important topic that seems quite core to theoretical rationality with rigor
  • Seriously attempting to become a standard reference work
  • Integrating and linking to the existing literature on a topic
  • General high level of clarity and approachability

Biggest hesitations about curating:

  • Quite long, so the cost for others to read through all of this is high
  • Maybe slightly too basic for a lot of people on the site? Quite unsure about that.

Overall, I am very happy about this post being written, and would love to see more content like this on the site.

I have definitely linked this more than any other post. The key insight for me is that common knowledge is something which has specific costs and trade-offs. Previously I implicitly viewed common knowledge as an accident or a feature of the environment.

Upvoted, and I wanted to specifically say that I appreciate you for writing this concept down where it can be easily and specifically pointed to in the future.

Since 2017, I've spent loads of time thinking about group coordination. "Common Knowledge" as a concept has been an important cornerstone of that thought.

I think I had known the general concept of common know prior to this post, but:

a) This is the first post that I read, where the explicit formalization of the problem helped me see exactly how the gears worked. (Previously, a lot of formalization-posts had been somewhat above my math or game theory background, and so I had to make due with some simplifications and analogies).

b) Ironically, well, I wasn't sure the rationalsphere had common knowledge of common knowledge. This seems a particularly important post for lots of people to have read, and to know each other has read, to improve our ability to coordinate with each other. (This post also feeds into general explanation of why it's useful to have posts that everyone-knows-everyone-knows[etc] we've all read)

At the time, this was concretely helping me further understand the concepts behind Inadequate Equilibria, and since then have been useful to my understanding of Stag Hunts and other phenomena.

This my own post. I continue to talk and think a lot about the world from the perspective of solving coordination problems where facilitating the ability for people to build common knowledge is one of the central tools. I'm very glad I wrote the post, it made a lot of my own thinking more rigorous and clear.

I suppose the natural question to ask after establishing the importance of common knowledge is, "How can we ensure that Less Wrong produces common knowledge and not just a flood of ideas?". Attempting to create these kind of canonical posts is one way of achieving this.

(would prefer meta discussion to happen elsewhere. Preferably this conversation about common knowledge will stand on its own, for anyone who wishes to understand it and discuss it separate from policies for the site.)

That's reasonable

"How can we ensure that Less Wrong produces common knowledge and not just a flood of ideas?"

"Read the Sequences."

[-]rk70

This was a great explanation -- well-written, clear and not too simple.

I think if there were a flaw, it might be slightly too long. The "common knowledge production in society" section might not be entirely pulling its weight. That said, it was interesting and I think it's useful to know ways in which we do (try to) solve the problem. (Our civilisation might be inadequate at points, but if the whole point of civilisation is to move to better equilibria, it would be surprising if we had no tech for it!)

I wonder if including a bit of a reader's guide at the beginning. Something like "if you're in a hurry and looking to generate the key understanding, try just reading the dictatorship example from the 'three coordination problems' section and skip the section on how we generate common knowledge".

This could be a bad idea, as the post is known to be good (curated, highly voted up) and this has some risk to reduce the quality. Also, perhaps I have not fully internalised the importance of our existing common knowledge institutions and so underrate that section!

(want to note that the style of this public critical feedback worked better for me than most other such comments I've seen, thanks. sorry I don't have the time to respond properly or consider a serious edit to the post right now)

One of the best (and funniest) examples of common knowledge that I know of is the episode in Friends where (minor spoilers for Friends, rot13) . . . . . . . . . . . Enpury naq Cubror svaq bhg gung Zbavpn naq Punaqyre ner qngvat (juvpu gurl unqa'g gbyq nalbar rkprcg Wbrl lrg), ohg gura qrpvqr gb zrff jvgu gurz ol cergraqvat gurl qba'g xabj naq univat Cubror syveg jvgu Punaqyre. Punaqyre naq Zbavpn svther vg bhg naq qrpvqr gb zrff jvgu gurz ol univat Punaqyre gnxr gur onvg naq syveg onpx. Enpury naq Cubror gura svther bhg gung Punaqyre naq Zbavpn xabj, naq fgvyy xrrc hc gur cergrafr, gb gur cbvag gung Cubror naq Punaqyre tb ba n snhk qngr naq onfvpnyyl rnpu gel gb trg gur bgure gb nqzvg vg svefg.

I appreciate this post, and I thought you struck a good balance of explaining a standard concept using examples which made it interesting even if you already knew the concept.

Very good explanation.

I actually prefer Eliezer Yudkowsky's formulation of the PD in The True Prisoner's Dilemma. This makes it feel less like a interesting game theoretic problem and more like one of the core flaws in the human condition that might one day end us all. But for this post i think the normal formulation was fine.

Hmm. This is the first I've seen it claimed that common knowledge in the technical sense (X knows that Y knows that X knows etc up to infinity) is actually sometimes achieved in real life. I don't think I buy it. Say "knows" means "assigns >50% probability to". Then the probability that common knowledge is achieved is the limit of the probability that nth level common knowledge is achieved as n goes to infinity. This is a decreasing sequence. Why should we expect it to stabilize at a positive number? The obvious thing to do would be to prove a lower bound on the probability of nth level common knowledge that is independent of n. But what would such a lower bound consist of? Maybe something like "the probability that X and Y are normally functioning human beings that have just made eye contact"? But this does not logically imply that X's impression of Y was one of normal functionality, though it strongly suggests it. Repeatedly patching the attempt only leads to another infinite decreasing sequence of probabilities, yielding the same problem. Yes the differences between the successive probabilities in this sequence are small, but to show stabilization you need to show more than that the individual differences are small.

Of course, the question of whether common knowledge in the technical sense is ever achieved in real-life situations is irrelevant to such situations, because normal people's decision algorithms don't work purely by expected utility. The normal person's analysis of the bus situation is: start by assuming that everyone will perform the default socially acceptable action, in this case getting off if and only if you have agreed to do so. Then perform tweaks based on the fact that people will have beliefs about each others' actions and may change their plans accordingly. Repeat until your model of the world stabilizes. Then the point is just that the eye contact agreement changes what the default socially acceptable action is (in both people's model of the world).

Notably, in the bus situation it would ordinarily be eye contact _agreement_ that would mean the people get off of the bus, not (necessarily) the eye contact by itself. This is because the main thing that you need common knowledge of is "Joining this acquaintance would be nice [though we care mainly about each other’s company]" -- not just the fact that both people have heard the acquaintance. The concept of socially acceptable actions based on agreement encodes this important information, which might be forgotten in far mode (as it seems to have been in Chwe's description of the situation).

You’re welcome (encouraged!) to reply to this comment with further examples of coordination problems and their possible common-knowledge solutions from your life.

I support the inclusion of this post in the Best-of-2018 Review.

It's a thorough explicit explanation of a core concept in group epistemology, allowing aspects of social reality to better add up to normality, and so it's extremely relevant to this community.

Until seeing this post, I did not have a clear way of talking about common knowledge. Despite understanding the concept fairly well, this post made the points more clearly than I had seen them made before, and provided a useful reference when talking to others about the issue.

I really appreciate the start-up example. Over the last few years I felt first-hand what it was like to work at a company as it grew from ~60 people to ~130 people, as informal communication and common-knowledge building broke down and management hadn't yet put in more formal structures (which eventually took a change in management to achieve). Over the course of that period, I regularly talked about this with my co-workers, and explicitly framed it in terms of Dunbar's number (a concept I generally had to explain as well), but without buy-in from the C-level no subset of us was able to effect stable change.

The fact that we've lost so several society-wide coordination mechanisms that took centuries to build up is really scary.

I think you're missing a very large confounding factor. To be useful, the common knowledge must be true (or at least must lead to preferred equilibria). It doesn't matter if you agree on the decision, but you've agreed based on an incorrect payoff matrix.

This goes pretty deep in making it difficult to move the equilibrium - lots of individuals with different (or even the same, but with mistaken beliefs) payoff matrices are trying to convince each other to believe things that move them to a different square.

You’re welcome (encouraged!) to reply to this comment with disagreements with or nitpicks of the examples and theory in the post.

Edit: Yes, I misread. The numbers represent payoff, not number of years in prison, which is what my brain tends to auto-fill in for numbers when encountering the prisoner's dilemma. I followed the rest, and your bit describing the common-knowledge generating feature of religion lit the bulb over my head, I enjoyed that part! It really threw into sharp relief how and why religion has been so strong and effective for thousands of years.

A couple nitpicks of the Prisoner's Dilemma illustrated matrix (assuming C refers to being silent, and D to snitching):
C/C, at 3/3, seems worse for both than D/D at 1/1, when it's stated that both cooperating is better than both defecting.
In the respective C/D and D/C boxes (assuming that the format is Anne/Bob), the numbers seem backward to me: if Anne cooperates and Bob defects, then Bob should get off free (4/0) -- but the matrix has that outcome labelled as (0/4).
I stared at it for a few minutes, and I'll feel silly just for a bit if it turns out that I just kept misreading it, but better that than continuing to be confused, so let me know if I just read it wrong!

The voting example is good — contingent on the voting system being plurality/FPTP, as used in most of the English-speaking world. In better voting methods, no coordination, thus no common knowledge, would be needed.

Much of this material is covered very similarly in Melting Asphalt, especially the posts Ads Don't Work That Way and Doesn't Matter, Warm Fuzzies.

Slight aside: I just grokked the blue-eyed islander riddle. Cribbing the following from Scott's livejournal:

One hundred people live on a far-off island. Fifty people have blue eyes, and fifty people brown eyes. The islanders have a strange taboo that they may never talk about eye color with one another, and that if anyone ever learns eir own eye color, ey must commit suicide that night. There are no mirrors or other reflective surfaces on the island, and no one ever talks about it, so it is improbable that anyone will ever learn eir own eye color and violate the taboo.
One day an explorer comes to the island and says: "At least one person on this island has blue eyes."
What, if anything, happens?
The answer to the riddle is that fifty days later, all the blue-eyed people on the island commit suicide.

This did not make initially make sense to me, because I didn't see how it generalizes to N. The initial problem I had was that it appeared to me that as the number of blue-eyed people increased, we would encounter a day where the fact that nobody died would not tell us anything, and as a consequence the chain falls apart because this is the same as any other day.

The intuition I failed to grasp is the expectation that each blue-eyed person recurses all the way down simultaneously. I rediscover the fact that things happen at the same time periodically.

You’re welcome (encouraged!) to reply to this comment pointing out any places in the piece where I lost you, or if you have any basic questions. (Please let me know!)

I could write a paragraph to explain some concept underlying a decision I made. OR there could be a word for this concept, in which case I can just use the word. But I can't use that word if it's not commonly understood.

The set of things that are common knowledge in a group of people is epistemic starting point. Imagine you had to explain your niche ideas about AI without using any concepts invented past 1900. You'd be speaking to toddlers.

I needed "common knowledge" to be common knowledge. It is part of our skill of upgrading skills. It's at the core of group rationality.

[-]jmh20

First, as always I find interesting thoughts here. Thanks for effort and post. Now I'll "defect" by saying I really should give more time to read this more closely and completely before commenting! ;-)

However, I did want to make a few comments/observations.

I'm not sure the PD approach applies -- but that might be colored by my dislike of the metaphor in many situations. Everyone seems to forget about the third player in the game here: The Jailer who setup the pay off matrix and that the socially optimal result is that both confess (defect on their other). That's not really the setting for the idea of common knowledge and it's value in social setting (regardless of size but wonder if that shouldn't be also explored here. Is that common knowledge between two people regarding their desire for sex the same category as that of common knowledge as manifest in things like custom and culture?)

I'm not sure I agree that the free-rider problem is actually a version of PD either. However, rather than splitting hairs on that I'll simply ask if you have considered the converse problem -- that of forced carrying: making the person contribute/go along even though they don't personally derive any benefit and in fact the cost to them may even outweigh the external benefit to other in aggregate from that forced contribution. Not sure how to plug that into the question of common knowledge here. I do see how complete information would allow the free-rider to be distinguished from the force-carrier. But that seems a bit tangental to your post.

It also seems that the phenomea of voting cycles and agenda setting might fit into your analysis somewhere. Common knowledge may address one (agenda setting) to some extent but voting cycles and the underlying driver of multi-peaked preferences will remain. In that context I'm not sure common knowledge helps solve the problems, at least from a statbility stand point. In such a setting it seems we want a form of instability, especially if those multi-peaked preferences are not stable over time.

[-]TLK10

I appreciate this post. I did want to point out that Palantir is an appropriate descriptive name for what the company does. LOTR fans understand it.