# Paradox of the heap

The**paradox of the heap**(or the

**sorites paradox**,

*sorites*being Greek 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.

*do not*make a heap, in contradiction with the second property. Similarly, a combination of the second and fourth properties shows that two or three grains

*do*make a heap, in contradiction with the first property.

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

## External links

- http://plato.stanford.edu/entries/sorites-paradox/
- http://www.falakros.net/