Natural Deduction and Curry's Paradox |
| |
Authors: | Susan Rogerson |
| |
Institution: | (1) School of Philosophy and Bioethics, Monash University, Building 11, Melbourne, VIC, 3800, Australia |
| |
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 |
本文献已被 SpringerLink 等数据库收录! |
|