10.3969/j.issn.1674-8425(s).2018.04.002
反基础模型论解悖方法探析
受情境语义学解悖方案的启发,巴威斯和莫斯把超集理论应用于模型论,构造了解悖的数学框架——反基础模型论.在此基础上,通过给语言L增加真谓词true,提出谎言定理.然后,以说谎者悖论、强化的说谎者悖论、佐丹卡片悖论为例,说明反基础模型论解悖方法的巧妙之处.此外,在反基础模型论的基础上,还可以通过给语言增加指派谓词,消解指称悖论.
反基础模型论、模型、真谓词、谎言定理、悖论
32
B81(逻辑学(论理学))
河南工业大学高层次人才基金项目"反基础公理AFA及其在解悖中的应用研究"2012BS030;河南工业大学人文社会科学创新人才培育项目"非良基集合与语义悖论"2014SKJJ09
2018-06-15(万方平台首次上网日期,不代表论文的发表时间)
共8页
11-18