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

———————————————————————————————————————————————————————————
News

1226 学生报告小论文的选题,大家讨论 
1
2 最终报告和讨论 
1
11日交小论文 

12月19日第十二次课 (Slides1, Slides2)
相关文献:


12月12日第十二次课 (Slides) 相关文献:

12月5日第十一次课 (Slides)
相关文献:

11月28日第十次课 (Slides)
参考文献

11月21日第九次课 (Slides)
延伸阅读:

11月14日第八次课 (Slides)
延伸阅读:

  • Hintikka, J., Hintikka, M.: Reasoning about knowledge in philosophy: The paradigm of epistemic logic. In: The Logic of Epistemology and the Epistemology of Logic. Volume 200 of Synthese Library. Springer Netherlands (1989) 17–35
  • Yanjing Wang: Beyond knowing that: a new generation of epistemic logic (arXiv) in Jaakko Hintikka on knowledge and game theoretical semantics: 499-533. Springer (See the section about Hintikka’s contributions and the references therein)
  • Gochet P, Gribomont P (2006) Epistemic logic. In: Gabbay DM, Woods J (eds) Handbook of the History of Logic, vol 7

11月7日第七次课 (Slides)
如何写学术文章 
参考及延伸阅读:

下次课可阅读:

1031日第六次课 (Slides)
下次课前请阅读:
Alexandru Baltag, Lawrence S. Moss: Logics for Epistemic Programs. Synthese 139(2): 165-224 (2004) 
10
24日第五次课 (Slides)
相关文献:


1017日第四次课(Slides
最后一节课由于电量不足老师脑子突然短路,对造成的影响表示歉意。。。
slides已更新补充了细节和一些例子,大家可以查看。
建议各位可以去听19日在清华关于
justification logic的报告:program for the co-located informal one-day workshop Tsinghua Meets CUNY 我们就不在课上详细讲了。
相关文献:

下节课前可阅读:


1010日第三次课(Slides
相关文献:


926日第二次课 简史 Slides
相关文献:


919日第一次课 导言(Slides课程介绍
关于“知道”逻辑的中国开拓者北大的马希文教授
请阅读如下博士论文的2-3章关于epistemic logic发展的部分,我们之后会梳理知识逻辑最原初的思想脉络:

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

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

————————————————————————————————————
考核(Grading):
1. 小论文(70%) 
2. 学术报告及课堂讨论(30%)
————————————————————————————————————
大致安排(Plan):
老师讲授+小论文课题讨论及报告
————————————————————————————————————
预备知识(Prerequisites):
一阶逻辑基本知识及模态逻辑的模型论和公理化技术。
————————————————————————————————————

Office hours

办公室:哲学系2号楼139(请提前预约)。
————————————————————————————————————

意见、建议或其它问题请发email:y.wang艾特pku.edu.cn