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)|
|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.
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 ( #42,388 of 549,087 )
Recent downloads (6 months)3 ( #25,722 of 549,087 )
How can I increase my downloads?