Natural deduction and Curry's paradox
Journal of Philosophical Logic 36 (2):155 - 179 (2007)
| Abstract | Curry's paradox, sometimes described as a general version of the better known Russell's paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
Andrew Bacon (2013). Curry's Paradox and Omega Inconsistency. Studia Logica 101 (1):1-9.
Wayne Aitken & Jeffrey A. Barrett (2004). Computer Implication and the Curry Paradox. Journal of Philosophical Logic 33 (6):631-637.
Jeffrey Barrett (2004). Computer Implication and the Curry Paradox. Journal of Philosophical Logic 33 (6):631 - 637.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads29 ( #42,388 of 549,087 )Recent downloads (6 months)3 ( #25,722 of 549,087 )How can I increase my downloads? |
My notes
Discussion
