共查询到10条相似文献,搜索用时 109 毫秒
1.
本文选自王浩最后一本著作A Logical Journey——From Godel to Philosophyr(cambridge:The MIT Press,996)的引言部分,有删节,题目为译者所加。众所周知,虽然Solomon Feferman等人编辑的哥德尔《文集》已经出版了4卷,但哥德尔大量的思想,尤其是哲学思想,至今还隐藏在书信和私人谈话中。王浩这本书的一个目的是整理他在70年代与哥德尔的谈话,连贯一致地报道和解释哥德尔的哲学观点;另一个目的是利用这些材料阐述王浩自己的哲学信念。书中内容包括哥德尔的生平与思想发展,他对上帝和来生的玄思,他与王浩谈话的背景与内容,他对于不同的哲学和哲学家的议论,他证明心比脑和计算机优越的企图,他关于哲学作为精确科学的设想,他对数学中的柏拉图主义的论证和建立公理形而上学的尝试,以及他试图发展一种作为概念论的大逻辑的理想。这里节译的“引言”部分,是全书概要,一方面简述了上面这些内容的要点(当然有些要点在这里未能、也无须充分展开),另一方面在作者所构想的哲学框架内,对哥德尔表面上零散的思想做了梳理和评价,说明它们既与西方哲学主干密切衔接,又远超时代潮流。虽然哥德尔的宏大规划并未完成,但其方法的新颖与内容的深刻,无疑为当代哲学留下了一笔丰厚的遗产。最后,王浩谈了他自己对于哲学、数学和逻辑之间的关系的理解,并借助清晰性和确定性标准,试图为不同的数学和哲学建立了一种由弱到强的谱系,使得我们在解释上能够消泯其中的抵牾,达成一种“公意”的统一。王浩建议,我们应该用这种方法来理解和接受哥德尔哲学的深浅不同的部分。 相似文献
2.
高坤 《科学.经济.社会》2021,39(2):49-56
哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响.当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现.很多人认为,这将有力地支持数学实在论.但更深入的分析表明,哥德尔纲领的真正基础是集合的迭代概念,而非实在论;并且,集合的迭代概念以及践行哥德尔纲领所使用的外在的公理辩护方法,实际上与实在论的立场有潜在的冲突,反倒与反实在论的图景更为契合. 相似文献
3.
何浩平 《科学.经济.社会》2014,(1):19-25
本文试图证明胡塞尔的现象学哲学对二十世纪至今的数学哲学发展产生了重要的影响。首先,我简要介绍了胡塞尔生前与其他数学家和数学哲学家的互动。接着,我重点论述了胡塞尔现象学对直觉主义数学哲学家威尔以及数学实在论者哥德尔的影响。以此,我希望表明,不仅胡塞尔哲学对数学哲学发展有着重大影响,并且在当前,胡塞尔的数学哲学思想还是鲜活的。 相似文献
4.
黄秦安 《科学技术与辩证法》2010,(6):22-25
在形式主义学派数学哲学基本主张中,元叙事、基础主义和绝对主义构成了其现代性的思想特质。哥德尔不完全性定理表明,形式化证明对于论证数学真理是不充分的,这构成了拒绝形式主义的主要理由。伴随着基础主义思想的衰落,形式主义的整体数学观走到了其历史发展的终点。 相似文献
5.
6.
刘晓力 《大科技.科学之谜》2001,(8):1-1
1931年,25岁的奥地利数学家哥德尔向世人郑重宣布:数学永远不可能是逻辑上完美无缺的,在它的内部存在着无法解除的悖论,因此。要想创立一个完全的、相容的数学体系是不可能的梦想。 相似文献
7.
8.
9.
杨英锐 《科学.经济.社会》2022,(3):97-124
本文旨在讨论语言和语言行为,并遵循三条脉络。第一条脉络是布尔巴基学派结构主义,其中引入了语言,特别是科学语言中的句法/语义双腿结构,涵盖了逻辑学、决策论、博弈论、集合论和规范场论;介绍了哥德尔和塔斯基双子定理中创造的各种精细形式结构和元数学结构。在对语言游戏的考察中,引入了规范场论等八种不同的数学结构。对本文所涉及的数学结构和物理学模型,都做了详细的说明,以提高可读性。第二条脉络是应用理论物理对语言和语言行为模型化。其一,我们发现了语言的全局性和语言行为的局域性,从而建立了两者统一的规范场论模型。其二,在假设语言无内容性的条件下,我们对语言和语言行为分别做了几何锥化处理,从而建立了语言与语言行为的狭义相对论模型。其三,发现了语言行为的非对易关系,语言游戏的波函数本质,以及对语言行为公共观测的狄拉克结构。在此基础上,引入了语言和语言行为的量子化模型。其四,引入了语言优势的概念作为稀缺资源,关注了语言社会的不平等现象,从而将语言社会做了弯曲化处理。在语言游戏中引入竞争机制和帕累托效率,进而定义了弯曲语言社会的曲率和引力。于是,引入黎曼几何中的局域标架与联络成为题中应有之义。这是语言社会的广... 相似文献
10.
克里普克对规则遵循悖论及其相关问题的解读引起广泛争议.文章结合塞尔的意向性理论来分析克里普克解读中谈到的意向性问题,并且尝试运用哥德尔对数学中语言约定论的批判思想来解读克里普克的阐释,进而对克里普克以加法例子入手来理解规则与行动的关系、语言表达和意义的关系的合理性提出质疑.最后表明,规则遵循问题需要被置于具体的动态的语境中进行深入分析. 相似文献