章节
限制经典逻辑
摘要
本章尝试在经典逻辑的框架下提出三种避免罗素悖论的方案。第一种方案是二阶直谓逻辑，它来自罗素的类型论。第二种方案是二阶正逻辑，来自司寇伦的工作。第三种方案是二阶分层概括，来自蒯因的工作。在现有文献中，二阶直谓逻辑已经讨论得比较多。本章第一节对二阶直谓逻辑的解悖方案进行介绍，然后说明其优点和缺点。第二节把司寇伦早年在一阶逻辑中的工作转换到二阶逻辑中。第三节把蒯因早年在一阶逻辑中的工作转换到二阶逻辑中。
关键词
作者
刘靖贤 中南大学公共管理学院哲学系特聘副教授，研究方向为现代逻辑与分析哲学，在《哲学动态》《自然辩证法研究》《世界哲学》《中国高校社会科学》等期刊发表学术论文和译文30多篇。作为主持人或负责人承担国家社科基金青年项目“弗雷格哲学著作编译研究”、教育部哲学社会科学研究后期资助项目“弗雷格逻辑主义研究”和国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”之子课题“实质真理论研究”。