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 | Curry's paradox normalization natural deduction |
| Categories | (categorize this paper) |
| DOI | 10.1007/s10992-006-9032-0 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Curry’s Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
View all 18 references / Add more references
Citations of this work BETA
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.
How to Ekman a Crabbé-Tennant.Peter Schroeder-Heister & Luca Tranchini - 2018 - Synthese 199 (Suppl 3):617-639.
View all 8 citations / Add more citations
Similar books and articles
Curry-Howard Terms for Linear Logic.Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons - 1998 - Studia Logica 61 (2):223-235.
Computer Implication and the Curry Paradox.Wayne Aitken & Jeffrey A. Barrett - 2004 - Journal of Philosophical Logic 33 (6):631-637.
Analytics
Added to PP index
2009-01-28
Total views
112 ( #105,835 of 2,518,759 )
Recent downloads (6 months)
9 ( #79,081 of 2,518,759 )
2009-01-28
Total views
112 ( #105,835 of 2,518,759 )
Recent downloads (6 months)
9 ( #79,081 of 2,518,759 )
How can I increase my downloads?
Downloads
