Que es la Paradoja sorites
La paradoja del montón (o la paradoja sorites, sorites (σωρείτης) en Griego significa «pila», «montón») es una paradoja que aparece cuando la gente utiliza el «sentido común» sobre conceptos vagos, preguntándose por ejemplo: ¿En qué momento un montón de arena deja de serlo cuando se van quitando granos?
Más específicamente, la paradoja se produce porque mientras el sentido común sugiere que los montones de arena tienen las siguientes propiedades, estas propiedades son inconsistentes:
Dos o tres granos de arena no son un montón.
Un millón de granos de arena juntos sí son un montón.
Si n granos de arena no forman un montón, tampoco lo serán (n+1) granos.
Si n granos de arena son un montón, también lo serán (n−1) granos.
Si se aplica la inducción matemática, se comprueba que la tercera propiedad junto con la primera implican que un millón de granos de arena no forman un montón, contradiciendo la segunda propiedad. De modo análogo, combinando la segunda y la cuarta propiedad se demuestra que dos o tres granos sí son un montón, contradiciendo la primera propiedad.