章节
修正经典逻辑
摘要
本章尝试在非经典逻辑框架下给出两种避免罗素悖论的方案。弗雷格的“概念文字”使用经典逻辑:否定、蕴涵和全称量词。对否定的修正即是把二值的否定修正为三值的否定,由此得到二阶多值逻辑,本章主要考虑以三值逻辑为基础的弗协调逻辑。对蕴涵的修正即是把实质蕴涵修正为严格蕴涵,而严格蕴涵与模态逻辑密切相关,由此得到二阶模态逻辑。
关键词
作者
刘靖贤 中南大学公共管理学院哲学系特聘副教授,研究方向为现代逻辑与分析哲学,在《哲学动态》《自然辩证法研究》《世界哲学》《中国高校社会科学》等期刊发表学术论文和译文30多篇。作为主持人或负责人承担国家社科基金青年项目“弗雷格哲学著作编译研究”、教育部哲学社会科学研究后期资助项目“弗雷格逻辑主义研究”和国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”之子课题“实质真理论研究”。