修正理论视角下的贝纳德特悖论
摘要： 贝纳德特悖论是芝诺二分法悖论的一个现代变体。1999年普里斯特用符号化的语言精确再现了该悖论导出矛盾的基本推导过程。随后，逻辑学家在深入研究贝纳德特悖论场景的基础上，设计出了更多的变形，比如雅布鲁的“恶魔悖论”变形和霍桑的“球体悖论”变形，由此形成了很多与贝纳德特悖论结构相似的“新”的悖论。库克运用修正理论对贝纳德特悖论进行了分析，为这个悖论提供了新的解读。本报告沿库克的思想路线，将在介绍修正理论的基本思想的基础上，系统地阐述了库克对贝纳德特悖论作出的修正理论分析，完整展现了这个悖论中两个循环性谓词的修正序列，并用列表的方式呈现出修正序列的循环性特征。此外，本报告把库克的思想类推到雅布鲁给出的“恶魔悖论”变形，并相应地构造了这个悖论中存在的循环性谓词的修正序列，指明相关修正序列的循环性特征，并从修正理论的视角把“恶魔悖论”和雅布鲁提出的另一个悖论——“雅布鲁悖论”——进行了比较。
