Natural Deduction and Curry's Paradox
- First Online:
- 108 Downloads
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.
Key wordsCurry's paradox normalization natural deduction
Unable to display preview. Download preview PDF.