← Back to Paradoxes

The Drinker Paradox

"In any pub, there exists a person such that if that person is drinking, then everyone in the pub is drinking."

This isn't about peer pressure or a magic bartender. It's a theorem of classical logic—and it's provably true. Click on patrons below to see who the "special person" is and why this seemingly absurd statement is mathematically valid.

The Pub

Click on patrons to toggle their drinking status, then find the "special person":

Click "Find Special Person" to see the theorem in action!
∃x (D(x) → ∀y D(y))

The Proof

The key is recognizing that there are only two possible states of any pub:

1 The Law of Excluded Middle
Either everyone is drinking, or at least one person is not drinking. There's no third option. This is the foundation of classical logic.
2A Case 1: Everyone is drinking
Pick any person. For that person, the statement "if they're drinking, then everyone is drinking" is TRUE. Why? Because everyone is drinking! The consequent is true, so the implication holds.
2B Case 2: At least one person is NOT drinking
Pick that sober person. The statement "if they're drinking, then everyone is drinking" is TRUE. Why? Because they're NOT drinking! A conditional with a false antecedent is always true (this is called vacuous truth or ex falso quodlibet).
3 Conclusion
In either case, there exists such a person. Therefore, the statement is always true. It's not that someone is causing everyone to drink—it's just a quirk of how material implication works in formal logic.

The Secret: Material Implication

The "paradox" depends on understanding how "if...then" works in logic. In classical logic, "P → Q" (if P then Q) is FALSE only when P is true and Q is false:

P (Antecedent) Q (Consequent) P → Q
TRUE TRUE TRUE
TRUE FALSE FALSE
FALSE TRUE TRUE
FALSE FALSE TRUE

The highlighted rows show vacuous truth: when the antecedent (P) is false, the implication is automatically true regardless of Q. This is key to understanding the Drinker Paradox.

Why It Seems Paradoxical

Natural language and formal logic use "if...then" differently. Here's what the theorem does NOT mean:

Causal Relationship

It does NOT mean someone's drinking causes others to drink. There's no peer pressure or mystical bartender involved.

What It Means

It's a statement about logical truth, not causation.

The Same Person Always

It does NOT mean there's one fixed "special person" for all time. The witness can change moment to moment.

What It Means

At each instant, some person satisfies the condition.

Predictive Power

It does NOT let you predict who will drink. It's not useful for betting or social dynamics.

What It Means

It's a tautology—true by logical structure alone.

Natural Language "If"

English "if...then" often implies causation, temporal sequence, or relevance. Formal "→" doesn't.

What It Means

Material implication is defined purely by truth values.

Raymond Smullyan's Drinking Principle

The paradox was popularized by logician and puzzlemaker Raymond Smullyan in his 1978 book What Is the Name of this Book?

"There is someone in this room such that if he is drinking, then everyone in this room is drinking."

This is provably true, yet sounds completely absurd. Smullyan called it the "drinking principle" and used it to illustrate the counterintuitive nature of material implication.

Smullyan (1919-2017) was a mathematician, logician, concert pianist, and magician who wrote extensively about logical puzzles, self-reference, and Gödel's incompleteness theorems.

The Dual Form

There's also a dual version of the paradox that inverts the quantifiers:

Original Form

∃x (D(x) → ∀y D(y))

"There is someone such that if they drink, everyone drinks."

Dual Form

∃x ∀y (D(y) → D(x))

"There is someone such that if anyone drinks, they drink."

The dual says there's someone who drinks whenever anyone drinks. This person is either a constant drinker (drinks regardless) or nobody drinks at all. Both are valid in classical logic.

The Deeper Lesson

The Drinker Paradox reveals a fundamental gap between natural language and formal logic. In everyday speech, "if...then" carries implications of causation, relevance, and temporal order. In logic, it's purely about truth values.

This matters because modern technology—from databases to AI—relies on formal logic. Understanding where formal logic diverges from intuition helps us design better systems and avoid subtle bugs.

The next time you're at a pub, remember: logically speaking, someone there has the power to make everyone drink just by drinking themselves. It's just that the "power" is a vacuous truth rather than a superpower.