🏷️ Origen

La describió el lógico estadounidense Haskell Curry en 1942. Es la más inquietante de la familia de la autorreferencia, porque a diferencia del mentiroso (que da una contradicción), Curry parece demostrar cualquier cosa que quieras, por absurda que sea, sin necesidad de mencionar la negación ni la falsedad.

🤔 Qué es (el planteamiento)

Considera esta frase condicional, que habla de sí misma: «Si esta oración es verdadera, entonces los unicornios existen.» Llamémosla C. Ahora, un razonamiento aparentemente válido paso a paso: 1. Supongamos, para empezar, que C es verdadera. 2. Pero C dice justamente «si C es verdadera, entonces los unicornios existen». Si C es verdadera y además su antecedente («C es verdadera») se cumple, entonces se sigue su consecuente: los unicornios existen. 3. Acabamos de mostrar que, suponiendo C verdadera, los unicornios existen. Pero eso es exactamente lo que afirma C. Así que C es verdadera. 4. Y si C es verdadera, repitiendo el paso 2: los unicornios existen.

Cambiando «los unicornios existen» por cualquier disparate, el mismo argumento lo «demuestra». La frase de Curry es una máquina de probar lo que sea.

🌀 Por qué descoloca (la tensión)

Es más peligrosa que el mentiroso: el mentiroso solo produce una contradicción local; Curry amenaza con hacer que todo sea demostrable, lo que destruiría por completo la lógica (si se puede probar cualquier cosa, nada significa nada). Y lo hace usando solo el «si… entonces» y la noción de verdad, sin recurrir a «no» ni a «falso». Descoloca porque cada paso parece una regla lógica que usamos a diario, y juntos producen un monstruo.

🔑 Soluciones e intentos de respuesta

niveles de lenguaje (Tarski). Sin la autorreferencia de C, la máquina no arranca. ⚖️ Solución compartida con toda la familia.

contracción (usar la suposición «C es verdadera» dos veces como si fuera una). Algunas lógicas modernas (relevantes, lineales) limitan esa regla, y entonces el argumento de Curry se corta. ⚖️ Solución técnica fina, muy estudiada hoy.

• Bloquear la autorreferencia (como en el mentiroso): prohibir que una frase hable de su propia verdad, o jerarquizar
• Revisar las reglas del condicional (lógicas subestructurales): el corazón del truco está en una regla llamada
• Negar que C exprese una proposición legítima: igual que con el mentiroso, se puede sostener que C, pese a sonar bien, no dice nada evaluable. ⚖️ Pega: la misma sensación de «excusa a medida».

🧠 Qué debate de fondo toca

Llega aún más hondo que sus hermanas en los fundamentos de la lógica: muestra que el problema de la autorreferencia no depende de la negación, sino de cómo funcionan el condicional y la noción de verdad. Por eso ha sido clave en el desarrollo de las lógicas no clásicas del siglo XX y XXI, y es un quebradero de cabeza recurrente en la teoría de la verdad. La lección: incluso reglas que parecen del todo inocentes (como «si supongo A y de A se sigue A, entonces tengo A») pueden esconder dinamita cuando se mezclan con la autorreferencia.

🔗 Relacionadas / fuentes

• Misma familia: `paradoja-del-mentiroso.md`, `paradoja-de-russell.md`, `grelling-nelson.md`.
• Base: `_INDICE-paradojas.md`. Fuentes: SEP «Curry’s Paradox», «Self-Reference».