知识的逻辑(2021 秋季) Epistemic Logic 
教师:王彦晶, 时间:每周三 7-9节 地点:地学楼110
相关其他课程详情见逻辑语言认知中心的网站:http://logic.pku.edu.cn


News

Lecture 2 (9月 22 日,Slides)

课上我们简单回顾了 epistemic logic 发展早期的历史。相关参考文献:


Lecture 1

9月15日第一次课 导言(Slides课程介绍


关于“知道”逻辑的中国开拓者北大的马希文教授
请阅读如下博士论文的2-3章关于epistemic logic发展的部分,我们之后会梳理知识逻辑最原初的思想脉络:
Ren-June Wang: Timed Modal Epistemic Logic. PhD thesis, City University of New York (2011)


本课程定位为研究导向的偏技术性逻辑学课程,建议有较好模态逻辑基础的同学选课,欢迎旁听。

大概内容(Contents):

 知识逻辑(Epistemic Logic)起源于哲学中对知识概念及其推理的分析,后广泛应用于理论计算机科学、人工智能、以及博弈论等各相关学科中对于知识的刻画和推理。传统的知识逻辑集中处理“知道如是”(knowing that)的逻辑并取得了较为丰富的结果。然而日常生活中的知识陈述除了”知道如是“以外还有很多种,比如“知道如何”(knowing how)、“知道为何”(knowing why)、”知道什么“(knowing what)等等。这些知识的概念和推理规则是否与传统的”知道如是“类似?在逻辑上应该如何刻画?有何有趣的技术问题及解决方案?本课将梳理知识逻辑的哲学及技术发展,特别突出前述非经典知识逻辑的最新技术结果,特别是一阶模态逻辑的一系列可判定的打包片段以及非经典逻辑的知识逻辑翻译。


大概计划(Plan):

Lecture 1 Introduction

Lecture 2 A Brief History

Lecture 3 Classical Problems

Lecture 4 Friends of EL

Lectures 5-7 Dynamics

Lecture 8 Know-wh: Intro

Lecture 9 Know-whether

Lecture 10 Know-what

Lecture 11 Know-how

Lecture 12 Know-why/who

Lecture 13 Bundled fragments of FOML as a new epistemic framework

Lecture 14 Nonclassical logics as epistemic logic

Lecture 15-16 Student presentations



目标(Objectives):

  • 知识储备:知道知识逻辑这个领域中的思想基础,主要分支、重要问题和基本结果。 
  • 逻辑技能:掌握一些非正规的模态逻辑的公理化以及刻画表达力的技术。
  • 学术技能:熟练阅读英文文献(精读),能自主发现问题,能熟练使用相关信息化工具收集跟踪文献,能用LaTeX写作合乎规范的学术文章并做学术报告。 
  • 态度培养:开放且审慎的心态,不盲从迷信权威,不畏惧复杂问题,忍受做研究过程中的挫折感与不确定性,逐渐形成学术品位,遵守学术伦理做真诚的探究。

教学材料(Course material):

以课堂幻灯片及相关文献为主,经典知识逻辑部分的参考书:

  • Fagin, R., Halpern J., Moses, Y., and Vardi, M.: Reasoning about knowledge The MIT Press 1995
  • van Ditmarsch, H., Halpern, J., van der Hoek, W., and Kooi B., eds: Handbook of Epistemic Logic College Publications 2015
  • van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2007): Dynamic Epistemic Logic, Springer
  • van Benthem, J. (2011): Logical Dynamics of Information and Interaction

考核(Grading):

  • 小论文(70%) 
  • 学术报告及课堂讨论(30%)

大致安排(Plan):

老师讲授+小论文课题讨论及报告


预备知识(Prerequisites):

一阶逻辑基本知识及模态逻辑的模型论、公理化、判定性技术。


Office hours

办公室:哲学系2号楼139 周四下午4 pm – 6 pm(请提前预约)。
意见、建议或其它问题请发email:y.wang艾特pku.edu.cn