伯特兰·罗素（Bertrand Arthur William Russell）

20 世纪最具影响力的逻辑学家与公共知识分子——他用一个悖论动摇了整个数学的基础，又用类型论与《数学原理》试图重建它；他把逻辑分析的手术刀带进哲学，开创了分析哲学；而在长达近一个世纪的生命里，他还以反战、反核的姿态活跃于世界舞台，成为知识分子良知的象征。

一、生平与时代背景

伯特兰·阿瑟·威廉·罗素，第三代罗素伯爵，于 1872 年 5 月 18 日出生在威尔士蒙默思郡特雷勒克（Trellech）附近的雷文斯克罗夫特（Ravenscroft），出身于显赫的英国辉格党贵族世家。祖父约翰·罗素勋爵（第一代罗素伯爵）曾两度出任英国首相；父亲安伯利子爵是自由派思想家，母亲凯瑟琳也是改革派人士，两人都是早期节育倡导者（在当时被视为离经叛道）。哲学家约翰·斯图亚特·密尔被指定为他的「世俗教父」，但密尔在罗素出生次年便去世，其著作后来深刻影响了罗素。

1874 年 6 月，母亲因白喉去世，姐姐雷切尔不久也夭折；1876 年 1 月父亲因支气管炎病故。罗素与哥哥弗兰克被送往祖父祖母在里士满公园的彭布罗克宅邸（Pembroke Lodge）抚养。祖父 1878 年去世，此后祖母弗朗西斯（Frances Elliot，苏格兰长老会信徒）成为他童年的核心人物——她向大法官法院申请推翻了父亲遗嘱中「让孩子作为不可知论者长大」的条款，但其本人在社会议题上颇为进步（接受达尔文主义、支持爱尔兰自治），对罗素「坚持原则」「关注社会正义」的性格影响深远。罗素的童年孤独压抑，一度想到自杀，是「对自然、书籍以及后来对数学的兴趣」把他从绝望中救回。11 岁时，哥哥弗兰克把欧几里得几何介绍给他，他后来形容这是「我生命中的大事之一，像初恋一样令人目眩」。他在家中由一系列家庭教师教育；15 岁起开始怀疑基督教教义，先否定自由意志，再否定来世，18 岁读了密尔的自传后放弃「第一因」论证，成为无神论者。

1890 年他获奖学金进入剑桥三一学院攻读数学，导师是罗伯特·拉姆齐·韦伯（R. R. Webb）。怀特海（时任入学考试阅卷人）一眼看出他的天才，举荐他加入精英社团「使徒会」（Cambridge Apostles）。1893 年他以第七名优等（Seventh Wrangler）毕业于数学，1895 年以哲学论文当选三一学院研究员——在此期间与摩尔（G. E. Moore）结为挚友，两人共同发动了对当时占统治地位的英国唯心论的「反叛」，转向实在论与逻辑分析，这被视为分析哲学的起源。1896 年他出版第一部著作《德国社会民主》，并在伦敦政治经济学院任教；1897 年发表研究员论文《几何基础的一个探讨》。1894 年他与爱丽丝·皮尔索尔·史密斯（Alys Pearsall Smith，美国人，贵格会信徒）结婚，这段婚姻在 1901 年他经历一次「神秘的顿悟」后名存实亡，1921 年离婚。

1900 年巴黎国际哲学大会是他人生的转折点——他在那里遇见皮亚诺，被皮亚诺记号的精确性折服，回国后潜心研读，很快（1901 年 5 月）在考察「所有不属于自身的类构成的类」时发现了著名的罗素悖论，直接击中康托尔的朴素集合论与弗雷格的逻辑系统。1903 年他出版《数学的原理》（The Principles of Mathematics），在附录中向英语世界推介弗雷格，并宣告逻辑主义纲领：数学即逻辑。1905 年他在《心灵》（Mind）杂志发表《论指谓》（On Denoting），提出摹状词理论，被誉为分析哲学的「范式」。1908 年当选皇家学会会员，并发表《以类型论为基础的数理逻辑》，给出类型论的成熟形式。1907 年他曾作为独立自由党人竞选下院（温布尔登补选）落选。

1910 年他任三一学院讲师，同年奥地利学生维特根斯坦前来求学，罗素视其为自己逻辑事业的继承者，花费大量精力指导他。1910—1913 年与怀特海合著的《数学原理》三卷出版。一战期间他是英国最著名的反战活动家之一：1916 年因《国土防卫法》被判有罪、罚款 100 英镑并被三一学院解聘；1918 年因公开反对请美国参战，被判在布里克斯顿监狱监禁六个月——正是在狱中他写出了广受欢迎的《数理哲学导论》（1919）。1919 年他与朵拉·布莱克（Dora Black）相恋，1921 年结婚，两人在 1920 年代末创办了实验性的灯塔山学校（Beacon Hill School）。1921 年他首次访问苏俄（对布尔什维克大失所望），随后访问中国，在北京讲学近一年。

1931 年哥哥弗兰克去世，他成为第三代罗素伯爵，进入上议院。1932 年获伦敦数学会德摩根奖章，1934 年获皇家学会西尔维斯特奖章。1936 年与第三任妻子帕特里夏·斯彭斯（Patricia Spence）结婚。1938 年他携家赴美，先后在芝加哥大学、加州大学洛杉矶分校任教；1940 年他被任命为纽约市立学院教授，却因公众抗议与法院判决（被裁定「道德上不适合执教」）而遭撤销——这一事件成为学术自由的著名公案。1944 年他回到英国，重新当选三一学院研究员。1948 年与第四任妻子伊迪丝·芬奇（Edith Finch）结婚。1949 年获功绩勋章，1950 年获诺贝尔文学奖（表彰其「捍卫人道主义理想与思想自由的多产且重要的著作」）。

1950 年代后，他把主要精力投入反核与和平运动：1955 年与爱因斯坦联合发表《罗素—爱因斯坦宣言》，呼吁削减核武器；1957 年组织首届帕格沃什会议；1958 年成为核裁军运动（CND）创始主席；1961 年因反核抗议再次入狱（两个月刑期上诉后减为在监狱医院服刑一周）。1957 年获卡林加奖，1963 年获耶路撒冷奖。他还谴责美国卷入越南战争，晚年参与设立国际战犯审判法庭（罗素法庭）。1970 年 2 月 2 日，罗素在威尔士梅里奥尼斯郡的彭林德恩德拉思（Penrhyndeudraeth）去世，享年 97 岁。他一生结过四次婚，以众多恋情著称，有三个孩子；其自传（三卷，1967—1969）是 20 世纪最著名的知识分子回忆录之一。

二、学术生涯年表

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

1. 罗素悖论（1901）——第三次数学危机

问题背景：康托尔的朴素集合论与弗雷格的逻辑系统都默认「无限制概括公理」：任何性质 $P(x)$ 都定义一个集合 ${x:P(x)}$。康托尔本人（1895—1899）已发现最大基数、最大序数悖论，但未公开；布拉利-福尔蒂 1897 年发表了序数悖论。罗素找到了一个更简洁、更根本的版本。

关键思想：考虑「所有不属于自身的集合构成的集合」$R={x:x\notin x}$。问 $R$ 是否属于自身？若 $R\in R$，则按定义 $R$ 满足「$x\notin x$」，即 $R\notin R$；若 $R\notin R$，则 $R$ 满足定义性质，故 $R\in R$。于是 $R\in R\iff R\notin R$——矛盾。

精确表述：在经典逻辑中，由矛盾可推出任意命题（ex falso quodlibet），故一旦系统含此矛盾，整个系统就崩溃。罗素 1902 年 6 月 16 日致信弗雷格告知此悖论，后者在《算术基本规律》第二卷附录中承认「算术的基础动摇了」。

与前人关系 / 争议：策梅洛（Ernst Zermelo）此前已独立发现同一悖论（约 1900 年）但未发表，这一优先权在后世有讨论（学界有争议）。悖论的威力在于它只用了「集合」与「属于」两个最基本的概念，不依赖序数或基数，因而直指集合概念本身。

意义：这一悖论引发了所谓「第三次数学危机」，迫使数学家直面集合论的基础，直接催生了公理集合论（ZFC）、类型论、证明论与直觉主义，深刻塑造了 20 世纪数学基础的走向。

2. 类型论（1903 / 1908 / 《数学原理》）——规避悖论的方案

问题背景：如何在保留集合论威力的同时阻止悖论产生？

关键思想：罗素的基本想法是把所有命题函数排成一个层级（type hierarchy）：最低层是个体（individuals），其上是个体的集合/性质，再上是集合的集合/性质……依此类推。一个命题函数不能有意义地作用于与自身同层或更高层的对象——「$x$ 是一个集合」这样的函数不能自指，否则涉及「恶性循环」。这就是他与庞加莱共同采纳的恶性循环原则（Vicious Circle Principle）：「任何涉及一个集合的全体的东西，都不能是该集合的一个元素。」

精确表述：类型论有两个版本：①简单类型论（simple type theory）只按对象的类型分层，能阻止集合论悖论；②分支类型论（ramified type theory，《数学原理》所采用）进一步在每个类型内按「阶」（order）分层，以同时阻止语义悖论（如说谎者悖论）。为弥补分支类型论过强、无法定义许多标准数学对象的问题，罗素引入了可化归公理（axiom of reducibility）：任何高阶性质都等价于某个最低阶（直谓）性质。

与前人关系 / 局限：类型论是罗素对悖论的原创回应，影响深远。但可化归公理被广泛批评为「特设的」（ad hoc）、缺乏逻辑必然性（维特根斯坦《逻辑哲学论》明确反对）；分支类型论也因过于繁复而未成为主流。现代数学主流选择了策梅洛—弗兰克尔公理集合论（ZFC）来规避悖论，而非类型论——尽管类型论的思想在计算机科学（函数式编程、证明助手如 Coq、Lean）中获得了新生。

3. 逻辑主义的辩护与《数学原理》（与怀特海，1910—1913）

问题背景：能否证明数学在某种重要意义上可归约为逻辑？这是弗雷格发起的纲领。

关键思想：罗素在《数学的原理》（1903）中把逻辑主义表述为两个论题：①所有数学真理都能翻译为逻辑真理（数学词汇是逻辑词汇的子集）；②所有数学证明都能改写为逻辑证明（数学定理是逻辑定理的子集）。与怀特海合作的《数学原理》是这一纲领的宏大实施：在类型论的框架中，从逻辑公理出发，逐步推导集合论、基数与序数算术、级数与初等测度论。

精确表述：在《数学原理》中，数被定义为「等势类的类」（与弗雷格一致）：数 1 是所有单元类的类，数 2 是所有二元类的类……「有两本书」被改写为「存在书 $x$ 与书 $y$，且 $x\neq y$，且任何书都是 $x$ 或 $y$」。算术运算归结为集合的并、交等运算。书中用了数百页才证明 $1+1=2$（这成为著名逸闻，实际证明出现在第一卷后半）。

与前人关系 / 局限：继承并修正了弗雷格的逻辑主义。致命局限（与弗雷格共享）：①无穷公理与选择公理是否属于「纯逻辑」备受质疑，它们似乎是关于世界的实质假定而非逻辑真理；②哥德尔 1931 年的不完备定理表明，任何足以表达算术的一致形式系统都不能在自身内证明其一致性、且必包含不可判定命题——「从逻辑推出全部数学」的纲领在严格意义上无法完成。罗素本人晚年坦言「我曾希望在数学中找到的那种灿烂的确定性，迷失在了令人困惑的迷宫中」。

意义：尽管逻辑主义未能完全实现，《数学原理》仍是 20 世纪逻辑学最伟大的著作，确立了现代形式逻辑的标准与范式，直接催生了哥德尔、塔斯基、图灵等人的元数学研究。

4. 摹状词理论（《论指谓》，1905）——分析哲学的范式

问题背景：像「当今的法国国王是秃头」这样的句子——「当今的法国国王」并不指称任何对象，它如何有意义？若说它指称一个「非存在的对象」，会陷入本体论的膨胀（迈农的对象理论）。

关键思想：罗素提出，限定摹状词（the so-and-so）并不是真正的指称表达式，而是不完全符号，必须在整个命题的语境中加以分析。「当今的法国国王是秃头」应被改写为：「存在唯一一个 $x$，$x$ 当今是法国国王，并且 $x$ 是秃头」——即 $\exists x((K(x)\land \forall y(K(y)\to y=x))\land B(x))$。由于当今没有法国国王，第一个合取支为假，整个命题为假（而非无意义），从而避免了迈农式的非存在实体。

精确表述：该分析把表面的语法形式与深层的逻辑形式区分开来——这是分析哲学的核心方法论。类似地，「司各特是《威弗利》的作者」被分析为唯一性陈述，解决了「乔治四世想知道司各特是否是《威弗利》的作者」这类晦暗语境的同一替换难题。

与前人关系 / 局限：直接回应了弗雷格的意义/指称理论与迈农的对象理论，给出了一个唯名论倾向的替代方案。争议在于：斯特劳森（P. F. Strawson）1950 年批评罗素把「预设」（presupposition）与「断言」混为一谈——说「当今的法国国王是秃头」是预设而非断言法国国王存在，故该句不是假而是无真值。摹状词理论是否是自然语言限定摹状词的正确语义分析，至今仍有争议，但它作为「用逻辑分析解决哲学问题」的范式，影响无可比拟。

5. 一阶谓词演算的精炼与普及

问题背景：弗雷格发明了谓词演算，但其二维记号难读、几乎无人懂；需要一个清晰、可用的版本。

关键思想：罗素（在皮亚诺记号基础上）精炼并普及了一阶谓词演算的现代形式——命题联结词、量词 $\forall,\exists$、等词、谓词与关系的统一处理——使之成为 20 世纪逻辑学的通用语言。《数学原理》的记号（皮亚诺—罗素记法）被广泛采用。

意义：今天的一阶逻辑教材，其记号与表述方式很大程度上直接源自罗素。一阶逻辑后来成为数学、哲学、计算机科学、语言学的标准逻辑工具。罗素也被（与哥德尔并列）视为 20 世纪两位最重要的逻辑学家之一。

6. 逻辑原子主义与哲学方法论

问题背景：罗素希望把《数学原理》的逻辑分析方法推广到整个哲学，用「逻辑构造」取代形而上学的实体设定。

关键思想：在 1918 年的「逻辑原子主义」讲演中，他提出：世界最终由「逻辑原子」（原子事实与对应于它们的原子命题）构成，复杂命题通过真值函项由原子命题构造而成；哲学的任务就是用逻辑分析把含混的命题还原为其逻辑形式。「只要可能，就用逻辑构造来替代推论出来的实体」是其著名方法论口号。

意义 / 局限：这是早期分析哲学的核心纲领，影响了维特根斯坦《逻辑哲学论》与逻辑实证主义。其强还原论版本后来被维特根斯坦本人与日常语言学派所修正，但「逻辑分析」作为哲学方法的地位由此确立。

四、代表著作与文献

• 《数学的原理》（The Principles of Mathematics，1903）：逻辑主义的哲学宣言，附录中向英语世界推介弗雷格。
• 《数学原理》（Principia Mathematica，与怀特海合著，三卷，1910、1912、1913）：20 世纪逻辑学的巅峰巨著；有 1962 年到 *56 的节本。
• 《论指谓》（On Denoting，1905，载《心灵》）：摹状词理论，分析哲学的奠基论文；重印于《逻辑与知识》（Logic and Knowledge，1956）。
• 《以类型论为基础的数理逻辑》（Mathematical Logic as Based on the Theory of Types，1908，载《美国数学杂志》）；重印于 van Heijenoort 编《From Frege to Gödel》。
• 《数理哲学导论》（Introduction to Mathematical Philosophy，1919）：狱中写成的经典入门，至今仍是逻辑与数学哲学的优秀读物。
• 《心的分析》（The Analysis of Mind，1921）与《物的分析》（1927）：发展中立一元论。
• 《西方哲学史》（A History of Western Philosophy，1945）：畅销的通俗哲学史，助其获诺贝尔文学奖。
• 《自传》（The Autobiography of Bertrand Russell，三卷，1967—1969）：20 世纪最著名的知识分子回忆录之一。

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

• 师承：剑桥受教于怀特海（最重要的老师与合作者）、麦克塔加特（J. M. E. McTaggart，其唯心论最初的影响者）、詹姆斯·沃德（James Ward）；数学导师为 R. R. Webb。
• 与怀特海：从师生到合作者，合著《数学原理》十年，是 20 世纪最重要的学术合作之一；后期哲学立场分歧（罗素逻辑原子主义 vs. 怀特海过程哲学），但私交总体保持。
• 与弗雷格：1902 年的通信（告知悖论）是数学史上的关键事件；罗素是弗雷格工作的发现者与英语世界推介者。两人晚年在关于几何基础与「思想」的通信中也有交流。
• 与皮亚诺：1900 年巴黎大会的相遇改变了他的智识轨迹，皮亚诺的记号成为《数学原理》的语言基础。
• 与摩尔：挚友，两人共同反叛唯心论、创立分析哲学。
• 与维特根斯坦：1911 年起的学生与被保护者，罗素视其为逻辑事业的继承者，为其《逻辑哲学论》的出版奔走；维特根斯坦后来对罗素的许多观点提出严厉批评，两人关系复杂。
• 学生与受影响者：维特根斯坦、奎因（W. V. Quine）、拉姆齐（F. P. Ramsey）、卡尔纳普、哥德尔（其不完备定理论文即题名「论《数学原理》及有关系统中的形式不可判定命题」）、艾耶尔（A. J. Ayer）、科普（I. Copi）等。
• 对手 / 争论：与彭加莱就恶性循环原则与逻辑主义有争论；与斯特劳森就摹状词理论；与库蒂拉（Couturat）、凯泽（Keyser）就无穷公理；与杜威、布拉德雷等有哲学论战。
• 公共交往：与爱因斯坦联合发表宣言；与萧伯纳、凯恩斯、利顿·斯特雷奇（布卢姆斯伯里团体）等为友；与多国政要通信。

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

• 罗素悖论的优先权：策梅洛约 1900 年已独立发现同一悖论但未发表，罗素 1901 年发现并（1903 年）发表。主流认为二人独立发现，名称归于罗素；策梅洛的优先权在文献中有讨论。
• 纽约市立学院事件（1940）：他被任命为纽约市立学院教授，因公众抗议（以其无神论与开放的性道德观为由）与法院判决而被撤销，法官麦吉汉（McGeehan）裁定他「道德上不适合」执教。这成为学术自由与政教分离的著名公案，杜威等学者为之辩护。
• 可化归公理的特设性：这是《数学原理》最受诟病之处，连罗素本人晚年都承认它是「拼凑」，削弱了逻辑主义的纯粹性。
• 政治立场的反复：他一战时坚定反战，二战前一度支持绥靖、1943 年转而认为对纳粹作战是「两害相权取其轻」；战后欢迎美国霸权以抗衡苏联，晚年又激烈反核、反越战、谴责斯大林主义。这些立场变化使其政治评价复杂，学界与公众看法分歧较大。
• 与女性的关系：四次婚姻、众多恋情、开放婚姻的实验（灯塔山学校），在其生前身后都引发争议，被一些人批评、被另一些人视为先驱。
• 哲学地位的评估：在分析哲学内部，罗素与摩尔、弗雷格、维特根斯坦并列奠基者；但在欧陆哲学与一些后现代思潮中，其「逻辑崇拜」被批评。总体上，他被公认为 20 世纪最重要的知识分子之一。
• 逻辑主义的「失败」：哥德尔不完备定理（1931）表明逻辑主义的强纲领无法实现，罗素本人也承认这一点；但这一「失败」催生了更深刻的元数学洞见，《数学原理》的技术与方法价值永存。

七、身后影响与学术谱系

• 数理逻辑与数学基础：罗素悖论直接催生公理集合论（ZFC）与类型论两大主流基础；《数学原理》是现代逻辑的奠基文本，哥德尔不完备定理即直接以它为对象；类型论经邱奇的 λ 演算发展为现代类型论，成为 Coq、Lean 等证明助手与函数式编程语言（Haskell、OCaml）的理论基础。
• 分析哲学：他是分析哲学的奠基人之一——「逻辑形式」「逻辑分析」「摹状词理论」「逻辑构造」成为整个分析传统的基本方法与概念；对语言哲学、心灵哲学、形而上学、认识论均有奠基性贡献。
• 计算机科学与 AI：一阶逻辑（由他精炼普及）是知识表示、逻辑编程（Prolog）、程序验证与自动化推理的基础；类型论对编程语言设计影响深远。
• 公共知识分子传统：他树立了「学者介入公共事务、以理性与良知影响社会」的典范，影响了包括萨特、乔姆斯基在内的几代知识分子。
• 命名与纪念：罗素悖论、罗素集、罗素—怀特海记号、罗素—爱因斯坦宣言、罗素法庭；伦敦大学学院设有伯特兰·罗素讲座；月球上有罗素环形山；小行星 2349 号名为「Bertrand Russell」。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Bertrand Russell：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Stanford Encyclopedia of Philosophy: Bertrand Russell：斯坦福哲学百科条目，覆盖其逻辑、数学哲学与哲学各方面。
• Stanford Encyclopedia of Philosophy: Russell's paradox：罗素悖论的历史、形式与影响。
• Stanford Encyclopedia of Philosophy: Principia Mathematica：《数学原理》的内容与逻辑主义。
• Stanford Encyclopedia of Philosophy: Descriptions：摹状词理论的发展与争议。
• Wikipedia: Bertrand Russell：生平、著作与公共活动的交叉核对。
• Wikipedia: Principia Mathematica：《数学原理》的构造与历史地位。
• Wikipedia: Russell's paradox：悖论的形式、历史与各种解决方案。
• Wikipedia: On Denoting：《论指谓》的摹状词理论及其反响。
• Ray Monk, Bertrand Russell: The Spirit of Solitude (Vintage, 1996)：罗素 1872—1921 的权威传记（MacTutor 参考来源之一）。
• The Bertrand Russell Research Centre / Bertrand Russell Society：麦克马斯特大学罗素研究中心，藏有罗素档案与著作全集。