本文關(guān)鍵詞： 真之定義 真之理論 不可定義性 塔斯基定理 不完全性定理　出處：《科學(xué)技術(shù)哲學(xué)研究》2017年06期 　論文類型：期刊論文

【摘要】：哥德爾優(yōu)先于塔斯基發(fā)現(xiàn)了算術(shù)真概念的不可定義性,這導(dǎo)致有的學(xué)者對塔斯基定理乃至塔斯基真之定義理論的價值產(chǎn)生懷疑。這種懷疑可以通過三個方面得到消除:首先,哥德爾只能"發(fā)現(xiàn)"而塔斯基卻能給出嚴格的形式證明,原因在于塔斯基提出了嚴格的真之定義理論。其次,這個理論同樣對哥德爾的工作具有重要意義,它提供的T-語句和T-約定使得哥德爾定理的證明不必再回避使用真概念,使得語義證明成為可能。最后,塔斯基的真之定義理論還可以導(dǎo)出一系列不可定義性的推論,即"廣義的塔斯基定理"。這些推論超出了哥德爾的發(fā)現(xiàn),對于真之問題的研究有著極為重要的哲學(xué)意義。
[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.

【作者單位】： 中南財經(jīng)政法大學(xué)哲學(xué)院;
【基金】：教育部人文社會科學(xué)研究青年基金項目(13YJC720052) 國家社科基金青年項目(16CZX052)
【分類號】：N02

【相似文獻】

相關(guān)期刊論文 前7條

1 王浩;朱水林;;哥德爾的一些事跡[J];世界科學(xué);1984年06期

2 劉曉力;;哥德爾的遺產(chǎn)及其百年啟示[J];科學(xué)文化評論;2006年02期

3 邢滔滔;;哥德爾定理正反觀[J];科學(xué)文化評論;2008年02期

4 吳樹仙;;哥德爾定理與邏輯認知進化[J];自然辯證法研究;2011年01期

5 郝寧湘;;自指:人類理性認識局限性之根源[J];科學(xué)技術(shù)與辯證法;1993年01期

6 JohnDawson ,朱水林;從證明長度的角度看哥德爾不完全性定理[J];世界科學(xué);1983年07期

7 林敏;關(guān)于帕里斯-哈林頓定理和弗里德曼定理[J];自然雜志;1984年08期

，

本文編號：1520097