-
题名反基础模型论解悖方法探析
- 1
-
-
作者
赵鹏
-
机构
河南工业大学马克思主义学院
-
出处
《重庆理工大学学报（社会科学）》
CAS
2018年第4期11-18,共8页
-
基金
河南工业大学高层次人才基金项目"反基础公理AFA及其在解悖中的应用研究"(2012BS030)
河南工业大学人文社会科学创新人才培育项目"非良基集合与语义悖论"(2014SKJJ09)
-
文摘
受情境语义学解悖方案的启发,巴威斯和莫斯把超集理论应用于模型论,构造了解悖的数学框架——反基础模型论。在此基础上,通过给语言L增加真谓词true,提出谎言定理。然后,以说谎者悖论、强化的说谎者悖论、佐丹卡片悖论为例,说明反基础模型论解悖方法的巧妙之处。此外,在反基础模型论的基础上,还可以通过给语言增加指派谓词,消解指称悖论。
-
关键词
反基础模型论
模型
真谓词
谎言定理
悖论
-
Keywords
anti-founded model theory
model
truth predicate
-
分类号
B81
[哲学宗教—逻辑学]
-
