Drinker Paradox
Version 1.0.0 · Updated 2026-07-30
CORE DEFINITION
In any non-empty pub, there exists a person such that if that person is drinking, then everyone in the pub is drinking. This is a truth of material implication in logic, though it sounds counterintuitive. The principle is: either everyone is drinking (in which case that person is anyone), or someone is not drinking (in which case that person is the one not drinking, making the antecedent false and the implication true).
SCAFFOLDING EFFECT
Reduce cognitive load
The gap between logic and intuition. It reminds us that the rigor of formal logic often contradicts the intuition of natural language. When dealing with strict legal provisions or code logic, we must abandon everyday intuition and strictly follow logical operations.
Anchor fast decisions
The proposition "In a non-empty pub, there exists a person such that if he or she is drinking, then everyone is drinking" is a truth of classical material implication. Because material implication only requires "the antecedent is false or the consequent is true": if someone is not drinking, take that person as the example, the antecedent is false and the whole statement is true; if everyone is drinking, take anyone, both antecedent and consequent are true. It exposes the gap between natural language intuition and formal logic (P→Q is equivalent to ¬P∨Q).
MINIMUM ACTION
In progress 0/3Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Drinker_paradoxverified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS