1月8日，望岳·海外论坛第18期顺利举行，挪威卑尔根大学Thomas Ågotnes教授（山西大学哲学系访问学者）作主题为“匿名公开宣告逻辑”的学术讲座，核心围绕匿名宣告的逻辑本质与形式化构建展开深入探讨。讲座由哲学与社会发展学院王文方教授主持。

讲座开始，Ågotnes教授首先通过白板留言、匿名发帖等实例，明确匿名公开宣告需满足“公开可观察”“未知宣告者”双重属性，且宣告者需诚实。随后铺垫标准公开宣告逻辑的理论基础，系统介绍了认知逻辑的核心框架、Kripke模型的构成，以及公开宣告算子[φ!]ψ的语义解释与模型更新规则。讲座核心部分两类展开：一是无匿名意图时，此类宣告为“伪匿名”，通过引入新的模态公式 [φ†]ψ在认知逻辑中加以刻画；二是有匿名意图时，核心是“安全性”，需满足层级认知条件以确保自己的匿名宣告不会被推知，安全匿名宣告等价于对安全性的公开宣告。

讲座后自由讨论环节氛围热烈，师生围绕谎言纳入模型、该逻辑在语言哲学、网络匿名通信等领域的实际应用等议题交流，Ågotnes 教授逐一回应，并提及未来相关研究的方向。

文：王晨   

审核：王轶