Paradoja sorites
De Wikipedia, la enciclopedia libre
¿En qué momento un montón de arena deja de serlo cuando se van quitando granos?
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.
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 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.
¿Qué produce esta contradicción? Para descubrirlo, examinemos las propiedades anteriores. Las dos últimas expresan claramente la idea de que no hay una separación clara entre lo que es un montón y lo que no es un montón. Observa, sin embargo, que las cuatro juntas implican que un conjunto de granos de arena puede clasificarse sin ningún problema como "montón" o "no montón". (Esto de nuevo se obtiene a través de inducción matemática).
Lo que muestra la paradoja es que estas dos ideas son contradictorias. Esto es, que una persona no puede afirmar, cuando está clasificando X's:
- que no hay un límite claro que separa las X's que son Y de las X's que no son Y
- que cada una de las X's se puede clasificar como Y o como no-Y
