《数学原理》

---

英国逻辑学家、数学家罗素和怀特海合著的数理哲学著作。

写于1900年到1910年，最后一卷出版于1913年。

这本书所想解决的问题有两种：哲学的与数学的。大致说来，属于哲学问题主要是罗素的贡献，属于数学问题，包括记号法主要是怀特海的贡献。

在《我的哲学的发展》中，罗素曾把写作这本书的主要目的概括为：“是说明整个纯粹数学是从纯乎是逻辑的前提推出来的，并且只使用以逻辑术语说明的概念。”

全书共三卷。第一卷包括导论和第一、二部分。

导论概述了逻辑主义思想，分析了数学和逻辑的关系，提出了一个完全的命题演算和谓词演算的公理系统，并把类型论作为解决悖论的方法；第一部分著重论述了关于数理逻辑的基本理论和方法；第二部分论述了基数和序数的算术理论。第二卷包括第三、四部分以及第五部分的前三节。

第三部分首先论述了基数的定义和一般逻辑性质，然后分别论述了加法、乘法和乘方的运算，把类型论应用于解决最大基数的悖论。第四部分主要讨论和阐述了一般算术的性质；第五部分前三节研究了序数关系的性质，即对称性、非对称性、传递性和连通性等。

第三卷包括第五部分的后三节以及第六部分。第五部分后三节讨论了良序序列的基本性质，“有穷”和“无穷”的理论以紧致序列；第六部分阐述了数的各种应用，即称为度量的问题。

这部著作，就其哲学方面来说，把数学归结为逻辑，认为数学定理可以用逻辑概念来定义，数学定理可以被证明为逻辑定理，这是完全错误的，但就逻辑和数学的相互关系这个具体科学问题的探索来说，却不无意义。

这部著作，就其逻辑方面来说，它总结了莱布尼兹以来数理逻辑取得的成果，在建立一个完全的命题演算和谓词演算，在摹状词理论和类型论，以及自然数定义等方面都有著重大意义，是数理逻辑发展史上一部承先启后的著作。