Paradoja de Curry


Paradoja de Curry

Paradoja de Curry

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

X \equiv \left\{ x | x \in X \to Y \right\}

La prueba procede:


\begin{matrix}

\mbox{1.} & X \in X \iff ( X \in X \to Y ) & \mbox{definición de X} \\
\mbox{2.} & X \in X \to  ( X \in X \to Y ) & \mbox{de 1} \\
\mbox{3.} & X \in X \to Y                  & \mbox{de 2, contracción} \\
\mbox{4.} & (X \in X \to Y) \to X \in X    & \mbox{de 1} \\
\mbox{5.} & X \in X                        & \mbox{de 3 y 4} \\
\mbox{6.} & Y                              & \mbox{de 3 y 5}

\end{matrix}

Enlaces externos

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

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Paradoja — Saltar a navegación, búsqueda Paradoja, del griego παρα (para) y δόξος (doxos), que significa “más allá de lo creíble”, es un concepto filosófico que emplea la lógica (Filosófico – Lógico) para darle nombre a situaciones, textos o circunstancias… …   Wikipedia Español

  • Haskell Curry — Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) fue un matemático y lógico estadounidense.[1] Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en… …   Wikipedia Español

  • Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español

  • Queso — Saltar a navegación, búsqueda Pieza de queso …   Wikipedia Español

  • Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… …   Wikipedia Español

  • Wikipedia:Café (todos) — Atajos WP:CWP:C …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.