2026年4月23日，分析哲学论坛第243期——“自指性命题的形式刻画”主题讲座，在中心校区知新楼A1618举行。本次讲座由北京大学哲学系刘壮虎教授主讲，beat365体育官网平台王文方教授主持。

本次讲座聚焦自指命题与悖论的逻辑研究，核心是构建可容纳自指命题的形式系统。刘老师指出，经典逻辑难以刻画自指悖论，在新的系统中，禁止重复自指构造，仅允许一次自指从普通命题生成自指命题。语义层面采用三值逻辑（真、假、无定义），在该系统中，普通命题推理规则不变，仅新增自指命题相关有效式。他重新定义悖论：所有赋值下均无定义的命题才为悖论，这类悖论具有无害性（无法推出任何结论）、等价性（所有悖论逻辑等值）。

自由讨论环节，在场师生围绕系统对自指公式的定义限制、悖论的嵌套与量化表达、该三值逻辑系统中的取值规则等问题展开深入交流，刘老师逐一回应，进一步明晰了该逻辑系统的适用范围。

文：王晨

审核：张仑