Filosofía on kenji.blog

¿Cuándo deja de ser un montón de arena al quitar un grano?: La paradoja del montón

Thu, 10 Sep 2026 21:00:00 +0900

Imagina que tienes frente a ti un magnífico montón de arena compuesto por 10.000 granos. Cualquiera diría que esto es un “montón de arena”. Ahora quitas un solo grano. 9.999 granos. ¿Sigue siendo un montón de arena, verdad? Quitas otro grano. 9.998 granos. Esto también sigue siendo un montón de arena.

Repitamos esta operación. Quitar un solo grano no debería convertir un “montón de arena” en “algo que no es un montón de arena”. Sin embargo, si repetimos esta lógica indefinidamente, al final solo quedará un único grano de arena.

¿Un grano de arena es un “montón de arena”?

Por supuesto, nadie llamaría “montón de arena” a un solo grano. Sin embargo, nunca negamos la premisa de que “quitar un grano no cambia el hecho de que siga siendo un montón de arena”. En algún punto la lógica se quiebra, pero ¿en qué grano exactamente dejó de ser un montón de arena?

Esta es la “Paradoja del montón (Paradoja de Sorites)”, que se remonta al filósofo de la antigua Grecia Eubúlides, del siglo IV a.C.

Estructura lógica

Esta paradoja puede expresarse en forma de silogismo de la siguiente manera:

Premisa 1: Una colección de 10.000 granos de arena es un “montón de arena”. Premisa 2: Si se quita un grano de un montón de arena, sigue siendo un “montón de arena”. Conclusión: Por lo tanto, un solo grano de arena también es un “montón de arena”.

Tanto la premisa 1 como la premisa 2 suenan muy razonables por separado. Sin embargo, al aplicar la premisa 2 repetidamente, se llega a una conclusión claramente errónea.

¿Por qué esta paradoja no tiene solución?

El núcleo de la paradoja del montón de arena radica en que la palabra “montón de arena” es esencialmente ambigua. No existe una definición clara (un umbral) de “cuántos granos se necesitan para que sea un montón de arena”. Este tipo de concepto se denomina “predicado vago (vague predicate)”.

Nuestro lenguaje cotidiano está lleno de palabras ambiguas como estas.

“Alto”: ¿a partir de cuántos centímetros? Una persona de 180 cm es “alta”. ¿Y si le quitamos 1 mm? ¿Y otro mm más?
“Rico”: ¿a partir de cuánto patrimonio? Con 10.000 millones de yenes eres “rico”. ¿Y si pierdes 1 yen?
“Calvo”: ¿con cuántos cabellos o menos? Con 0 cabellos eres “calvo”. ¿Y si te crece uno?

Todos estos casos tienen exactamente la misma estructura que la paradoja del montón de arena.

Enfoques de los filósofos

1. Enfoque epistemológico (el límite sí existe)

Este enfoque sostiene que “en realidad existe un límite claro entre montón y no-montón, pero los seres humanos simplemente no tienen la capacidad de reconocerlo”. Por ejemplo, existiría un límite exacto como “5.837 granos es un montón, pero 5.836 granos no lo es”, solo que nosotros no podemos saberlo.

Desde el punto de vista lógico es una postura elegante, pero muchas personas sentirán intuitivamente que algo no encaja.

2. Lógica difusa (valores de verdad graduales)

En la lógica clásica solo hay dos opciones: “verdadero o falso”. En la lógica difusa, los valores pueden situarse “en algún punto entre 0 y 1”.

Por ejemplo:

10.000 granos de arena: “grado de montón = 1,0 (completamente montón)”
5.000 granos: “grado de montón = 0,7”
100 granos: “grado de montón = 0,1”
1 grano: “grado de montón = 0,0 (completamente no-montón)”

Este método es práctico, pero no resuelve completamente la paradoja. Porque surge una nueva ambigüedad: “¿cuál es la diferencia entre un grado de montón de 0,7 y 0,699?”.

3. Supervaluacionismo (Supervaluationism)

Según este enfoque, se consideran simultáneamente todos los límites razonables posibles para la palabra “montón de arena”. Si todos los límites coinciden en que es un “montón de arena”, entonces es “definitivamente un montón de arena”; si todos coinciden en que es “no-montón”, entonces es “definitivamente no un montón de arena”; y el área donde las opiniones difieren se clasifica como “indeterminada”.

Impacto en la sociedad moderna

La paradoja del montón de arena no es un simple juego de palabras; también causa problemas serios en el mundo real de las leyes y las políticas.

Mayoría de edad: A los 17 años y 364 días eres “menor” y a los 18 años y 0 días eres “adulto”. ¿Qué cambia esencialmente en un día?
Umbral de pobreza: Si tus ingresos anuales están 1 yen por debajo del estándar eres “pobre”, y si están 1 yen por encima no lo eres.
Regulaciones ambientales: Si las emisiones de contaminantes superan el límite en 0,001 mg es ilegal. Si están exactamente en el límite, es legal.

El lenguaje y el pensamiento humano contienen ambigüedad por naturaleza, y quizás sea imposible dividir el mundo en dicotomías claras. La paradoja del montón de arena es una paradoja que muestra los límites fundamentales de la inteligencia humana y que ha desconcertado a los filósofos durante más de 2.400 años.

¿La flecha que vuela está quieta?: La paradoja de la 'flecha que vuela' de Zenón

Thu, 10 Sep 2026 21:00:00 +0900

Una flecha disparada por un arco vuela por el cielo. Ciertamente, esta flecha se está moviendo. Sin embargo, Zenón, un filósofo griego del siglo V a. C., desarrolló la siguiente temible lógica:

“La flecha que vuela, en realidad, está quieta”

Esto no es una broma ni un sofisma, sino la “Paradoja de la flecha”, que matemáticos y filósofos han estado debatiendo seriamente durante 2.500 años.

El argumento de Zenón

El argumento de Zenón toma el concepto del “instante de tiempo” como su punto de partida.

El tiempo es una sucesión de “instantes”.
Si capturamos un solo instante (un punto donde la duración del tiempo es cero) como si fuera una “fotografía”, la flecha “está” en un punto específico del espacio.
En ese instante, la flecha solo “ocupa” ese lugar y no se mueve. (Si se estuviera moviendo, requeriría un “lapso de tiempo”, no un “instante”).
Esto es igual sin importar qué instante se tome.
Si la flecha está en reposo en todos los instantes del tiempo, ¿cuándo se mueve la flecha?

graph TD A["Flecha en vuelo"] --> B["El tiempo es una sucesión de instantes"] B --> C["Instante t1: La flecha está en reposo en la posición A"] B --> D["Instante t2: La flecha está en reposo en la posición B"] B --> E["Instante t3: La flecha está en reposo en la posición C"] C --> F{"La flecha está en reposo en todos los instantes"} D --> F E --> F F --> G["Conclusión: ¡La flecha no se mueve!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

Intuición vs Lógica

“Qué absurdo. La flecha realmente está volando, ¿no es así?”, sería la primera reacción de la mayoría de las personas. Sin embargo, señalar lógicamente dónde se equivoca el argumento de Zenón es, de hecho, extremadamente difícil.

Se dice que Diógenes, otro filósofo de la antigua Grecia, respondió a Zenón simplemente poniéndose de pie, caminando por la habitación y demostrando: “Mira, se mueve”. Sin embargo, esto no constituye una refutación de la lógica de Zenón. Lo que Zenón está cuestionando no es “si podemos movernos o no”, sino “si podemos explicar sin contradicciones qué significa moverse usando nuestra lógica”.

La solución (o intento) mediante el cálculo

El cálculo, inventado por Newton y Leibniz en el siglo XVII, proporcionó una respuesta matemática (al menos parcialmente) a esta paradoja.

En el cálculo, la “velocidad en un instante dado (velocidad instantánea)” se define de la siguiente manera:

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

Es decir, la velocidad se define como el “límite” en el que la cantidad de cambio en la posición $\Delta x$ se divide por la cantidad de cambio en el tiempo $\Delta t$, acercando $\Delta t$ a cero tanto como sea posible.

El punto clave aquí es que la “velocidad instantánea” no es la distancia recorrida dentro de un lapso de tiempo de cero. Es una cantidad definida como la “tendencia” o “límite” de los cambios minúsculos antes y después de ese momento.

Por lo tanto, la respuesta desde el punto de vista del cálculo sería la siguiente:

“Ciertamente, si extraes un instante de longitud cero, la flecha no se mueve ‘dentro’ de ese instante. Sin embargo, incluso en ese instante, la flecha posee la propiedad de ‘velocidad instantánea (un valor límite distinto de cero)’. Estar ’en reposo’ significa que la ‘velocidad instantánea es cero’, pero como la velocidad instantánea de una flecha en vuelo no es cero, no se puede decir que la flecha esté ’en reposo’.”

Preguntas filosóficas restantes

Aunque el cálculo proporcionó una solución práctica a la paradoja de Zenón, la cuestión no se ha resuelto filosóficamente por completo.

El concepto de “límite” es estrictamente una herramienta matemática (un procedimiento de cálculo) y no responde rigurosamente a preguntas fundamentales como "¿Qué es físicamente la unidad mínima de tiempo (instante)?", "¿Qué es la continuidad?" o "¿Cuál es la esencia del movimiento?".

En la física moderna (mecánica cuántica), se debate la posibilidad de que existan unidades mínimas también para el tiempo y el espacio (tiempo de Planck, longitud de Planck). Si el tiempo es “discreto (digital)” en lugar de “continuo”, la paradoja de Zenón tal vez deba ser reevaluada en un contexto completamente diferente.

Incluso después de 2.500 años, la flecha de Zenón sigue preguntándonos: “¿Qué es el movimiento?” y “¿Qué es el tiempo?”.

¿Son las esmeraldas verdes o de color «grue»?: El nuevo enigma de la inducción de Goodman

Thu, 10 Sep 2026 21:00:00 +0900

Predecimos el “futuro” a partir de la “experiencia pasada”. “Como el sol salió ayer por el este, mañana también saldrá por el este”. “Como todas las esmeraldas que hemos visto hasta ahora eran verdes, la próxima esmeralda que se extraiga también será verde”.

Este tipo de razonamiento se denomina “inducción” y es la base de toda la ciencia. Sin embargo, en 1955, el filósofo Nelson Goodman ideó un extraño concepto de color que demostraba que esta inducción tiene un defecto fundamental. Esta es la paradoja del «grue».

La definición del nuevo color «grue»

Goodman definió una nueva propiedad (color) llamada «grue» (una síntesis de «verde» (Green) y «azul» (Blue)) de la siguiente manera:

Definición de Grue: Decir que un objeto es «grue» significa que si se observa antes de un tiempo específico $t$ (por ejemplo, el 1 de enero de 2030), es «verde» (Green), y si se observa a partir del tiempo $t$, es «azul» (Blue).

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{tiempo} < t) \\ \text{Blue} & (\text{tiempo} \ge t) \end{cases} $$

Según esta definición, la esmeralda verde que tienes ahora mismo en la mano (antes del tiempo $t$) es al mismo tiempo «verde» y de color «grue».

¿Por qué es una paradoja?

La paradoja surge cuando intentamos predecir el futuro. Todas las esmeraldas que la humanidad ha observado hasta la fecha han sido «verdes». Por lo tanto, utilizando la inducción, predecimos lo siguiente:

Hipótesis A: “Todas las esmeraldas son ‘verdes’”

Pero un momento. Como las esmeraldas observadas hasta ahora son anteriores al tiempo $t$, todas ellas también deberían haber sido de color «grue». Por lo tanto, a partir exactamente de los mismos datos de observación, también es válida la siguiente predicción:

Hipótesis B: “Todas las esmeraldas son de color ‘grue’”

Si seguimos las reglas de la inducción, las observaciones pasadas apoyan la Hipótesis B con “exactamente la misma fuerza” con la que apoyan la Hipótesis A.

graph TD A["Observaciones pasadas: Todas las esmeraldas eran verdes"] -->|Al mismo tiempo| B["Observaciones pasadas: Todas las esmeraldas eran de color 'grue'"] A --> C["Predicción inductiva A: Las esmeraldas del futuro también serán 'verdes'"] B --> D["Predicción inductiva B: Las esmeraldas del futuro también serán de color 'grue'"] C --> E["A partir del tiempo t, seguirán siendo verdes"] D --> F["¡A partir del tiempo t, se volverán 'azules'!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

¿Se volverán azules las esmeraldas?

Si la Hipótesis B es correcta, en el instante en que llegue el tiempo $t$, todas las esmeraldas del mundo deberán volverse «azules» de golpe (por la definición de grue).

Intuitivamente pensamos: “Eso es absurdo. La Hipótesis B es un juego de palabras antinatural y la Hipótesis A (verde) tiene que ser la correcta”.

Sin embargo, la pregunta de Goodman es mucho más profunda. Si tanto la hipótesis «verde» como la hipótesis «grue» concuerdan perfectamente con los datos del pasado, ¿por qué consideramos que solo la predicción «verde» es legítima y descartamos la predicción «grue»? ¿Cuál es nuestro “fundamento lógico” para ello?

Un desafío a la “Uniformidad de la Naturaleza”

Para evitar este problema, surge la objeción de que “deberíamos utilizar conceptos simples como el ‘verde’ y no conceptos complejos que incluyan el tiempo, como el ‘grue’”.

Sin embargo, Goodman demostró a la inversa que si definimos un color «bleen» (Bleen: azul hasta el tiempo $t$, y verde a partir de entonces), el propio concepto de «verde» se convierte en un concepto complejo dependiente del tiempo: “grue hasta el tiempo $t$, y bleen a partir de entonces”. En otras palabras, decidir qué palabras son “básicas” es simplemente una convención de nuestro lenguaje.

La paradoja del «grue» (el nuevo enigma de la inducción) de Goodman demostró que las teorías científicas no se determinan únicamente por datos empíricos objetivos, sino que dependen en gran medida de “qué marco conceptual (lenguaje) utilizamos para fragmentar el mundo”.

Incluso en el contexto de la inteligencia artificial y el aprendizaje automático, donde los datos de entrenamiento pueden ser los mismos, las predicciones para el futuro pueden cambiar por completo dependiendo de la “estructura del modelo” (a qué características se presta atención). Como un problema de “sobreajuste” (overfitting) o “sesgo”, esta paradoja sigue teniendo un significado importante en la actualidad.

Maestro y discípulo, un juicio contradictorio sin importar quién gane: La paradoja de Protágoras

Thu, 10 Sep 2026 21:00:00 +0900

En la antigua Grecia, un joven llamado Evatlo se convirtió en discípulo de Protágoras, el más grande de los sofistas (maestros de retórica). Entre ambos se acordó el siguiente contrato para el pago de las clases:

Términos del contrato: Una vez que Evatlo haya completado todo el curso de retórica, pagará el resto de sus clases a Protágoras en el momento en que gane su primer juicio.

Evatlo fue un estudiante excelente y completó espléndidamente todo el curso de retórica. Sin embargo, después de graduarse, por alguna razón se negó a aceptar ningún caso judicial. Dado que al no ir a juicio la condición de “ganar su primer juicio” nunca se cumpliría, no tendría necesidad de pagar las clases.

Protágoras, perdiendo la paciencia, demandó a Evatlo ante los tribunales. “Paga tus clases”, le exigió.

Y a partir de aquí, comienza el laberinto lógico.

La lógica del maestro Protágoras

Protágoras argumentó ante el tribunal:

“Jueces, pase lo que pase, yo gano.

Si yo gano este juicio, la sentencia del tribunal obligará a Evatlo a pagarme las clases.
Si yo pierdo este juicio, para Evatlo significará que ‘ha ganado su primer juicio’. Es decir, se cumple la condición del contrato, y en virtud de este, deberá pagar las clases.

En cualquier caso, él tiene la obligación de pagar.”

La lógica del discípulo Evatlo

Ante esto, Evatlo no se quedó atrás.

“Jueces, pase lo que pase, yo gano.

Si yo gano este juicio, la sentencia del tribunal dirá que no tengo que pagar las clases.
Si yo pierdo este juicio, todavía no habré ‘ganado mi primer juicio’. Es decir, la condición del contrato no se ha cumplido, por lo que legalmente no tengo obligación de pagar las clases.

En cualquier caso, no tengo que pagar.”

graph TD A["Resultado del juicio"] --> B["Protágoras gana"] A --> C["Evatlo gana"] B --> B1["Sentencia: Evatlo debe pagar"] B --> B2["Contrato: Evatlo no ha ganado → No tiene que pagar"] C --> C1["Sentencia: Evatlo no tiene que pagar"] C --> C2["Contrato: Primera victoria de Evatlo → Debe pagar"] B1 --> D{"¡Contradicción! Sentencia vs Contrato"} B2 --> D C1 --> E{"¡Contradicción! Sentencia vs Contrato"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

¿Por qué se contradice?

La causa fundamental de esta paradoja es que dos sistemas de reglas diferentes (la ley y el contrato) emiten juicios contradictorios entre sí.

Regla legal: Obedecer la sentencia del tribunal.
Regla del contrato: Obedecer la condición “Pagar al ganar el primer juicio”.

Normalmente, la ley y el contrato funcionan como dominios independientes, pero debido a que Protágoras hizo del “pago de las clases” el objeto de disputa en el juicio, el resultado mismo de este juicio afectó la condición del contrato, haciendo que ambos sistemas cayeran en un bucle autorreferencial.

La respuesta de los juristas

El jurista de la antigua Roma, Aulo Gelio, ofreció la siguiente solución a este problema:

“El tribunal debería dictar un fallo favorable a Evatlo (no pago). Porque es un hecho que la condición del contrato aún no se ha cumplido. Sin embargo, después de este fallo, Protágoras puede demandar a Evatlo de nuevo. Porque con la victoria de Evatlo en el primer juicio, la condición del contrato se cumplió. En el segundo juicio, Protágoras ganará.”

Es decir, la respuesta es que si intentas resolver la paradoja “simultáneamente en un solo juicio”, surge la contradicción, pero si la procesas “dividida en dos veces”, la contradicción se resuelve.

La conexión con las paradojas de autorreferencia

La paradoja de Protágoras tiene la misma estructura autorreferencial que la “Paradoja del mentiroso (‘Esta oración es falsa’)” o la “Paradoja de Russell”. Una proposición (la conclusión del juicio) afecta la condición (el cumplimiento del contrato) que determina su propia veracidad.

Este tipo de paradoja está profundamente relacionada con problemas que muestran los límites fundamentales de la lógica y la computación, como el “Problema de la parada (es imposible crear un programa que determine si cierto programa se detendrá o no)” en la informática moderna y los teoremas de incompletitud de Gödel.

La paradoja de Protágoras es una advertencia de hace 2400 años que nos enseña que los sistemas de reglas creados por los humanos (como las leyes y los contratos) pueden colapsar internamente debido a una ingeniosa autorreferencia.