When Exactly Does a Heap Stop Being a Heap?

Eubulides of Miletus, a Greek logician of the fourth century BC, set a trap that has never been closed. Start with a heap of 10,000 grains of sand. Nobody disputes it is a heap. Remove one grain. Still a heap. Remove another. Still a heap. Keep going.

At some point the last grain is pulled and nothing is left. Somewhere between 'heap' and 'one grain' the heap vanished. Which removal did it?

The sorites argument — from the Greek soros, 'heap' — runs on a chain of innocuous premises that collectively produce absurdity. No single step is obviously the one that flips the answer. And yet the answer flips.

Philosophers have tried to buy their way out. Epistemicists like Timothy Williamson argue there is a sharp cutoff, maybe at 312 grains, maybe at 5, but we can never know it. Fuzzy logic gives sentences truth values between 0 and 1, so 'is a heap' fades rather than snaps.

Each solution pays a cost. Epistemicism accepts hidden boundaries we can't access. Fuzzy logic revises how 'and' and 'or' work.

The sorites is not a puzzle about sand. It's the shape of almost every vague predicate in natural language: 'bald,' 'tall,' 'rich,' 'young.' That's why 2,400 years on, nobody has put it away.