摘要
普里斯特发现为了在标准的带有真谓词符的算术语言中形式化雅布鲁序列,需要借助不动点谓词的构造。而不动点谓词本身是一种循环性结构,在这个意义上,雅布鲁序列与说谎者语句一样也具有循环性特征。通过构造一大类雅布鲁式序列,可把普里斯特的上述发现扩展到由算术可定义的无穷二元序列引导出的混合雅布鲁式序列上。同时,可以通过这类序列来检验如下论题,即一切悖论(尤其是那些雅布鲁式的悖论)的形式化都需借助不动点谓词的构造。
出处
《华南师范大学学报（社会科学版）》
CSSCI
北大核心
2018年第3期187-190,共4页
Journal of South China Normal University：Social Science Edition
基金
国家社会科学基金重大项目"逻辑真理论的历史源流
理论前沿与应用研究"(17ZDA025)
