Llamada así por Haskell Curry, la paradoja de Curry ocurre en teoría ingenua de conjuntos o en lógicas ingenuas.

Intuitivamente, la paradoja de Curry es: "si no me equivoco, Y es verdad", donde Y puede ser cualquier declaración lógica ("el negro es blanco", "1=2", "Gödel existe", "el mundo terminará en una semana"); si llamamos esa declaración X, entonces tenemos que X afirma "Si X es verdad, entonces Y es verdad." Considere la declaración X "Si esta declaración es verdad, el mundo terminará en una semana," que será abreviada como "si X es verdad, entonces Y". Por lo tanto, al asumir X, Y es verdad. La declaración anterior se puede reformular "si X es verdad, entonces Y". Porque esa declaración verdadera es equivalente a X, X es verdad. Por lo tanto, Y es verdad, y el mundo terminará en una semana.

Cualquier cosa se puede "probar" semejantemente vía la paradoja de Curry. Obsérvese que a diferencia de la paradoja de Russell, esta paradoja no depende de qué modelo de la negación se utiliza, pues es totalmente libre de negación. Así las lógicas paraconsistentes todavía necesitan tener cuidado. La resolución de la paradoja de Curry es un tema contencioso porque las resoluciones no triviales (tales como rechazo de X directamente) son difíciles y no intuitivas. En las teorías de conjuntos que permiten la comprensión sin restricción, podemos probar cualquier declaración lógica Y a partir del conjunto

La prueba procede:

Enlaces externos

• Curry paradox. La enciclopedia de Stanford de filosofía tiene una discusión técnica profundizada.