通向哥德尔之路①

来源 :哲学分析 | 被引量 : 0次 | 上传用户：spring2011

【摘要】

：

哥德尔不完全性定理是思想史近乎必然的结果，而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。首先，集合论悖论的存在表明，不受限制的概括公

【作者】

：

克里普克[美徐召清(译)]

【机构】

：

普林斯顿大学荣誉纽约城市大学研究生中心哲学;四川大学公共管理学院;

【出处】

：

哲学分析

【发表日期】

：

2013年3期

【关键词】

：

集合论悖论语义悖论哥德尔不完全性定理

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

哥德尔不完全性定理是思想史近乎必然的结果，而哥德尔在证明第一不完全性定理时构造的哥德尔句表达了一个可以实际诉说的简易陈述。首先，集合论悖论的存在表明，不受限制的概括公理模式是不一致的，而这足以得出不完全性定理的非构造性证明。其次，每个关于属于关系的集合论悖论都可以转化为关于满足关系的悖论，再通过满足到真的归约转化为语义悖论，这恰好是哥德尔句的形式：“对自身不可证”对自身不可证。

其他文献

弥补

张三一直得不到领导的重用,所以很苦恼.rn其实,张三这人很正直,要是他不正直,比如在工作中给领导早请示晚汇报,什么逢年过节上门看望,什么找机会陪领导娱乐娱乐等等,那样,他

期刊

领导娱乐重用请示机会汇报

大力推进统战工作实践创新实现统战工作科学发展

召开全国统战工作实践创新成果总结推广会，主要任务是学习贯彻杜青林同志在全国统战部长会上关于统战工作实践创新和在中央统战部理论务虚会上关于“五个务必”（务必拓宽思路、

期刊

统战工作科学发展创新实践统一战线工作中央统战部统战部长培育品牌

论创新性《建筑识图与房屋构造》课程教学改革

期刊

论BIM技术在装配式建筑设计中的应用

【摘要】下文中，研究者将针对装配式建筑工程设计中的BIM建筑信息模型技术应用作出论述，分析BIM建筑信息模型技术工程实践中的作用及注意事项。希望以此篇论文为同行业者提供学习参考。　　【关键词】 BIM建筑信息模型技术;设计方案;建筑工程项目;装配式　　BIM建筑信息模型技术的英文全称为Building Information Modeling，简称BIM技术，是指施工企业、建设单位和设计公司及各部

期刊

BIM建筑信息模型技术设计方案建筑工程项目装配式

工程咨询业2010-2015年发展规划纲要

目录rn第一篇行业现状和发展目标rn第一章工程咨询业发展状况rn第二章指导思想和发展目标rn第二篇发展重点和主要任务rn第三章加快工程咨询理论方法和技术创新rn第四章

期刊