2020年12月24日，由36365线路检测中心主办的“逻辑、认知与互动”系列讲座第五讲成功举办，北京大学36365线路检测中心王彦晶老师为我系师生作了题为“辛提卡遇见柏拉图：知识逻辑的新发展”的学术报告，本次报告由36365线路检测中心刘佶鑫老师主持，以腾讯线上会议和B站直播的方式进行。

王彦晶老师是北京大学36365线路检测中心长聘副教授、副系主任，北京大学哲学与人类未来中心副主任，中国逻辑学会现代逻辑专业委员会秘书长，入选国家“万人计划”哲学社会科学领军人才。专长为模态逻辑（Modal Logic），特别是知识逻辑（Epistemic Logic），在Synthese、Artificial Intelligence、Review of Symbolic Logic、Advances in Modal Logic、IJCAI、TARK等国际一流哲学、逻辑学、人工智能期刊及顶级会议论文集发表英文论文40余篇。

本次报告王老师首先从逻辑学的发展历程开始讲起，逻辑学起源于哲学，成熟于数学，繁荣于计算机科学，并输出工具到语言学、法学、微观经济学等，最终又反过来促进了哲学的发展。王老师用直观的图景来描述形式语言、模型、语义、证明系统这些逻辑学的基本概念，并且介绍了现代逻辑学的主要分支：数理逻辑、计算机逻辑、哲学逻辑以及其他交叉领域。在进行了基本的逻辑学简介后，王老师重点介绍了哲学逻辑分支中的模态逻辑及其中的知识逻辑，并对知识逻辑进行了简单的历史梳理。

从“泥孩谜题”入手，王老师详细介绍了知识逻辑的语言、模型和语义，并用三个泥孩的初始知识模型来刻画泥孩谜题的逻辑关系以此来引述模态逻辑知识推理系统。这样的公理系统可以解释一些直观上的悖论（例如Moore悖论），导出了不是所有真知都是可知的结论，这引发了大量的逻辑与技术交织的讨论。同时，王老师还对知识逻辑中知识迭代的问题举出了大量有趣的例子，令讲座兼具干货与趣味。

之后讲座的重点转向知识逻辑中知识的获得过程，依然是三个泥孩的知识模型，王老师运用知识逻辑一步步推出泥孩谜题的结果，展现出逻辑学的强大威力。这样的逻辑学对传统知识论，用逻辑工具刻画知识论等哲学讨论产生了启发，并提出了形式化知识论的新方法。王老师举例说明通过知识逻辑的学习，我们更能够看清这个世界，并例举了霍金的名言—“知识最大的敌人不是无知，而是知道的假象”。

王老师以“Beyond ‘knowing that’”为主题来结尾，即自然语言中我们拥有其他表达知识的方式：知道如何（know-how），知道为何（know-why）等等。举例运用知识逻辑中的知识来回答生活中的问题，帮助我们在一定假设之下，我们能够得到最终想要的答案，利用这种特殊的语言帮助我们打开认识世界的新视角。最后王老师介绍了自己在知识逻辑领域最前沿的研究，帮助我们了解一阶模态逻辑理论的新发展。

在互动环节中，王老师与参会的老师和同学们进行了热烈的交流，进一步讨论了相关的问题。例如：“know-why这种知识是否就是理解？”、“知识逻辑只能靠专业性的方式来了解吗？”等等。王老师风趣幽默地回答了大家的问题，为整个讲座画上了圆满的句号。

撰稿：张德华

来源：科学哲学与逻辑学教研室