2023年11月26日下午，伟德BETVlCTOR1946「哲学·社会·思想」学术月暨第三届「哲学月」第五场讲座——“自指性命题的形式刻画”专题讲座在文科楼二楼会议室顺利召开。
本次讲座由北京大学哲学系刘壮虎教授主讲，由伟德BETVlCTOR1946院长胡泽洪主持，学院多名老师及部分在读研究生参与了本次讲座。
1 主持人胡泽洪院长
刘教授首先简单概述自指性命题的含义，并称该自指性命题分为两个部分——结构部分和自指部分。接着介绍其公式，提到普通公式和自指公式可用连接词连接起来，并指出将自指性命题分析成结构部分和自指部分是形式化研究中经常采用的方法。
2 主讲人刘壮虎教授
刘教授具体阐述了命题的真值空隙与三值逻辑的同异以及从真值空隙语义的意义出发成立的两个条件，强调：“有定义的命题可以蕴涵无定义的命题，无定义的命题不能蕴涵有定义的命题”。
刘教授指出，(1)我们的目的是建立一个包括自指性命题的古典命题逻辑的扩充逻辑，使得我们可以使用统一的推理规则而在普通命题上保持古典命题逻辑不变。(2)我们提出的蕴涵命题是比较奇特的，但符合我们关于蕴涵命题的观点，即分离规则和等值替换规则成立。这也可以实现我们建立统一的逻辑系统的目的。
3 讲座现场
刘教授指出，悖论不是真值层次上的（一个赋值），而是有效性层次（所有赋值）上的。自指公式是否是悖论可以归为普通公式的有效性，即悖论是有效式。悖论具有强接受性、逻辑性、唯一性、不可避免性和无害性的性质。
最后，刘教授从范式的基础和归纳方面展开，对以上内容进行简要总结。他指出，我们可以根据化归范式的方法即范式定型中的四个等值式，来建立公理系统。由此可以证明此公理系统对于前述的真值空隙语义是可靠的，也通过范式证明此公理系统的完全性。
4 参会老师提问
在讲座的最后，现场师生与刘教授进行了热烈的讨论，展现了对学术探讨的激情。至此，本次讲座圆满结束！
文案｜罗美雯
图片｜学术月采写组
校对｜刘瑞敏
初审｜陈思婷
复审｜高贝贝 孙楹
终审｜熊明