其他课程:
高级模态逻辑 Advanced Modal Logic
哲学数学计算机中的逻辑 Logic in Philosophy, Math, and CS
语言、逻辑与计算 Language, Logic, and Computation
动态逻辑 Logical Dynamics
ESSLLI Course: Beyond knowing that: nonstandard epistemic logics
LaTeX(建议用Overleaf写作)
如何做报告 Presentation tips
如何写学术文章 Paper writing tips
———————————————————————————————————————————————————————————

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

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

1114日第八次课 (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
117日第七次课 (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(请提前预约)。
———————————————————————————————————————————————————————————

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