La paradoja de Curry se produce al considerar el siguiente enunciado: «Si no me equivoco, B es verdad», es decir, «Si este enunciado es cierto, entonces B es verdad», donde B puede ser cualquier declaración lógica, como ‘64=65’. Es decir, pensemos en la sentencia «Si no me equivoco, 64=65» Aunque 64 no sea igual a 65, el enunciado «Si no me equivoco, 64=65» es una sentencia en lenguaje natural, por lo que se puede analizar la verdad o falsedad de dicha oración. La paradoja se desprende precisamente de este análisis...
|
etiquetas: paradoja de curry , lenguaje natural , lógica combinatoria 
