Paradox of the heapGreek for "heap") is a paradox that arises when people apply "common sense" to certain vague concepts.
More specifically, the paradox is that, while common sense suggest that heaps of sand have the following properties, these properties are actually mutually inconsistent:
- Two or three grains of sand do not make a heap.
- A million grains do make a heap.
- If n grains of sand do not make a heap, neither do (n+1) grains.
- If n grains of sand make a heap, so do (n-1) grains.
What gives rise to this contradiction? To find out, let's reexamine the above properties. The second two fairly clearly express the idea that there is no clear line between "is a heap" and "isn't a heap". Note, however, that the four taken together also imply that any pile of sand can non-problematically be classified as "heap" or "non-heap". (This again follows from mathematical induction.) What the paradox shows is that these two ideas are contradictory. That is, one cannot simultaneously claim, when classifying X's:
- that there's no clear line separating the X's that are Y from the X's that are not Y
- that every last X is either a Y or not a Y