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

  • 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

  • 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

  • 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

  • Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… …   Wikipedia

Share the article and excerpts

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