学术资讯｜说知逻辑讲堂讲座系列第七讲：探索可判定性的边界

探索可判定性的边界

R Ramanujam

印度数学研究所 教授

王轶

中山大学哲学系（珠海） 教授

2023年10月12日

14:20-16:50

中山大学珠海校区

海琴六号 A486

二十世纪逻辑与计算领域的重要成就之一是为一阶逻辑的可判定性进行划界。 由于一阶逻辑是不可判定的，因此确定最弱的不可判定片段和最强的可判定片段变得重要起来。 它牵扯出关于图形、偏序等各种模型类上的一阶理论的许多问题。 一阶模态逻辑的相应问题则并没有得到太多关注，因为即使是一阶模态逻辑的极弱片段也常常是不可判定的。 不过，二十一世纪以来的研究已经发现了许多模态词与量词的可判定组合，也提出了一系列尚未解决的问题。 我将在讲座中回顾这些发展，并介绍相关技术。