内容简介
数学被誉为自然科学桂冠上耀眼的明珠,然而,数学研究的对象如无穷、拓扑空间、函数空间等在物理世界中并没有对应的实例,现代物理学呈现给人们的那个有限的、离散的世界,与数学研究对象之间存在着难以弥合的歧裂。如果脱离物理世界,数学世界的客观性就变得可疑。也许有人就认为数学不是对客观世界的描述,但以现代数学为基础的自然科学在现实世界中能够解决问题,并取得了巨大的成就,这又使得数学本身变得异常神秘。上述问题的驱动,催生了这看似高深莫测的数学哲学。
19世纪末20世纪初,在现代数学产生初期,关于数学本身的根基问题困扰了当时出色的数学家,如庞加莱、希尔伯特、布劳威尔、赫尔曼·威尔、冯·诺伊曼等。这些学者的思考拉开了数学哲学的序幕,百年来,数学基础的问题虽然逐渐淡出了人们的视线,但并未得到很好的解决。《二十世纪数学哲学:一个自然主义者的评述》从自然主义的立场介绍、分析和评述了20世纪主要的数学哲学思想。第一章是当代数学哲学的导论,作者简要地介绍了各种数学哲学思想的要点。第二章介绍r自然主义的基本观念及一种彻底的自然主义的数学哲学。从第三章开始,作者用大量篇幅介绍了20世纪几种丰要的数学哲学思想,并从自然主义的角度对它们作出分析和批评。
作者简介
叶峰,厦门大学数学学士,中国科学院数学所研究生毕业,美国普林斯顿大学哲学博士(2000~),现任北京大学哲学系副教授。主要研究领域为数学哲学、心灵与认知科学哲学、语言哲学、逻辑等。论文曾发表于Journal of Symbolic Logic(《符号逻辑杂志》)、Philosophia Mathematics(《数学哲学》)等国际一一流逻辑与数学专业期刊,英文专著Strict Finitism and the Logic of Mathematical Applications(《严格有穷主义与数学应用的逻辑》)将由国际著名出版社斯普林格(Springer)纳入逻辑与哲学丛书Synthese Library系列。
目录
“北京大学外国哲学研究丛书”序言
前言
1.当代数学哲学的核心问题与主要特征
2.本书的目的、内容与写作策略
3.致谢
第一章 数学哲学的基本问题
1.1 关于数学对象的本体论问题
1.1.1 朴素的数学实在论及其认识论难题
1.1.2 朴素的数学反实在论及其可应用性难题
1.1.3 二十世纪各数学哲学流派对本体论问题的回答
1.2 关于数学语言的意义问题
1.2.1 数学实在论的意义理论及其难题
1.2.2 数学反实在论的意义理论及其难题
1.2.3 二十世纪各数学哲学流派对意义问题的回答
1.3 关于数学知识的认识论问题
1.3.1 数学实在论的认识论难题
1.3.2 数学反实在论的认识论任务
1.4 数学的分析性与先天性
1.4.1 什么是数学的分析性与先天性问题
1.4.2 传统哲学的回答
1.4.3 二十世纪数学哲学流派的各种回答
1.5 数学的客观性
1.5.1 数学的客观性与数学对象的客观存在性
1.5.2 数学的客观性问题
1.6 数学的可应用性
1.6.1 数学实在论并未清楚解释可应用性
1.6.2 什么是真正的可应用性问题?
1.6.3 对可应用性的解释可能支持反实在论
1.7 数学哲学研究的意义
1.7.1 二十世纪数学哲学的演变
1.7.2 数学哲学研究的意义
第二章 一种自然主义数学哲学
2.1 自然主义的基本信念
2.1.1 什么是自然主义的基本信念?
2.1.2 自然主义的认识论
2.1.3 自然主义的指称理论
2.1.4 自然主义背景下的真理与逻辑
2.1.5 自然主义与抽象实体
2.2 自然主义数学哲学的任务
2.2.1 从虚构主义开始
2.2.2 虚构主义的不足
2.2.3 自然主义数学哲学的任务
2.3 数学语言的意义与数学知识
2.3.1 自然主义框架下的数学语言的意义
2.3.2 自然主义框架下的数学知识
2.4 数学的客观性
2.4.1 涉及思想与事物的联系的客观性
2.4.2 概念的客观性
2.4.3 规则的客观性
2.4.4 想象事物时的客观性
2.5数学的分析性、先天性与必然性
2.5.1 自然主义框架下的先天性问题
2.5.2 概念框架与分析性
2.5.3 经验知识库与先天性的定义
2.5.4 内在知识
2.5.5 算术是分析的、先天的吗?
2.5.6 逻辑与算术是必然的吗?
2.6 数学的可应用性
2.6.1 数学的可应用性问题的自然化
2.6.2 解释可应用性的一个策略
第三章 十九世纪的数学基础研究
3.1 十九世纪的分析严格化运动
3.1.1 十七、十八世纪的微积分与数学分析中的问题
3.1.2 十九世纪的分析严格化运动
3.1.3 从自然主义的角度看分析严格化运动
3.2 康托尔与戴德金的实数理论_
3.2.1 康托尔与戴德金的实数理论的要点
3.2.2 对实数理论的自然主义解读
3.3 戴德金的自然数理论
3.3.1 戴德金的自然数理论的要点
3.3.2 戴德金的自然数理论的难点
3.3.3 对戴德金的理论及其难点的自然主义分析
3.3.4 皮亚诺的自然数公理
3.4 悖论与数学基础的危机
3.4.1 康托尔的集合论
3.4.2 集合论的悖论与数学基础危机
3.4.3 从自然主义角度的分析
第四章 弗雷格与逻辑主义
4.1 弗雷格的概念文字
4.1.1 弗雷格的逻辑贡献
4.1.2 弗雷格果真将直观知识还原为逻辑了吗?
4.2 弗雷格的概念实在论与反心理主义
4.2.1 弗雷格的概念实在论思想的要点
4.2.2 从自然主义的角度看概念实在论
4.2.3 从自然主义的角度看心理主义
4.3 弗雷格的算术哲学
4.3.1 弗雷格的算术哲学的要点
4.3.2 数词必须指称对象吗?
4.3.3 弗雷格的认识论难题
4.4 罗素的类型论
4.4.1 简单类型论的基本思想及其难题
4.4.2 分支类型论的基本思想及其难题
4.4.3 无穷公理及其问题
4.4.4 从自然主义角度看类型论
第五章 直觉主义
5.1 与直觉主义相关的前期思想
5.1.1 克罗内克的直觉主义思想
5.1.2 庞加莱的数学哲学思想
5.1.3 其他接近直觉主义倾向的思想
5.2 布劳威尔的直觉主义
5.2.1 布劳威尔的直觉主义数学哲学的要点
5.2.2 从自然主义的角度看布劳威尔的直觉主义
5.3 达米特的直觉主义
5.3.1 达米特的数学直觉主义的要点
5.3.2 从自然主义的角度看达米特对经典数学的批评
5.3.3 从自然主义的角度看达米特的验证论意义理论
5.4 构造主义
第六章 形式主义与不完全性定理
6.1 希尔伯特方案
6.1.1 希尔伯特的有穷主义数学
6.1.2 希尔伯特的证明论思想
……
第七章 卡尔纳普与逻辑实证主义
第八章 哥德尔的实在论
第九章 蒯因与不可或缺性论证
参考文献
名词索引
精彩书摘
同时他也认识到了一种可能的反对意见,即在这种解说之下,数学与客观事物之间的联系被忽略了。但是他指出,这一方面使得数学中的论证变得严密,而另一方面,数学与客观事物之间的联系是一个经验问题,只有科学实验才能回答哪些数学概念可以对应于哪些具体的事物。在这一点上,庞加莱的思想与希尔伯特的形式主义其实是非常接近的。但是,如果自然数、数学归纳法原理仅仅是我们的想象,那么我们应该能够意识到,我们一样可以想象实无穷、想象康托尔的集合、无穷基数等等,也可以在这种想象活动中使用非直谓的定义。意识到这一点后我们可以说,庞加莱拒绝想象实无穷、拒绝非直谓定义的理由仅仅是,这样的想象有可能导致悖论。这样,既然在今天经过一百年的数学实践后并未发现新的悖论,那么今天自然就没有任何理由拒绝想象实无穷或非直谓的定义了。而且我们已经提到,从数学应用的角度看,重要的是局限于应用范围的数学推理的、局部的、实用的一致性,而不是整个公理集合论的整体上的一致性。所以,今天我们确实不必像庞加莱那样顾虑集合论、实无穷与非直谓的定义可能带来的问题。四从自然主义的角度对庞加莱的数学哲学的一些分析
另一方面我们认为,自然主义提供了一个框架,使得我们可以更清晰地表达庞加莱的一些思想。首先当然是,在自然主义的框架下,我们不必将心灵的直观能力视为某种神秘的、不能用科学来分析的东西。所谓心灵的直观能力,应该是大脑的,由进化与基因决定的先天认知结构所具有的某种能力。它使得大脑可以很快地掌握某种简单的操作模式,同时可以想象无限地重复这种操作模式,即想象一个简单的无穷序列。这是大脑想象自然数序列的基础。
其次,数学归纳法原理字面上显然不是“关于心灵自身属性的论断”。关于心灵自身属性的论断应该是属于心理学的,或属于自然化的认识论的。
前言/序言
北京大学的外国哲学研究素有渊源,在自北大开校以来一百余年的历史中,名家辈出,成绩斐然,不仅有功于神州的外国哲学及其他思想的研究,而且也有助于中国现代社会的变迁。自八十年代以降,北大外国哲学研究进入了一个新时期,学术视野日趋开阔,评价观点百家争鸣,研究领域自由拓展。巨大的转变,以及身处这个时代的学者的探索与努力带来了相应的成果。一大批学术论文、著作和译著陆续面世,开创了新局面,形成了新趋势。
二十余年又过去了。北大外国哲学研究新作迭出,新人推浪,当付梓以饷读者,扩大影响;一些著作或者出版既早,虽然广受欢迎,但坊间已难获一册,或者在海外付梓,此岸读者无缘识面,当因需再版;一些著作面世之后不久作者即在观点、材料方面更有所获,需修改而出新版;一些颇有学术价值而实堪一读的学术论文由于分散在不同的杂志、文集里面,查阅不便,而在现代学术领域,论文是学术研究中相当重要的一种作品形式,需结集发行。凡此种种,无不表明将北大外国哲学研究性文字汇编成丛书,以见系统,以便参考,实属必需。此套丛书于是因应而生。它的宗旨是有计划地陆续出版北大外国哲学研究领域有价值有影响有意义的著作,既展现学者辛勤劳作的成果,亦反映此间外国哲学研究的最新动向。
不过,此套丛书只是展现了北大外国哲学研究的一个方面,因为它所收录的只是其中的部分著作,许多著作因为各种原因暂时未能收录入.在其中。我们的计划是通过持续的努力,将更多的研究著作汇入丛书,以成大观。我们真诚欢迎海内外学术界对此套丛书予以批评和指正。
二十世纪数学哲学:一个自然主义者的评述 下载 mobi epub pdf txt 电子书 格式