首页 | 本学科首页   官方微博 | 高级检索  
   检索      


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号