数学属于逻辑学吗？

对于数学的本质是什么，一直是哲学家、数学家争论不休的话题。观点可以分为两大类：

一种认为数学也是经验归纳的产物，是人类思维构造出来的工具，如数学直觉主义派。
另一种则认为数学就如物质世界一样实实在在地存在于人类思维之外，人类就如发现物质一样，发现了数学概念。
两位伟大人物：物理学家爱因斯坦，数学家哥德尔都持后一种观点，但这并不意味着后一种观点就是“正确的”。现代科学哲学认为数学和逻辑都是从经验世界中归纳出来的所谓“牢不可破”的“真理”。

进一步问：数学和逻辑的真，由谁来保证的？难道，真的如数学家们信仰的那样，数学是客观世界自身的真理，不以人的意志为转移吗？

以当下科学哲学的观点看，人类全部的知识都是人类对世界的看法，所谓客观性（objectivity），本质上是人与人之间达成的主体间一致性（inter-subjectivity）。以下做个简要说明。

1、时空假设是逻辑与数学的基础

数学也好，逻辑也好，只是人类归纳出来的思维工具。人类对逻辑的归纳，大致上遵循这样的路径：首先以归纳的思维，将人所处的世界理解为一个容器之中存放着万物。这样一样来“容器”成为世界的形式，表现为时间和空间，“万物”则是世界的内容，表现为各式各样的物体。

宇宙的容器模型

对于世界这个“容器”的特性，人们又有两种猜想：

第一，容器是有界的，即世界在时间中有一个开端，在空间上也包含于边界之中；

第二，容器是无界的，即世界没有开端，在空间中也没有边界，而是不论在时间还是空间方面都是无限的。

对于“万物”的特性，也有两种抽象方式：

第一，万物都是单纯的，除了单纯的东西或由单纯的东西复合而成的东西之外，任何地方都没有什么东西实存着；

第二，万物都是复合的，在世界中任何地方都没有单纯的东西实存着。

关于时间空间是否有界，以及世界之物是单纯还是复合的不同认知方式，正是康德四个“二律背反”的前两个，康德称这两个二律背反为“数学的二律背反”。

可见，数学研究对象是时间、空间、和抽象为外延的物体。

数学的逻辑主义学派基本上已经证明逻辑和数学是等价的，因此逻辑的对象与数学的对象是相同的。

数学和逻辑的基础是对世界的假设，以及对时空的假设。

我们假定时空有界，且时空连续、均匀，就得到欧氏几何。

我们假定时空连续但不均匀，就得到非欧几何。

2、逻辑与数学的关系

逻辑的直言命题包括四个命题：

全称肯定（SAP，所有S都是P）、全称否定（SEP，所有的S都不是P）、特称肯定（SIP，有的S是P）、特称否定（SOP，有的S不是P）。

如果把S和P看作是两个数学集合，那么全称肯定命题SAP就等效为集合的包含关系（P包含S）,全称否定命题SEP等效为S和P不相交（P∩S=空集），特称肯定命题SIP等效为S和P相交，特称否定命题SOP则等效为S和P的补集相交。

事实上，以上逻辑的命题与数学的集合都是以“定义”的形式出现的。

人类知识界为什么会就这样的“定义”达成一致呢？

当我们在学习这些概念时，我们的思维是如何把握它们并接受它们的呢？

老师在讲授集合关系概念时，总会画出如下图一样的图示。

当逻辑或集合概念用几何图形表达时，这些概念就与时空抽象有密切关系了。

时空，在康德那里是感性直观，它不是概念，而是一切感官经验（康德称之为杂多）存在的条件。

康德同时认为数学是理性对“时空”反思的结果。

因而“时空”同时存在于感官经验和理性之中。

正因为经验与理性以“时空”作为共同的形式，因而才能相互印证。

今天，在经受相对论和量子理学洗礼后，我们不再坚持康德的时空观（也即牛顿力学中均匀连续的时空观）。

我们已经知道，对时空的不同抽象就会有不同的数学（欧氏几何、黎曼几何），也会有不同的物理学（牛顿力学、广义相对论）。

因此，即使我们不能说数学就是对时空的抽象，也必须承认数学与时空抽象密切相关。

德国哲学家莱布尼茨（1646～1716）就说过一句极富智慧的话：

“空间是并存事物间的秩序，时间是持续事物间的秩序。

”时空本身就是秩序，那么试图描述万物秩序的数学和时空的关系必然是亲密无间的。

而逻辑，已经蕴含在数学的运算之中。

数学的逻辑主义派相信人类理性是建立在逻辑基础上的。

逻辑主义者，如弗雷格，对“分析的”命题做了更好的诠释，并区分了“分析的”和“先天的”两个概念。

如果一个命题，通过证明，一直追溯到“初真”，也就是证明所依据的那些基本命题，只需要普遍的逻辑法则或公设作为依据，那这个命题就是“分析的”。

如果要用到非普遍的逻辑法则，命题就是“综合的”。

如果“普遍的逻辑法则”不需要证明也不允许证明时，这个命题就是“先天的”。

由于承认逻辑具有先天性，逻辑主义者认为，逻辑是先于哲学的，也就是说，哲学是建立在逻辑基础上的。

罗素的逻辑原子主义，维特根斯坦的逻辑哲学都体现了这样的思想。