20世纪的逻辑哲学与数学哲学

合集下载

世界公认十大哲学家排名

世界公认十大哲学家排名

世界公认十大哲学家排名**世界公认十大哲学家排名**哲学是一门追寻真理、思考存在与意义的学科,其历史悠久而丰富。

在漫长的哲学发展史上,涌现出了许多杰出的哲学家,他们通过深刻的思考和独到的见解,为人类思想的发展作出了巨大的贡献。

以下是世界公认的十大哲学家,他们的思想影响深远,至今仍然为人们所推崇。

1. **苏格拉底(Socrates)**:古希腊哲学的奠基人之一,他以提出问题和对话的方式,引导人们思考道德、伦理和人生的意义。

苏格拉底的思想在柏拉图和亚里士多德等后来的哲学家中产生了深远的影响。

2. **柏拉图(Plato)**:古希腊哲学家,是苏格拉底的学生。

他通过对话形式的哲学著作,提出了理念的概念,并建立了著名的理念学派。

柏拉图的《理想国》和《饭店》等作品被认为是西方哲学的经典之一。

3. **亚里士多德(Aristotle)**:古希腊哲学家,是柏拉图的学生,也是亚历山大大帝的老师。

他对逻辑学、形而上学、伦理学等领域进行了深入的研究,成为西方哲学史上最重要的思想家之一。

4. **庄子(Zhuangzi)**:中国战国时期道家哲学家,是道家思想的代表人物之一。

庄子的思想注重自由、无为而治等概念,对后来的道家、佛家产生了深远的影响。

5. **庄子(Zeno of Citium)**:古希腊斯多嘉学派创立者,提出“理性控制情感”、“无动于衷”等观念。

斯多嘉学派的理念对罗马时代的斯多嘉主义哲学和后来的基督教思想都有深远的影响。

6. **笛卡尔(René Desca rtes)**:17世纪法国哲学家,是现代哲学的奠基人之一。

他提出了“我思故我在”的理论,强调怀疑和思辨的重要性,对后来的启蒙时代产生了深远的影响。

7. **康德(Immanuel Kant)**:18世纪德国哲学家,是德国启蒙时代的代表人物之一。

他的“纯粹理性批判”和“实践理性批判”等著作对现象与 noumenon、道德哲学等领域进行了深刻的探讨,对后来的哲学发展产生了深远的影响。

数学中的哲学思想

数学中的哲学思想

数学与哲学何晓川材料学院材料1005班 201065041摘要:本文首先介绍了数学与哲学的本源关系,然后讲述了数学与哲学在东西方发展进程中的表现,以及数学的三大危机,接下来介绍了数学与哲学研究所面临的六大问题,最后形象化总结数学与哲学的关系。

一:数学与哲学现代的数学家大都很少关心哲学文题,甚至对基础问题一般都不闻不问。

从二十世纪三十年代之后,数理逻辑成为一门极为专门的学科,象几何、拓扑、分析、代数、数论一样,成为专家研究的对象,外行简直难于理解。

任何一门学问,必然是反映着哲学的探索与诉求,数学作为一种同经验无关的人类思维的结晶,更需要哲学的支撑。

哲学是人类认识世界的先导,哲学关心的首先是科学的未知领域,哲学倾听着科学的发现,准备提出新的问题。

哲学,从某种意义上说,是自然学科的望远镜,数学就产生在哲学已探索的未知领域。

数学本身源于自然哲学,虽然在历史的进程中,数学学科逐渐从哲学中分离出来,但是数学基础仍带有浓厚的哲学味道。

柏拉图有句名言:“没有数学就没有真正的智慧。

”智慧是被运用于生活中的哲学,是哲学的生活化、实际化。

历史上,许多著名的学者,如英国的罗素、德国的数学家康托尔,正是踏着数学的阶梯步入哲学堂奥的。

二:数学与哲学在东西方的表现哲学与数学在东西方世界的表现有着不同。

西方哲学与数学有着密切的关系。

追溯起来,数学与哲学自西方哲学诞生之日起就结下了不解之缘。

西方第一位哲学家泰勒斯是数学家;著名数学家毕达哥拉斯在对数学的深入研究上得出了“万物皆数”的著名哲学命题;大哲学家柏拉图相信数是一种独特的客观存在,由此产生了数学上的“柏拉图主义”……进入20世纪,围绕着数学基础研究所产生的三大流派更是把两者的关系推向了高峰。

在古希腊罗马时期,哲学尚未与其他的学科明确分开,许多哲学家本身就是自然数学家,哲学与数学是一个学科,无疑他们是联系在一起的。

这个时期的哲学家探讨的主要是自然哲学和本体论的问题,为了搞清客观世界及其原因和规律究竟是什么,人们创造了数学方法、辩证法和逻辑,这是西方理性思维的萌芽时期。

罗素悖论的哲学意义

罗素悖论的哲学意义

罗素悖论的哲学意义摘要:一、罗素悖论的概述二、罗素悖论在哲学中的意义1.逻辑自洽性问题2.语言哲学与意义理论3.知识论与怀疑主义三、罗素悖论对现实生活的启示四、总结正文:罗素悖论是20世纪初逻辑学家伯特兰·罗素提出的一个哲学悖论,它揭示了逻辑系统内部的矛盾。

罗素悖论的核心内容可以概括为:“所有不涉及自身的命题都是真的,而涉及自身的命题都是假的。

”这样一个看似简单的命题,却在哲学、逻辑学和数学等领域产生了深远的影响。

罗素悖论的哲学意义主要体现在以下几个方面:1.逻辑自洽性问题:罗素悖论揭示了逻辑系统中可能存在的矛盾。

它使人们意识到,一个完整的逻辑体系必须保证自身的自洽性,否则就会陷入悖论。

这对于逻辑学的发展具有重要的启示作用,促使逻辑学家们不断寻求更为严谨的逻辑体系。

2.语言哲学与意义理论:罗素悖论引发了关于语言哲学和意义理论的讨论。

悖论的出现说明,语言和概念本身可能包含着矛盾。

因此,哲学家们开始关注语言的本质、意义的来源以及概念的构成等问题,试图找到解决悖论的方法。

3.知识论与怀疑主义:罗素悖论对知识论领域产生了重要影响。

它揭示了人类知识的局限性,使得怀疑主义思潮在哲学领域崛起。

悖论提醒我们,人类认识世界的过程中可能存在永远无法解决的矛盾,这使得知识的确定性成为了一个备受争议的问题。

在现实生活中,罗素悖论也给人们带来了启示。

它使我们认识到,在面对复杂问题时,应保持谦逊和谨慎的态度,意识到自己的认知界限。

同时,罗素悖论也强调了逻辑思维的重要性,只有遵循严谨的逻辑推理,才能避免陷入错误的结论。

总之,罗素悖论作为一个哲学悖论,不仅揭示了逻辑体系内部的矛盾,还对哲学、语言学和知识论等领域产生了深远的影响。

罗素名言名句

罗素名言名句

罗素名言名句罗素(Bertrand Russell)是20世纪著名的数学家、哲学家、逻辑学家和社会评论家。

他被公认为是逻辑学和分析哲学的奠基人之一,并为现代数学逻辑的发展作出了重大贡献。

罗素不仅在学术界享有盛誉,还因为他对战争、政治和道德问题的积极参与而成为一位广为人知的公共知识分子。

以下是一些罗素的名言名句,以及对其背后的思考和影响。

1. "不断的问为什么,是知识的源泉。

"这句话展示了罗素一贯的思考方式。

他相信通过不断的提问和探索,人们可以深入了解问题的本质,并赢得新的知识。

这也是他研究逻辑和哲学的基本方法。

2. "数学是科学的王后,哲学是科学的女王。

"罗素将数学视为科学的基石,认为它提供了一种严密、精确的思维方式。

而哲学则负责解决那些数学无法回答的问题,是一种更加综合和广泛的思考方法。

3. "智者不断怀疑,愚者永不怀疑。

"这句名言强调了怀疑的重要性。

罗素认为,只有保持怀疑的心态,才能保持思考的活力并求知。

相反,固守成见的人往往错失了探索新知的机会。

4. "道德无法由事实推导出来。

"罗素对道德的看法是人们争议最多的一个方面。

他认为道德判断不能仅仅基于客观的事实,而可能涉及主观的情感和价值观。

这个观点对于后来的伦理学和道德哲学产生了重要影响。

5. "战争解决不了问题,只能制造更多问题。

"罗素是一位坚定的和平主义者,对战争的破坏性做出了尖锐的批评。

他认为战争只会导致更多的冲突和矛盾,而解决问题的途径是通过和平、合作和理性的对话。

6. "智慧是在热爱中诞生的。

"这句话展示了罗素对生活的积极态度和对人类情感的重视。

他相信智慧和知识的培养与热爱和激情密不可分。

只有对事物和生命的热爱,才会推动人们不断追求智慧和真理。

7. "自由是为了那些想要给别人提供不同观点的人而设立的。

" 罗素坚信言论自由是一个自由和民主社会的基础。

罗素的分析哲学

罗素的分析哲学

罗素的分析哲学罗素(Bertrand Russell)是20世纪最重要的哲学家之一,他对分析哲学的发展做出了巨大贡献。

分析哲学是一种哲学方法,强调通过逻辑分析和语言分析来解决哲学问题。

本文将介绍罗素的分析哲学思想,并探讨其对哲学领域的影响。

一、逻辑原子主义罗素是逻辑原子主义的倡导者之一。

逻辑原子主义认为,语言和思维可以通过逻辑原子的组合来解释。

逻辑原子是最基本的概念,不能再分解。

通过逻辑原子的组合,可以构建出复杂的概念和命题。

罗素认为,通过逻辑原子主义可以解决哲学中的一些难题,如语言的意义和真理的问题。

二、逻辑与数学的关系罗素认为,逻辑和数学是密切相关的。

他通过逻辑的研究,发展了数理逻辑,并提出了著名的罗素悖论。

罗素悖论是一个自指的命题,它引发了对集合论的深入思考。

罗素通过逻辑的分析,揭示了数学的基本原理和结构,对数学的发展产生了重要影响。

三、分析哲学与科学罗素认为,分析哲学与科学是紧密相关的。

他强调科学方法的重要性,认为通过科学方法可以解决哲学问题。

罗素的分析哲学对科学哲学的发展产生了深远影响,推动了科学哲学的兴起。

四、逻辑与语言罗素认为,逻辑和语言是密不可分的。

他通过逻辑分析语言的结构和意义,提出了逻辑语义学的概念。

逻辑语义学研究语言的意义和真理条件,对语言学和哲学的发展产生了重要影响。

五、道德哲学罗素对道德哲学也做出了重要贡献。

他提出了一种基于理性的道德观,认为道德是基于人类的理性和共同利益的。

罗素的道德观对伦理学的发展产生了重要影响。

六、对哲学的影响罗素的分析哲学对哲学领域产生了深远影响。

他通过逻辑分析和语言分析,解决了哲学中的一些难题,推动了哲学的发展。

罗素的思想对逻辑学、语言学、科学哲学和伦理学等领域产生了重要影响。

总结:罗素的分析哲学是20世纪最重要的哲学思潮之一。

他通过逻辑分析和语言分析,解决了哲学中的一些难题,推动了哲学的发展。

罗素的思想对逻辑学、语言学、科学哲学和伦理学等领域产生了重要影响。

西方逻辑的发展历程

西方逻辑的发展历程

西方逻辑的发展历程西方逻辑的发展历程可以追溯到古希腊时期。

在公元前5世纪,古希腊哲学家希波克拉底和柏拉图提出了一种基于推理和论证的方法,这被认为是西方逻辑的起源。

然而,正式的逻辑研究直到公元前4世纪的亚里士多德出现后才得到了深入发展。

亚里士多德是西方逻辑发展的关键人物,他将逻辑作为一门科学进行了系统的研究和分类。

他提出了三大逻辑法则:识别法则(A是A),排中律(要么是A,要么是非A),以及矛盾律(不可能同时是A和非A)。

这些逻辑法则成为后来逻辑研究的基础。

在中世纪,基督教哲学家们通过将亚里士多德的逻辑与宗教信仰相结合,发展出了所谓的“斯堪的纳维亚逻辑学派”。

这个学派的代表人物是丘恩(Anselm)和亚伯罕逊(Abelard),他们对逻辑进行了进一步的探索和应用。

然而,逻辑研究在16世纪经历了一次重大变革。

在哲学家埃拉斯谟(Erasmus)和经院哲学家定义之争中,新思想家们开始质疑传统的逻辑观点,并提出了一些新的逻辑概念。

其中最重要的是英国哲学家培根(Francis Bacon)提出的“归纳推理”和法国数学家笛卡尔(René Descartes)提出的“演绎推理”。

18世纪启蒙时代是西方逻辑发展的关键时期。

启蒙思想家们强调理性和科学的重要性,推动了逻辑研究的进一步发展。

其中最具影响力的是德国哲学家康德(Immanuel Kant)和英国哲学家休谟(David Hume)。

康德发展并系统化了亚里士多德的逻辑,提出了一种创造性的逻辑方法,强调主观经验对于推理的重要性。

休谟则对经验主义和归纳推理进行了深入研究,对逻辑的发展产生了重要影响。

20世纪以来,逻辑研究进一步扩展和深化。

逻辑学家们提出了形式逻辑、模态逻辑、模糊逻辑、模型论和计算机逻辑等新理论和方法。

这些发展使得逻辑不仅成为一门哲学和数学学科,而且在社会科学、认知科学和人工智能等领域也得到了广泛应用。

有关数学与哲学的书籍

有关数学与哲学的书籍

有关数学与哲学的书籍数学与哲学是两个看似截然不同的学科,一个涉及到数字和计算,另一个则涉及到思考和理解。

然而,在深入探索这两个学科之后,我们会发现它们之间存在着紧密的联系和相互影响。

本文将介绍几本涉及数学与哲学的书籍,探索它们之间的奇妙关系。

《数学哲学》这本由伯特兰·罗素(Bertrand Russell)撰写的经典著作探讨了数学和哲学之间的交叉点。

罗素是20世纪最重要的哲学家之一,他在这本书中探讨了数学的基本原理和哲学的基本问题。

他讨论了数学的本质、证明的可靠性以及数学与逻辑之间的关系。

这本书不仅对数学家和哲学家有着重要的影响,也对广大读者提供了对数学和哲学的深入理解。

《数学的哲学:无穷与宇宙》这本由约瑟夫·马鲁茨(Joseph Mazur)撰写的书籍将数学的基本概念与哲学的思考相结合。

作者通过讲述数学的发展历程,探讨了数学中的一些哲学问题,如无穷的概念、数学的创造性和现实世界中数学的应用。

他引用了一些历史事件和数学理论来解释数学与哲学之间的关系,使读者更好地理解这两个学科的相互影响。

《哥德尔、艾舍尔、巴赫:集异璧之大成》这本由道格拉斯·霍夫斯塔特(Douglas Hofstadter)撰写的经典作品将数学、艺术和音乐与哲学相结合。

作者通过讲述哥德尔不完备定理、艾舍尔的艺术作品和巴赫的音乐,展示了这些领域中的概念和思想如何相互交织。

这本书不仅探讨了数学的基本原理和思想,同时也引发了对人类思维、创造力和意识的深入思考。

《数学之美》这本由吴军撰写的畅销书揭示了数学在科学和工程中的重要性,并探讨了数学的美妙之处。

作者通过讲述数学在计算机科学、互联网和人工智能领域的应用,向读者展示了数学的普适性和强大性。

他还讨论了数学与哲学之间的关系,提出了一些哲学问题,如数学的真实性和数学与现实世界之间的联系。

《数学与现实世界》这本由马克·库尼奇(Mark Kac)和斯坦利·乔丹(Stanley Jordan)合著的书籍探讨了数学与现实世界之间的联系。

西方逻辑的发展历程

西方逻辑的发展历程

西方逻辑的发展历程西方逻辑的发展历程可以追溯到古希腊时期的哲学家们对于思维和理性的研究。

在此基础上,逻辑学作为一门独立的学科逐渐发展起来,并在中世纪和现代得到了进一步的发展和完善。

古希腊哲学家亚里士多德可谓是逻辑学的奠基人。

公元前4世纪,他在著作《逻辑学》中系统地阐述了命题和分类逻辑。

亚里士多德的逻辑发展了对命题的分析和推断的研究方法。

他提出了逻辑演绎的基本原则,如非此即彼和排中律,并建立了命题逻辑的框架。

在中世纪的基督教学府,哲学家们将逻辑与神学相结合。

其中,13世纪的托马斯·阿奎那斯提出了重要的思维方法和推理规则,为逻辑学的发展奠定了基础。

他在著作《托马斯哲学》中提出了包括灵魂、形式、实在和存在在内的术语,为后来的哲学家们提供了研究逻辑的范畴和工具。

到了17世纪,欧洲科学和哲学的发展促进了逻辑学的进一步完善和发展。

英国哲学家弗朗西斯·培根提出了“归纳法则”的概念,强调通过实证研究和集体数据来推导普遍规律。

这一概念对于科学方法论和实证思维的发展具有重要影响。

18世纪的启蒙运动时期,逻辑学得到了深入的研究和扩展。

德国哲学家康德构建了形式逻辑学的体系,强调了推理规则的普遍性和适用性。

他的著作《纯粹理性批判》提出了逻辑学作为一门学科的地位,并且将其与其他哲学学科联系起来。

到了19世纪,数学的发展对逻辑学的深入研究起到了重要推动作用。

英国哲学家伯特兰·罗素和阿尔弗雷德·诺尔白特在20世纪初提出了逻辑数学的概念,在对命题和谓词逻辑进行形式化建模的基础上,为逻辑学的发展开辟了新的领域。

到了20世纪,逻辑学成为了一门综合了数学、哲学和计算机科学的学科。

逻辑学家们开始研究推理和论证在计算机科学和人工智能中的应用,并且提出了模型论、证明论和形式语义等新的逻辑理论。

总的来说,西方逻辑学的发展历程经历了从古希腊到现代的演变过程,包括亚里士多德的分类逻辑、托马斯·阿奎那斯的思维方法、培根的归纳法则、康德的形式逻辑学、罗素和诺尔白特的逻辑数学等里程碑式的贡献。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
程 序 的逻辑 同样 在科 学进 步 中发挥着 重要 作用 ,因为证 据 和假说 之 间的关 系对 于科 学 的进步 是一 个 根本 性 的问题 ,而这又 可看作 是前 提 和结论 之 间 的关 系— —一 种逻 辑 的核 心关 系 。从 这种 意义 上 说 ,逻辑 作为 整个 科学 事业 的基础 也 是毋庸 置 疑 的。
作, 他们彼此阅读各 自的著作 ,出席对方的会议 ,讨论相互之 间的问题。富有意义的是 ,在 2 O 世纪 ,逻辑和数学 的主要人物——弗雷格 、罗素 、维特根斯坦 、布劳维尔、庞加莱 、希尔伯特 、
哥德 尔 、塔斯 基 、卡 尔纳普 和 奎 因— — 所有 的 都从 逻辑 或者 数学 转到 哲学 。 逻 辑 生长 于哲 学 的怀抱 ,哲学 抚育 了逻 辑 ,逻辑 又 反哺 于哲 学 。逻辑 给哲 学带 来 了精湛 的分 析 技术 和 丰 富有效 的思 想 资源 ,逻辑 几 乎影 响 了整个 语 言哲 学 的风格 ,逻 辑提 供 了各种 形而 上 学 发 展 的基 本框 架 、逻辑 也 为元 伦理 学 和心智 哲 学提供 了方法论 指 南 。另一 方 面 ,逻 辑也 受哲 学 的 制 约 ,逻辑 依 赖 于哲学 的基 本 预设 ,经 典逻 辑 和各种 非 经典 系统 都有 深刻 的形 而上 学背 景 。 对 数 学而 言 ,通过 接受 一 种 数 学 哲 学 ,数 学 家 们 从 而 获 得 了 一种 类 似 于 价 值 系 统 之类 的东 西 :研 究 工作 的取 向 ,关 于数 学 的作用 和价 值 的判 断 ,关 于数学 的发 展方 向 的引导 ,何 种 问题 是
特根斯 坦、弗雷格 、胡塞 尔、皮 尔斯 、罗素和怀特 海等一流哲学家 ,以及外 尔、彭加 勒、哥德 尔、希 尔伯特 、布 劳维 尔、策梅 洛和塔斯基 等杰 出数学 家。然而 ,这一史诗般 的时代并没 有持续 多久,关于 数学基 础的争论很 快结束 了。经历 了多产的 3 0— 4 0年 代之后 ,逻辑 学家、数学 家和哲 学家似乎 对先 前的哲学争论失去 了兴趣 ,至 少他们不再热衰 于 2 0世界前 半叶 “ 大主 义” 的那种数 学、逻辑 的哲学


逻 辑 、数 学 与哲 学
2 O世纪 ,逻 辑 和数学 在人 类 的知识 探 索 活 动 中 占据 着基 础 和 核 心 的 地位 ,发挥 着 独 特 而 重 要 的作用 。数 学是 我们 知识 获求 中最 核心 的部 分 ,几乎 在所 有科 学探 索领 域 中它都 扮演着 重要 的 角 色 ,几 乎 所有 的 自然科学 和社 会科 学都 实质 性地 预设 了数 学知 识 。与此 同时 ,作 为纯 理智 反思
重要的,何种问题应当被提 出,何种方法论是合理的,等等。另一方面 ,当代数学也为哲学提供 了丰富的数学形而上学 、本体论、认识论、语 义学和逻辑方法论的内容。数学这颗科学的皇冠因
数 学哲 学 而变 得更 为璀 璨 。 在 当代 ,越来 越 多 的哲 学 研究 生教 育不 仅 仅开 始于 柏拉 图和 亚里 士 多德著 作 的阅读 ,而 且 也 开始 于命 题和 谓词 演算 以及 数 学和 数学 哲学 的基本 训 练 。早 先 学生 们 阐释 真理 概 念 的精微 玄 妙 , 现在则 受训 于塔 斯 基式 的真理 概 念 的公 理 化 熏 陶 。专 题 讨 论 会 和 会话 被 真值 表 和 语 言 的 逻 辑 分
广 东社会科 学
2 0 1 5年 第 ห้องสมุดไป่ตู้期
2 O世 纪 的逻 辑 哲学 与数 学 哲 学
朱建 平
[ 提 要 ]2 0 世纪前半叶是逻辑哲学和数学哲学的金 色年代。它始于哲学家罗素证明基本的数学理
论是 不一致 的,这 导致数 学基础 的危机 和关于数 学性 质的激烈争辩。卷入这场争论 的涉及 蓝姆塞 、维
从 逻辑 与数 学 的关 系看 ,数学 是一 门典 型 的演绎科 学 ,因而属 于逻辑 的范 围 ;而 逻辑是 数学
基础 的一部 分 ,逻辑 反 映 了数 学 的演 绎 实践 ,逻 辑 被 数 学所 塑 造 ,因而 逻 辑 又 属 于 一 门 数 学学
科 ,我们 如何 看待 数学 和如何 看待 逻辑 这两 个 问题是 相互 交织 在一 起 的 。 逻辑 和数 学作 为特 定类 型知识 的典范 ,作 为哲 学 反思 的对 象 ,又 与哲 学 密 切 地联 系 在 一起 , 产 生 出独 具特 色 的逻辑一 数 学哲 学 问题 。与其 他 的科 学 分支不 同 ,数学 是关 于诸 如数 、集 合 和 函 数等 数学 实体 ,以及 它们 的结构 关 系的研 究 。逻辑 是关 于命题 和 真 的理论 ,数学 和 逻辑 的对象 都
争论。然而 ,逻辑哲学和数学哲学仍在发展 ,新的 问题很快 叉进入 了当代哲 学争论 的视野 。
[ 关键 词 ]逻辑哲学 数学哲学 哲学 [ 中图分 类号 ]B 8 9[ 文 献标 识码 ]A [ 文 章编 号 ]1 0 0 0 — 1 1 4 X( 2 0 1 5 )0 2— 0 0 4 4— 0 9
是抽象的,尤其是数学对象 ,它们不占据时空位置 ,不具有因果作用 。更进一步地说 ,数学和逻
辑 似 乎是 通过 演绎 证 明 的先 验方 式 运作 的 ,其 他科 学 似乎 是 通 过 实验 和 归 纳 的后 验 方 法 运作 的 。 与科学 其余 分 支 的知识 是可 错 的相 比 ,数学 和 逻辑 的知 识几 乎是 不可 错 的。一 旦一 个逻 辑一 数学 定 理 被证 明 了 ,它 似 乎就永 远 被证 明 了 。它 们 没有 经验 事实 ,也 不像 物理 学 家那样 进行 实验 和制 定 假说 。数学 家创 造语 言 ,而 物理 学家 使用 数 学语 言描 述他们 的假设 ,以及 以数学 为工 具探 讨 它 们 的逻辑 后承 。但 是最 终 的物 理理 论必 须假 定 被经 验事 实所 支持 。 2 0世 纪 ,逻 辑 、数学 与哲 学 的联 系 异 常 紧密 。逻 辑学 家 、数 学 家 和哲 学 家 经 常 肩并 肩 地工
相关文档
最新文档