包邮数学哲学:对数学的思考

本书特色

《数学哲学》是一本关于数学的哲学著作。它首先涉及形而上学的内容：数学是关于什么的？它有研究对象吗？这个研究对象是什么？数、集合、点、线、函数等等是什么？然后有关于语义学的内容：数学陈述的含义是什么？数学真理的本质是什么？以及关于认识论的：数学足如何被认识的？它的方法论足什么？观察牵涉其中吗？抑或它只是纯心灵的活动？如何裁决数学家之间的争论？什么是证明？证明是绝对确定的、不受理性怀疑的吗？数学的逻辑是什么？存在不可知的数学真理吗？数学因其是一个一成不变的领域而闻名遐迩，与哲学（在这方面）能有多不同就有多不同。在这里，事物似乎被一劳永逸地安排在一个一成不变的基础上。真是如此吗？数学中有没有革命，使那些长期存在的信念被抛弃？考虑到数学在自然和社会科学中被应用——以及被需求的程度，看起来基本上是一种心灵活动的数学，如何对科学所研究的物理的、人类的和社会的世界有所说明呢？为什么不了解很多数学就不能很深入地理解世界（自然科学意义上的）？对于数学这说明了什么？对于物理的、人类的和社会的世界，这又说明了什么呢？数学哲学属于一个大类，这个大类包括物理学哲学、生物学哲学、心理学哲学、语言哲学、逻辑哲学甚或关于哲学的哲学。其主题是探讨与某个学术领域相关的哲学问题，内容包括该领域的形而上学、认识论、语义学、逻辑和方法论……数学哲学家需要对数学本身，对作为人的数学家，对数学得以应用的世界提出看法，这是一个很高的要求。斯图尔特?夏皮罗斯图尔特?夏皮罗写了一本非常好的、非常有用的数学哲学教科书。这《数学哲学》也是我们所迫切需要的，因为，虽然有一些概述数学哲学的教材，但它们都已经过时了。夏皮罗著作的优点在于：（1）《数学哲学》的一大部分（大约1／3）带给读者的是当代数学哲学的*新成就；（2）它还古老的逻辑主义—形式主义—直觉主义的争论以本来的面目，即把它看作历史的一段，而不是看作人们关于数学所能支持的3种主要观点。《符号逻辑文摘》（Bulletin of Symbolic Loglc）

节选

相关资料

**部分　概观第1章　什么使数学如此有趣（对一个哲学家）？1．异性相吸？穿越整个历史，哲学家总是被数学所特别吸引。据说柏拉图学院的入口处刻着以下语句：“不懂几何学者勿入。”按照柏拉图的哲学，数学是了解宇宙本身而不是它的表面现象的真正训练。柏拉图通过反思数学在理性的知识获取中的地位而得到他的观点（见第3章，第2—3节）。在大规模学科分类之前，很多数学家也是哲学家。立刻会浮现在脑海里的是笛卡儿（Rene Deseartes）、莱布尼茨（Gottfried Wilhelm Leibniz）和帕斯卡（Blaise Paseal）这些名字，紧接着出现的有波尔查诺（Bernard Bolzano）、罗素（Bertrand Russell）、怀特海（Alfred North Whitehead）、希尔伯特（David Hilbert）、弗雷格（Gottlob Frege）、丘奇（Alonzo Chtlrch）、哥德尔（Kurt Godel）和塔斯基（Alfred Tarski）。而到*近，几乎每位哲学家都了解数学的状况，并对它抱有相当专业的兴趣。理性主义是一种经久不衰的哲学流派，它的特征就是试图把已知的数学方法论推广到整个知识领域。理性主义者对数学享有的似乎不可动摇的基础及其在纯理性中的基本原则印象深刻。他们力图使所有知识都有这样的立足之处。科学、伦理学以及类似学科也应该这样进行：仅从理性中提供关于其命题的严格证明。理性主义源自柏拉图，在17世纪和18世纪初叶，凭借笛卡儿、斯宾诺莎（Baruch Spinoza）和莱布尼茨的著作而繁荣起来。

作者简介

斯图尔特一夏皮罗(stewart Shapiro)，俄亥俄州立大学的哲学教授，同时也是苏格兰圣·安德鲁斯大学的定期访问教授。他是当今一位重要的数学哲学家，其思想属于结构主义，认为数学的研究对象是结构而不是个体。这种思想被认为是源自德国伟大的数学家理查德?戴德金，是当代数学哲学中较为有影响的一派。夏皮罗的主要著作包括《数学哲学：结构与本体论》、《数学哲学：对数学的思考》，以及《没有基础主义的基础：一个二阶逻辑的案例》。他还是《牛津数学哲学与逻辑手册》的主编。
译者简介
郝兆宽，复旦大学哲学系副教授，研究领域为数理逻辑和数学基础。其哲学立场属于数学哲学中的柏拉图主义或实在论，主要论文包括《数的定义：弗雷格与戴德金》、《哥德尔的数学哲学》，同时还主编了《逻辑与形而上学》。
杨睿之，北京大学哲学系在读博士研究生，专业研究方向为数理逻辑，研究兴趣包括集合论、数学哲学、模态逻辑、可计算性理论等。2001年至2008年就读于复旦大学，获哲学学士、哲学硕士学位。