Skip to content

Common Knowledge

Version
v1 · 2026-08-24 · History
Prime #
713
Origin domain
Economics & Finance
Subdomain
epistemic foundations → Economics & Finance
Aliases
Common Knowledge of Rationality

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.

Relationships to Other Abstractions

Local relationship map for Common KnowledgeParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Common KnowledgePRIMEPrime abstraction: Hierarchy — is part ofHierarchyPRIMEDomain-specific abstraction: Centipede Game — is part ofCentipede GameDOMAINDomain-specific abstraction: Media Event — is part ofMedia EventDOMAINDomain-specific abstraction: Two Generals' Problem — is part ofTwo Generals'ProblemDOMAINPrime abstraction: Common Ground — is part ofCommon GroundPRIMEDomain-specific abstraction: Bayesian Nash Equilibrium — presupposesBayesian NashEquilibriumDOMAINDomain-specific abstraction: Private language argument — is a kind ofPrivate languageargumentDOMAIN

Current abstraction Common Knowledge Prime

Parents (1) — more general patterns this builds on

  • Common Knowledge is part of Hierarchy Prime

    Common knowledge contains a hierarchy as its infinite tower of asymmetrically nested belief levels, with each higher rung depending on all lower rungs.

Children (6) — more specific cases that build on this

  • Private language argument Domain-specific is a kind of Common Knowledge

    The proposed strict upward parent is prime:common_knowledge.

  • Bayesian Nash Equilibrium Domain-specific presupposes Common Knowledge

    The live Bayesian-Nash identity requires the type space and common prior to be publicly shared, supplying the common epistemic substrate for mutual best response.

  • Centipede Game Domain-specific is part of Common Knowledge

    The centipede model contains common knowledge of rationality and the final move as the epistemic chain that propagates backward to immediate taking.

  • Media Event Domain-specific is part of Common Knowledge

    A Media Event contains Common Knowledge through the public recursive fact that the audience is watching and knows the audience knows it.

  • Two Generals' Problem Domain-specific is part of Common Knowledge

    Common knowledge is the internal epistemic target whose infinite tower no finite lossy-channel acknowledgment sequence can reach.

Hierarchy paths (4) — routes to 4 parentless roots

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.