Curry's paradox

The paradox is generated by a conditional: (C) If (C) is true, then p, where p is an arbitrarily chosen proposition—say, one which is just plain false. Classically we can now argue: suppose (C) is true. Then, if (C) is true then p . So p, by modus ponens . So, by the rule of conditional proof, we can infer (Q): if (C) is true, then p . That is, we have obtained (C), and hence (C) is true. Now, since we have (C) is true, and we have (Q), we can infer p by modus ponens. That is, we have proved any arbitrary proposition by logic alone. The paradox is sometimes attributed to the mathematicians Kleene and Rosser, and sometimes called Löb's paradox. It is noteworthy as clearly arising from a vicious self-reference, but not involving negation. See also semantic paradoxes.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Curry's paradox — For Paul Curry s optical illusion and dissection puzzle, see Missing square puzzle. Curry s paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self referring sentence… …   Wikipedia

  • Paradox — For other uses, see Paradox (disambiguation). Further information: List of paradoxes A paradox is a seemingly true statement or group of statements that lead to a contradiction or a situation which seems to defy logic or intuition. Typically,… …   Wikipedia

  • Haskell Curry — Infobox Scientist name =Haskell Brooks Curry birth date =September 12, 1900 birth place =Millis, Massachusetts death date =September 1, 1982 death place =State College, Pennsylvania residence = citizenship =USA nationality = ethnicity = field… …   Wikipedia

  • Russell's paradox — Part of the foundations of mathematics, Russell s paradox (also known as Russell s antinomy), discovered by Bertrand Russell in 1901, showed that the naive set theory of Frege leads to a contradiction.It might be assumed that, for any formal… …   Wikipedia

  • Currys Paradox — Currys Paradoxon, auch Löbs Paradoxon, ist ein Paradoxon der naiven Mengenlehre und der meisten Logiken. Es erlaubt die Herleitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck mittels einfacher logischer Regeln. Es ist benannt… …   Deutsch Wikipedia

  • Löbs Paradox — Currys Paradoxon, auch Löbs Paradoxon, ist ein Paradoxon der naiven Mengenlehre und der meisten Logiken. Es erlaubt die Herleitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck mittels einfacher logischer Regeln. Es ist benannt… …   Deutsch Wikipedia

  • Kleene-Rosser paradox — In mathematics, the Kleene Rosser paradox is a paradox that shows Church s original lambda calculus is inconsistent. It is similar to Russell s paradox, in that it is a statement that asserts its own falsehood if and only if it is true; that is,… …   Wikipedia

  • Paradoxe de Curry — Si cette légende est vraie, alors il s agit là d un monstre. Le paradoxe de Curry fut présenté par le mathématicien Haskell Curry en 1942 et permet d arriver à n importe quelle conclusion à partir d une phrase auto référentielle et de quelques… …   Wikipédia en Français

  • Haskell Curry — Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US amerikanischer Logiker und Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk …   Deutsch Wikipedia

  • Paradoja de Curry — Saltar a navegación, búsqueda 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… …   Wikipedia Español

Share the article and excerpts

Direct link
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.