2024年11月25日下午，北京大学哲学系刘壮虎教授应邀于华南师范大学文科楼二楼会议室为到场师生开展了一场题为“什么是必然性？——从邻域语义学的角度看”的学术讲座。本次讲座由华南师范大学哲学与社会发展学院熊明教授主持。

首先，刘壮虎教授给出了模态逻辑中关于内涵的一般定义：内涵是可能世界到外延的函数。这就使得对于任何一个语句S，S是使得S为真的可能世界的集合。刘教授强调，这一结论在模态逻辑研究中有非常重要的意义。

紧接着，刘教授引入了模态逻辑邻域语义学的形式系统，介绍了邻域语义学的框架和模型。他指出，在该系统下可能世界x的邻域恰好是x上所有必然命题的集合。由此可知，“‘S’是必然的”和“必然S”两个处于不同“阶”的命题之间可以相互转化。刘教授从关于内涵的哲学观点出发，基于邻域语义学给出了对模态算子导致的所谓“类型混淆”的合理解释。

此后，刘教授又简要论证了邻域语义学何以是关系语义学的扩充。对邻域语义学中邻域的数学刻画表明，可能世界x的邻域是以x为下确界的滤。而将邻域语义转化为关系语义其实就是选取了更大范围的可能世界集（即主滤）作为邻域。考虑到可能世界集合上任何一个滤都包含于一个主滤，那么“从关系语义学到邻域语义学的扩充就是从所有主滤框架（所有关系框架）到所有滤框架的扩充”。

在讲座的最后一部分，刘教授主要讨论了奇异世界和正常世界。他指出，关系语义学无法表示某些奇异世界（可能性死点），显得“不够完美”；而邻域语义学的表达却很简单整齐，具有完善而对称的美学特点。总而言之，后者对必然性刻画相较于前者更胜一筹。

讲座现场

讲座结束前，熊明教授就讲座内容进行了简要的概括和总结。华南师范大学哲学与社会发展学院胡泽洪教授就奇异世界和不可能世界的区别和联系与刘壮虎教授进行了商讨。在场师生积极踊跃提问，刘教授一一进行了详尽的解答。最后，本次讲座在与会师生热烈掌声中结束。

文字｜刘烨童

图片｜蒲隆基

编辑｜廖彦霖

审核｜高贝贝