2021年12月10日19:00，由四川大学哲学系主办的“逻辑、认知与互动”系列讲座第二十五讲于四川大学望江校区文科楼205成功举办。电子科技大学马克思主义学院万小龙教授为我系师生作了题为“模态逻辑四个等价性”的学术报告。该讲座由我系任晓明教授主持，徐召清副教授、刘佶鑫老师出席，校内外130多名师生通过线上和线下的方式参与此次讲座。

在本次讲座中，万小龙教授首先简单介绍了自己是如何从量子力学哲学的研究走上逻辑学的研究。然后，万教授展示了他构造的STRF黑模法逻辑（BCP），除了多出一个辅助符号之外，其记号、记法几乎与经典模态逻辑完全相同。在这样的观察下，模态逻辑可以被视为包含严格句法隐变量的经典逻辑。除此之外，在BCP中还可以得出一些有趣的结论，例如，K公理不是最小模态公理、必然化规则不能做自然化理解等等。最后，万教授指出，该逻辑下的模态叠置的语义简化以及其一阶对应理论还尚待完成，是他未来研究的方向。

在互动环节中，万小龙教授与参与讲座的师生们进行了积极的交流与讨论，耐心地回应了与会师生们的疑问并详尽地解答了学生们提出的问题。本次讲座在师生们富有启发性的讨论中和与会者热烈的掌声中圆满结束。

撰稿：欧阳文飞

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