2022年5月12日19:30，由36365线路检测中心和逻辑、科学与文化研究所共同主办的“逻辑、认知与互动”系列讲座第三十二讲于四川大学望江校区文科楼205成功举办。中国科学院哲学研究所、中国科学院大学人文学院副教授范杰老师为我系师生作了题为“未知真与假信念：从邻域语义学的观点看”的学术讲座。该讲座由我系刘佶鑫老师主持，徐召清副教授出席，校内外师生40多人通过线上和线下参与此次讲座。

在本次讲座中，范老师首先介绍了“未知真”和“假信念”的概念。其次，他建立了表达“未知真”和“假信念”的不同形式语言和邻域语义。再次，范老师讨论了这些语言的表达力，证明了“未知真”和“假信念”的语言表达力不可比较，但包含两者的语言与标准模态语言的表达力一样。然后，范杰老师给出了“未知真”逻辑和“假信念”逻辑的完全公理化。他通过典范模型的方法证明了非单调的系统强完全性，并通过扩充方法证明单调系统的强完全性。最后，范老师引入公开宣告算子的两种邻域语义——交集语义(intersection semantic)和子集语义(subset semantic)来研究“未知真本身是否是未知真？”、“假信念本身是否是假信念”、“当宣告一个事实是未知真之后，这个事实还是未知真吗？”等问题，并利用这些结果对两种语义进行了比较。

在互动环节中，范老师与参与讲座的师生们进行了交流和讨论，并热心、详细地回答了大家所提出的问题。最后，范老师向大家展示了与本次讲座内容相关的阅读材料和参考文献。刘佶鑫老师表示希望未来能够与范老师在线下进一步交流探讨。本次讲座在富有启发性的讨论和与会者的热烈掌声中圆满结束。

撰稿人：黄俊翔

逻辑、科学与文化研究所