哲学逻辑
课程编码：180088010104M3002Y
英文名称：Philosophical Logic
课时：40
学分：2.00
课程属性：专业课
主讲教师：李大柱
教学目的要求
逻辑学起源于哲学家、数学家、计算机科学家等对各自领域问题的哲学思考。哲学逻辑作为现代逻辑学最重要的分支之一，最早是用于解决哲学问题，所以它的名字本身凸显了“哲学”二字。现在，经过多年的发展，它在哲学、数学、计算机科学、人工智能、语言学等领域中都有着重要的应用和价值，成为了一个具有明显交叉学科性质的领域。哲学逻辑包含了哲学家最感兴趣的各种逻辑，哲学逻辑构建形式语义和形式系统，用于分析哲学问题的核心概念和论证。学习本课程有助于同学们完成从书本学习到自主思考和科研的过渡。本课程要求学生能够明确哲学逻辑的概念和范畴，掌握哲学逻辑的主要分支的基本理论、思想和技术方法，了解哲学逻辑研究的意义和应用方向。
预修课程
至少先修一门逻辑学相关课程，预修数理逻辑、模态逻辑最佳。
大纲内容
第一章 绪论 3.0学时 李大柱
第1节 什么是哲学逻辑
第2节 哲学逻辑与逻辑哲学
第3节 哲学逻辑的主要分支
第二章 模态逻辑 3.0学时 李大柱
第1节 常见的正规模态逻辑
第2节 可能世界语义学
第3节 模态对应理论
第三章 道义逻辑 4.0学时 李大柱
第1节 道义逻辑的研究对象和起源
第2节 道义逻辑标准系统SDL
第3节 道义逻辑的语义
第4节 道义悖论
第四章 知识逻辑 6.0学时 李大柱
第1节 模态方法对无知的刻画
第2节 模态方法研究“知识”
第3节 模态方法研究“信念”
第4节 逻辑全能问题
第5节 基于序关系的“信念”扩展与修正
第6节 知识逻辑的应用
第五章 时间逻辑 6.0学时 李大柱
第1节 什么是时间
第2节 时间与时态
第3节 十个时间逻辑
第4节 时间逻辑的扩展
第六章 多值逻辑 6.0学时 李大柱
第1节 多值逻辑的起源和发展
第2节 几个经典的三值逻辑
第3节 多值逻辑与无穷值逻辑
第4节 多值逻辑的应用
第七章 条件句逻辑 6.0学时 李大柱
第1节 条件句及其分类
第2节 条件句逻辑的研究对象
第3节 不同的条件句逻辑
第4节 可能世界语义和概率语义
第5节 条件句逻辑的恰当性问题
第八章 直觉主义逻辑 6.0学时 李大柱
第1节 直觉主义的核心观点
第2节 正逻辑与极小逻辑
第3节 直觉主义逻辑
第4节 极小逻辑、直觉主义与经典逻辑比较
第5节 直觉主义逻辑的Kripke语义
参考书
1、
哲学逻辑研究
张清宇等
2007年2月
社会科学文献出版社
2、
哲学逻辑
罗·格勃尔
2008年3月
中国人民大学出版社
3、
Modal Logic for Open Mind
Johan van Benthem
2010年4月
CSLI Publications
课程教师信息
张立英，国科大教授。李大柱，国科大副教授