不带不动点的雅布鲁式悖论存在吗?  

Are There Any Fixed-Point-Free Yabloesque Paradoxes?

作　　者：赵艺[1] 熊明[1] 

机构地区：[1]华南师范大学政治与行政学院

出　　处：《华南师范大学学报（社会科学版）》2018年第3期187-190,共4页Journal of South China Normal University：Social Science Edition

基　　金：国家社会科学基金重大项目"逻辑真理论的历史源流;理论前沿与应用研究"(17ZDA025)

摘　　要：普里斯特发现为了在标准的带有真谓词符的算术语言中形式化雅布鲁序列,需要借助不动点谓词的构造。而不动点谓词本身是一种循环性结构,在这个意义上,雅布鲁序列与说谎者语句一样也具有循环性特征。通过构造一大类雅布鲁式序列,可把普里斯特的上述发现扩展到由算术可定义的无穷二元序列引导出的混合雅布鲁式序列上。同时,可以通过这类序列来检验如下论题,即一切悖论(尤其是那些雅布鲁式的悖论)的形式化都需借助不动点谓词的构造。

关 键 词：悖论 不动点 普里斯特 雅布鲁 真 

分 类 号：B812[哲学宗教—逻辑学]