摘要
克里普克Outline of a Theory of Truth一文,是当代逻辑悖论研究最重要文献之一。克里普克就逻辑悖论成因问题提供了一种准确说明,即自我指称与悖论形成没有关系,经典解悖方案中不存在任何对自我指称的限制,这一点可通过哥德尔自指定理,以及塔尔斯基形式语言真理论与哥德尔不完全性定理之间关系的阐释得到明晰显现。
＂Outline of A Theory of Truth＂ is one of the most important literatures on logical paradoxes. The arhtor Kripke gave a correct explanation for the formation of logical paradoxes： self-reference and paradoxes are independent of each other, and orthodox approach involves no constrain on self-reference. These can be clearly illustrated by means of our accounts on G＆ouml; del＇s self-reference theorem and the relationship between Tarski＇s truth theory in formal language and G＆ouml; del＇s incompleteness theorem.
出处
《燕山大学学报（哲学社会科学版）》
2007年第1期8-12,共5页
Journal of Yanshan University:Philosophy and Social Science
关键词
真理论纲要
逻辑悖论
自我指称
经典解悖方案
哥德尔自指定理
Outline of a Theory of Truth
logical paradoxes
self-reference
orthodox approach
G＆ouml
del＇s self-reference theorem
