Paradoja: La paradoja de Grelling-Nelson (heterológico)

🌀
Paradoja · Filosofía · La Choza del Erizo

La paradoja de Grelling-Nelson (heterológico)

🏷️ Origen

La formularon los alemanes Kurt Grelling y Leonard Nelson en 1908, en plena efervescencia de las paradojas lógicas tras la de Russell. Es una versión lingüística y especialmente elegante del mismo tipo de problema.

🤔 Qué es (el planteamiento)

Clasifiquemos los adjetivos en dos grupos según si se describen a sí mismos o no:

misma); «español» es una palabra española; «esdrújula» es esdrújula.

un monosílabo (tiene cuatro sílabas); «verde» no es de color verde.

  • Un adjetivo es autológico si se aplica a sí mismo. Por ejemplo, «corto» es una palabra corta (se cumple a sí
  • Un adjetivo es heterológico si no se aplica a sí mismo. «Largo» no es una palabra larga; «monosílabo» no es

Ahora la pregunta letal: la palabra «heterológico», ¿es heterológica? Si lo es (no se aplica a sí misma), entonces se describe a sí misma… luego es autológica, no heterológica. Pero si no lo es (es autológica, se aplica a sí misma), entonces se describe a sí misma como heterológica… luego es heterológica. Otra vez el bucle imposible: lo es si y solo si no lo es.

🌀 Por qué descoloca (la tensión)

Es la misma estructura del mentiroso y de Russell, pero con una vuelta de tuerca cotidiana y casi lúdica: trabaja con adjetivos normales y una clasificación que parece inofensiva. Que algo tan simple como «ordenar las palabras según si se describen a sí mismas» produzca una contradicción muestra que la autorreferencia es una trampa que acecha por todas partes, incluso en un juego de vocabulario.

🔑 Soluciones e intentos de respuesta

mismo que genera el conjunto problemático de Russell (ver `paradoja-de-russell.md`). Las soluciones son las mismas: restringir la autorreferencia, jerarquizar niveles de lenguaje (Tarski). ⚖️ No es un problema nuevo, sino el de Russell con ropa lingüística.

determina un grupo coherente de palabras), igual que «el conjunto de Russell» no es un conjunto legítimo. ⚖️ Disuelve la paradoja negando que la clasificación sea válida del todo.

paradoja viene de mezclar la palabra como signo y como significado. ⚖️ La misma medicina de Tarski para el mentiroso.

  • Es una variante de la paradoja de Russell: «heterológico» es, en el fondo, el predicado «no se aplica a sí mismo», el
  • El predicado «heterológico» no está bien definido: algunos sostienen que la propia noción es defectuosa (no
  • Jerarquía de niveles: un adjetivo no debería poder predicarse de sí mismo sin subir de nivel lingüístico; la

🧠 Qué debate de fondo toca

La autorreferencia y los límites del lenguaje para hablar de sí mismo. Forma, junto al mentiroso y a Russell, el «triángulo» de paradojas que obligó a la lógica del siglo XX a poner orden en cómo las palabras y los símbolos pueden referirse a ellos mismos. Es la más accesible de las tres para enseñar la idea, porque cualquiera puede jugar a clasificar adjetivos en autológicos y heterológicos… hasta que llega a «heterológico» y se le cae el juego encima.

🔗 Relacionadas / fuentes

  • Misma familia: `paradoja-de-russell.md` (de la que es variante), `paradoja-del-mentiroso.md`.
  • Base: `_INDICE-paradojas.md`. Fuentes: SEP «Self-Reference»; Grelling & Nelson (1908).