题目：自指性命题的形式刻画

报告人：刘壮虎 北京大学哲学系

评议人：裘江杰 中国人民大学哲学院

主持人：余俊伟 中国人民大学哲学院

时间：2025年5月15日9：30—11：30

地点：人文楼621

摘要：

讲座阐述并扩展了《自指性命题的逻辑构造》一文的思想方法，提出一种关于悖论的新观点：悖论不是真值层次上的，而是有效性层次上的。按这个观点，使用范式的方法进行公理系统的建构、完全性的证明，以及判定性的证明，在逻辑系统中严格定义悖论并讨论悖论的性质。

在日常语言中存在自指的语句，在悖论研究中尤为多见。通过分析只涉及命题层次的一些悖论的形式，抽象出一种自指性命题的句法形式。它是古典命题逻辑形式语言的扩充。从分析真值空隙理论出发建立自指性命题的语义。它是古典命题逻辑语义的保守扩充。

古典命题逻辑可以刻画全部的真值函数，将真值函数扩展为真值偏函数，证明我们建构的逻辑系统能够刻画全部的真值偏函数。