2024年11月21日下午2:30-4:30，中心开展了2024年秋季学期第四次现代逻辑讨论班活动。中心博士生单成在此次讨论班上带来了题为“一阶模态逻辑”的报告，博士研究生孙晴、韩琳琳、单成、郑怡、彭海琪、潘易欣，硕士研究生何森洋、董振璐参与了这次讨论班。

报告人首先从非形式的角度介绍了模态词与一阶逻辑的结合所产生的后果，包括从言（de dicto）和从物（de re）模态两种解读方式在语义上的差异，以及奎因对模态词与一阶命题在不同层次上结合所导致的不同后果。在介绍基本背景之后，报告人进一步介绍了一阶模态逻辑的常论域模型（Constant Domain Models）和变论域模型（Varying Domain Models），二者的区别在于对模型论域的不同选择，同时两种模型分别对应概然主义量化和现实主义量化两种一阶模态逻辑量词解决方案。最后报告人介绍了通过向常论域模型添加存在谓词“ε”的方式以将变论域模型嵌入常论域模型的方法。参与人员还对模态三段论的一阶模态命题形式转换问题进行了讨论。

（单成/供稿 熊作军/审核 彭子骄/发布）