由清华大学金岳霖讲席教授谢立民（Jeremy Seligman）开设的“模态逻辑及其应用”近日在学堂在线正式上线。对可能性、必然性、时间、信念等哲学概念的逻辑性质和结构感兴趣的小伙伴们，快快加入学堂在线，跟随谢老师学习！

“模态逻辑及其应用”是清华大学“全英文逻辑学课程证书”、“全球融合式课堂证书”的课程，从2018年开始，每年的春季学期开设。谢立民教授注重从探讨问题出发，鼓励学生思考，自然引出逻辑学的形式框架和技术结果，从而达到对问题深入的理解和领会。这种十分有特色的教学方式和课堂受到了清华学生们的好评。

这是继“逻辑学基础理论”（魏达格, Dag Westerståhl）、“逻辑、计算和博弈”（范丙申, Johan van Benthem）两门全英文课程上线后，又一门逻辑学课程上线，为想要系统学习逻辑学的学生提供了新的可能。

课程名

模态逻辑及其应用 (Modal logic and its applications)

课程推荐语

你可曾好奇过时间的结构可能是怎样的？在不同结构的时间中，我们对于过去和未来该如何进行推理？你可曾好奇过个体的思维的结构可能是怎样的？在种种我们认为可能的世界图景之上，可能性和必然性分别意味着什么？信念是如何被构建的？随着可信度不同的新信息的输入，我们又会如何相应地改变自己的信念系统？你可曾好奇过在特定的社会情境中，不同主体如何认知该情境，他们的认知结构又如何互相关联？不同视角的主体分别对事实有什么判断，对他人对事实的判断有什么判断，对他人对他人或自己对事实的判断的判断有什么判断……? 这样从一阶到高阶的多主体认知结构该如何表示，又会随着对象范围不同、可信度不同的信息更新发生怎样的变化？

在这门课中，你将在一位模态逻辑学家的引领下踏上探索这些问题的征程。除了满足自己对这些引人入胜的问题的好奇心外，你将学习模态逻辑中的时态逻辑、认知逻辑和动态社会认知逻辑等。在逻辑学本身之外，这门课上学到的许多理论模型在计算机、认知科学、博弈论和语言学等多个领域也都有广泛的应用。

课程介绍

在现代逻辑研究的众多领域中，模态逻辑因其对表达力和复杂性的较好平衡，在从人文学科到软件设计的众多领域中都得到了深入的应用。在本课程中，模态逻辑的理念和方法将随着其在对时间、知识、必然性、以及社会行为建模的应用被介绍。这样，学生将被带入类似实际研究的环境中，体会到理论和实践中不同理念和需求的互动。本课程将引导学生熟悉经典教材、手册、和重要学术文章，并让学生具备在有进一步兴趣时自行探索学习更深内容的能力。尽管本课程预设学生已具备一定逻辑学基础知识，但也会为不具备该条件的学生留出余地。

The course is organized around modal logics about three topics: time, belief, and social epistemic actions. Usually at the beginning of a cluster, several puzzles concerning the topic will be introduced, which the logic systems introduced later would attempt to solve. Then the semantics and proof system of increasingly powerful modal logics concerning that topic will be introduced. In addition, a more technical introduction of modal logic in general is placed after the cluster of belief, which is named "boxes". A detailed structure of the course is attached below.

授课老师

Jeremy Seligman（谢立民）

任职：清华大学金岳霖逻辑学讲席教授，奥克兰大学副教授和博士生导师，曾受聘清华大学伟伦特聘教授。

学历：牛津大学数学和哲学学士，爱丁堡大学认知科学博士。

研究兴趣：主要研究兴趣为社会认知逻辑，即用逻辑学的方法研究群体的理性活动，其中主体之间由社会关系所连结。给出二维模态逻辑研究主体的认知与社会结构之间的互动。另一个研究兴趣为中国逻辑思想史。在尽量不假设西方逻辑概念的情况下，运用现代逻辑中的思想去理解中国古代与逻辑相关的概念，比如名（names）和辩（debating）。

授课风格：谢立民教授是一位非常善于引导学生从实践与反思中学习的老师，他不会一开始就告诉你什么是模态词，怎么定义，语言是什么，语义又是什么等等诸如此类通常模态逻辑课会讲述的知识。而是先从关于时间的哲学论文出发，让学生们自己去思考时间是什么，遵循的规律是什么？历史上著名哲学家McTaggart关于时间的分析是否是正确的？如果不正确，我们该怎么逻辑地、形式化地去反驳？通过这种趣味性与问题意识相结合的方式，激发出同学们积极学习和利用理论分析问题的兴趣，能够让大家更直观、更深刻的理解模态逻辑的内核。时间之外的其他话题，谢教授都采用类似的问题导向引入方式，让学生自发的去探索信念、知识等概念的内涵。并且不仅限于上述课程主题，谢教授还强烈建议学生们去思考生活中需要用模态逻辑进行分析的任何话题。总的来说，这门课的确是实践学习和寓教于乐的集大成者。

助教信息

王逸骞

简介：清华大学外文系大三学生，目前方向为语言学，对形式语义和模态逻辑都很感兴趣，即将修完逻辑学课程证书。

课程安排

1)慕课平台开课时间：2022年10月25日-2023年1月31日

2)课时：14+2讲（14讲关于模态逻辑，2讲关于真理树），每讲视频约1小时，结束后均有小作业辅助理解

3)授课语言：英语

4)课程内容安排：

1-4讲：关于时间的模态逻辑（中间有两讲介绍真理树，未包含入内）

Time 1-2: puzzles & detailed introduction of the semantics of basic tense logic

Time 3: detailed introduction of the proof system of basic tense logic & brief introduction to bisimulation, indefinability, and hybrid tense logic

Time 4: brief introduction to linear time logic, branching time logic, and dynamic logic

5-8讲：关于信念和知识的模态逻辑

Belief 1: puzzles & introduction to semantics and proof system of must-might logic & introduction to semantics and proof system after adding hard update

Belief 2: introduction to semantics and proof system of static epistemic probabilistic logic with updates and conditional belief

Belief 3: introduction to logic of maximal credence with conditional belief & brief introduction to different strategies for belief revision, upgrade, and knowledge

9-10讲：模态逻辑中的技术细节

Box 1: introduction to canonical model and truth tree of propositional logic, semantics and proof system for box operator, neighborhood semantics, and normal modal logic

Box 2: introduction to features of Kripke Semantics, different concepts related to frames, the diamond operator, and some meta-properties of modal logic & review of predicate logic

11-14讲：关于社会行为的模态逻辑

Society 1: puzzles & introduction to semantics of multi-agent epistemic logic and public announcement logic

Society 2: introduction to common knowledge, Kleene Star, axiomatization of epistemic logic with public announcement and Kleene Star, and ways of modelling epistemic actions

Society 3: introduction to event model and product update & introduction to dynamic epistemic logic

Society 4: introduction to semantics and applications of belief revision operators and multi-pointed event models & introduction to dynamic substitution logic & summarization of how to devise a modal logic for specific scenarios

进入课程的通道

1)网页版学堂在线：https://www.xuetangx.com/course/THU01011008149/14483878

2)微信小程序：