通向哥德尔之路

来源 :哲学分析 | 被引量 : 0次 | 上传用户:daijiangduck
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
哥德尔不完全性定理是思想史近乎必然的结果,而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。首先,集合论悖论的存在表明,不受限制的概括公理模式是不一致的,而这足以得出不完全性定理的非构造性证明。其次,每个关于属于关系的集合论悖论都可以转化为关于满足关系的悖论,再通过满足到真的归约转化为语义悖论,这恰好是哥德尔句的形式:"对自身不可证"对自身不可证。
其他文献
布兰顿的推理主义语义学是在继承传统推理主义和批判表征主义与自然主义的基础上发展起来的。基本观点是主张语义学研究要与语用学紧密结合,发展出一套分析的实用主义进路。
初中阶段的地理课程教学指导,教师需要在新课标的引导之下做好教学改革工作,积极面对教学改革所面临的一切机遇与挑战,这样才能在深度的课程教学引导过程中,探索出培养学生地
目的:探讨三阴乳腺癌患者Top2A的基因改变、Top2A蛋白癌表达和Ki-67蛋白表达的关系。方法:采用荧光原位杂交(FISH)及免疫组化(IHC)技术,对47例三阴乳腺癌患者检测Top2A基因改变、To
目的:观察用RNA干扰的方法抑制大鼠成骨细胞核激活因子受体配体(Ligand of receptor activator of NF—κB,RANKL)mRNA表达后,成骨细胞RANKL、OPG蛋白表达和Ⅰ型胶原表达、细胞增
为有效落实新课标、培养学生发展核心素养,乳山市初中地理学科由教学研究中心牵头,在地理教研员的带领下,多年坚持以“项目研究”引领“教学改革”,积极推进全市初中地理教学
目的:检测宫颈癌和宫颈上皮内瘤变中的hTERC基因的扩增情况。方法:采用双色荧光原位杂交技术(FISH)检测100例宫颈病变脱落细胞中的hTERC基因表达。结果:良性细胞学病变、不典型鳞
实在的自然界是统一的自然界,自然观遵守确定性的因果律;反映该自然观的科学理论,必须是从简单原理出发,以确凿的逻辑建立起的赋予美感的理论。要从简单而最基础的原理出发,
在高中数学的教学过程中,教师对于学生数学思维能力的培养是具有一定难度的教学部分,因为传统的教学方法对于学生的数学思维有一定的局限性,教师需要打破传统教育方式,运用新
近来美国抵押信贷市场的金融危机和正在欧洲发生的预算危机表明,我们正处在经济和道德的十字路口。这些问题是由什么原因造成的?我们是否要从根本上重新思考我们的伦理观念和
目的:探讨脑积水型脑囊虫病的外科手术治疗方法及疗效。方法:经手术病理证实的脑积水型脑囊虫病73例,回顾分析其治疗过程。结果:对诊断明确的73例脑积水型脑囊虫病患者实施了脑