Common Knowledge¶
Core Idea¶
A fact is common knowledge when everyone knows it, everyone knows that everyone knows it, and so on recursively without limit — the infinite-tower limit of shared knowledge, a qualitatively stronger condition that many equilibria and conventions require.
How would you explain it like I'm…
Everybody Knows Everybody Knows
Common knowledge is when everybody knows something, and everybody knows that everybody knows it, on and on. Think of when a teacher says a rule out loud to the whole class at once. Now nobody can say 'I didn't know,' and everyone knows nobody can say that. Seeing it happen together, in the open, is what makes it stick.
The Knowing Tower
A fact is common knowledge in a group when everyone knows it, everyone knows that everyone knows it, everyone knows that, and so on forever. It's stronger than just 'we both know' — that only goes up a step or two, but common knowledge goes all the way up. The way you usually get it is a public, all-at-once event where everyone sees everyone else seeing the same thing, like an announcement in front of the whole room. A lot of teamwork and agreements only work when a fact reaches the very top of this tower. And it's fragile: cut just one rung and the whole thing can fail.
The Infinite Knowing Tower
A fact p is Common Knowledge in a group when every member knows p, every member knows that every member knows p, and so on recursively to any depth. It's the infinite-tower limit of shared knowledge: ordinary 'we both know' sits one or two rungs up, while the full tower is strictly stronger. This matters because many coordination outcomes, conventions, and equilibria are achievable only when the enabling fact reaches the top of the tower — and they collapse the moment one rung is severed. The structure is a hierarchy of nested 'knows' operators — K(p), K(K(p)), and so on — plus a lifting operation that reaches the limit, usually a public, simultaneous, witnessed event where everyone sees everyone else seeing the same thing. It's fragile in a specific way: over an unreliable channel no finite number of acknowledgements can complete the tower, which is the heart of the two-generals result.
A fact p is Common Knowledge among a group when every member knows p, every member knows that every member knows p, every member knows that, and so on recursively to arbitrary depth. Common knowledge is the infinite-tower limit of shared knowledge: ordinary 'we both know' sits one or two rungs up the tower, and the full tower is a strictly stronger condition. The structural significance is that many coordination outcomes, conventions, and equilibria are achievable only when the underlying enabling fact reaches the top of the tower, and become unachievable the moment a perturbation severs even one rung. Common knowledge is the structural pivot that converts private information into a shared epistemic substrate on which collective action can ride. The load-bearing structure is a hierarchy of nested belief operators — K(p), K(K(p)), K(K(K(p))) — together with a threshold operation that lifts the hierarchy to its infinite limit, typically a public, simultaneous, witnessed event in which everyone sees everyone else seeing the same thing. The condition is fragile in a specific way: each rung depends on every message reaching every recipient without ambiguity, so over an unreliable channel the tower cannot be completed by any finite number of acknowledgements — the content of the Coordinated Attack / two-generals result. The prime is defined in purely formal terms — agents, a fact, nested knowledge operators, a lifting event — with no commitment to any medium, so it applies identically to humans, institutions, and machines.
Broad Use¶
- Game theory: common knowledge underwrites Nash-equilibrium reasoning and the no-trade and agreement theorems.
- Distributed systems: the impossibility of common knowledge over a lossy channel (Coordinated Attack) drives the whole design space of consensus protocols.
- Linguistics: shared context, conventions, and presupposition rest on what speakers take to be common ground; irony assumes specific common-knowledge scaffolds.
- Social norms: a norm binds only once compliance is common knowledge, which is why public rituals — parades, anthems, televised events — generate it.
- Collective action: mass mobilization cascades after a single visible breach of a regime's appearance of invincibility.
- Cryptography: zero-knowledge proofs and Byzantine agreement are defined by what becomes common knowledge among honest parties.
Clarity¶
Separates three states ordinary talk conflates — private, mutual, and common knowledge — where the gap between mutual and common is qualitative, relocating a stuck coordination from the participants' competence to a missing upper rung.
Manages Complexity¶
Collapses a potentially infinite hierarchy of nested-belief states into a single named threshold, so one reasons about the whole tower as a single object.
Abstract Reasoning¶
Lets a reasoner ask, of any collective-action setting, what facts must reach common knowledge, by what channel they climb, what perturbation breaks the climb, and what designed event lifts a fact onto the top rung.
Knowledge Transfer¶
- Organizations: manufacture common knowledge via public displays — all-hands meetings, signed treaties, televised ceremonies.
- Diplomacy: deny common knowledge to preserve deniability — off-the-record briefings, backchannel signals.
- Distributed systems: design protocols to approximate common knowledge under bounded faults, with quorum acknowledgement as the engineered substitute.
Example¶
In the blue-eyes puzzle, publicly announcing "at least one of you has blue eyes" — a fact everyone already privately knew — triggers an otherwise-impossible inference chain, because the announcement raises the fact to the top of the nested-knowledge tower.
Not to Be Confused With¶
- Common Knowledge is not Coordination because coordination is the outcome of agents acting together whereas common knowledge is the epistemic precondition that makes certain outcomes reachable.
- Common Knowledge is not the Consensus Problem because consensus is the decision-procedure response given the limit is unreachable whereas common knowledge is the epistemic limit itself.
- Common Knowledge is not a Shared Mental Model because a shared mental model is overlapping content whereas common knowledge is the strictly stronger recursive condition that everyone knows that everyone knows.