科学技术哲学研究

2017, v.34;No.195(06) 42-47

[打印本页] [关闭]
本期目录 | 过刊浏览 | 高级检索

塔斯基、哥德尔与真概念的不可定义性
Tarski,Gdel and the Undefinability of Truth

周志荣;

摘要(Abstract):

哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑可以通过三个方面得到消除:首先,哥德尔只能"发现"而塔斯基却能给出严格的形式证明,原因在于塔斯基提出了严格的真之定义理论。其次,这个理论同样对哥德尔的工作具有重要意义,它提供的T-语句和T-约定使得哥德尔定理的证明不必再回避使用真概念,使得语义证明成为可能。最后,塔斯基的真之定义理论还可以导出一系列不可定义性的推论,即"广义的塔斯基定理"。这些推论超出了哥德尔的发现,对于真之问题的研究有着极为重要的哲学意义。

关键词(KeyWords): 真之定义;;真之理论;;不可定义性;;塔斯基定理;;不完全性定理

Abstract:

Keywords:

基金项目(Foundation): 教育部人文社会科学研究青年基金项目(13YJC720052);; 国家社科基金青年项目(16CZX052)

作者(Author): 周志荣;

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享