1 创作背景与出版历程
1.1 19世纪末数学基础危机
1.1.1 集合论悖论的冲击（如罗素悖论）
19世纪末，数学家们普遍认为集合论为数学提供了稳固的基础。康托尔的集合论成果更是被广泛接受。然而，1901年，罗素发现了著名的“罗素悖论”：考虑所有不属于自身的集合构成的集合，问它是否属于自身，将导出矛盾的答案。这一发现动摇了集合论的基础，表明朴素的集合论推理会导致逻辑矛盾。类似地，康托尔自己也曾发现最大基数悖论，而布拉里-福蒂悖论则揭示了序数类的问题。这些悖论的出现使数学家们意识到，需要重新审视数学的根基。
1.1.2 逻辑主义、形式主义与直觉主义的早期分歧
面对数学基础危机，主要形成了三种回应方案。罗素和怀特海代表的逻辑主义认为，数学可以还原为逻辑，所有数学概念都能用纯逻辑术语定义，数学定理能从逻辑公理推导而出。希尔伯特倡导的形式主义主张将数学系统形式化为无意义的符号游戏，只需证明该系统的无矛盾性。而布劳威尔创立的直觉主义则强调数学对象的构造性，拒绝排中律在无穷集合上的应用。这三派在当时展开了激烈讨论，而《数学原理》正是逻辑主义最宏伟的实践。
1.2 罗素与怀特海的合作契机
罗素与怀特海相识于剑桥大学三一学院，怀特海是罗素的导师兼同事。怀特海在数学方面造诣深厚，而罗素擅长哲学与逻辑分析。1900年，罗素在巴黎国际哲学会议上接触到皮亚诺的精妙符号逻辑系统后，深受启发，决心系统地将数学建立在逻辑之上。起初罗素计划单独完成这一工作，但很快发现任务量远超预期。怀特海主动加入合作，两人商定由怀特海负责数学推导部分，罗素负责哲学阐释与符号体系设计。这一合作持续了十多年，期间两人保持大量通信沟通，最终成就了这部经典。
1.3 三卷本的出版时间与版本变更
该书由剑桥大学出版社出版，三卷本依次于1910年、1912年和1913年问世。
1.3.1 第一卷（1910年）核心内容
第一卷包含长篇引言，详细阐述了符号逻辑的基础概念，包括命题演算、谓词演算、类与关系的理论，以及类型论的基本框架。该卷的核心是引入命题函数和层次类型论，试图以此解决悖论，并推导出基数理论的基本结果。
1.3.2 第二卷（1912年）与第三卷（1913年）的延续
第二卷继续推进序数理论的发展，深入讨论了序关系、良序集和超限归纳法。第三卷则将重点转向实数系统的建构，利用戴德金分割定义实数，并推导出实数完备性的基本定理。此外，第三卷还讨论了选择公理及其在数学中的各种等价形式。第一卷出版后，作者根据反馈对后续卷次做了一些调整，如简化部分证明、增加交叉引用等。
2 结构与符号体系
2.1 全书框架总览
2.1.1 引言：符号说明与基本逻辑概念
全书开篇关于符号体系的长篇引言是理解正文的钥匙。引言首先介绍了命题函式的概念——即含有变元的表达式，当变元取值时成为命题。随后定义了五个基本的命题联结词：否定（~）、析取（∨）、合取（·）、蕴涵（⊃）和等价（≡）。量词方面，全书采用全称量词与存在量词的符号表示。作者还解释了类型论的基本原则：每个变元都属于某个类型，不同类型的概念不能混合使用，以此回避悖论。
2.1.2 分卷章节组织逻辑
全书采用连续的章节编号，从第1节到第数百节，每个章节用星号加数字标记（如*1、*10等）。这种编号体系贯穿三卷，使读者能够跨卷参考。章节推进遵循严格的逻辑顺序：从最基础的命题演算开始，逐步扩展到谓词演算、类与关系理论，再到算术、序数、实数等数学内容。
2.2 基本逻辑符号系统
2.2.1 命题函数、量词与联结词
命题函数是全书的核心概念。例如，“x是人”是一个命题函式，记作φ(x)。当x代入具体对象时，它成为真值确定的命题。全称量词“对所有x成立”写作(x)φ(x)，存在量词“存在x使得φ(x)成立”写作(∃x)φ(x)。五个联结词中，皮亚诺发明的“⊃”尤其重要，它表示“如果……则……”。全书尽可能减少联结词的数量，仅以否定和析取为初始符号，其他通过定义引入。
2.2.2 类的定义与类型论初探
类（即集合）被定义为满足某个命题函式的对象全体。罗素和怀特海以命题函式代替类，从而将推理保持在逻辑范围内。为了避免悖论，他们提出了类型论：个体（类型0）、个体的类（类型1）、类的类（类型2）等依次分层。一个类型的概念不能以自身类型的方式定义，这从根源上阻止了罗素悖论的产生。类型论还进一步细化为分支类型论，通过阶次（order）区分命题函式的复杂程度。
2.2.3 “*”号章节标记惯例
每个章节以“*数字”的形式标记，例如“*20”代表关于“类的一般理论”的章节。数字的间距考虑了内容的逻辑连贯性：基础章节数字较小，如*1至*15处理命题演算；中间章节如*20至*40处理类与关系；大数字章节如*100以上处理算术。这种编号方式使得作者可以在后续章节中方便地引用前面的结果，形成了清晰的依赖结构。
2.3 公理与原始命题
2.3.1 同一律、排中律等基本逻辑公理
全书以少量未定义的概念和符号出发，提出一系列原始命题（即公理）。其中一些是逻辑基本法则：同一律宣称如果一个命题是真的，那它就是真的；排中律断言任何命题p要么真，要么假，即p ∨ ~p恒成立。矛盾律则表述为p与~p不能同时成立。这些公理被作为推理的出发点，全书后续的所有证明都从它们推导而来。
2.3.2 可化归性公理（Axiom of Reducibility）的引入
分支类型论的一个棘手问题是命题函式的阶次划分妨碍了数学中许多常见推理。为了克服这一困难，罗素提出了可化归性公理：对于任何命题函式，存在一个与之逻辑等价的、处于最低阶次（即一阶）的命题函式。这意味着所有数学命题都可以约简到一阶层次上处理。可化归性公理是全书最受争议的部分，它虽然解决了技术问题，但缺乏直观合理性，被认为是一种权宜之计。
2.3.3 无穷公理与选择公理的讨论
罗素和怀特海意识到，要建构自然数系统和实数系统，必须假设存在无穷多个个体。因此他们引入了无穷公理：存在至少一个个体，并且每个个体之后都有另一个不同的个体。这实际上保证了自然数集的无穷性。此外，选择公理（或称乘法公理）也被讨论并用于某些证明中。两位作者对这些公理的地位持保留态度，承认它们并非纯逻辑真理，而是为构建数学系统所需的假设。
3 核心内容：从逻辑到数学的推导
3.1 算术基础：自然数的定义
3.1.1 弗雷格-罗素的基数定义
自然数被定义为类的基数（即类的大小）。具体地，一个类的基数被定义为所有与这个类等数的类的类。换言之，一个类的基数是一个“类中类”——所有与给定类具有一一对应关系的类的集合。例如，数字“2”被定义为所有恰好有两个元素的类的类。这一定义源自弗雷格的思路，但做了技术修正以避免悖论。定义完成后，作者用了大量篇幅证明这些定义与直观上数字的性质一致。
3.1.2 零、后继与加法运算
零被定义为空类的基数，即所有与空类等数的类的类。后继运算定义为：给定自然数n（即某个基数），它的后继n+1是所有在n的基础上增加一个新元素后得到的基数。加法运算则通过并集的概念定义：两个基数m和n的和，是任意两个不相交的、基数分别为m和n的类的并集的基数。通过一系列冗长的推导，作者证明了这些定义下的自然数加法满足交换律、结合律等基本性质。
3.2 序数理论
3.2.1 序关系与良序集
序数理论从关系的一般理论开始。序关系被定义为反对称且传递的关系。良序集则是一种特殊的有序集：它的每一个非空子集都有一个最小元素。作者证明了良序集具有完备的归纳性质，这是超限归纳法的基础。通过良序集的同构分类，定义出序数——良序集的顺序类型。
3.2.2 序数的生成与超限归纳
序数的生成遵循康托尔的基本思想：从空序（序数0）出发，通过后继运算生成有限序数（即自然数序数），然后通过极限过程生成第一个无限序数ω，接着继续通过后继和极限生成更高层次的序数。序数上的超限归纳法被严格证明，使得对任意序数性质的证明成为可能。
3.3 实数系统的建构
3.3.1 戴德金分割与实数定义
实数的定义采用戴德金分割方法。一个戴德金分割是有理数集的一个划分，将有理数分为左类和右类，左类中的每个数都小于右类中的每个数，且左类无最大元。实数被定义为这样的戴德金分割。其中，有理数对应那些分割的左类有上确界（即最大有理数或无理数）的情况，无理数则对应左类无上确界的情况。
3.3.2 极限、连续性与实数完备性
在实数定义的基础上，作者推导了极限理论的基本定理。数列收敛于实数a的定义被精确化：对于任意正有理数ε，存在自然数N使得当n>N时，数列各项与a的差的绝对值小于ε。实数的完备性（即柯西收敛准则）被证明：实数系中的每个柯西数列都收敛于某个实数。这一结果依赖于戴德金分割的定义方式，是实数系统逻辑建构的最终成果。
4 主要贡献与学术影响
4.1 对数理逻辑的奠基作用
4.1.1 一阶谓词演算的规范化
《数学原理》首次系统性地将一阶谓词演算发展为一个完整的推理系统。书中对量词、联结词、公理和推理规则的精确表述，成为后来数理逻辑的标准教材。希尔伯特系统、自然演绎系统等后续体系，其基本框架都能在《数学原理》中找到原型。尤其是书中对命题函式的象征化处理，直接影响了后来模型论和证明论的发展。
4.1.2 类型论对悖论的解决方案
类型论是《数学原理》中最重要的逻辑创新之一。它通过分层限制概念的形成规则，成功地避免了罗素悖论及其他已知的集合论悖论。虽然分支类型论后来被更简洁的公理化集合论（如ZF系统）所取代，但类型论的思想对逻辑学与计算机科学产生了深远影响。例如，现代编程语言中的类型系统，以及马丁-洛夫的类型论，都能追溯到《数学原理》中的类型论。
4.2 对数学哲学的推动
4.2.1 逻辑主义纲领的鼎盛与局限
《数学原理》是逻辑主义纲领最完整的实现。它用数千页的篇幅展示了一个严密的逻辑系统如何能够推导出全部经典数学。这使得逻辑主义在20世纪初成为数学哲学中最具影响力的流派之一。然而，书中被迫引入的可化归性公理、无穷公理和选择公理使其“纯粹逻辑”的宣称受到质疑。事后看来，这些公理在本质上已超出纯逻辑范围，逻辑主义并未像其倡导者最初希望的那样成功地将数学还原为逻辑。
4.2.2 对哥德尔不完全性定理的预先伏笔
《数学原理》的符号系统为哥德尔的工作提供了直接素材。哥德尔不完全性定理的一个关键步骤是编码《数学原理》系统中的公式和证明，将其转化为算术命题。因此，《数学原理》的形式化体系成为哥德尔证明的第一个目标系统。哥德尔的工作表明，任何足够强大的形式系统都不可避免地存在无法证明的真命题，这直接挑战了逻辑主义关于数学完全可公理化的信念。
4.3 在计算机科学中的遗产
4.3.1 符号逻辑与编程语言设计
《数学原理》中的符号逻辑系统为现代编程语言的设计奠定了理论基础。布尔类型、谓词、量词等概念直接源自该著。此外，类型论中的多层类型结构影响了函数式编程语言（如Haskell、ML）的类型系统设计。自动类型推断技术也可以追溯到类型论中对命题函式种类的研究。
4.3.2 自动化定理证明（如Principia Mathematica启发）
《数学原理》的证明方法——以少量公理出发，通过严格的形式推导得到复杂结果——启发了后来自动化定理证明领域的发展。近几十年来，许多定理证明辅助工具（如Coq、Isabelle）采用了类似《数学原理》的形式化框架，并在该框架下成功验证了数十年前的艰难证明。事实上，已有研究者成功地在计算机中重现了《数学原理》中的部分证明，这标志着逻辑主义构想的技术实现。
4.4 对分析哲学与语言哲学的影响
4.4.1 罗素摹状词理论的关联
《数学原理》中发展出的逻辑分析工具（尤其是对命题函式与量词的精确定义）直接支撑了罗素的摹状词理论。该理论将诸如“当今法国国王”这类摹状词分析为存在量词和全称量词的复合，从而解决了“不存在的东西如何具有意义”这一哲学难题。《数学原理》对逻辑形式的精炼为分析哲学提供了一套稳健的方法论工具。
4.4.2 逻辑原子主义的思想渊源
《数学原理》中所运用的“命题函式—原子命题—复合命题”的层次结构，为罗素的逻辑原子主义提供了思想基础。根据这一哲学观点，世界由独立的事实构成，这些事实对应于原子命题，而复合命题则对应于原子命题的逻辑组合。《数学原理》展示了这种逻辑结构如何在数学中运作，从而激励了分析哲学家模仿这一模式来理解语言与世界的关系。
5 争议与批评
5.1 可化归性公理的争议
5.1.1 直观上不自然与循环论证嫌疑
可化归性公理是《数学原理》中最受诟病的部分。批评者指出，这一公理缺乏直观性：为什么任何高层次的命题函式都可以被一个低一阶的命题函式替代？这种替代本身似乎预设了高层次的命题函式包含低一阶版本，从而具有循环论证的嫌疑。罗素本人后来也承认这一公理是全书中最不令人满意的部分，它的引入只是为了技术上的便利，而非逻辑上的必然。
5.1.2 后期逻辑主义者的改良尝试（如蒯因）
蒯因（W. V. Quine）等后来的逻辑主义者对《数学原理》的体系进行了改造。蒯因在其《数理逻辑》中抛弃了分支类型论和可化归性公理，转而采用更简洁的一阶逻辑加上一个简单类型论来处理悖论问题。蒯因的系统保留了逻辑主义的核心精神——数学可还原为逻辑——但放弃了《数学原理》中许多繁琐的细节。这种改良使得逻辑主义在20世纪中叶重新获得一些关注。
5.2 符号表达的繁琐与可读性问题
5.2.1 名场面：证明“1+1=2”需数百页
《数学原理》的一个著名趣事是，证明“1+1=2”这一简单等式需要经过数百页的逻辑准备。实际上，书中在第*54.43节才明确推导出这一结论，此时的上下文已经构建了自然数、基数、加法等概念的完整理论。虽然“1+1=2”本身在书中只占一个简短的节，但抵达该结论的前期工作占据了巨量篇幅。这生动地展示了形式化努力的代价：越是基础的结果，需要的底层工作越繁重。
5.2.2 威兹德姆的讽刺：“阅读它就像在沙漠中寻找针”
哲学家威兹德姆（John Wisdom）形容阅读《数学原理》的感觉“就像在沙漠中寻找一根针”。这一评价反映了该著的可读性问题。全书的符号系统极其复杂，一行公式可能包含层层嵌套的符号，理解每个符号的含义需要翻阅符号说明。多数读者（包括专业数学家）在阅读时会感到吃力。这种极端的符号主义风格虽然保证了推理的严格性，却严重牺牲了可读性，成为该书被广泛引证却鲜有人通读的原因之一。
5.3 哥德尔不完备定理的打击
5.3.1 不完全性定理对逻辑主义方案的终结
哥德尔在1931年证明了两个不完全性定理，这是对《数学原理》所代表的逻辑主义方案最沉重的打击。第一不完全性定理表明：任何包含算术的一致公理系统（如《数学原理》中的系统）必然存在不可判定的命题（即该命题及其否定都不能在系统内证明）。第二不完全性定理进一步指出：这样的一致系统无法在自身内部证明自己的无矛盾性。这意味着，《数学原理》不可能像罗素和怀特海期望的那样，通过有限的逻辑公理完全捕捉全部数学真理。
5.3.2 后世对《数学原理》局限的重新评价
哥德尔的不完全性定理之后，学界对《数学原理》的评价更为清醒。人们认识到，该著所追求的目标——将全部数学化归为逻辑——在原则上是不可能的。然而，这并不减损《数学原理》的历史价值。它提供了一个严谨的形式化范例，展示了逻辑公理化可以走多远，以及在哪里必然触碰到不可逾越的界限。作为一种技术成就，该书仍然是逻辑学历史上最宏伟的单项工程之一。
6 文献与版本信息
6.1 原版与重印版本
《数学原理》原版由剑桥大学出版社出版，三卷本分别于1910年、1912年和1913年首次印刷。1925年出版了第二版，该版仅对第一卷进行了大幅修订，第二、三卷基本保持不变。第二版增加了罗素撰写的新导言，讨论哥德尔定理对原著的影响。1962年，剑桥大学出版社再次重印了三卷本。此外，有多家出版社（如Routledge、Dover）出版了影印版或平装版。中国的商务印书馆曾于2014年出版中译本（三卷），由张桂权等人翻译。
6.2 主要研究文献与导读著作
研究《数学原理》的权威文献包括：M. L. D. Chiara等人编著的《<数学原理>一百年》（1973），收录了多篇关于该著的学术研究论文。I. Grattan-Guinness的《从罗素到哥德尔》（2000）详细探讨了《数学原理》的历史背景。此外，R. L. Goodstein的《<数学原理>导读》（1968）为读者提供了逐节讲解和注释，是初学者的实用助手。S. Wolfram的《<数学原理>中的计算》（2002）从计算机科学角度分析了该著的符号系统。
6.3 数字化资源与在线阅读链接
剑桥大学出版社通过其在线数据库提供《数学原理》第一版和第二版的电子版，但需付费访问。Google Books、Internet Archive（archive.org）等公共数字图书馆提供了完整的PDF扫描版，可免费下载。此外，Project Euclid（projecteuclid.org）也收录了该著的数字版本。斯坦福哲学百科（Stanford Encyclopedia of Philosophy）的“Principia Mathematica”词条包含了详细的文献索引和外部链接，是了解该著现代研究的最佳起点。