SCNU Center for Logic and Analytic Philosophy

---

摘要：报告将简要介绍知识逻辑（Epistemic Logic）的思想、基本定义以及发展历史，并用一些谜题作为例子，说明知识逻辑如何帮助我们厘清一些哲学以及计算机科学当中的知识推理。不预设任何逻辑学背景，欢迎各学科的同学参加。

---

主讲人简介：北京大学哲学系学士，荷兰阿姆斯特丹大学优等硕士和博士，现为北京大学哲学系长聘副教授，北京大学哲学系副系主任，北京大学哲学与人类未来中心副主任，中国逻辑学会现代逻辑专业委员会秘书长，入选国家 “万人计划”之哲学社会科学领军人才计划。主要研究模态逻辑，特别是基于非经典语义的知识逻辑（epistemic logic）与动态逻辑（dynamic logic），成果发表在国际一流哲学、逻辑学、人工智能期刊及顶级会议。