curry paradox

Summary

Curry's paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself "If C, then F". 1 This paradox relies on accepting that the sentence A is “true” 2 , and it is a direct challenge to one’s theory of logical implication or entailment. 3 It may be generated irrespective of one’s theory of negation. 3

According to


See more results on Neeva


Summaries from the best pages on the web

Curry’s Paradox First published Wed Sep 6, 2017; substantive revision Fri Jan 19, 2018
Curry’s Paradox (Stanford Encyclopedia of Philosophy)
favIcon
stanford.edu

Summary Curry's paradox is a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself "If C , then F ", requiring only a few apparently innocuous logical deduction rules. Since F is arbitrary, any logic having these rules allows one to prove everything
Curry's paradox - Wikipedia
favIcon
wikipedia.org

Summary The paradox is supposedly that if the sentence A is true then it must be true that Germany borders China. The supposed paradox relies on one accepting that the sentence A is “true”.
Curry’s paradox
favIcon
jamesrmeyer.com

Summary If one accepts naive truth theory (or naive set theory), then Curry’s paradox becomes a direct challenge to one’s theory of logical implication or entailment. Unlike the liar and Russell paradoxes Curry’s paradox is negation-free; it may be generated irrespective of one’s theory of negation.
Curry’s Paradox (Stanford Encyclopedia of Philosophy/Spring 2001 Edition)
favIcon
sydney.edu.au

Martin Löb and Haskell Curry examined this question. ... In response to “ Löb’s Theorem and Curry’s Paradox ”
Löb’s Theorem and Curry’s Paradox | Graham Priest | Inference
favIcon
inference-review.com

Curry's Paradox First published Wed Jan 10, 2001; substantive revision Wed Feb 13, 2008
Curry's Paradox (Stanford Encyclopedia of Philosophy/Summer 2016 Edition)
favIcon
sydney.edu.au

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 ...
Curry's paradox - Oxford Reference
favIcon
oxfordreference.com

Supplement to Curry’s Paradox When Curry (1942b) introduced the paradox to demonstrate the inconsistency of “certain systems of formal logic”, the ...
Curry’s Paradox > Curry on Curry’s Paradox (Stanford Encyclopedia of Philosophy)
favIcon
uva.nl

In mathematical logic and mathematical foundations Curry’s paradox is a paradox which is a version of Russell's paradox that does not involve the use of ...
Curry's paradox
favIcon
nlab-pages.s3.us-east-2.amazonaws.com

Supplement to Curry’s Paradox When Curry (1942b) introduced the paradox to demonstrate the inconsistency of “certain systems of formal logic”, the ...
Curry’s Paradox > Curry on Curry’s Paradox (Stanford Encyclopedia of Philosophy)
favIcon
stanford.edu

Notes to Curry’s Paradox 1. The term “Curry’s paradox” appears to originate in Fitch 1952; other influential early formulations include Moh 1954, Geach ...
Curry’s Paradox > Notes (Stanford Encyclopedia of Philosophy)
favIcon
stanford.edu