Paradoja sorites | La paradoja del montón de arena.

La paradoja del montón o la paradoja de sorites es una paradoja que surge cuando, por ejemplo, utilizamos el sentido común a una la siguientes cuestiones: 

Cuando vamos quitando granos de arena a un montón de arena ¿En que momento deja de ser un montón de arena?

La paradoja surge de la siguiente manera:

1. Dos granos de arena no son un montón de arena.
2. Un millón de granos de arena si es un montón de arena.

Entonces, si dos granos de arena no son un montón, tampoco lo será tres granos de arena, con lo cual, si tres granos de arena no son un montón de arena, cuatro granos tampoco es un montón de arena, así indefinidamente, por otro lado, si un millón de granos arena es un montón de arena, entonces si quitamos un grano de arena seguirá siendo un montón, pero también seguirá siendo un montón si quitamos dos, así tantas veces como queramos. 

¿En qué momento un montón de arena se considera que no es un montón y viceversa?

Dado que n no es un montón de arena, tampoco lo será n+1, ni n+2...
Por otro lado, si n es un montón de arena, también lo era n-1, n-2...

Es imposible determinar matemáticamente cuando un montón de arena deja de serlo y viceversa.