塔斯基、哥德尔与真概念的不可定义性

发布时间：2018-02-20 21:40

本文关键词： 真之定义真之理论不可定义性塔斯基定理不完全性定理　出处：《科学技术哲学研究》2017年06期 　论文类型：期刊论文

【摘要】：哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑可以通过三个方面得到消除:首先,哥德尔只能"发现"而塔斯基却能给出严格的形式证明,原因在于塔斯基提出了严格的真之定义理论。其次,这个理论同样对哥德尔的工作具有重要意义,它提供的T-语句和T-约定使得哥德尔定理的证明不必再回避使用真概念,使得语义证明成为可能。最后,塔斯基的真之定义理论还可以导出一系列不可定义性的推论,即"广义的塔斯基定理"。这些推论超出了哥德尔的发现,对于真之问题的研究有着极为重要的哲学意义。
[Abstract]:Prior to Godel Tarski discovered the concept of arithmetic is not defined, which leads to some scholars doubt the Tarski theorem and Tarski definition of truth theory value. This suspicion can through three aspects: first, to get rid of Godel only "found" and Tarski was able to prove that given the strict form, reason is that Tarski put forward the definition of truth is strict in theory. Secondly, this theory also has important significance for the work of Godel, which provides the T- statement and the T- agreement makes Godel's theorem does not need to avoid using the concept of truth, makes the semantic proof possible. Finally, the definition of truth Tarski's Theory can also export a series of not the definition of "inference, generalized Tarski theorem. These inferences beyond Godel's research found that for real problems has a very important meaning of Philosophy Righteousness.

【作者单位】：中南财经政法大学哲学院;
【基金】：教育部人文社会科学研究青年基金项目(13YJC720052) 国家社科基金青年项目(16CZX052)
【分类号】：N02

【相似文献】