欢迎访问36365线路检测中心!
bet36365路检测中心
36365线路检测中心   >   新闻通知   >   bet36365路检测中心   >   正文

“逻辑、认知与互动”系列讲座第二十五讲成功举办

发布时间:2021-12-11      编辑:36365线路检测中心新闻中心      点击量:

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

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

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

撰稿:欧阳文飞

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

上一条:“思问·澄观美学”讲堂第一讲成功举办

下一条:36365线路检测中心工会小组开展教职工秋游及团建活动

关闭

36365线路检测中心

党政办(201室):028-85417159

本科生教务办(202室):028-85417126

研究生教务办(202室):028-85417656

学生及团委办(203室)028-85413870

科研办(212室):028-85412298

邮  箱:zxx@scu.edu.cn

四川省成都市武侯区望江路29号文科楼

书记信箱
主任信箱
公众号矩阵(查看)

领导信箱:

书记:zxxscu@126.com

领导信箱:

主任:zxxscu@163.com

版权所有 36365线路检测中心-www.bet36365.com