[现代逻辑讨论班]博士生潘易欣:如何证明一个逻辑的不完全性报告回顾

发布时间:2024-10-14 19:37

作者:

来源:

浏览次数:

        2024年10月11日上午9:30-11:30,中心开展了2024年秋季学期第一次现代逻辑讨论班活动。中心博士生潘易欣在此次讨论班上带来了题为“如何证明一个逻辑的不完全性”的报告,博士研究生孙晴、韩琳琳、单成、郑怡、李小炤、彭海琪、张文睿,硕士研究生张锟、何森洋、董振璐参与了这次讨论班。


 报告人首先介绍了证明一个逻辑系统相对于某语义不完全性的一般思路,即设计一个新语义,证明原系统相对于新语义具有可靠性,再通过可靠性的逆定理来找到那个在原语义下有效但在系统中不可证的公式。在介绍基本思路之后,报告人依次以KvB系统和PA系统为例来分析这种方法的具体应用。KvB系统不完全性证明策略来自Blackburn等人的著作 Modal Logic  中218页练习4.4.2。PA系统不完全性证明策略来自王彦晶等人2013年在Synthese上发表的论文On axiomatizations of public announcement logic中第3.1节。此外,在讨论班的末尾,参与人员还重点讨论了关于语境依赖语义的应用问题,给中心研究生带来了新的启发与灵感。



(潘易欣/供稿  郭美云/审核  彭子骄/发布)