奥古斯都·德·摩根（Augustus De Morgan）

现代符号逻辑的先驱与英国数学教育的复兴者——他以两条德·摩根定律奠定逻辑代数的基础，开创关系代数，创用"数学归纳法"之名；两度为原则辞去讲席，是学术独立与宗教中立的坚定捍卫者。

一、生平与时代背景

奥古斯都·德·摩根于 1806 年 6 月 27 日生于印度马德拉斯管辖区的马杜赖（Madura，今泰米尔纳德邦 Madurai）。父亲约翰·德·摩根（1771—1816）是马德拉斯土著步兵的中校，母亲伊丽莎白·多德森（Elizabeth Dodson）是伦敦海关职员约翰·多德森之女、1742 年出版《反对数法则》（The Anti-Logarithmic Canon）的詹姆斯·多德森的曾孙女。约翰与伊丽莎白育有七子，其中两个哥哥约翰·奥古斯都与詹姆斯于 1804 年随船"威尔士亲王号"从印度返航途中遇难身亡；奥古斯都是第五个孩子。

出生不久，德·摩根因印度"眼疮"（sore eye）双眼受感染，右眼失明（一眼获救），终身单目。1806 年 10 月 20 日于印度马德拉斯圣乔治堡受洗，7 个月大时随父母乘"戈登公爵夫人号"返回英国，定居伍斯特。父亲 1808 年独自返回印度，1810 年回英，全家先后住德文郡的阿普尔多尔、比德福德、巴恩斯特普尔，1812 年定居萨默塞特的汤顿。父亲 1816 年在返回英国途中于圣赫勒拿岛因肝病去世，德·摩根时年 10 岁——但他晚年所列老师名单中，把父亲列为第一位老师。

他的学校教育辗转多处：巴恩斯特普尔的威廉斯小姐教读写，汤顿的普尔夫人（1813—14）教读写算，随后芬纳牧师教希腊语与拉丁语；布兰德福德的凯恩斯牧师，汤顿的巴克牧师教拉丁、希腊、欧几里得几何与代数；最后在布里斯托尔附近雷德兰的帕森斯先生学校就读（14 岁至 16 岁半）。因单目残疾，他不擅长体育，甚至成为同学恶作剧的对象，学业也并不突出。严格的宗教教育使他对教会产生反感，但他终身是虔诚的基督徒；母亲希望他成为福音派牧师。

1823 年 2 月，16 岁的德·摩根入剑桥三一学院，受教于乔治·皮科克（George Peacock）与威廉·休厄尔（William Whewell），三人结为终身好友；导师为 J. P. 希格曼，也听艾里（Airy）等人的课。他学生时代最大的消遣是吹奏长笛，水平颇高。1827 年获文学士，数学荣誉学位考试获第四名（Fourth Wrangler）。尽管名次未显其真实才华，他本可凭此获得研究员职位，但因文学硕士及研究员须签署神学测试声明，而他出于良心强烈反对（虽身为英国国教会成员），无法进一步在剑桥发展。他曾认真考虑从医，1826 年回伦敦后进入林肯律师学院攻读律师，但他明确表示真正兴趣在科学。

1827 年（21 岁），他申请新创办的伦敦大学（University of London，后改名为大学学院伦敦 UCL）数学讲席，尽管没有任何数学出版物，仍获任命。1828 年 2 月 23 日，他成为伦敦大学首任数学教授，并发表就职演说《论数学的学习》（On the Study of Mathematics），在其中把数学描述为"对关于清晰而明确观念的自明公理的演绎研究"，称赞洛克的《人类理解论》。同年他出版《代数基础》（The Elements of Algebra，布尔东《代数基础》前三章的英译本），并在译者注中表现出对负数的谨慎态度（把 $-a$ 解释为"被减去的量"）。

1831 年他因原则第一次辞职：校方未经充分理由解聘了解剖学教授帕蒂森（Granville Sharp Pattison），德·摩根认为由缺乏学术专长的管理机构任意解聘教授，违背了教授应有的独立与尊严。此后五年他靠私人授课与为多家公司提供精算咨询维生。1836 年，继任者怀特（George James Pelly White）去世，他被重新聘任，回到讲席。

1837 年他与索菲娅·伊丽莎白·弗伦德（Sophia Elizabeth Frend）结婚，其父是数学家与社会改革家威廉·弗伦德（William Frend）。二人育有七子，其中女儿索菲娅后来为他撰写了回忆录，儿子威廉成为精算师与数学家，续编了《悖论汇编》。

在学术上，他 1838 年为《便士百科全书》撰写"归纳（数学）"条目，创用"数学归纳法"（mathematical induction）一词；1847 年出版《形式逻辑》（Formal Logic），提出德·摩根定律；1846—1862 年间发表系列论文《论三段论》，开创关系代数；1860 年发表《逻辑体系大纲》（Syllabus of a Proposed System of Logic）。1865 年伦敦数学会成立，他出任首任会长。

1866 年他第二次因原则辞职：校理事会拒绝任命参议院推荐的詹姆斯·马蒂诺（James Martineau）——一位一神论牧师——为哲学教授，理由涉及宗教立场。德·摩根认为这背叛了学院创立时所标榜的宗教中立原则，于 1866 年 11 月 10 日致信辞职。1871 年 3 月 18 日，德·摩根在伦敦逝世，享年 64 岁，葬于伦敦海格特公墓（Highgate Cemetery）。

二、学术生涯年表

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

1. 德·摩根定律——逻辑代数的基础（1847）

问题背景：19 世纪中叶，逻辑仍以亚里士多德三段论为主，缺乏代数化的精确演算。

关键思想：在《形式逻辑》（Formal Logic，1847）中，德·摩根把逻辑联结词代数化，给出了今天以他命名的两条德·摩根定律。在命题逻辑中：

$$\neg(A\land B)\equiv \neg A\lor \neg B,\qquad \neg(A\lor B)\equiv \neg A\land \neg B.$$

等价地，在集合论中：

$$(A\cap B)^c=A^c\cup B^c,\qquad (A\cup B)^c=A^c\cap B^c.$$

它们表达"合取的否定等于否定的析取，反之亦然"，是布尔代数与数字电路设计（与非门、或非门）的基本恒等式。

与前人关系：类似的等价关系可追溯至中世纪逻辑学家（如奥卡姆）与莱布尼茨的著作，但以代数形式系统陈述并使用则归功于德·摩根；定律因他普及而得名（此为存疑之处：具体等价式的最早发现者非他，但现代逻辑课本中的代数表述与推广归于他）。1847 年他与乔治·布尔（George Boole）各自独立出版逻辑代数著作（布尔《逻辑的数学分析》），共同开启现代符号逻辑。

2. 关系代数的开创（1846—1860）

问题背景：传统三段论只处理主谓词的包含关系，无法表达如"大于""等于"等关系及其推理（例如"若 $A$ 大于 $B$，$B$ 大于 $C$，则 $A$ 大于 $C$"这类关系推理无法纳入三段论）。

关键思想：在系列论文《论三段论》（1846—1862）及《逻辑体系大纲》（1860）中，德·摩根首次系统研究关系本身的逻辑：他定义了关系的逆（converse，如"是 $B$ 的兄长"之逆为"有 $A$ 为兄长"）、关系的补（contradictory）、关系的复合（composition，如"是 $B$ 的兄长且 $B$ 是 $C$ 的父亲"复合为"是 $C$ 的伯父"），并研究关系推理的规则。他指出三段论只是关系推理的特例。

与前人关系：这是现代关系逻辑与关系代数的直接源头，深刻影响了皮尔斯（Charles Sanders Peirce）、施罗德（Schröder），最终通向罗素与怀特海的《数学原理》与现代模型论。

3. 创用"数学归纳法"一词（1838）

问题背景：归纳证明法（从 $n$ 推 $n+1$）早已被帕斯卡、伯努利等使用，但没有统一、明确的名称，在教学中也常被混淆于经验归纳。

关键思想：德·摩根在为《便士百科全书》（Penny Cyclopedia）撰写的"归纳（数学）"条目中，首次使用并推广"数学归纳法"（mathematical induction）一词，把这种严格的演绎证明方法与经验科学的归纳法明确区分开来。他并给出了清晰的两步格式：奠基（base case）与归纳步（inductive step）。

与前人关系：方法本身非他发明（帕斯卡 1665 年已用），但术语的固定与教学的清晰化归功于他，沿用至今。

4. 代数的符号化与"双重代数"（1830s—1849）

问题背景：19 世纪英国数学受牛顿流数记号与几何传统束缚，落后于欧陆的符号分析；负数、虚数的合法性尚有争议。

关键思想：德·摩根是英国符号代数的倡导者之一。他在《代数基础》中力图"从第一原理推出每一条规则，并区分约定的结果与证明的结果"。他早期对负数持谨慎态度（把 $-a$ 解释为"待减的量"），但后来接受并推广。在《三角学与双重代数》（Trigonometry and Double Algebra，1849）中，他把复数作为"双重代数"系统处理，推动了复数在英国的合法化与符号化。他还引入并规范了许多数学记号（如用"函数"的广义用法、等号的严格使用）。

与前人关系：与皮科克（符号代数的奠基人）、汉密尔顿、布尔共同推动了 19 世纪英国的符号化与抽象代数转向。

5. 《悖论汇编》——对伪数学的记录与批判（1872，身后出版）

问题背景：19 世纪大量自称证明"化圆为方""三等分角"等不可解问题的数学怪人（paradoxers）向学界与媒体投稿，扰乱视听。

关键思想：德·摩根长期在《雅典娜神庙》（Athenaeum）杂志撰写书评，辛辣而博学地评论这些"悖论者"及其著作；身后由其遗孀索菲娅整理为《悖论汇编》（A Budget of Paradoxes，1872）。该书不仅是一部讽刺作品，更记录了 19 世纪伪科学与业余数学的生态，至今仍是科学史与科学传播的有趣史料。他提出"悖论者"的经典定义：一个人越是错误地自信，越会加倍努力。

6. 精算学与概率论

问题背景：19 世纪保险业兴起，需要严格的生命表与概率方法。

关键思想：德·摩根靠精算咨询维生期间，系统应用概率论于保险与年金计算，著有《概率论文》（An Essay on Probabilities, and on Their Application to Life Contingencies and Insurance Offices，1838，载《大都会百科全书》）。他改进了保险精算方法，其概率著作在英国长期被使用，对拉普拉斯概率思想在英国的传播起了重要作用。

四、代表著作与文献

• 《代数基础》（The Elements of Algebra，1828，布尔东前三章的英译本，附大量译者注）。
• 《算术基础》（Elements of Arithmetic，1830）。
• 《论数学的学习》（On the Study of Mathematics，1828 就职演说，1831 年单独出版）：关于数学教育的经典。
• 《概率论文》（An Essay on Probabilities，1838）。
• 《形式逻辑》（Formal Logic，1847）：德·摩根定律的出处，现代符号逻辑的奠基作之一。
• 《论三段论》系列论文（On the Syllogism，1846—1862，共五篇）：关系代数的开创。
• 《三角学与双重代数》（Trigonometry and Double Algebra，1849）。
• 《逻辑体系大纲》（Syllabus of a Proposed System of Logic，1860）。
• 《悖论汇编》（A Budget of Paradoxes，1872，遗孀索菲娅整理出版；第二版 1915 年由其子威廉扩充）。

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

• 师承：剑桥三一学院，受教于乔治·皮科克（George Peacock，符号代数奠基人）与威廉·休厄尔（William Whewell，科学哲学家）；听艾里等人的课。无正式博士。
• 学派归属：19 世纪英国数学复兴与符号逻辑运动的核心人物；剑桥"分析学会"（皮科克、巴贝奇、赫歇尔发起，引入欧陆符号）的继承者。
• 同时代交往：
• 乔治·皮科克、威廉·休厄尔：剑桥老师，终身好友。
• 乔治·布尔：1847 年二人不约而同出版逻辑代数著作，惺惺相惜；德·摩根把布尔的工作推荐给学界，是布尔最坚定的支持者之一。
• 查尔斯·巴贝奇、约翰·赫歇尔：分析学会的同代人，常有通信与学术往来。
• 威廉·罗恩·哈密顿：同代人，在代数基础（复数、符号代数）上互有影响。
• 查尔斯·桑德斯·皮尔斯：继承并大力发展了德·摩根的关系代数，是其思想最重要的传人。
• 托马斯·赫斯特（Thomas Hirst）：年轻数学家，留下大量关于德·摩根的日记记录。
• 索菲娅·德·摩根（妻子）：为他撰写回忆录（Memoir of Augustus De Morgan，1882），是研究其生平的主要一手资料。
• 机构角色：伦敦大学学院（UCL）数学系创始人；伦敦数学会（London Mathematical Society）首任会长（1865）。

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

• 德·摩根定律的优先权：如前所述，等价的逻辑/集合恒等式可在中世纪逻辑学家（奥卡姆等）与莱布尼茨处找到雏形；德·摩根并非最早发现者，但他是第一个在代数逻辑中系统陈述并应用的人，定律因此以他命名。此点在档案中应如实说明，不把"首次发现"归于他（存疑/学界共识：命名归德·摩根，原始思想可溯至更早）。
• 对负数的早期怀疑：他在《代数基础》译者注中对负数持谨慎的操作主义解释，这在今天看来保守，但反映了 19 世纪初分析严格化之前对负数合法性的普遍疑虑；他后来态度趋于接受。
• 两次辞职：1831 年与 1866 年两度因原则辞去讲席，体现其坚守学术独立与宗教中立的品格；这也使他的职业生涯出现两次中断。1866 年辞职的直接原因是校方拒绝任命一神论者马蒂诺——此点由 UCL 校史与牛津 DNB 确认。
• 与剑桥的神学测试：他因拒签文学硕士/研究员的神学声明而离开剑桥，这一制度直到 1871 年《大学测试法》才废除；德·摩根的经历是该制度伤害人才的著名案例。
• 教学能力与著作难度：其《四元数讲义》式的问题——德·摩根的逻辑著作同样以艰深著称，不易为同时代人理解；他的关系代数的真正价值要等皮尔斯才被发掘。
• 历史评价：德·摩根是现代符号逻辑的关键先驱，上承莱布尼茨的"普遍文字"理想，下启布尔、皮尔斯、弗雷格、罗素；他在英国数学教育的复兴与符号化方面贡献巨大。其人格（为原则两次辞职、长期支持后辈布尔）广受敬重。

七、身后影响与学术谱系

• 符号逻辑：德·摩根定律是布尔代数、数字电路与计算机科学的基本恒等式，每个计算机与逻辑学学生必学；关系代数经皮尔斯、施罗德发展，成为现代逻辑、数据库理论（关系数据库即以关系代数为基础）与模型论的核心。
• 代数学：与皮科克、布尔、哈密顿共同推动了英国从几何/流数传统向符号/抽象代数的转向，为现代抽象代数铺路。
• 数学教育："数学归纳法"术语的固定、多本基础教科书（代数、算术、三角）、就职演说《论数学的学习》，深刻影响了 19 世纪英国数学教育。
• 数学文化：《悖论汇编》是科普与反伪科学的经典，影响后世的"江湖科学批判"传统。
• 学会传承：伦敦数学会首任会长，该学会至今是世界主要数学组织之一。
• 命名遗存：德·摩根定律、德·摩根代数（满足德·摩根定律的有界分配格）、德·摩根三元系（设计理论）等；UCL 数学系的德·摩根讲座（De Morgan Lecture）纪念他。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Augustus De Morgan：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Oxford DNB — De Morgan (MacTutor 托管)：权威传记条目，含两次辞职的细节。
• Wikipedia: Augustus De Morgan：生平与著作交叉核对。
• Wikipedia: De Morgan's laws：定律的陈述与历史归属。
• Wikipedia: De Morgan algebra：以他命名的代数结构。
• Wikipedia: Mathematical induction：术语的起源与德·摩根的贡献。
• Wikipedia: History of logic：德·摩根在逻辑史中的位置。
• UCL 数学系史：De Morgan 与 1866 年辞职：UCL 官方校史记录。
• Augustus De Morgan, A Budget of Paradoxes (Project Gutenberg)：《悖论汇编》全文。
• Sophia De Morgan, Memoir of Augustus De Morgan (1882)：遗孀撰写的回忆录，一手史料。