From the Greek σωρός (soros) — "heap"
If 10,000 grains of sand make a heap, does removing one grain make it not a heap? Surely not. But if you keep removing grains, one by one, at what point does the heap become... not a heap? There's no clear boundary—yet at some point, a single grain is definitely not a heap. Where did the "heapness" go?
Remove grains one by one. Click "NOT A HEAP!" when you believe it stops qualifying as a heap.
The paradox applies to any vague predicate. Where would YOU draw the line?
What if things aren't just TRUE or FALSE, but can be partially true? Fuzzy logic assigns degrees of truth between 0 and 1.
Adjust the grain count and see the degree of heapness:
In fuzzy logic, "Is this a heap?" isn't yes/no—it's a degree. 50 grains might be "0.50 heap" (half-heap). This dissolves the paradox by rejecting the binary premise.
In law and policy, we draw arbitrary sharp lines to avoid the paradox. But everyone knows they're arbitrary...
These numbers are administratively convenient, not philosophically correct. The law prefers predictability over precision.
The Sorites Paradox was invented by Eubulides of Miletus, a philosopher from the Megarian school. He also created the famous Liar's Paradox ("This statement is false"). The word sorites comes from the Greek σωρός (soros), meaning "heap."
"Would you describe a single grain of wheat as a heap? No. Would you describe two grains as a heap? No... You must admit the presence of a heap sooner or later—so where do you draw the line?"
The paradox has a devastatingly simple structure. Start with two premises that seem obviously true:
Apply the tolerance principle 9,999 times, and you conclude that 1 grain makes a heap. Run it in reverse, and you conclude that 10,000 grains don't make a heap. Both conclusions are absurd—yet the logic seems airtight.
This isn't just a parlor trick. The Sorites Paradox reveals something deep about language: most predicates are vague. "Tall," "bald," "rich," "old," "red"—none have sharp boundaries. Yet we use them constantly, and they work fine. How?
Philosophers call these sorites-susceptible predicates. They share a crucial property: tolerance. Adding one hair doesn't make someone "not bald." Adding one dollar doesn't make someone "rich." The change is too small to matter—yet cumulative small changes eventually do matter.
The Sorites structure underlies many "slippery slope" arguments. If legalizing X is acceptable, and X+ε (slightly more X) is indistinguishable, then X+ε is acceptable... leading eventually to something unacceptable. The key insight: just because adjacent cases seem equivalent doesn't mean distant cases are equivalent.
"No single set of legal rules can ever capture the ever-changing complexity of human life."
— Justice Stephen Breyer
Perhaps the deepest lesson is this: vagueness isn't a bug—it's a feature. Natural language evolved for communication, not formal logic. We don't need precise boundaries to function. We know a heap when we see one, and we know a single grain isn't one. The fuzzy middle ground? That's where negotiation, context, and judgment live.
The Sorites Paradox reminds us that precision has limits. Some concepts are essentially contested, irreducibly vague, or context-dependent. And that's okay. The heap is in the eye of the beholder.