Lógica 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.

¿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.

¿Ver una manzana azul prueba que 'los cuervos son negros'? : Los cuervos de Hempel

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

¿Cómo prueban las teorías los científicos? Normalmente, utilizan la “inducción”, que consiste en observar el mundo y recopilar datos. Por ejemplo, si quisieras probar la hipótesis de que “todos los cuervos son negros”, observarías cuervos en todo el mundo y confirmarías uno por uno que son negros.

Sin embargo, en la década de 1940, el lógico Carl Hempel señaló una extraña laguna lógica oculta en este método científico obvio. Esta es la paradoja de los cuervos de Hempel (Hempel’s Ravens), que afirma que “solo ver una manzana azul o zapatos rojos sirve como evidencia de que ’los cuervos son negros’”.

Sustitución lógica: La magia de la contraposición

Para entender el argumento de Hempel, es necesario recordar el concepto de “contraposición” que se aprende en matemáticas de secundaria.

En lógica, si una proposición “Si A entonces B” es verdadera, su contrapositiva “Si no es B entonces no es A” también debe ser verdadera (esto se llama equivalencia lógica).

Hipótesis $H_1$: “Todos los cuervos son negros (Si es un cuervo, es negro)”

Tomemos la contrapositiva de esta hipótesis $H_1$. Se convierte en “Si no es negro, no es un cuervo”.

Hipótesis $H_2$: “Todo lo que no es negro, no es un cuervo”

Según las reglas de la lógica, $H_1$ y $H_2$ tienen exactamente el mismo significado (equivalencia). Si una se prueba, la otra se prueba automáticamente.

Probar los cuervos sin ver cuervos

Ahora, para confirmar la hipótesis $H_1$ (los cuervos son negros), cada vez que encontramos un cuervo negro, la certeza (evidencia) de la hipótesis se fortalece un poco. Todos están de acuerdo con esto.

Sin embargo, dado que $H_1$ y $H_2$ tienen el mismo significado, encontrar evidencia para la hipótesis $H_2$ (lo que no es negro no es un cuervo) debería servir directamente como evidencia para la hipótesis $H_1$.

Entonces, ¿cuál es la evidencia para $H_2$? Solo necesitas encontrar “algo que no sea negro y no sea un cuervo”.

Supongamos que hay una “manzana azul” sobre la mesa. Esta no es negra ni es un cuervo. Por lo tanto, es evidencia que apoya a $H_2$.
Había “zapatos rojos” en el armario. Estos tampoco son negros ni son cuervos. Es evidencia para $H_2$.
Hay una “nube blanca” flotando en el cielo. Esta también es evidencia para $H_2$.

Dado que la evidencia para $H_2$ tiene el mismo valor que la evidencia para $H_1$, lógicamente se extrae la siguiente conclusión extraña.

“Cuantas más manzanas azules o zapatos rojos observes en una habitación, más se demuestra la validez de la hipótesis de que ’todos los cuervos son negros’”

graph TD A["Proposición H1: Todos los cuervos son negros"] <-->|Equivalencia Lógica (Contraposición)| B["Proposición H2: Lo que no es negro no es un cuervo"] C["Observación: Cuervo negro"] -->|Sirve de evidencia| A D["Observación: Manzana azul"] -->|Sirve de evidencia| B D -.->|¿Por lo tanto esto también debería ser evidencia?| A style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style C fill:#2196F3,stroke:#333,color:#fff style D fill:#FF9800,stroke:#333,color:#fff

¿Por qué es contraintuitivo?

No hay ningún ornitólogo en el mundo que profundice su convicción de que “los cuervos son negros” mirando una manzana azul. Aunque debería ser lógicamente impecable, ¿por qué nuestro sentido común lo rechaza?

En el mundo de la filosofía y la estadística se han propuesto varios enfoques para esta paradoja.

1. Solución bayesiana (Diferencia en la cantidad de información)

El contraargumento más convincente desde la perspectiva de la estadística moderna (probabilidad bayesiana) se centra en la diferencia en la “fuerza de la evidencia (cantidad de información)”.

Hay abrumadoramente más “cosas que no son negras” en el mundo que “cosas negras”, y astronómicamente más “cosas que no son cuervos” que “cuervos”.

Cuando ves una manzana azul, sin duda es evidencia de que “todos los cuervos son negros”, pero su valor como evidencia (el grado de aumento de probabilidad) está infinitamente cerca de cero. Incluso si se confirma una de las innumerables “cosas que no son negras” en el vasto universo, el aumento en la probabilidad de que “los cuervos sean negros” tiene aproximadamente el mismo impacto que quitar un solo grano de arena del desierto. Por otro lado, encontrar directamente un solo cuervo negro tiene un valor de evidencia abrumadoramente mayor.

En resumen, la solución bayesiana es que lógicamente “una manzana azul es evidencia”, pero en la práctica “se puede ignorar porque su valor como evidencia es igual a cero”.

2. Los límites de la “ornitología de interior”

Esta paradoja pone de relieve cuán frágiles son las premisas sobre las que se basa el núcleo de la ciencia, la “inducción (derivar leyes generales a partir de la observación)”. Si nos basamos únicamente en la equivalencia lógica, sería posible hacer “ornitología de interior”, donde podríamos verificar cualquier ley del universo (“todos los cisnes son blancos”, “todos los alienígenas no son verdes”, etc.) simplemente observando la basura en nuestra habitación sin salir a la calle.

Los cuervos de Hempel es una paradoja muy interesante que muestra que las palabras “evidencia” y “prueba” que usamos inconscientemente no pueden ser capturadas del todo solo por las reglas de la lógica simbólica pura.

Cuando las palabras se describen a sí mismas: la paradoja de Grelling-Nelson

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

Las palabras son herramientas para describir el mundo, pero cuando intentamos usarlas para describir las palabras en sí mismas, la lógica puede caer en trampas inesperadas.

Ideada por Kurt Grelling y Leonard Nelson en 1908, la “Paradoja de Grelling-Nelson” (Grelling-Nelson Paradox) es una famosa paradoja semántica que nos enfrenta exactamente a ese límite de “las palabras definiendo palabras”.

Clasificando las palabras en dos

Grelling y Nelson consideraron que todos los adjetivos (palabras) podían clasificarse en los siguientes dos grupos:

Autológicas (Autological): La palabra en sí misma posee la propiedad que significa.
Heterológicas (Heterological): La palabra en sí misma no posee la propiedad que significa.

Veamos algunos ejemplos

Ejemplos de palabras autológicas:

“Corto” (short): Esta misma palabra es corta.
“Español” (Spanish): Esta misma palabra está en español.
“Sustantivo” (noun): Esta palabra es un sustantivo.
“Pentasílaba” (pentasyllabic): La palabra en español “pen-ta-sí-la-ba” tiene cinco sílabas.

Ejemplos de palabras heterológicas:

“Largo” (long): Esta misma palabra es corta, no larga.
“Alemán” (German): Esta palabra es español, y no es alemán.
“Invisible” (invisible): Esta palabra ahora mismo es claramente visible en la pantalla o el papel.

Hasta aquí parece un simple juego de palabras. Toda palabra debería poder clasificarse sin falta en una de las dos categorías: encarna su propio significado o no lo hace.

La pregunta fatal: El surgimiento de la paradoja

Aquí es donde comienza la paradoja. Consideremos la siguiente palabra.

¿La palabra “heterológica” (Heterological) es en sí misma autológica o heterológica?

Ante esta pregunta, nos enfrentamos a una contradicción independientemente de la respuesta que elijamos.

Caso 1: Supongamos que “heterológica” es “autológica”

Si la palabra “heterológica” (Heterological) es “autológica”, por definición significa que “la palabra en sí misma posee la propiedad que significa”. Sin embargo, el significado de esta palabra es ser “heterológica”. En otras palabras, poseer la propiedad de ser “heterológica” significa que es “heterológica”. Supusimos que era autológica, pero el resultado es que es heterológica. (Contradicción)

Caso 2: Supongamos que “heterológica” es “heterológica”

Si la palabra “heterológica” (Heterological) es “heterológica”, por definición significa que “la palabra en sí misma no posee la propiedad que significa”. Como el significado de esta palabra es ser “heterológica”, no poseer esa propiedad significa que es “autológica”. Supusimos que era heterológica, pero el resultado es que es autológica. (Contradicción)

Caigamos del lado que caigamos, la lógica se desmorona.

graph TD A["Palabra 'heterológica' (Heterological)"] --> B{"¿En cuál se clasifica?"} B -->|Es autológica| C["Definición: Posee la propiedad que significa"] C --> D["Su significado es 'heterológica'"] D --> E["Resultado: ¡Es heterológica!"] E -->|Contradicción| B B -->|Es heterológica| F["Definición: No posee la propiedad que significa"] F --> G["Su significado es 'heterológica'"] G --> H["Resultado: ¡Es autológica!"] H -->|Contradicción| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Vínculo con las matemáticas y la lógica: Prima de la paradoja de Russell

Esta paradoja no es un simple error de cálculo o una ilusión como “el misterio del dólar perdido”. Tiene esencialmente la misma estructura que la Paradoja de Russell ("¿El conjunto de todos los conjuntos que no se contienen a sí mismos, se contiene a sí mismo?"), que sacudió los cimientos de las matemáticas.

Se puede decir que la paradoja de Grelling-Nelson es la versión semántica (del significado de las palabras) de la paradoja de Russell.

La paradoja de Russell en la teoría de conjuntos: Al definir un conjunto

$$ R = \\{ x \mid x \notin x \\} $$

, preguntar si $R \in R$ o $R \notin R$ lleva a una contradicción.

La paradoja de Grelling-Nelson en semántica: Al definir $Het(x)$ como “la palabra $x$ no posee la propiedad $x$ (es heterológica)”, se cae en la contradicción lógica de:

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

¿Por qué es importante esta paradoja?

Cuando las palabras se refieren a las propias palabras (autorreferencia), siempre existe el peligro latente de que ocurra un error similar a un bucle infinito.

Este no es solo un problema de la filosofía o la lingüística. En el campo de la informática y la inteligencia artificial, cuando un programa intenta evaluar o modificar su propio código, o cuando un modelo de procesamiento de lenguaje natural interpreta contradicciones semánticas, nos enfrentamos a barreras lógicas similares.

La paradoja de Grelling-Nelson es un experimento mental que visualiza de manera brillante un error (límite) que el sistema del “lenguaje” contiene intrínsecamente.

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.

La Paradoja de Berry: La contradicción de intentar definir "números" con "palabras"

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

1. Expresar números con palabras

A diario, no solo expresamos los números con “números arábigos (1, 2, 3…)”, sino también usando “palabras” (en japonés, español, inglés, etc.).

Por ejemplo, el número “$10$” se puede expresar de varias maneras con palabras:

“diez” (4 letras)
“el doble de cinco” (15 letras)
“la décima parte de cien” (21 letras)

Consideremos cómo explicar un cierto número utilizando “caracteres o letras”. Estableceremos un límite en la cantidad de caracteres que podemos usar. Aquí pensaremos en números que se pueden expresar utilizando “19 caracteres o menos”.

Naturalmente, existe un límite para los números que se pueden expresar en 19 caracteres o menos. La cantidad de caracteres (letras, símbolos, caracteres japoneses, etc.) es finita, y las combinaciones de ellos alineados en 19 caracteres o menos también es finita (es un número astronómico, pero no es infinito).

En otras palabras, obligatoriamente existirá un “entero gigante que de ninguna manera se puede expresar en 19 caracteres o menos”.

2. El nacimiento de la paradoja

Ahora, aquí viene el tema principal. Existen infinitos “enteros que no se pueden expresar en 19 caracteres o menos”. Supongamos que de esos infinitos números inexpresables, encontramos “el más pequeño (el entero mínimo)”.

Llamaremos a ese número $X$. Por definición, $X$ es el más pequeño entre “los números que no se pueden expresar en 19 caracteres o menos”, por lo que podemos llamarlo de la siguiente manera en japonés:

「じゅうきゅうもじいないであらわせないさいしょうのせいすう」
(juu kyuu moji inai de arawasenai saishou no seisuu - “el menor entero no expresable en 19 caracteres o menos”)

Contemos la cantidad de caracteres (en el silabario hiragana). 「じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う」 … ¿Oh? Incluso omitiendo los signos de puntuación, hay 25 caracteres. Esto supera el límite de “19 caracteres”.

Entonces, ideemos una mejor forma de expresarlo y hagámoslo más corto utilizando kanji (caracteres logográficos).

「十九文字以内で表せない最小の整数」

Ahora, cuenta la cantidad de caracteres de esta frase en japonés:

¡Sorprendentemente, son solo “16 caracteres”!

Ha ocurrido algo extraño. ¡Ahora mismo, acabamos de expresar el número $X$ utilizando la frase en japonés de “16 caracteres” que dice “十九文字以内で表せない最小の整数” (el menor entero no expresable en 19 caracteres o menos)!

graph TD Define["Definición:
X = El menor entero no expresable en 19 caracteres o menos"] --> CheckLength{"¿Cuál es la cantidad de caracteres de
『十九文字以内で表せない最小の整数』?"} CheckLength -->|Son 16 caracteres| Contradiction["¡Contradicción!
¡X pudo ser expresado en 『16 caracteres』!"] Contradiction --> Paradox["Aunque X 『no se puede expresar en 19 caracteres o menos』,
『se puede expresar en 19 caracteres o menos (16 caracteres)』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

Aunque $X$ debería ser un número que “no se puede expresar en 19 caracteres o menos”, la misma frase que lo define expresa perfectamente a $X$ en “16 caracteres (dentro del límite de 19)”. Esta es la “Paradoja de Berry” (Berry Paradox).

3. ¿Quién creó esta paradoja?

Esta paradoja fue ideada en 1904 por un bibliotecario de la Universidad de Oxford llamado G. G. Berry. Se dio a conocer en todo el mundo cuando el genial matemático y filósofo representativo del siglo XX, Bertrand Russell, la presentó en su propio artículo.

(* En el artículo original en inglés, se utiliza la expresión “The least integer not nameable in fewer than nineteen syllables” (El menor entero no nombrable en menos de diecinueve sílabas), y está construida para que la paradoja funcione contando el número de sílabas en inglés.)

4. ¿Por qué ocurrió la contradicción?

La causa fundamental de esta paradoja radica en la ambigüedad y la autorreferencia del “lenguaje natural (japonés, español, inglés, etc.)” que usamos habitualmente.

El lenguaje natural no puede soportar el rigor de las matemáticas

En el mundo de las matemáticas, “definir un número” es una tarea extremadamente rigurosa (se utilizan ecuaciones y símbolos). Sin embargo, en la paradoja de Berry, se intentó definir un objeto matemático (un entero) utilizando el lenguaje cotidiano humano de “se puede expresar” o “no se puede expresar”.

El lenguaje cotidiano es muy poderoso y flexible, pero debido a esa flexibilidad, es posible hacer acrobacias lógicas como “hacer referencia a su propia cantidad de caracteres”. Como resultado, provocó una autocontradicción (paradoja de autorreferencia) en la que “la definición misma rompe la regla de su propia definición”.

¿Qué significa “ser nombrado”?

Además, la definición de la frase “se puede expresar en 16 caracteres” también es ambigua. La frase “el menor entero no expresable en 19 caracteres o menos” no señala directamente a un número concreto y específico (por ejemplo, un número como $987654321...$). Simplemente describe de manera indirecta que “debe haber un número que cumpla con la condición”.

Matemáticamente, “expresar de una forma directamente calculable” y “declarar condiciones indirectas con palabras” deben distinguirse claramente. Al confundir estas dos cosas e insistir en que “¡se pudo expresar en 16 caracteres!”, se esconde un truco lógico.

5. Resumen e impacto en la actualidad

A primera vista, la paradoja de Berry parece un simple “juego de palabras” o una “adivinanza”. Sin embargo, este problema sirvió como detonante para que los matemáticos del siglo XX reconocieran profundamente “el peligro de utilizar el lenguaje cotidiano para construir los fundamentos de las matemáticas”.

“No se deben definir números con palabras. Las matemáticas deben construirse enteramente con símbolos rigurosos e independientes”.

Esta paradoja se convirtió en un importante hito que condujo a disciplinas de vanguardia que cambiarían la historia de las matemáticas, como el “Teorema de incompletitud de Gödel (existen verdades en matemáticas que no se pueden demostrar)” y, en la ciencia de la computación, la “Complejidad de Kolmogórov (la teoría sobre qué tan corta puede comprimirse la información)”.

Solo 16 caracteres de japonés expusieron los límites de las matemáticas. Esa es la belleza de la Paradoja de Berry.

La paradoja del examen sorpresa: El día en que se realiza un examen lógicamente "absolutamente imposible"

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

1. La “declaración absoluta” del profesor

De camino a casa un viernes, el profesor de matemáticas hizo un anuncio aterrador a los estudiantes.

“La próxima semana, un día entre el lunes y el viernes, realizaré un ’examen sorpresa’ por única vez. Sin embargo, si en la mañana de ese día pueden predecir con certeza que ‘hoy es el día del examen’, ya no será una sorpresa, por lo que no realizaré el examen ese día.”

Al escuchar esta declaración, los estudiantes temblaron. Tendrían que pasar todos los días con miedo, preguntándose cuándo sería el examen. Sin embargo, el estudiante A, el más brillante de la clase, de repente sonrió y se puso de pie.

“Chicos, pueden estar tranquilos. Es absolutamente imposible que haya un examen sorpresa la próxima semana. ¡Es lógicamente imposible!”

El estudiante A, con mucha confianza, comenzó a escribir la siguiente “lógica perfecta” en la pizarra.

2. La prueba mediante la “lógica perfecta” del estudiante A

La prueba del estudiante A utiliza una técnica matemática que consiste en razonar hacia atrás en el tiempo partiendo desde el “viernes” (razonamiento hacia atrás).

Paso 1: Eliminar la posibilidad del viernes

Supongamos que durante 4 días, de lunes a jueves, no se realizó ningún examen. Entonces, el único día que queda es el “viernes”. En la mañana del viernes, los estudiantes podrían predecir con certeza: “¡Como solo queda hoy, sin duda hoy es el examen!”. Según la declaración del profesor, “no se realizará si se puede predecir”, por lo tanto, es lógicamente imposible realizar un examen sorpresa el viernes. Por lo tanto, es seguro que no habrá examen el viernes.

Paso 2: Eliminar la posibilidad del jueves

Se ha confirmado que no hay examen el viernes. Esto significa que el último día posible para realizar el examen es el “jueves”. Supongamos que no se realizó ningún examen durante los 3 días de lunes a miércoles. Entonces, la única posibilidad que queda es el jueves (el viernes ya ha sido descartado). En la mañana del jueves, los estudiantes podrían predecir con certeza: “¡Hoy es el examen!”. Por lo tanto, es seguro que tampoco habrá examen el jueves.

Paso 3: Todos los días desaparecen

Solo tenemos que repetir la misma lógica. Si no es el jueves, el último día será el miércoles. Por lo tanto, si no hay examen hasta el martes, se podría predecir en la mañana del miércoles, por lo que el miércoles también se descarta. Si el miércoles se descarta, el martes también, y el lunes también. Conclusión: ¡Mientras se sigan las reglas del profesor, es absolutamente imposible realizar un examen sorpresa en cualquier día de lunes a viernes!

graph TD Fri["Mañana del viernes
（sin examen de lun a jue）"] -->|Predecible que 'solo queda el viernes'| NoFri["Examen imposible el viernes"] Thu["Mañana del jueves
（sin examen de lun a mié）"] -->|Predecible que 'como no es viernes, solo queda hoy'| NoThu["Examen imposible el jueves"] Wed["Mañana del miércoles"] -->|Predecible que 'como no es jueves ni viernes, solo queda hoy'| NoWed["Examen imposible el miércoles"] Tue["Mañana del martes"] -->|Predecible de la misma manera| NoTue["Examen imposible el martes"] Mon["Mañana del lunes"] -->|Predecible de la misma manera| NoMon["Examen imposible el lunes"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

Los estudiantes de la clase se llenaron de alegría. La lógica del estudiante A era perfecta y parecía no tener lagunas en ningún lado. Se divirtieron jugando todo el fin de semana y llegaron al lunes sin haber estudiado en absoluto para el examen.

Lunes… no hubo examen. “¡Lo ven!” Martes… no hubo examen. “¡El estudiante A tiene razón!”

Y entonces, la mañana del miércoles. ¡Clack! La puerta del aula se abrió de golpe, el profesor entró y dijo:

“Muy bien, despejen sus escritorios. ¡El examen sorpresa comienza ahora mismo!”

Los estudiantes entraron en pánico. “¿¡P-pero por qué!? ¡Un examen en miércoles, no lo habíamos predicho en absoluto!”

El profesor sonrió con malicia. "¿Lo ven? No pudieron predecirlo, ¿verdad? Mi ‘declaración’ fue completamente correcta, y el examen sorpresa se llevó a cabo según las reglas."

3. ¿Dónde exactamente falló la lógica?

A pesar de que la prueba del estudiante A parecía perfecta, ¿por qué en la realidad se logró un “examen sorpresa perfecto”? Este problema se conocía originalmente como la “paradoja del ahorcamiento inesperado” (o paradoja del examen sorpresa), y ha desconcertado a filósofos y lógicos desde que fue ideado en la década de 1940 por el matemático sueco Lennart Ekbom.

En realidad, aún no hay un consenso unificado que diga “esta es la única respuesta correcta y absoluta” para esta paradoja. Sin embargo, existen varios enfoques prometedores para resolverla.

Enfoque 1: “Paradoja del conocimiento (Epistemología)”

El mayor error en el razonamiento del estudiante A es que incorporó la premisa de que “la declaración del profesor es 100% cierta” en su propia predicción.

La declaración del profesor consta de dos condiciones: “haré un examen la próxima semana (P)” y “no lo haré el día que se pueda predecir (Q)”. Si no ha habido examen hasta el viernes, los estudiantes piensan: “Si la declaración es cierta, solo queda hoy”, pero al mismo tiempo surge la duda: “Si se puede predecir que es hoy, contradice la condición Q de la declaración. Entonces, ¿acaso la declaración P (haré un examen) en sí misma era una mentira desde el principio?”.

Como resultado del conflicto entre la creencia de que “las palabras del profesor son absolutamente ciertas” y la “deducción lógica”, los estudiantes llegaron a la conclusión errónea (creencia) de que “el profesor no hará el examen”, lo que provocó que, independientemente de cuándo se presentara el examen, estuvieran en un estado “inesperado (sorpresa)”.

Enfoque 2: “Paradoja de autorreferencia”

Convirtamos las palabras del profesor en una fórmula lógica. Supongamos que la afirmación del profesor es $S$. $S = $ “Realizaré un examen en un día $T$. Y ustedes no podrán predecir ese día $T$.”

Esta afirmación tiene una “estructura autorreferencial” donde su verdad o falsedad cambia dependiendo de cómo los estudiantes perciban la afirmación misma (la declaración). Al igual que la “paradoja del mentiroso (‘Esta oración es falsa’)”, tiene la propiedad de hacer que el razonamiento lógico entre en un bucle infinito interminable.

4. Los “exámenes sorpresa” ocultos en la vida cotidiana

Esta paradoja se aplica no solo en las matemáticas, sino también en nuestra vida cotidiana.

[El dilema de la fiesta sorpresa]

Supón que un amigo declara: “¡Este mes, te haré una fiesta sorpresa por tu cumpleaños!”. Al escuchar esto, adivinas todos los días: “¿Será hoy? ¿Será mañana?”. Si llega el último día del mes y no ha habido fiesta, deduces que para cumplir con la condición de “sorpresa (impredecible)”, definitivamente no puede ser el último día… Sin embargo, en la realidad, si de repente aparece un pastel a mediados de mes, recibes una sorpresa perfecta y piensas: “¡Realmente me sorprendieron!”.

5. Resumen

La “paradoja del examen sorpresa” expresa de manera brillante la dificultad de incluir el propio estado humano de “saber (predecir)” en los cálculos lógicos.

Lo que consideramos un “razonamiento perfecto” podría ser en realidad solo un castillo de arena construido sobre la creencia infundada de que “la otra parte seguirá las reglas absolutamente”. La próxima vez que el profesor diga “Haré un examen sorpresa”, parece que lo más racional será dejar de darle vueltas a la lógica y simplemente estudiar tranquilamente todos los días.

La paradoja de Russell: ¿El "conjunto de todos los conjuntos que no se contienen a sí mismos" se contiene a sí mismo?

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

1. La “Paradoja del Barbero” que atacó a un pueblo tranquilo

En un pueblo pacífico, había un solo barbero. A la entrada del pueblo, había un extraño cartel que decía:

“El barbero de este pueblo afeita a todos los aldeanos que no se afeitan a sí mismos, y no afeita a nadie más.”

Los aldeanos estaban satisfechos con esta regla. Si no podías afeitarte a ti mismo, podías ir al barbero; si podías afeitarte a ti mismo, podías hacerlo en casa.

Pero un día, el joven barbero se miró al espejo y se dio cuenta de algo. En su barbilla había crecido una barba incipiente. “Bueno, ¿debería afeitarme yo mismo?”

Decidió pensar lógicamente, siguiendo la regla del cartel.

¿Qué pasaría si “se afeita a sí mismo”? Según la regla, el barbero solo debe afeitar a “las personas que no se afeitan a sí mismas”. Por lo tanto, si se afeita a sí mismo, no tiene derecho a que el barbero (él mismo) lo afeite. Es decir, “no debe afeitarse”.
¿Qué pasaría si “no se afeita a sí mismo”? Según la regla, el barbero debe afeitar a todas las personas “que no se afeitan a sí mismas”. Por lo tanto, si no se afeita a sí mismo, debe pedirle al barbero (él mismo) que lo afeite. Es decir, “debe afeitarse”.

“Si se afeita, no debe afeitarse.” “Si no se afeita, debe afeitarse.”

El barbero entró en pánico total y ya no pudo tomar ninguna decisión. Esta es la famosa “Paradoja del Barbero”.

graph TD Barber["Barbero: ¿Debería afeitarme la barba?"] Barber -->|SÍ: Me afeito| Cond1["¡Violación de la regla!
(No debe afeitar a quienes se afeitan a sí mismos)"] Barber -->|NO: No me afeito| Cond2["¡Violación de la regla!
(Debe afeitar a quienes no se afeitan a sí mismos)"] Cond1 --> Paradox["Contradicción (Paradoja)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. La “Paradoja de Russell” que sacudió el mundo matemático

Esta “paradoja del barbero” es una analogía creada por el lógico y filósofo británico Bertrand Russell para explicar de forma sencilla a la gente en general una paradoja matemática que él mismo había descubierto.

Lo que realmente descubrió no fue un barbero, sino una terrible contradicción sobre los “Conjuntos (Sets)”. A esto se le llama la “Paradoja de Russell (1901)”.

El concepto de un “conjunto de conjuntos”

En matemáticas, un “conjunto” es una colección de cosas que cumplen con cierta condición.

“El conjunto de los números pares menores o iguales a 10” = $\{2, 4, 6, 8, 10\}$
“El conjunto de las manzanas rojas”

Además, es posible incluir otro “conjunto” como contenido (elemento) de un conjunto. Por ejemplo, pensemos en “el conjunto de todos los libros del mundo”. Este conjunto en sí mismo no es un “libro”, por lo que “el conjunto de todos los libros del mundo” no está incluido dentro de su propio conjunto.

Por otro lado, pensemos en “el conjunto de las cosas que no son libros”. Este conjunto en sí mismo tampoco es un “libro”. Por lo tanto, “el conjunto de las cosas que no son libros” sí está incluido dentro de su propio conjunto.

De esta manera, los conjuntos del mundo se pueden dividir a grandes rasgos en dos tipos:

A: Conjuntos que no se contienen a sí mismos (ej: el conjunto de libros)
B: Conjuntos que se contienen a sí mismos (ej: el conjunto de las cosas que no son libros)

El nacimiento del conjunto diabólico $R$

Aquí, Russell pensó en un conjunto especial $R$ como el siguiente:

Conjunto $R$ = El conjunto de todos los “conjuntos que no se contienen a sí mismos (tipo A)”

Escrito en fórmula matemática (notación por comprensión), se vería así:

$$ R = \{ x \mid x \notin x \} $$

Ahora, aquí está el problema principal. Russell planteó la siguiente pregunta sobre este conjunto $R$:

"¿El conjunto $R$ se contiene a sí mismo ($R$)?"

Pensemos en ello.

¿Qué pasaría si $R$ “se contiene a sí mismo ($R \in R$)”? La condición para entrar en $R$ es “no contenerse a sí mismo”. Por lo tanto, $R$ no cumple la condición y no puede entrar en $R$. (Resulta en $R \notin R$, lo cual es una contradicción)
¿Qué pasaría si $R$ “no se contiene a sí mismo ($R \notin R$)”? La condición para entrar en $R$ es “no contenerse a sí mismo”. Por lo tanto, $R$ cumple perfectamente la condición y debe entrar en $R$. (Resulta en $R \in R$, lo cual es una contradicción)

Escrito en una fórmula matemática, es un colapso lógico en una sola línea:

$$ R \in R \iff R \notin R $$

“Si se contiene, no se contiene.” “Si no se contiene, se contiene.” Esto tiene exactamente la misma estructura que la paradoja del barbero. Sin embargo, en el caso del barbero del pueblo, sería solo un chiste como “el alcalde que puso un cartel con una regla tan tonta es un idiota”, pero en el mundo de las matemáticas no es así.

Esto se debe a que la comunidad matemática de la época estaba en medio de un esfuerzo por reconstruir todas las matemáticas basándose en la regla ingenua de que “mientras se defina claramente una condición, se puede crear libremente cualquier ‘conjunto’” (Teoría de conjuntos ingenua).

3. La tragedia de Frege

La persona a la que Russell le envió esta carta fue el gran lógico alemán Gottlob Frege. Frege acababa de enviar a la imprenta el segundo volumen de su monumental obra, “Las leyes fundamentales de la aritmética”, a la que había dedicado toda su vida. Este libro era la culminación de su intento de demostrar la completitud de las matemáticas, basándose en la regla de que “se puede crear un conjunto a partir de cualquier condición”.

Al leer la carta de Russell, Frege cayó en la desesperación. Se acababa de demostrar que, utilizando las reglas de la “base de la base” de su libro, se podían crear “conjuntos absolutamente contradictorios” como la paradoja de Russell. Si la base se derrumba, todos los cientos de páginas de fórmulas matemáticas construidas sobre ella quedan invalidadas.

En el apéndice de su libro a punto de ser publicado, Frege dejó escrita la siguiente nota desgarradora:

“Para un científico, apenas hay algo más indeseable que ver cómo se derrumban sus cimientos justo en el momento en que el trabajo está terminado. Fui puesto en esta posición por una carta del señor Bertrand Russell, justo cuando el libro iba a imprimirse.”

4. Superando la crisis: el nacimiento de la teoría axiomática de conjuntos

La paradoja de Russell provocó un pánico masivo en la comunidad matemática conocido como la “crisis de los fundamentos de las matemáticas”. La regla libre y sin restricciones de que “mientras se decida una condición, se puede crear libremente un conjunto” había creado un monstruo llamado contradicción.

Para resolver esta crisis, los matemáticos comenzaron a hacer las reglas más estrictas. Matemáticos como Zermelo y Fraenkel establecieron un libro de reglas (sistema axiomático) que distingue estrictamente entre los “conjuntos que se pueden crear” y los “conjuntos que no se pueden crear (son demasiado grandes)”. A esto se le llama el “Sistema de axiomas ZFC (Teoría axiomática de conjuntos)”.

Bajo el sistema de axiomas ZFC, el conjunto $R$, “el conjunto que agrupa a todos los ‘conjuntos que no se contienen a sí mismos’” que pensó Russell, fue prohibido en el mundo de las matemáticas, afirmando que “es demasiado grande y peligroso, por lo que ya no se reconoce como un ‘conjunto’ (es simplemente una ‘clase’)”.

graph LR subgraph "Teoría de conjuntos ingenua (Antes de Russell)" Free["¡Se puede crear libremente
un conjunto con cualquier condición!"] --> Monster["El monstruo de la contradicción R
(Paradoja de Russell)"] end subgraph "Teoría axiomática de conjuntos (Matemáticas modernas)" Strict["Solo lo que sigue reglas estrictas
(axiomas) es un 'conjunto'"] --> Safe["¡La contradicción R no se reconoce como
un 'conjunto', por lo que es seguro!"] end Monster -.->|Crisis de la comunidad matemática| Strict

5. Conclusión: Las paradojas son medicinas potentes para corregir los “errores de la lógica”

La paradoja de Russell es el pináculo de los errores lógicos causados por la autorreferencia (referirse a uno mismo), al igual que “la serpiente que se come su propia cola (Uróboros)” o “el mentiroso que dice ‘yo soy un mentiroso’”.

Las paradojas, que a primera vista parecen ser solo sofismas o juegos de palabras, destruyeron los cimientos de las matemáticas, la disciplina más rigurosa, y como resultado hicieron que las matemáticas evolucionaran para ser más sólidas y estrictas.

Si un genio como Russell no hubiera notado este “error del barbero”, es posible que las matemáticas modernas y la informática, que es una extensión de su lógica, se hubieran desarrollado con contradicciones fatales en algún lugar. Una paradoja es la medicina más estimulante que nos enseña los límites de la lógica humana.