阿尔弗雷德·诺思·怀特海（Alfred North Whitehead）

他与罗素合写的《数学原理》是逻辑主义的丰碑，也是 20 世纪数学基础最重要的著作之一；而他本人则从一名数学家出发，最终走通了数学—物理—形而上学的整条道路，成为过程哲学的创立者。

一、生平与时代背景

阿尔弗雷德·诺思·怀特海于 1861 年 2 月 15 日生于英国肯特郡萨尼特岛的拉姆斯盖特（Ramsgate）。父亲老阿尔弗雷德·怀特海是圣公会牧师，在当地颇具声望；母亲玛丽亚·莎拉·巴克马斯特（Maria Sarah Buckmaster）来自伦敦。怀特海是家中四个孩子里最小的一个，有两个比他大七八岁的哥哥和一个大两岁的姐姐。父母一直把他当作「体弱多病」的孩子，实则他相当健康；因被认为太娇嫩，他 14 岁前都在家由父亲教育，未上小学，这使他童年颇为孤独。父亲在他 10 岁起教他拉丁文、12 岁起教希腊文，他在古典语言上表现平平，却不知为何萌发了对数学的兴趣。

1875 年他进入谢伯恩公学（Sherborne School），在数学上展现出特殊天赋，毕业前一年获准把额外时间投入数学。1879 年他参加剑桥三一学院入学考试并获奖学金，随后在谢伯恩做了一年的学生长（Head Boy）与体育队长。1880 年 10 月入剑桥，只听数学课，受教于格莱舍（J. W. L. Glaisher）、泰勒、尼文，并听过斯托克斯与凯莱的演讲，导师是著名的劳斯（E. J. Routh）；同窗好友包括后来的生物学家达西·汤普森（D'Arcy Thompson）。1883 年数学荣誉学位考试（Tripos）获第四名优等（Fourth Wrangler），次年又在第三部分获一等。1884 年他以一篇关于麦克斯韦电磁理论的论文竞争三一学院研究员，由汤姆森（J. J. Thomson）与福赛思（A. R. Forsyth）主考，意外地获得了五个名额中的一个，从此开始在剑桥的二十余年教学生涯。

他前五年几乎没有发表论文，任教十二年也只在 1889 年发过两篇关于粘性流体运动的文章。1888 年升任讲师，同时在格顿学院兼课。1890 年 12 月 16 日与伊芙琳·韦德（Evelyn Wade）结婚——这是他人生的转折点：妻子活跃外向，与他的内敛形成互补；婚后他立刻转向纯数学，1891 年 1 月开始撰写《泛代数论》（A Treatise on Universal Algebra），历时七年，1898 年出版。夫妻育有三子：女儿杰西、儿子诺斯与埃里克（埃里克 1918 年在法国执行飞行巡逻时阵亡）。

约在 1889—1890 年，他开始在圣公会与罗马天主教之间犹豫，七年后（1890 年代中期）最终选择成为不可知论者，主因是他认为牛顿物理学已被证明为假、科学的迅速发展动摇了旧世界观。1900 年他与罗素一同出席巴黎国际哲学大会与第二届国际数学家大会，接触到皮亚诺的符号逻辑，这成为两人合作《数学原理》的契机。1903 年他因《泛代数论》及相关工作当选英国皇家学会会员。1906、1907 年分别出版《射影几何公理》与《描述几何公理》。《数学原理》三卷分别于 1910、1912、1913 年出版。

1910 年，好友福赛思因婚外恋丑闻被迫辞去剑桥讲席，怀特海在三一学院理事会上极力为其争取保留研究员资格，却被否决；他愤而辞去高级讲师与研究员职务，举家迁往伦敦。此后四年没有正式职位，1911 年任伦敦大学学院讲师，1914 年出任帝国理工学院应用数学教授。在伦敦时期，他的兴趣转向物理学与科学哲学——受爱因斯坦广义相对论的激发，1922 年出版《相对论原理》，提出一种不同于爱因斯坦的引力理论。1924 年，63 岁的他接受哈佛大学哲学教授之邀赴美，从此在哈佛度过余生，1937 年退休。在哈佛期间他完成了形而上学的建构：1925 年《科学与近代世界》、1929 年最重要的《过程与实在》，创立了过程哲学。

他一生荣誉等身：1903 年皇家学会会员、1922 年爱丁堡皇家学会詹姆斯·斯科特奖（首位获奖者）、1925 年皇家学会西尔维斯特奖章、1930 年哥伦比亚大学巴特勒奖章、1931 年英国学术院院士、1945 年获功绩勋章（Order of Merit），并获曼彻斯特、圣安德鲁斯、哈佛、耶鲁等多所大学荣誉学位。1947 年 12 月 30 日于美国马萨诸塞州剑桥去世，享年 86 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 《泛代数论》（1898）——统一符号推理系统的早期尝试

问题背景：19 世纪出现了多种符号推理系统——哈密顿的四元数、格拉斯曼的扩张论、布尔的符号代数——彼此分散。能否给出一个统一的代数框架来研究所有「形式推理」？

关键思想：怀特海把这些系统统一在「泛代数」（universal algebra，术语取自西尔维斯特 14 年前的一篇论文，但含义与现代泛代数不同）的框架下，研究「各种与普通代数相关联的符号推理系统」。他在序言中给出对数学本质的著名定义：「数学在最广泛的意义上，是所有类型的形式的、必然的演绎推理的发展。」

精确表述：书中系统处理了四元数、格拉斯曼扩张论、布尔代数，并试图给出统一的演算。他受格拉斯曼启发，把数学理解为「对模式（pattern）的研究」。

与前人关系 / 局限：这是对哈密顿、格拉斯曼、布尔工作的综合与推广，也是他后来转向逻辑的起点——1900 年遇到皮亚诺后，他意识到符号逻辑比代数更适合作为研究数学模式的工具，于是把《泛代数论》第二卷的计划并入与罗素的合作。局限：「泛代数」的具体构想未成为主流（现代泛代数另有其义），但他对数学模式与抽象结构的强调极具前瞻性。

2. 《数学原理》（与罗素合著，1910—1913）——逻辑主义的巅峰

问题背景：能否从纯逻辑推出全部数学？这是弗雷格发起的逻辑主义纲领，但弗雷格的系统被罗素悖论击中。怀特海与罗素试图在避免悖论的前提下完成这一宏大工程。

关键思想：以皮亚诺的符号逻辑为基础，发展出类型论（theory of types）来规避集合论悖论，再在该框架中从逻辑公理出发，逐级推导集合论、有穷与超穷算术、初等测度论等大量数学。两人分工大体是：罗素负责哲学，怀特海负责数学。

精确表述：三卷巨著（原定还有第四卷论几何，由怀特海负责，但未完成）。第一卷（1910）建立命题演算、类型论、摹状词理论、类与关系的逻辑；第二卷（1912）发展基数与序数算术；第三卷（1913）发展级数与测度。书中用了超过 100 页才定义出数 1、用了数百页才证明 $1+1=2$（这成为著名逸闻）。为弥补类型论的不足，引入了可化归公理（axiom of reducibility）、无穷公理与选择公理。

与前人关系 / 局限：继承并修正了弗雷格的逻辑主义；类型论是罗素的核心发明，但怀特海在数学推导的细节上贡献巨大。局限：①可化归公理被广泛批评为特设性的（ad hoc），缺乏逻辑的自明性；②无穷公理与选择公理是否属于「纯逻辑」备受质疑，削弱了「数学归于逻辑」的主张；③哥德尔后来（1931）证明，任何足够强的一致形式系统都不可能在自身内证明其自身一致、且必含不可证命题，逻辑主义「把全部数学从逻辑推出」的纲领在严格意义上不可能实现。尽管如此，《数学原理》仍是 20 世纪逻辑学最伟大的著作之一。

3. 射影几何与描述几何的公理化（1906—1907）

问题背景：希尔伯特 1899 年《几何基础》已对欧几里得几何完成公理化；射影几何与描述几何（拓扑序意义上的几何）能否同样给出严格公理体系？

关键思想：怀特海分别为射影几何（1906）与描述几何（1907）建立公理系统，延续了《泛代数论》中对抽象结构的兴趣，也为《数学原理》原定的第四卷（几何）做准备。

意义：这是几何公理化运动的重要组成，体现了他「以抽象关系结构重建各数学分支」的逻辑主义路线。与皮耶里（Pieri）、希尔伯特的几何公理化工作交相辉映。

4. 数学作为「模式研究」与关系逻辑的贡献

问题背景：在《数学原理》中，罗素扩展了皮亚诺的逻辑以处理关系——数学研究的正是各种关系结构（序、运算、等价等）。

关键思想：怀特海（作为数学家的合作者）判断，对每个已有的数学分支，应评估哪种关系类型最适合在逻辑中重建它，同时保全该分支的主题特征。这与弗雷格的「激进普遍主义」不同——Gandon（2012）的研究指出，怀特海与罗素的逻辑主义比弗雷格更顾及数学各分支的「主题特殊性」。

精确表述 / 意义：《数学原理》中的关系逻辑（relations）是对关系的完整形式理论，是现代关系代数与模型论的先驱。哈代在书评中写道「数学可以说是命题函数的科学」，正是这一观念的体现。

局限：《数学原理》的关系逻辑后来被一阶逻辑（关系是谓词）所吸收，其繁复的类型记法未成为主流。

5. 科学哲学与替代的引力理论（1922）

问题背景：爱因斯坦广义相对论（1915）的革命性冲击，促使怀特海思考：数学物理的形式理论与日常经验之间是什么关系？

关键思想：在伦敦时期（1910—1924），他集中研究物理学与科学哲学。1922 年《相对论原理》提出一种替代爱因斯坦的引力理论：他把时空结构分为两部分——一个先验的、均匀的闵可夫斯基式时空，以及由物质决定的「引力场」几何。

精确表述 / 局限：该理论在可观测预言上一度与广义相对论一致（能解释水星近日点进动与光线偏折），但其「均匀背景时空」的设定与现代宇宙学观测（宇宙微波背景的各向异性）难以调和；1950 年代后已被实验排除。尽管如此，它作为一种「几何化引力」的替代方案，在物理哲学上仍有讨论价值。

6. 过程哲学（1929 年《过程与实在》）

问题背景：怀特海晚年试图建立一套统一的形而上学，既容纳现代物理（相对论、量子论把世界看作事件与过程的集合），又解释生命、心灵与价值。

关键思想：他反对把世界看作由独立的、持续存在的「物质实体」构成，而主张实在的基本单位是现实机缘（actual occasion / actual entity）——瞬间发生的、彼此内在关联的「经验事件」；世界是过程（process）而非实体的堆积。这一立场与罗素后来的「逻辑原子主义」恰好相反。

意义 / 局限：过程哲学是 20 世纪少数有原创性的形而上学体系之一，深刻影响了过程神学（哈茨霍恩、科布）、生态学哲学、以及对量子力学的哲学解释。它高度抽象、术语生僻，在主流分析哲学中长期被边缘化，但近年随着爱丁堡版《怀特海全集》的陆续出版，其思想在不同领域被重新评估。

四、代表著作与文献

• 《泛代数论》（A Treatise on Universal Algebra, with Applications，1898）：综合四元数、扩张论、布尔代数的符号推理系统，使其当选皇家学会会员。
• 《数学原理》（Principia Mathematica，与罗素合著，三卷，1910、1912、1913，剑桥大学出版社）：逻辑主义的巅峰巨著；有 1962 年到 *56 的节本 Principia Mathematica to *56。
• 《射影几何公理》（The Axioms of Projective Geometry，1906）与《描述几何公理》（The Axioms of Descriptive Geometry，1907）。
• 《数学引论》（An Introduction to Mathematics，1911）：优秀的数学通俗读物，多次再版。
• 《相对论原理》（The Principle of Relativity, with Applications to Physical Science，1922）：提出替代爱因斯坦的引力理论。
• 《科学与近代世界》（Science and the Modern World，1925）：洛威尔讲座，进入形而上学的过渡。
• 《过程与实在》（Process and Reality，1929，吉福德讲座）：过程哲学的奠基之作。
• 《教育的目的》（The Aims of Education，1929）与《观念的冒险》（Adventures of Ideas，1933）。

五、师承、学派与同时代交往

• 师承：剑桥师从劳斯（E. J. Routh，最著名的 Tripos 教练）、格莱舍、斯托克斯、凯莱；与福赛思（A. R. Forsyth）为终身好友。他自认为更像他人思想的「发展者」而非全新领域的创造者。
• 与罗素：这是数学史上最著名的师生—合作者关系之一。1890 年罗素入学时，怀特海作为入学考试阅卷人就发现了他的天才，为他争取了更高级的奖学金；罗素二年级时由他授课。两人合作《数学原理》长达十年。尽管后来哲学立场分道扬镳（罗素走向逻辑原子主义，怀特海走向过程哲学），私交总体保持。
• 与皮亚诺：1900 年巴黎大会上接触皮亚诺的符号逻辑，是其从代数转向逻辑的关键，也是《数学原理》的直接催化剂。
• 与弗雷格：通过罗素间接了解并吸收弗雷格的逻辑主义；《数学原理》继承并修正了弗雷格的纲领。
• 学生与受影响者：哈代、利特尔伍德（数学家）；惠特克、爱丁顿、金斯（数学物理）；凯恩斯（经济学家，曾因作为其主考官而重写论文，对他颇有怨言）；苏珊·朗格、纳尔逊·古德曼、奎因（哲学家）。但他生前未形成自己的学派，多数学生与他后期思想保持距离。
• 与爱因斯坦：1921 年会面；他提出了与爱因斯坦竞争的引力理论。

六、争议、公案与历史评价

• 《数学原理》的作者贡献分配：通常说「罗素负责哲学，怀特海负责数学」，但两人晚年都记不清合作的确切起始与分工细节。主流认为这是真正的合著，缺一不可；也有研究（如 Grattan-Guinness）细致梳理了各自的贡献。
• 可化归公理的特设性：这是《数学原理》最受批评之处——连罗素本人晚年都承认它缺乏逻辑必然性、是「拼凑」。维特根斯坦在《逻辑哲学论》中明确反对它。这一弱点削弱了逻辑主义的说服力。
• 离开剑桥的风波：1910 年他为福赛思的婚外恋丑闻辩护未果而辞职，表面是义愤，深层原因是他在剑桥数学上「未达顶尖」、无望获得讲席。这一事件常被用来说明他在剑桥的边缘化处境。
• 替代引力理论的失败：他 1922 年的引力理论曾与广义相对论竞争数十年，最终被实验排除；但它在科学哲学史上的意义大于其物理正确性。
• 过程哲学的评价：他的形而上学在他生前身后都被分析哲学主流视为「过时的」「晦涩的」，逻辑实证主义者尤其排斥。但在过程神学、生态学、教育哲学等领域影响深远。对其哲学价值的评估，学界至今分歧很大。
• 「被低估的合作者」：作为《数学原理》的合著者，怀特海的知名度长期被罗素盖过；近年（尤其爱丁堡版全集出版后）学界越来越强调他独立于罗素的原创贡献。

七、身后影响与学术谱系

• 数学基础与逻辑：《数学原理》是 20 世纪逻辑学的基石，直接影响了哥德尔（其不完备定理的论文标题即《论〈数学原理〉及有关系统中的形式不可判定命题》）、图灵、丘奇、塔斯基；类型论经拉姆齐、邱奇发展为现代类型论与函数式编程语言的基础。
• 几何与代数：他的几何公理化工作是现代几何基础研究的一环；「数学是模式研究」的观点影响了后来的结构主义数学哲学。
• 科学哲学与物理：他的科学哲学强调从经验中抽象出物理概念，对后来的操作主义、建构经验论有启发；其替代引力理论虽败，仍是广义相对论史的重要参照。
• 哲学与神学：过程哲学与过程神学（哈茨霍恩、科布、格里芬）是他最持久的遗产；近年在量子力学哲学、生态学、环境伦理、数字人文等领域被重新发现。
• 命名遗存：怀特海的数学贡献被「吸收」进主流而少有以他命名的定理（一个例外是引力理论中的某些对象），但其哲学概念（现实机缘、摄入、永恒对象）在过程哲学文献中成为标准术语；小行星 14349 Whitehead 以他命名。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Alfred North Whitehead：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Stanford Encyclopedia of Philosophy: Alfred North Whitehead：斯坦福哲学百科条目，覆盖其数学、逻辑、物理、哲学各阶段。
• Stanford Encyclopedia of Philosophy: Principia Mathematica：《数学原理》的内容、逻辑主义与影响。
• Wikipedia: Alfred North Whitehead：生平、著作与思想的交叉核对。
• Wikipedia: Principia Mathematica：《数学原理》的内容、构造与历史地位。
• Wikipedia: Process philosophy：过程哲学概述。
• Wikipedia: Whitehead's point-free geometry：怀特海的无点几何思想。
• Victor Lowe, Alfred North Whitehead: The Man and His Work (2 vols, Johns Hopkins UP, 1985, 1990)：最权威的怀特海传记（MacTutor 主要参考来源）。
• Ivor Grattan-Guinness, The Search for Mathematical Roots, 1870–1940 (Princeton UP, 2000)：梳理弗雷格—皮亚诺—罗素—怀特海逻辑主义谱系的权威著作。