1. 专题讲座：解决说谎者悖论的“句方程”方案
报告人：文兰（北京大学数学系教授、中国科学院院士、原中国数学会理事长、教育部数学与应用数学教学指导委员会主任）
时间：2023年5月13日9:00-11:30
2. 学术研讨：“句方程”方案的价值及与其他解悖方案的比较研究
参与人：广义逻辑悖论重大项目课题组成员
时间：2023年5月13日14:00-17:00
主办：
南京大学现代逻辑与逻辑应用研究所
国家社科基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用”课题组
江苏省逻辑学会
主持人：
张建军（南京大学哲学系教授、逻辑所所长、广义逻辑悖论重大项目首席专家、江苏省逻辑学会会长）
地点：
线下：南京大学仙林校区哲学楼216室
线上：腾讯会议280-658-959
入会密码：230513
文兰院士专题讲座提要
说谎者悖论是最古老最有影响的一个悖论。关于说谎者悖论，主流的理论着重于对“自我指涉”和“真谓词”的分析。本讲座指出，自我指涉和真谓词虽然是说谎者悖论的明显的外部特征，却不是问题的要害。问题的要害是说谎者悖论里的一个隐蔽的假设。讲座先通过考察悖论与反证法的关系给出一个有助于寻找隐蔽假设的一般原理，然后应用这个原理找出说谎者悖论里的隐蔽的假设，以解答说谎者悖论。提供有力证据的是一个新发现的“三卡悖论”，它证实该原理适用于说谎者悖论。按照这一原理，说谎者悖论与一个布尔方程无解的反证法有相同的假设，即“该方程有解”的假设，也即“存在变元的值满足该方程”的假设，只不过对说谎者悖论来说，这个假设是隐蔽的。于是，解答说谎者悖论的关键就是搞清楚这一假设所说的“句变元”“值”“句方程”“解”对说谎者悖论来说是什么意思。人们将惊讶这一假设在说谎者悖论里隐藏之深。另外，本讲座也将讨论这种“句方程”方案与哥德尔自指定理以及罗素的摹状词“表示”理论的深层关联。