Natural Deduction and Curry's Paradox
Author: Rogerson, Susan
Source: Journal of Philosophical Logic, Volume 36, Number 2, April 2007 , pp. 155-179(25)
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.
Document Type: Research Article
Affiliations: Email: Su.Rogerson@arts.monash.edu.au
Publication date: April 2007