What Is Common Knowledge?

A comprehensive analysis of the concept of Common Knowledge, including its definition, historical context, importance in game theory, key events, examples, considerations, related terms, and interesting facts.

Introduction

Common knowledge is a pivotal concept in various fields such as philosophy, game theory, and social sciences. It denotes a scenario where information is not only known by everyone but also acknowledged that everyone knows it, and this recursive awareness continues indefinitely. This concept can be distinguished from mutual knowledge, where everyone may know a fact, but there is no assurance that others are aware of it.

Historical Context

The notion of common knowledge was initially formulated by the philosopher David Lewis in his work on convention and communication. Over time, it has become an essential assumption in game theory, enabling the modeling of strategic interactions among rational agents.

Types/Categories

• Perfect Common Knowledge: In theoretical models, it is assumed that common knowledge is absolute, with no room for ambiguity.
• Imperfect Common Knowledge: Reflects real-world scenarios where information may be assumed to be common knowledge, but there are uncertainties and potential deviations.

Key Events

• 1969: David Lewis introduces the concept of common knowledge in his book Convention: A Philosophical Study.
• 1995: Robert Aumann’s works on correlated equilibria heavily rely on the concept of common knowledge.

Detailed Explanations

Importance in Game Theory

In game theory, common knowledge is crucial for predicting outcomes in strategic interactions. It facilitates the creation of Nash Equilibria and other strategic models, as players base their decisions not only on their information but also on their assumptions about others’ knowledge.

Mathematical Representation

In game theory, common knowledge is formalized through fixed-point logic:

$$ \text{CK}(\phi) \equiv \phi \land K_1(\phi) \land K_2(\phi) \land \dots \land K_n(\phi) \land K_1(K_2(\phi)) \land \dots $$

Where \(\phi\) represents a proposition and \(K_i(\phi)\) signifies that agent \(i\) knows \(\phi\).

Charts and Diagrams

Here’s a Hugo-compatible Mermaid diagram illustrating the recursion of common knowledge:

    graph TD;
	    A[Information] --> B[Person 1 Knows];
	    A --> C[Person 2 Knows];
	    B --> D[Person 1 Knows that Person 2 Knows];
	    C --> E[Person 2 Knows that Person 1 Knows];
	    D --> F[Person 1 Knows that Person 2 Knows that Person 1 Knows];
	    E --> G[Person 2 Knows that Person 1 Knows that Person 2 Knows];

Examples and Applicability

• Traffic Lights: Drivers stop at a red light and go on green because it is common knowledge that these are the rules.
• Auctions: Bidders know the rules of bidding and assume others do too, enabling fair competition.

Considerations

While common knowledge is a powerful concept, in real-world applications, attaining true common knowledge is often impractical due to information asymmetry and communication barriers.

Related Terms

• Mutual Knowledge: When everyone knows a fact but without the recursive awareness that others know it too.
• Nash Equilibrium: A solution concept in game theory that relies heavily on common knowledge among players.

Comparisons

Common Knowledge vs. Mutual Knowledge

• Common Knowledge: Everyone knows \(X\) and knows that everyone knows \(X\), recursively.
• Mutual Knowledge: Everyone knows \(X\), but there is no guarantee others know that everyone knows \(X\).

Interesting Facts

• Aumann’s Agreement Theorem: Demonstrates that if two rational agents have common knowledge of each other’s beliefs, they cannot agree to disagree.

Inspirational Stories

The Restaurant Dilemma

Two strangers entering a restaurant knowing it operates on a first-come-first-serve basis can resolve seating conflicts if there is common knowledge about this rule.

Famous Quotes

“Common knowledge is that they know what you know, and you know what they know, and so on.” — David Lewis

Proverbs and Clichés

• “Everyone knows it.” This simple phrase encapsulates the essence of common knowledge.
• “It’s an open secret.”

Expressions, Jargon, and Slang

• Open Book: Easily understandable and known to all.
• Public Knowledge: Information available to and acknowledged by the general public.

FAQs

Q: What is the primary difference between common knowledge and mutual knowledge? A: Common knowledge involves recursive awareness of information, while mutual knowledge does not.

Q: How is common knowledge used in game theory? A: It helps predict strategic decisions by assuming all players share and acknowledge the same information.

References

• Lewis, David. Convention: A Philosophical Study. Harvard University Press, 1969.
• Aumann, Robert J. “Correlated Equilibrium as an Expression of Bayesian Rationality.” Econometrica, vol. 55, no. 1, 1987, pp. 1-18.

Summary

Common knowledge is an essential concept in understanding collective behavior and strategic decision-making. From traffic lights to economic models, it plays a crucial role in shaping predictable and cohesive interactions. Recognizing the depth and implications of common knowledge enriches our comprehension of various social, economic, and philosophical dynamics.

---