知识的逻辑(2023秋季) Epistemic Logic
教师:王彦晶, 时间:每周三 7-9节 地点:地学楼 214
相关其他课程详情见逻辑语言认知中心的网站:http://logic.pku.edu.cn
News
9月 20 日 第二次课,Slides
课上我们简单回顾了 epistemic logic 发展早期的历史。相关参考文献:
- Ivan Boh Four Phases of Medieval Epistemic Logic, Theoria 66 (2):129-144 (2000)
- R.Aumann Agreeing to Disagree The Annals of Statistics, Vol. 4, No. 6. (1976), pp. 1236-1239 A survey(里面有很直观的例子) of its impacts.
- R.Aumann Interactive epistemology I: Knowledge, International Journal of Game Theory (1999) 28:263-300
- J. McCarthy, M. Sato, T. Hayashi and S. Igarashi: On the Model Theory of Knowledge Stanford Artificial Intelligence Laboratory Memo A1M-312 (1978)
- X. Ma and W. Guo, 1983, W-JS: A modal logic of knowledge Proceedings of the 8th International Joint Conference on Artificial Intelligence.pp. 398–401.
- 马希文,“有关‘知道’的逻辑问题的形式化”《哲学研究》,1981年第05卷,第30–38页
- 马希文,郭维德,“W-JS有关‘知道’的模态逻辑”《计算机研究与发展》1982年第12卷,第1–12页
- IF Logic
- Modal Syllogisms, 我们的文章 Epistemic Sllogistics: First Steps TARK2023
- Hintikka Set
- 关于 Hintikka 的逻辑贡献
- 关于濠梁之辩与moore句的文章
- J.Halpern, Y.Moses Knowledge and common knowledge in a distributed environment Journal of the ACM 37(3) pp. 549-587 (1990)
9月 13 日第一次课 (课程介绍,Slides)
我们先介绍了课程的一些基本信息,然后从什么是逻辑学讲起,结合一些和知识有关的 puzzle 介绍了知识逻辑的一些基本内容。本次课主要面向没有逻辑基础来旁听第一次课的同学。
相关参考:
- 关于“知道”逻辑的中国开拓者北大的马希文教授,
- 马希文曾统筹了奇书Gödel, Escher, Bach: an Eternal Golden Braid(GEB)的翻译 中文版
本课程定位为研究导向的偏技术性逻辑学课程,建议有较好模态逻辑基础的同学选课,欢迎旁听。
大概内容(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):
大致安排(Plan):
老师讲授+小论文课题讨论及报告
预备知识(Prerequisites):
一阶逻辑基本知识及模态逻辑的模型论、公理化、判定性技术。
Office hours:
办公室:哲学系2号楼139 周四下午4 pm – 6 pm(请提前预约)。
意见、建议或其它问题请发email:y.wang艾特pku.edu.cn