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