排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
哥德尔不完全性定理越来越受到人们的垂青和重视,但有些却是错解,需要予以澄清.哥德尔不完全性定理是整个逻辑学的中心,对其他许多学科也有重大的促进作用,甚至是有些学科的发端. 相似文献
2.
万绍红 《阿坝师范高等专科学校学报》2005,22(3):22-24,41
一个不弱于初等数论的形式系统如果是一致的,则是不完全的。哥德尔不完全性定理明确揭示和证明自己把握“真”的能力限度。在这一点上,达尔似乎和哥德尔心心相通,拥有哈耶克式的知识论。达尔的多元主义民主通过多元因子的协同作用,使民主的影象越来越清晰。达尔对理性抱有深深的疑虑,因而不曾也不敢建构一个完美的形式系统以建构完美民主。民主从达尔开始具有了合理性。从乌托邦的纯粹民主步向了经验的协商民主。多元主义民主的合法性在博弈协商的过程中得以展现。 相似文献
3.
文章认为,蕴涵关系"P→Q"基于命题P与Q的真值约定是不可取的,而应该将其定义为有效推理,这样不但可以解决通常所谓的蕴涵怪论,更可以使我们对反证法有新的认识。实际上,由于"已知事实"的被忽略,反证法的两种常见模式——"~P→P,所以P"与"~P→Q,~P→~Q,所以P"——都是存在问题的;为此,在所谓的标准模式中,笔者特别强调了"已知事实"的重要性。最后,通过梳理哥德尔不完全性定理的整个证明过程,发现了三个导致其证明无效的重要因素:(1)根据"定理Ⅴ"推导的式(15)(16)有误,并且两式的"或"关系,被误当作了"与"关系;(2)使用了反证法的不当模式,也即"~P→Q,~P→~Q,所以P";(3)在肯定前件式的假言推理中,由于概念混淆造成了前件被肯定的假象。 相似文献
4.
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限性。同时,也看到了形式化方法的弊端和形式化的限度。 相似文献
5.
完全归纳证明的“完全”性不是绝对的而是相对的亦即不完全的;这种相对性或完全性还突出体现在:作为完全归纳证明的前提或论据的单称的经验陈述命题不具有完全绝对意义上的正确无疑性. 相似文献
6.
本认为,克里普克的因果指称理论是不完全的。(1)在确立专名指标时,如果不借助于摹状词,当面对“共用专名”的情形时,传递专名指称的因果链会出现混乱,从而混淆专名的指称。(2)不了解专名的涵义,不借助于摹状词,仅依靠指称的借进,并不表明能真正确定指称,知道一个专名与能正确的确定专名指称是不同的。 相似文献
7.
以皖北地区2000到2011年的数据为研究依据,对农民工就业能力、市场分割系数、户籍分割系数、行业分割系数以及农民农业纯收入做了分析。研究发现,皖北地区的农民工劳动力市场存在着不完全性,而这种不完全性是由城乡差别、户籍制度、产业结构等多个原因造成的。为解决市场的不完全性就必须调整产业结构,加大对农民工的教育和培训,提升他们的劳动素质,同时要引导他们通过正规和非正规等多途径就业,提高他们的劳动收入。 相似文献
8.
斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理的方法 ,把命题逻辑加以形式化 ,是最早的一个自然推理系统。该派认为 ,运用他们的命题逻辑系统中的 5个不可证式作为基本推理规则 ,借助 4个元逻辑规则 ,可以推论出命题逻辑系统的全部正确的推理形式。但从现代逻辑的角度来考察斯多葛学派命题逻辑系统 ,却发现它是一个不完全的系统。 相似文献
9.
10.
技术内部化是企业技术寻求型对外直接投资的核心问题, 内部化的效果直接影响到企业在国外寻求技术的绩效。本文回顾了内部化理论的源泉--R·H·Coase 的交易费用理论,以及在此基础上产生的P·J·Buckley和M·Casson 的内部化理论。同时,以美国技术寻求型FDI企业为例,分析了美国企业技术寻求型FDI内部化的动因,初步构建了企业技术寻求型FDI的内部化模型,并进一步探讨了美国企业技术内部化成功的关键。最后指出了美国企业技术寻求型FDI的内部化对我国企业技术寻求型FDI技术内部化的启示。 相似文献