公理化真与说谎者悖论

摘  要:公理化真理论把真看作一个原始谓词,并用一组公理和规则给出真谓词的意义,真首先是语形概念。在公理化真理论的标准模型中,一个定理可解释为真。因此模型真和语形真在概念上需要作出区分。通过不同的技术手段大部分公理化真理论都能较好地处理悖论,但DT和KF系统同时证明“说谎者语句λ”与“λ不是真的”,此时语...>>详细

【作  者】刘大为[1]

【作者单位】[1]湖南师范大学公共管理学院哲学系、人工智能道德决策研究所 

【期  刊】《哲学研究》 2018年第5期119-125,128共8页

【关 键 词】公理化真理论 说谎者悖论语句 语形真和模型真 克里普克真理论 

【基金项目】本文系国家社科基金重大项目“逻辑真理论的历史源流、理论前沿与应用研究”(编号17ZDA025)的阶段性成果。

【分 类 号】B81

【下载次数】26【在线阅读】16

分享到:

参考文献(共找到条)

相关文献:(共找到条)

作者其它文章更多

80454X
11
分类表关闭X
隐藏
比较
关闭《哲学研究》编辑部重要声明