哲学逻辑专题

课程编码：180088010104P4003Y 英文名称：Topics on Philosophical Logic 课时：20 学分：1.00 课程属性：研讨课 主讲教师：范杰

作为联合国教科文组织认定的七大基础学科之一，逻辑学在哲学、数学、语言学、经济学、计算机科学、人工智能等领域中都发挥着举足轻重的作用。逻辑学兼具基础学科、工具性和人文科学三重学科性质，这是逻辑学在当代科学体系中所独有的特征。本课程是研讨课，是面向研究生的硕博通用课程，需要听众具有一定的数理逻辑基础。
在本课程中，我将带领大家一起来研讨学习模态逻辑的哲学应用，包括信念逻辑、知识逻辑、道义逻辑、时态逻辑等，了解这些领域当前的热点话题和前沿问题。
希望通过本课程的研讨学习，可以帮助学生了解模态逻辑的哲学应用、热点话题和前沿问题，在研讨学习中领略模态逻辑之美的同时，能滋生出新的兴趣点。

数理逻辑

第一章 模态逻辑 4.0学时 范杰
第1节 引言
第2节 非模态背景知识
第3节 模态逻辑：一类层级
第4节 提炼和推广
第二章 正规模态逻辑 6.0学时 范杰
第1节 一些候选公理
第2节 模型和真：语义
第3节 典范模型和生成子模型
第4节 从模型到框架
第5节 析取规则
第三章 应用：信念逻辑和知识逻辑 6.0学时 范杰
第1节 逻辑全知问题
第2节 自省问题
第3节 S4和S5之间的逻辑
第4节 概念占有问题
第四章 其他应用 4.0学时 范杰
第1节 律则必然
第2节 道义逻辑
第3节 被充分模态化的逻辑
第4节 时态逻辑

范杰，中国科学院哲学研究所、中国科学院大学人文学院哲学系副教授。哲学博士，专业是逻辑学，主要研究领域是哲学逻辑（尤其是模态逻辑和认知逻辑）。目前已在Review of Symbolic Logic、Journal of Philosophical Logic、Studia Logica、Logica Universalis、Logic Journal of the IGPL、Notre Dame Journal of Formal Logic、Journal of Logic, Language and Information、Erkenntnis、Theoria、Studies in Logic、Advances in Modal Logic、IJCAI、ICLA、LORI、TbiLLC等国际知名期刊和会议上发表30余篇论文。曾主持并独立完成博士后面上一等资助项目、博士后特别资助项目、国家社科基金青年项目（结项鉴定等级为“优秀”）各一项，参与多项科研课题，多次参加国内外学术会议并做报告。现主持国家社科基金重点项目一项和中国科学院大学自主部署项目一项。曾讲授过“逻辑与批判性思维”、“逻辑与形而上学”、“大学写作”、“学术道德与学术写作规范-通论”、“逻辑学”、“集合论”等课程。邮箱：jiefan@ucas.ac.cn，电话：18810607745。