通向哥德尔之路  

The Road to Gettier

作　　者：克里普克 徐召清[3] 

机构地区：[1]普林斯顿大学 [2]纽约城市大学研究生中心 [3]四川大学公共管理学院

出　　处：《哲学分析》2013年第3期152-163,199,共12页Philosophical Analysis

基　　金：国家社科基金重点项目“描述论和直接指称论之争--回顾、批判与建构”(项目编号:12AZX008)和“分析哲学若干基本理论问题新探”(项目编号:12AZD072)的阶段性成果

摘　　要：哥德尔不完全性定理是思想史近乎必然的结果,而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。首先,集合论悖论的存在表明,不受限制的概括公理模式是不一致的,而这足以得出不完全性定理的非构造性证明。其次,每个关于属于关系的集合论悖论都可以转化为关于满足关系的悖论,再通过满足到真的归约转化为语义悖论,这恰好是哥德尔句的形式:"对自身不可证"对自身不可证。Gdel’s incompleteness theorem is almost the inevitable result of a historic line of thought, and shows that the Gdel statement, the one Gdel constructed when proving the first incompleteness theorem, makes a fairly intelligible statement that can actually be stated. First, the existence of set theory paradoxes shows the inconsistency of unrestricted comprehension axiom schema, which suffices a non- constructive proof of incompleteness theorem. Second, any set theory paradox regarding membership can be changed into one of satisfaction, and then changed into a semantic paradox through the reduction of satisfaction to truth, which is precisely the form of the Gdel statement: 'Unprovable of itself' is unprovable of itself.

关 键 词：集合论悖论 语义悖论 哥德尔不完全性定理 

分 类 号：B812[哲学宗教—逻辑学]