一、讲座题目

分析哲学论坛第243期

二、主讲人

刘壮虎

三、主讲人简介

刘壮虎，男，北京大学哲学系教授，博士生导师。1982年毕业于北京大学数学系，曾任逻辑教研室主任、系学术委员会委员。研究领域涉及逻辑学的多个分支，最重要的工作是建立了适合各种逻辑的邻域语义学，并进行深入研究。另外，在认知逻辑、语言逻辑、非经典逻辑等方面也有一些有影响的研究成果。刘壮虎认为，数理逻辑为现代逻辑研究提供了基本和重要的思想和方法，是任何逻辑分支研究的基础。在研究方法上强调逻辑技术的重要性。本次报告题为“自指性命题的形式刻画”。

四、讲座简介

在日常语言中存在自指的语句，在悖论研究中尤为多见。通过分析只涉及命题层次的一些悖论的形式，抽象出一种自指性命题的语形形式，它是古典命题逻辑形式语言的扩充。从分析真值空隙理论出发建立自指性命题的语义，它是古典命题逻辑语义的保守扩充。我们提出一种关于悖论的新观点：悖论不是真值层次上的，而是有效性层次上的，按这个观点在逻辑系统中严格定义悖论并讨论悖论的性质。范式是研究逻辑系统的重要方法，在我们的系统中尤为重要，我们使用范式的方法进行公理的建构、完全性的证明，以及判定性的证明。古典命题逻辑可以刻画全部的真值函数，我们将真值函数扩展为真值偏函数，证明我们建构的逻辑系统能够刻画全部的真值偏函数。

五、主持人

beat365体育官网平台哲学系 王文方教授

六、讲座时间

2026年4月23日（星期四）19：00——21：00

七、讲座地点

beat365体育官网平台中心校区知新楼A1618