自然科学中的哲学问题-以数学哲学和物理学哲学为例.ppt
《自然科学中的哲学问题-以数学哲学和物理学哲学为例.ppt》由会员分享,可在线阅读,更多相关《自然科学中的哲学问题-以数学哲学和物理学哲学为例.ppt(25页珍藏版)》请在三一办公上搜索。
1、第二讲、自然科学中的哲学问题以数学哲学和物理学哲学为例,一、数学哲学,数学与各门自然科学哲学是“科学技术哲学”最基本的内容。它们主要是从具体学科的研究规范与学术前沿出发,提出新的哲学问题,或者是对古老而传统的哲学问题进行新的阐述与解读。,(一)数学哲学的根本任务,数学哲学的根本任务是在数学的基础上对数学本质作出的哲学反思,即数学知识本身对自然世界、社会、人类认识的重要意义,它是一种自内而外的哲学反思过程。第一、数学本体论问题 第二、数学语义学问题 第三、数学知识论问题,(二)数学本质的三个传统观点,数学知识是先验的还是后验的?20世纪初期三大基础学派即:逻辑主义、直觉主义和形式主义。三大学派共
2、同捍卫的一个前提是:主张数学知识的绝对可靠性,认为数学知识是确定的真理,并追求对数学概念、数学证明和数学定理的绝对严格性。,第一、逻辑主义的策略,是通过把数学还原为逻辑,用逻辑的语言来刻画数学概念、数学证明和数学定理,按照这种规划,数学真理就成为逻辑真理,逻辑真理是必然的,从而数学真理也是必然和确定的。逻辑主义者认为他们已经做的工作不仅仅是把现存的数学公理化而已,他们相信自己没有使用任何逻辑之外的假定,就从纯粹逻辑导出了全部数学,从而证明了数学全部是分析的。,第二、直觉主义的策略,主张只有构造的才是存在的,否定数学中的实无穷,只承认潜无穷。它可以归结为:一个关于无限结构比如由0和1组成的无限序
3、列的陈述如果得到证明,便可视为真,如被反驳,则为假,但在所有其他场合,则非真非假。由于这结构并不被认为是明确定义的,因此一个关于它的陈述,仅当它对于一个大得多的结构类被证明了,才能被证明。,第三、形式主义的策略,主张数学是一种符号游戏,把非形式数学转化成形式数学,然后证明这个形式体系的一致性,从而保证数学真理的绝对确定性。希尔伯特建议的两条最基本原则:形式主义原则所有符号完全看做没有意义及内容。有限主义原则总能在有限机械步骤之内检证形式理论之内一串公式是否一个证明。,(三)数学实在论与反实在论,围绕数学的本体论问题和语义学问题,当代数学哲学界出现了两种不同的、相互对立的解释策略,这就是著名的数
4、学实在论和数学反实在论,它们构成了当代数学哲学的两大阵营。,第一、从本体论的角度来看,“本体论实在论”(也称“柏拉图主义”)认为,数学对象存在,并且客观地存在着,独立于数学家的心智、语言、约定、构造和数学家共同体,它们是抽象的、不可观察的、在在时空中的、永恒的、不可改变的、因果内在的。“本体论的反实在论”认为,数学对象根本不存在,数学没有对象;或者即使数学对象存在,它们的存在也依赖于数学家。前一种观点是强的本体论反实在论,“唯名论”是典型代表;后一处观点是弱的本体论反实在论,其典型代表是直觉主义。,第二、从语义学的角度来看,数学真值实在论者认为,数学陈述具有真值,这些真值具有独立于数学家的心智
5、、语言、约定以及数学家共同体的客观性。数学真值反实在论者认为,数学陈述的真值依赖于数学家。,(四)实验数学革命,所谓实验数学,简言之就是以计算机为工具,通过大量的个例归纳、搜寻和检验来获取数学结论的一种新的数学分支。它不再像传统演绎数学那样通过逐步的逻辑演绎的办法来研究数学。计算机已经酝酿出了进行数学研究的一种全新手段计算机实验。,计算机归纳(计算机推测),以计算机中的数学客体为对象,根据已知的东西想象未知的东西,同时给出一个猜测性的结论。演绎数学的传统是始于对案例的实验、推测,归纳、推测作为一种研究方法在以往始终没有引起人们的反对,就是因为在每一个推测之后,紧接着有一个严格的证明,若没有这严
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 自然科学 中的 哲学 问题 数学 物理学
链接地址:https://www.31ppt.com/p-6057198.html