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)|
|Through your library||Configure|
Similar books and articles
Frank 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.
Samuel Alexander (2013). An Axiomatic Version of Fitch's Paradox. Synthese 190 (12):2015-2020.
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.
Added to index2009-01-28
Total downloads29 ( #48,094 of 722,935 )
Recent downloads (6 months)1 ( #61,087 of 722,935 )
How can I increase my downloads?