乔治·布尔（George Boole）

自学成才的鞋匠之子，把两千年的逻辑学变成了一种代数；他生前默默无闻于爱尔兰的雨里，身后却成为每一块芯片、每一次搜索、每一行代码所运行的逻辑的奠基人。

一、生平与时代背景

乔治·布尔于 1815 年 11 月 2 日生于英格兰林肯郡林肯市，是家中四个孩子的长子。父亲约翰·布尔（John Boole，1777—1848）是一名鞋匠，但真正热衷的是科学与数学，尤其喜欢把数学应用于科学仪器的制作，活跃于当地的林肯技工协会（Lincoln Mechanics' Institution），1834 年起任其图书馆管理员——这种对学问的热爱显然传给了乔治。母亲玛丽·安·乔伊斯（Mary Ann Joyce，1780—1854）是一名女仆。家庭并不富裕，部分原因是约翰把精力倾注于科学而非经营鞋店。

布尔几乎完全靠自学。他不到两岁入读克拉克姐妹为工匠子弟办的学校，七岁前在吉布森的商业学校，期间由父亲开蒙数学并培养了制作光学仪器的兴趣。他跟随当地书商学拉丁文，又自学希腊文——14 岁时翻译了希腊诗人墨勒阿格（Meleager）的一首诗，父亲引以为荣将其发表，却遭到一位本地校长质疑"任何 14 岁的孩子都不可能写得如此有深度"。他后来还自学了法语、德语、意大利语。

布尔没有读过大学。16 岁时父亲生意失败，他不得不养家，去唐卡斯特的希厄姆学校当助教（父亲的鞋店破产使他必须赡养父母弟妹），同时开始认真研读数学——他读的第一本高等数学书是拉克鲁瓦（Lacroix）的《微积分》，后来他坦言曾"几乎浪费了五年"靠自学而非名师指点。1833 年他去利物浦任教半年，又转到林肯附近沃丁顿的霍尔学院；1834 年，年仅 19 岁的他在林肯自己开了一所学校。1838 年霍尔学院的罗伯特·霍尔去世后，他接办该校，全家迁至沃丁顿。这期间他研读拉普拉斯与拉格朗日的原著（法文），做的笔记后来成为他第一篇数学论文的基础。

1839 年初，布尔专程去剑桥拜访《剑桥数学杂志》（Cambridge Mathematical Journal，CMJ）的年轻编辑邓肯·格雷戈里（Duncan Gregory，1813—1844）；格雷戈里虽仅毕业两年，却成为布尔的重要导师，教他如何写数学论文。1841 年布尔开始在 CMJ 发表论文，研究微分方程、积分与变分法，并在 1841 年发表了他第一篇不变量论文——这篇论文深刻影响了爱森斯坦、凯莱与西尔维斯特去发展整个不变量理论。1842 年他开始与德·摩根（Augustus De Morgan，1806—1871）通信，结为终身挚友；1844 年凯莱写信称赞他的不变量工作，二人也成为密友（凯莱还曾去林肯拜访他）。

1843 年，中学教师布尔完成一篇长微分方程论文，把指数替换、常数变易与符号分离法结合，投给皇家学会；第一位审稿人拒稿，第二位推荐其获 1841—1844 年最佳数学论文金奖，建议被采纳。1844 年皇家学会发表该文并授予他皇家奖章（Royal Medal）——这是学会首次把金奖授予数学家。1845 年他在英国科学促进会（BAAS）剑桥年会上读论文，结识了威廉·汤姆森（后来的开尔文勋爵）。

1846 年布尔申请爱尔兰新建女王学院（Queen's Colleges）的讲席，德·摩根、凯兰（Kelland）、凯莱、汤姆森等为他写推荐信。父亲 1848 年 12 月去世；1849 年 8 月通知他出任科克女王学院（Queen's College, Cork）首任数学教授，11 月到任，此后在此任教直至去世，声誉卓著。但学院卷入宗教争端，1850 年他写信给德·摩根，对同事间失去信任感到不安，并询问英国有无合适职位。1851 年他当选理学院院长（Dean of Science）。

1850 年，玛丽·埃佛勒斯（Mary Everest，1835—1916，以山命名的乔治·埃佛勒斯爵士的侄女）来科克探望任希腊文教授的舅舅（布尔的朋友），与布尔相识；1852 年布尔去英格兰威克沃尔探望埃佛勒斯一家，给玛丽非正式地上微积分课——当时他 37 岁，她 20 岁。1855 年玛丽父亲去世、失去经济来源，布尔求婚，二人 1855 年 9 月 11 日在威克沃尔结婚，婚姻幸福，育有五女：玛丽·埃伦（1856）、玛格丽特（1858）、艾丽西亚（1860，后来成为研究四维多胞体的数学家艾丽西亚·斯托特）、露西·埃佛勒斯（1862）、埃塞尔·莉莲（1864）。

1847—1854 这八年是布尔逻辑工作的全部时段，以《逻辑的数学分析》（1847）开篇、《思维规律的研究》（1854）收尾；期间他还发表了 24 篇传统数学论文（仅 1848 年写过一篇逻辑论文）。1855—1864 年的最后十年，他发表 17 篇数学论文与两本教材（微分方程、有限差分），后者在剑桥长期用作教科书。荣誉接踵而至：1851 年都柏林大学荣誉法学博士（LL.D.），1857 年当选皇家学会会士（FRS），1858 年剑桥哲学学会荣誉会员，1859 年牛津大学荣誉民法学博士（DCL）。

他的死颇具悲剧色彩：1864 年的一天，他冒大雨从住所步行两英里到学院，穿着湿衣服讲课，结果患上发热性感冒并累及肺部，发展为肺炎。他的妻子玛丽信奉"疗法应相似于病因"——把他安顿在床上后，往床上一桶桶地泼水（因为他是淋雨得病的）。1864 年 12 月 8 日，布尔在爱尔兰科克郡巴林坦普尔（Ballintemple）去世，年仅 49 岁。

二、学术生涯年表

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

1. 逻辑的代数化——布尔代数（1847 / 1854）

问题背景：自亚里士多德以来，逻辑靠罗列各种三段论式来判断推理有效与否，无法处理任意复杂度的论证。莱布尼茨曾梦想一种"通用文字"与"理性演算"，但未实现；19 世纪初符号代数（symbolical algebra）在英国兴起（皮科克、格雷戈里、德·摩根），为把代数运算推广到非数值对象铺平了道路。

关键思想：布尔 1847 年在《逻辑的数学分析》中，用符号表示类（class），把逻辑推理转化为代数运算。对代表类的符号 $x,y$： - $xy$ 表示同时属于 $x$ 与 $y$ 的元素构成的类（交集）； - $x+y$ 表示 $x$ 与 $y$ 的并（布尔最初要求二者不交，即"互斥析取"）； - $x-y$ 表示属于 $x$ 但不属于 $y$ 的类（差）； - $1$ 表示论域全类，$0$ 表示空类，$1-x$ 表示 $x$ 的补类。

最根本的是他称之为指数律（index law）的恒等式：

$$x^2 = x \quad (\text{更一般地 } x^n = x),$$

它刻画了"选取一次与选取两次结果相同"的类运算特征，是布尔代数区别于普通数代数的标志。由 $x^2=x$ 立得 $x(1-x)=0$，即排中律与矛盾律的代数表达。

精确表述（布尔展开定理）：任意逻辑函数 $f(x)$ 都可展开为

$$f(x) = x\,f(1) + (1-x)\,f(0),$$

对 $n$ 个变量的函数有相应的 $2^n$ 项展开（即后世的析取范式/最小项展开）。这给出了一种机械的算法，可对任意复杂的命题推理进行计算——这是两千年来逻辑第一次被"算法化"。

与前人关系：莱布尼茨有"理性演算"的设想但未成型；德·摩根几乎同时独立地把代数方法用于逻辑（德·摩根律），但德·摩根更侧重关系逻辑；布尔是第一个给出完整可演算逻辑代数体系的人。

局限性：布尔的体系中允许"不可解释的中间步骤"（如把 $1/0$ 之类当作普通代数运算的中间结果），这被杰文斯（Jevons）、皮尔斯（Peirce）、施罗德（Schröder）批评并清洗，形成了今天教科书里的布尔代数（分配格 + 补）。但布尔的核心思想——逻辑即代数——被完整继承。

2. 《思维规律的研究》（1854）——逻辑与概率的统一

问题背景：1847 年的《逻辑的数学分析》是一本 82 页的小册子，布尔自认其逻辑理论仍未完整；他希望把逻辑与概率统一在同一代数框架下。

关键思想：1854 年出版的《思维规律的研究，逻辑与概率的数学理论基础》（An Investigation into the Laws of Thought, on Which are founded the Mathematical Theories of Logic and Probabilities，简称 LT）是布尔的代表作。他把类的代数推广到命题：把命题看作取值于 ${0,1}$ 的真值，命题的合取、析取、否定对应于代数运算，从而整个命题逻辑可计算。他还尝试把这套代数用于概率论，用逻辑运算来处理事件之间的关系，试图统一演绎逻辑与归纳概率。

布尔本人深知其价值。1851 年 1 月 2 日他写信给汤姆森（开尔文）说："我正着手把我的逻辑与概率理论付梓……我把它视为我对科学最有价值的、甚至是唯一有价值的贡献，也是我希望后世凭此记住我的东西。"

与前人关系：德·摩根评价："布尔的逻辑体系不过是天才与耐心相结合的众多证明之一……代数中为数值计算发明的符号过程，竟能表达思想的每一个活动，并为一个包罗万象的逻辑体系提供语法与词典——这在被证明之前是难以置信的。"

局限性：布尔把逻辑建立在"思维规律"的心理学/形而上学之上（心理主义），这一基础后来被弗雷格、胡塞尔批评；他对概率的处理也不完全令人满意，但启发了后来的逻辑概率传统。

3. 微分方程的符号算子法（1841—1859）

问题背景：常系数线性微分方程的求解在 19 世纪仍是繁琐之事。

关键思想：布尔把微分算子 $D = d/dx$ 当作代数符号处理，把微分方程写成算子多项式形式。例如

$$\frac{d^2y}{dx^2}-\frac{dy}{dx}-2y=\cos x \quad\Longleftrightarrow\quad (D^2-D-2)y=\cos x,$$

然后把 $D^2-D-2$ 当作普通多项式进行因式分解与部分分式展开，用算子的"逆"来解出 $y$。这套符号分离法（separation of symbols）虽非布尔首创（格雷戈里等人已用），但布尔系统地发展并用于变系数与高阶方程，其方法影响深远。1844 年获皇家奖章的论文正是此法的集大成。

影响：算子法后来演变为拉普拉斯变换与现代线性系统理论，是工程数学的基本工具。

代表作：《微分方程论》（A Treatise on Differential Equations，1859；修订版身后出版，含奇解讨论），长期在剑桥用作教科书。

4. 不变量理论的早期奠基（1841）

问题背景：19 世纪中叶，代数形式（齐次多项式）在坐标线性变换下的不变量是代数几何的核心问题之一。

关键思想：布尔 1841 年的论文研究解析变换，特别是二次方程一般式的化简，发现判别式（discriminant）在线性变换下不变。这篇论文直接启发了凯莱与西尔维斯特，二人随后把不变量理论发展为 19 世纪下半叶最热门的代数分支。凯莱 1844 年的第一封给布尔的信就是称赞他的不变量工作。

与前人关系：布尔是不变量理论的先驱；该理论的系统建立归功于凯莱与西尔维斯特（"不变量双子"），后经希尔伯特 1890 年的有限基定理达到高峰。

5. 有限差分演算与其他贡献

• 《有限差分演算论》（A Treatise on the Calculus of Finite Differences，1860）：系统整理差分算子与级数求和，是该领域的标准教材逾半个世纪。
• 代数基本性质的研究：他是最早研究分配律等代数基本性质的人之一，为抽象代数的公理化做了铺垫。
• 概率论：在《思维规律》中尝试用逻辑代数重构概率论。
• 光学仪器：继承父志，制作过光学仪器。

四、代表著作与文献

• 《逻辑的数学分析》（The Mathematical Analysis of Logic, 1847，MAL）：82 页小册子，逻辑代数的开山之作。
• 《思维规律的研究》（An Investigation into the Laws of Thought, 1854，LT）：逻辑与概率的代数理论集大成，代表作。
• 《微分方程论》（A Treatise on Differential Equations, 1859；修订本身后出版）：剑桥长期使用的教材。
• 《有限差分演算论》（A Treatise on the Calculus of Finite Differences, 1860）：差分法标准教材。
• 《论分析的一般方法》（On a General Method of Analysis, 1844，皇家学会《哲学汇刊》）：获皇家奖章的微分方程论文。
• 约 50 篇论文，发表于 CMJ、《剑桥与都柏林数学杂志》、皇家学会汇刊等。
• 现代版本：George Boole: Selected Manuscripts on Logic and its Philosophy（I. Grattan-Guinness 与 G. Bornet 编，Birkhäuser，1997）。

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

• 师承：无正式大学导师。精神导师是邓肯·格雷戈里（CMJ 编辑，教其写论文）与德·摩根（通信指导）；数学上靠研读拉克鲁瓦、拉普拉斯、拉格朗日原著自学。从未取得正规大学学位（仅有都柏林 LL.D. 与牛津 DCL 荣誉学位）。
• 学派归属：英国符号代数—逻辑学派的开创者；与德·摩根共同构成 19 世纪中叶英国逻辑代数复兴的双璧。
• 同时代交往：
• 奥古斯都·德·摩根：1842 年起通信的终身挚友；二人几乎同时独立地把代数用于逻辑，互相启发。
• 邓肯·格雷戈里：早期导师，CMJ 编辑，1844 年英年早逝。
• 亚瑟·凯莱：1844 年因不变量论文结识的密友，曾赴林肯拜访；二人在不变量与代数上相互影响。
• 威廉·汤姆森（开尔文）：1845 年结识的朋友，布尔 1851 年向他透露《思维规律》的写作计划。
• 妻子玛丽·埃佛勒斯·布尔：思想伴侣，后撰写大量普及读物，把布尔的思想传给下一代（其女艾丽西亚·斯托特成为四维几何学家）。
• 传承谱系：布尔 → 杰文斯、皮尔斯、施罗德（清洗并公理化布尔代数）→ 弗雷格、罗素 → 现代数理逻辑；→ 香农（1938 年把布尔代数用于开关电路）。

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

• 14 岁翻译真伪之争：他 14 岁翻译的墨勒阿格诗被本地校长质疑，此事常被传记家提及，以说明其早慧（争议结论：一般认为确为他所作）。
• 逻辑与数学的先后：常见印象是"布尔是逻辑学家"，但 SEP 指出他在写任何逻辑文字之前就已是公认的数学家——他的逻辑工作集中在 1847—1854 这八年，其余岁月主要研究分析与代数。
• "不可解释步骤"之争：布尔允许在代数推导中出现 $1/0$ 等逻辑上不可解释的中间量，杰文斯、文恩（Venn）等批评其缺乏直观解释，认为应改为纯可解释的代数；现代布尔代数（杰文斯、皮尔斯、施罗德的修正版）因此与布尔原著有别，但本质思想一致。
• 心理主义基础：布尔把逻辑奠基于"思维规律"的心理学，被后世反心理主义者（弗雷格、胡塞尔）批评，但这不妨碍其代数技术的价值。
• 身后冷遇与复兴：布尔生前主要被视为分析学家，其逻辑工作在 19 世纪末影响有限；20 世纪因罗素、怀特海的数理逻辑与香农的开关电路而大放异彩，被誉为"计算机时代的守护神"。2015 年他 200 周年诞辰时，Google 曾为之制作涂鸦（doodle）。
• 妻子的"疗法"：他因淋雨得肺炎后，妻子玛丽按"以类治类"的顺势信念往其床上泼水，常被视为加速其死亡的悲剧性插曲（这一记载来自 Macfarlane 与 MacHale 传记，学界普遍采信）。

七、身后影响与学术谱系

• 数理逻辑：布尔代数是命题逻辑的标准语义模型；经杰文斯、皮尔斯、施罗德公理化后，成为弗雷格、罗素—怀特海《数学原理》、哥德尔、图灵所继承的现代逻辑传统的源头之一。
• 计算机科学：1938 年克劳德·香农（Claude Shannon）在硕士论文《继电器与开关电路的符号分析》中证明布尔代数可直接描述开关电路，从此每一块数字芯片、每一次逻辑运算都运行在布尔代数之上；布尔运算（与、或、非）、布尔搜索、布尔可满足性问题（SAT，第一个 NP 完全问题）皆源于此。
• 人工智能：基于规则的专家系统、自动定理证明的底层都是布尔逻辑。
• 分析：微分方程算子法、有限差分演算影响了工程数学与数值分析。
• 代数：对代数基本定律（分配律等）的研究，为抽象代数公理化铺路；不变量理论的先驱。
• 教育传承：其妻玛丽及其女儿们（尤其艾丽西亚·斯托特）把布尔的几何与逻辑直觉传给 20 世纪；其思想通过英国逻辑学派影响深远。
• 命名遗存：布尔代数、布尔环、布尔格、布尔变量、布尔函数、布尔运算、布尔可满足性（SAT）、布尔搜索、月球环形山 Boole、Google 涂鸦（2015）。

八、延伸阅读与权威来源

• MacTutor 数学史档案：George Boole：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Stanford Encyclopedia of Philosophy: George Boole：斯坦福哲学百科权威条目，逻辑工作的精确分析（2010 初版，2026 修订）。
• Dictionary of Scientific Biography — Boole (PDF, MacTutor 托管)：科学史权威传记条目。
• Wikipedia: George Boole：生平与著作交叉核对。
• Wikipedia: Boolean algebra：布尔代数的现代公理化表述。
• Wikipedia: The Laws of Thought：1854 年著作的内容与影响。
• Wikipedia: Boolean algebra (logic): history：从布尔到杰文斯、皮尔斯、施罗德的发展。
• Dictionary of National Biography — Boole (MacTutor 托管)：牛津 DNB 权威条目。
• Dictionary of Irish Biography — Boole：爱尔兰权威传记，补充科克时期细节。
• Heinz Klaus Strick 传记（MacTutor 托管 PDF）：通俗传记。
• George Boole 200 周年纪念网站（科克大学）：诞辰纪念资料。