共查询到20条相似文献，搜索用时 203 毫秒
1.
《福建师范大学学报(哲学社会科学版)》1991,(2)
1930年,德国维也纳大学助教库尔特·哥德尔(Kurt Godel1906—1978),在数学领域发现并证明了著名的不完备性定理,世称哥德尔不完备性定理。这一定理虽然是数学领域的重大成果,但由于它在相当深邃的 相似文献
2.
《科学技术哲学研究》2010,(6)
在形式主义学派数学哲学基本主张中,元叙事、基础主义和绝对主义构成了其现代性的思想特质。哥德尔不完全性定理表明,形式化证明对于论证数学真理是不充分的,这构成了拒绝形式主义的主要理由。伴随着基础主义思想的衰落,形式主义的整体数学观走到了其历史发展的终点。 相似文献
3.
4.
潘海燕 《无锡教育学院学报》2003,23(4):90-92
从数学史的“三次危机” ,分析了数学中悖论的实质及其意义 ,由哥德尔不完备性定理论证了以数学为代表的形式化系统的功能和局限。悖论的文学化表述 ,有益于培养学生的学习兴趣 ,也有益于科学文化和人文文化的沟通 相似文献
5.
维特根斯坦(1889-1951)是系统地从语言来思考世界的第一人,在这个意义上,维特根斯坦可说是语言哲学的奠基人。他一生著述不多,主要作品有《逻辑哲学论》、《蓝皮书和棕皮书》、《哲学研究》、《论确定性》。《逻辑哲学论》是维特根斯坦生前出版的唯一一部哲学著作,代表他早期的哲学思 相似文献
6.
7.
成伟君 《南昌教育学院学报》2010,25(1)
歌德尔不完备性定理产生的背景是逻辑学和数学高度发展的结果,它论证了当今数学的矛盾性是无法从本身得到证明的,并且它在数学、逻辑学、哲学方面都有着重要的意义. 相似文献
8.
朱文瑞 《洛阳师范学院学报》2023,(9):6-10
前期维特根斯坦致力于祛除数学哲学中的形而上学预设。在数学对象的实在性方面，他主张数学对象并不存在，实在性唯当在科学中谈论才有意义；在数学命题的真理性方面，他则主张数学命题不表达思想，更不关乎命题真假问题，真理性概念也只涉及科学命题。前期维特根斯坦从运算方向上给出了数的形式定义与等式的形式证明。这类定义与证明消解了逻辑主义的发问方式，使得逻辑主义框架下诸如“数学对象存在吗”“算术命题可以证明吗”这类问题丧失了意义。 相似文献
9.
《科学技术哲学研究》2016,(5)
20世纪初,为克服朴素集合论悖论,构建坚实的数学基础,形式主义者提出了宏伟的"希尔伯特纲领",哥德尔不完全性定理的发表使得形式主义的整体目标以失败告终。重建数学基础的问题再次变得迫切。布尔巴基学派应运而生,逐渐崭露头角并迅猛发展,对20世纪纯粹数学的发展产生了至深的影响。无论是从哲学还是数学的视角看,形式主义与布尔巴基结构主义之间既有着难以分割的联系,又有着许多本质上的差异。两者的共性显示了其在揭示数学知识本质上的哲学深度,而两者之间的异质差异性见证了20世纪数学知识多样恢宏的范式转换。 相似文献
10.
哥德尔不完全性定理越来越受到人们的垂青和重视,但有些却是错解,需要予以澄清.哥德尔不完全性定理是整个逻辑学的中心,对其他许多学科也有重大的促进作用,甚至是有些学科的发端. 相似文献
11.
胡塞尔反心理主义逻辑观的溃退具有必然性,一是由于其理论自身存在困难,例如他一方面试图摆脱主观唯心主义的束缚,另一方面却不自觉地以主观唯心主义的态度宣扬客观唯心主义理念论;他孤立地认识并且严格地划分了本质领域与经验领域、理念领域与事实领域以及绝对性与相对性等概念;他对怀疑主义的态度也有待商榷.二是由现代逻辑的发展需求所决定.随着哥德尔的不完全性定理、维特根斯坦的语言游戏说和乔姆斯基的心理主义语言学的出现,人工语言和形式系统的局限性日益显露,重返自然语言成为逻辑学的必然趋势. 相似文献
12.
13.
从芝诺悖论和哥德尔不完备性定理出发,在讨论牛顿经典力学公理化体系特点的基础上,比较详细地分析了相对论、量子力学、粒子物理标准模型、大统一理论和超弦理论等现代物理学的内在逻辑问题,并指出了科学发展的内在动力和发展趋势。 相似文献
14.
15.
为消解传统哲学问题,维特根斯坦对心灵与行为的相关问题做了专门论述。他在批评经验主义理论和叔本华哲学理论的基础上,在生活形式的背景下阐明了对该问题的基本看法。他一反视意欲为行动内在动因的传统观点,提出了意欲就是行动的全新看法。维特根斯坦意图再次告诉人们的是,要在生活形式中、在语言游戏中去理解和使用意欲和意图等概念。 相似文献
16.
王先峰 《山西大学师范学院学报》2006,5(3):31-32
维特根斯坦在其前后期哲学中提出了两种迥异的语义理论,前期他把哲学看做通过分析语言来澄清思想的活动,认为哲学最根本的是逻辑,而不是形而上学.后期他注重使用日常语言,强调语言的不同用法和语言的约定性质,把语言看做是人们的一种言语行为,在言语行为中寻求语言的意义.维特根斯坦哲学实现了哲学从认识论向语言的转向,开辟了现代西方哲学前进的道路. 相似文献
17.
《科学技术哲学研究》2017,(6)
哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑可以通过三个方面得到消除:首先,哥德尔只能"发现"而塔斯基却能给出严格的形式证明,原因在于塔斯基提出了严格的真之定义理论。其次,这个理论同样对哥德尔的工作具有重要意义,它提供的T-语句和T-约定使得哥德尔定理的证明不必再回避使用真概念,使得语义证明成为可能。最后,塔斯基的真之定义理论还可以导出一系列不可定义性的推论,即"广义的塔斯基定理"。这些推论超出了哥德尔的发现,对于真之问题的研究有着极为重要的哲学意义。 相似文献
18.
樊岳红 《科学技术哲学研究》2018,(1)
学界一般认为,维特根斯坦的数学哲学观有前期、中期和后期之分。在1928年之前,数学的强证实观点是维特根斯坦的早期观点;从1929年至1933年是维特根斯坦中期思想时期,1934年至1944年基本上是其后期思想时期。目前,学界关于维特根斯坦中期数学哲学观的阐发尚较鲜见。那么,作为其前期与后期数学哲学思想转变的纽带,维特根斯坦的中期数学哲学思想究竟是怎么样的呢?本着这一目的,文章着力分析和阐述了维特根斯坦中期数学哲学的主要思想。 相似文献
19.