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
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
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
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)
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
oxfordreference.com
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
nlab-pages.s3.us-east-2.amazonaws.com