戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz）

微积分的共同创立者、近代符号逻辑与计算机思想的先知、"最后的通才"——他用 $dx$ 与 $\int$ 把变化与累积写成可演算的语言，又梦想把全部推理化为一种"普遍表意文字"与"推理演算"，其远见超出他所在的时代整整两个世纪。

一、生平与时代背景

戈特弗里德·威廉·莱布尼茨于 1646 年 7 月 1 日出生在神圣罗马帝国萨克森选侯国的莱比锡（Leipzig），时值三十年战争末期（1618—1648），中欧饱受兵燹。父亲弗里德里希·莱布尼茨（Friedrich Leibniz）是莱比锡大学的道德哲学教授与法学家；母亲卡塔琳娜·施穆克（Catharina Schmuck）是一位法学教授之女（一说律师之女）。莱布尼茨是路德宗信徒，家庭属德意志受过教育的精英阶层。父亲在他 6 岁时（1652 年）去世，此后他由母亲、舅舅抚养，并得以自由出入父亲留下的丰富藏书。

7 岁进入莱比锡的尼古拉学校（Nicolai School）。学校只教基础拉丁文，但他在 12 岁前已自学了远超课程要求的拉丁文与一些希腊文——动力是想读懂父亲的藏书。在校期间他接触到亚里士多德的逻辑学与范畴理论，却对其分类体系深感不满，已开始设想改进逻辑真理的排序方式；多年后他回忆说，那时的尝试其实已触及严格数学证明背后的思想。他还大量阅读了天主教与新教作家的形而上学与神学著作。

1661 年（约 15 岁）进入莱比锡大学。当时德语地区尚未广泛接受笛卡尔、伽利略、伽桑狄、霍布斯的"近代哲学"，他受的哲学教育主要是经院哲学与文艺复兴人文主义；哲学课教得不错，数学课却教得很差。两年的通识课程还包括修辞学、拉丁、希腊与希伯来文。1663 年以论文《论个体性原则》（De Principio Individui）获学士学位，这篇论文强调个体的存在价值，已埋下日后"单子"概念的种子；论文由雅各布·托马修斯（Jacob Thomasius）指导，后者让他对古代与中世纪哲学抱有持久敬意，并启发了他"调和古代与近代"的毕生主题。

1663 年夏学期，他到耶拿（Jena），在数学兼哲学家埃哈德·魏格尔（Erhard Weigel）门下学习。魏格尔相信"数是宇宙的基本概念"，这一观念对莱布尼茨影响深远，也让他认识到数学证明方法对逻辑与哲学的重要性。同年 10 月回到莱比锡攻读法学博士，又以一篇结合哲学、法学与数学思想的论文获哲学硕士学位；答辩后几天母亲去世。随后他完成哲学任教资格论文，于 1666 年以《论组合术》（Dissertatio de arte combinatoria）出版——这部早年作品已勾勒出"普遍表意文字"（characteristica universalis）与逻辑演算的蓝图，是他一生核心构想的第一次公开表达。

尽管声誉日隆，莱比锡大学却拒绝授予他法学博士学位。原因不甚明朗：可能是候选人多、只有十二个法学教职，要求他再等一年；也有传闻说是院长夫人从中作梗——此说来源不清，存疑。莱布尼茨不愿等待，立即转到阿尔特多夫大学（University of Altdorf），1667 年 2 月以《论困惑案件》（De Casibus Perplexis）获法学博士。阿尔特多夫许诺给他教职，但他志不在此，婉拒了。

此后他先在纽伦堡炼金术协会任秘书，结识了约翰·克里斯蒂安·冯·博伊内堡男爵（Baron Johann Christian von Boineburg）。1667 年 11 月起他住在法兰克福，受雇于博伊内堡，并于 1670 年前进入美因茨选帝侯（Elector of Mainz）的宫廷。他的任务之一是为美因茨修订罗马民法典；同时身兼博伊内堡的秘书、助理、图书管理员、律师与顾问。博伊内堡是天主教徒，莱布尼茨是路德宗，但重新统一基督教各派是莱布尼茨毕生目标之一，在博伊内堡鼓励下他撰写了一系列宗教主题的论著。他的另一个终身目标是汇集全部人类知识，并试图协调各学会的研究。他开始研究运动，1671 年出版《新物理学假说》（Hypothesis Physica Nova），分两部分：《抽象运动论》（献给巴黎科学院）与《具体运动论》（献给伦敦皇家学会），主张运动依赖某种精神的作用——这是他早年并不成熟的自然哲学。

莱布尼茨希望访问巴黎以拓展科学联系，并着手制造一台计算机器。他还构思了一个政治计划，劝说法国进攻埃及以转移路易十四对德意志的注意力——这个计划竟成了他赴巴黎的契机。1672 年，他奉美因茨选帝侯之命出使巴黎。等待政治机会期间，他积极接触巴黎的数学家与哲学家，尤其与阿尔诺（Antoine Arnauld）、马勒伯朗士（Nicolas Malebranche）讨论，与阿尔诺尤其探讨教会合一。1672 年秋起，他在克里斯蒂安·惠更斯（Christiaan Huygens）指导下学习数学与物理——这是他一生最关键的智识转折。惠更斯建议他读圣文森特（Saint-Vincent）关于级数求和的著作，他随即做出了自己的级数发现。同年博伊内堡之子被送到巴黎随他学习，经济来源有了保障；12 月 15 日博伊内堡去世，但莱布尼茨仍受其家族资助。

1673 年 1 月，他与博伊内堡的侄子赴伦敦执行和平使命，在皇家学会演示了尚未完工的计算机器，并与胡克、玻意耳、佩尔（John Pell）交谈。他向佩尔讲述自己的级数成果，佩尔指出这些已见蒙日（Mouton）的书；次日他查阅证实佩尔无误，此事促使他意识到自己数学功底不足，发愤苦读。2 月 15 日皇家学会会议（莱布尼茨未出席）上胡克对其计算机器作了不利评价。同年 4 月 9 日他被选为皇家学会会员（FRS）。回巴黎后，惠更斯给他开了阅读书单：帕斯卡、法布里（Fabri）、格雷戈里、圣文森特、笛卡尔、斯吕塞（Sluze）。他开始研究无穷小几何；1674 年致信皇家学会秘书奥登堡（Oldenburg），奥登堡回信说牛顿与格雷戈里已有通用方法。1675 年 8 月，奇恩豪斯（Tschirnhaus）来到巴黎，与他结为密友，二人切磋数学，相得益彰。

正是在巴黎这四年（1672—1676），莱布尼茨发展出他自己版本的微积分。1673 年他仍在为一套好用的记号苦苦摸索，最初的计算相当笨拙；1675 年 11 月 21 日的手稿中，他第一次使用了 $\int f(x)\,dx$ 的积分记号，同一手稿还给出了乘法求导法则。到 1676 年秋，他发现了对整数与分数 $n$ 都成立的 $d(x^n)=nx^{n-1}dx$。1676 年牛顿经奥登堡转来第一封信（epistola prior），列出结果却不透露方法；莱布尼茨立即回信，牛顿因信件延迟误以为他有六周时间构思。此事让莱布尼茨意识到必须尽快发表自己的方法。牛顿 1676 年 10 月 24 日的第二封信（epistola posterior）迟至 1677 年 6 月才送达（此时莱布尼茨已在汉诺威），语气客气但已认定莱布尼茨剽窃；莱布尼茨在回信中给出微分法的若干原理，包括复合函数的求导（链式法则）。

莱布尼茨本想留在巴黎科学院，但该院认为外国人已够多，未发邀请。他不情愿地接受了汉诺威公爵约翰·弗里德里希（Johann Friedrich）的聘书，任图书管理员与宫廷参事。1676 年 10 月离开巴黎，经伦敦与荷兰前往汉诺威；途中于 11 月 18—21 日在阿姆斯特丹会见了斯宾诺莎（距斯宾诺莎去世仅三个月），据莱布尼茨自己的笔记，二人讨论了斯宾诺莎尚未出版的《伦理学》、笛卡尔物理学与他改进的本体论证明。从 1676 年 12 月起，他的余生基本在汉诺威度过（其间多有旅行）。

在汉诺威，他的图书管理工作繁重而琐碎。但他承担了大量其他项目：1678—1679 年起为哈茨山（Harz）的矿井设计用风力与水力驱动的排水泵，设计了多种风车、泵与齿轮，却无一成功——他本人归咎于行政与技术人员的蓄意阻挠以及工人害怕失业；但这一工作让他成为最早通过实地观察研究地质学的人之一，并提出地球最初处于熔融状态的假说。1680 年约翰·弗里德里希公爵去世，其弟恩斯特·奥古斯特（Ernst August）继位；哈茨工程最终于 1684 年宣告失败。

1685 年起（一说更早），他受恩斯特·奥古斯特公爵之托撰写不伦瑞克家族所属的韦尔夫（Guelf）家族史，为此于 1687 年 11 月至 1690 年 6 月远赴巴伐利亚、奥地利与意大利查阅档案，途中在佛罗伦萨与伽利略最后的学生维维亚尼（Viviani）讨论数学。他出版了九大卷档案材料，却始终未写出应命的史著。

在数学上，1684 年他在莱比锡两年前创刊的《学术纪事》（Acta Eruditorum）上发表微分法论文《一种求极大与极小以及切线的新方法……》（Nova Methodus pro Maximis et Minimis, itemque Tangentibus），给出了 $d$ 记号及幂、积、商的求导规则，但没有证明——雅各布·伯努利读后称其为"谜而非解释"。1686 年他在同刊发表积分法论文，首次在印刷品中出现 $\int$ 记号。1685 年（手稿日期 1 月 22 日）他写出一篇关于行列式的未刊论文，记号与结果已相当令人满意，但终生未发表。二进制算术他在 1679 年已完善，却迟至 1701 年才以《论数的新科学》（Essay d'une nouvelle science des nombres）提交巴黎科学院，作为他当选院士的纪念。

哲学方面，1684 年发表《关于知识、真理与观念的沉思》（Meditationes de Cognitione, Veritate et Ideis）；1686 年 2 月写下《形而上学论》（Discours de métaphysique），此后与阿尔诺展开著名通信（1686—1690）。1695 年发表《自然的新体系》（Système nouveau）与《动力学样本》（Specimen Dynamicum）；1704 年完成回应洛克的《人类理智新论》（Nouveaux essais），因洛克同年去世而搁置，直到 1765 年才出版。1710 年出版《神正论》（Essais de théodicée）——这是他生前出版的唯一一部哲学著作。1714 年写定《单子论》（La Monadologie）与《基于理性的自然与神恩的原则》（Principes de la nature et de la grâce）。1715—1716 年与塞缪尔·克拉克（Samuel Clarke）展开关于空间、时间与引力的著名论战。

莱布尼茨的晚年颇为凄凉。他深陷与牛顿及其追随者关于微积分优先权的激烈论战，甚至被指剽窃。在汉诺威宫廷，他因戴老式假发、穿 1670 年代巴黎款式的旧衣而遭嘲讽。1714 年恩斯特·奥古斯特之子格奥尔格·路德维希（Georg Ludwig）继位为英国国王乔治一世，由于英国国内反莱布尼茨的氛围太浓，他被要求留在汉诺威、不得随主人赴伦敦。1716 年 11 月 14 日，莱布尼茨在汉诺威去世，享年 70 岁。据其法国友人丰特奈尔（Fontenelle）在悼词（Éloge）中的记述，葬礼冷清，几乎只有他的秘书出席——这个故事广为流传，但细节出自丰特奈尔的文学化悼词，不宜过度引申为"无人送行"的字面事实，学界采信其大致情节。莱布尼茨终生未婚。

二、学术生涯年表

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

1. 微积分的创立：微分 $d$ 与积分 $\int$ 的记号体系

问题背景：17 世纪中叶，求切线、求极值、求面积（求积）、求曲线长等问题已积累大量零散技巧（费马的"等根法"、笛卡尔的法线法、卡瓦列里的不可分量、沃利斯的无穷级数、巴罗的切线—面积互逆定理），但缺少一套统一、可机械操作的算法与记号。

关键思想：莱布尼茨把"无穷小差分"（difference）与"求和"（summa）提升为一对互逆运算。他用 $d$ 表示差（取自拉丁文 differentia），用拉长的字母 $S$——即 $\int$——表示和（取自拉丁文 summa）。变量 $x$ 的一个无穷小变化记为 $dx$，函数 $y$ 相应的变化记为 $dy$，于是微商 $dy/dx$ 表示切线斜率；而 $\int y\,dx$ 表示曲线下面积。

精确表述：1675 年 11 月 21 日的手稿中，他首次写下 $\int$ 记号与乘法法则 $$d(uv)=u\,dv+v\,du\,.$$ 在 1684 年《新方法》中，他给出幂、积、商的求导规则（以现代记号）： $$d(x^n)=nx^{n-1}dx,\qquad d(uv)=u\,dv+v\,du,\qquad d!\left(\frac{u}{v}\right)=\frac{v\,du-u\,dv}{v^2}\,,$$ 并在给牛顿的回信中说明复合函数求导（链式法则）。对高阶导数，他给出后来以他命名的莱布尼茨公式： $$(uv)^{(n)}=\sum_{k=0}^{n}\binom{n}{k}u^{(k)}v^{(n-k)}\,.$$ 1686 年的论文则系统给出积分法并首次刊出 $\int$。

与前人关系：牛顿约 1665—1666 年已发展出"流数术"（以点 $\dot{x}$ 表示对时间的导数），但迟至 1704 年才正式发表；莱布尼茨 1675 年独立得出，1684/1686 年率先发表。巴罗（Barrow）在《几何讲义》（1670）中已给出切线与求积互逆的几何定理，但未发展为代数算法。莱布尼茨的贡献在于：把互逆关系符号化、算法化，使其可推广。

局限性：莱布尼茨从未把导数理解为极限——极限定义要到 18 世纪中叶达朗贝尔（d'Alembert）才提出（MacTutor 明确指出此点）；他的无穷小是一种"有用的虚构"，逻辑基础在两百年后才由魏尔斯特拉斯的 $\varepsilon$-$\delta$ 语言严格化。牛顿曾不无道理地评论：用莱布尼茨的方法"没有解决出哪怕一个此前未解的问题"——这话针对算法内容，却忽视了其记号与形式体系的决定性价值。

2. 微积分基本定理

问题背景：求曲线下面积（积分）与求切线斜率（导数）是两个看似无关的问题，需要证明它们互逆。

关键思想：莱布尼茨把面积看成无穷多个"窄条" $y\,dx$ 之和 $\int y\,dx$，而对这个和再取差分 $d$，就回到 $y\,dx$；反之，对 $dy$ 求和 $\int dy$ 回到 $y$。由此微分与积分互为逆运算。

精确表述（以现代语言）：若 $F'(x)=f(x)$，则 $$\int_a^b f(x)\,dx=F(b)-F(a)\,;$$ 等价地，$\dfrac{d}{dx}!\displaystyle\int_a^x f(t)\,dt=f(x)$。莱布尼茨在 17 世纪 70 年代的手稿中已使用这一互逆关系来计算积分，把求积问题化为"寻找导数等于被积函数的原函数"。

与前人关系：牛顿在《流数简论》（1666 年手稿）中已陈述并使用此定理；巴罗从几何角度触及。但莱布尼茨是第一个把它写成符号演算规则并据此建立一套可教可学的积分算法的人。

局限性：他的表述基于无穷小运算，缺乏极限与连续可微性的严格条件；连续函数必可积等存在性问题要到 19 世纪才解决。

3. 微分方程与分离变量法

问题背景：物理与几何问题常常引出含未知函数及其导数的方程（微分方程）。

关键思想：莱布尼茨与约翰·伯努利合作，提出把含 $x$ 的项与含 $y$ 的项分到等式两边再分别积分的技巧，即分离变量法；他还研究了齐次方程的变量代换，并引入"微分方程"（aequatio differentialis）一词。

精确表述：对形如 $\dfrac{dy}{dx}=f(x)g(y)$ 的方程，分离为 $\dfrac{dy}{g(y)}=f(x)\,dx$，两边积分即得通解。他与伯努利兄弟在通信中系统求解了多种一阶方程，例如悬链线（catenary）方程——1690—1691 年间莱布尼茨、惠更斯与约翰·伯努利各自独立给出了悬链线的解 $y=a\cosh(x/a)$。

与前人关系：在牛顿之后，莱布尼茨与伯努利兄弟共同开创了微分方程的早期研究，其符号体系使这类求解成为可能。

局限性：方法主要针对一阶可解情形，一般理论（存在唯一性定理、线性方程的一般解结构等）要到 18—19 世纪由柯西等人才完成。

4. 二进制算术与《易经》的跨文化相遇

问题背景：能否只用两个符号（0 与 1）表示所有数并进行运算？这与莱布尼茨"普遍表意文字"的构想一脉相承——用最简符号表达全部思想。

关键思想：莱布尼茨在 1679 年已完善二进制算术：任何整数可唯一表示为 2 的幂之和，逢二进一；并证明了加减乘除在二进制下的运算规则。他视之为一种简洁而普遍的数的语言。

精确表述：十进制数 $n$ 写成 $n=\sum_{k} b_k 2^k$，其中 $b_k\in{0,1}$。例如 $13=1101_2=8+4+1$。二进制下加法 $1+1=10$，乘法表退化为 0/1 规则。

与《易经》的关系：莱布尼茨自 1697 年起与在北京的耶稣会士白晋（Joachim Bouvet）通信，讨论中国文字、数学与哲学。白晋 1701 年 11 月 4 日的信寄去了"先天八卦"（伏羲六十四卦）次序图，指出把阳爻作 1、阴爻作 0，六十四卦恰好对应 0 到 63 的二进制数。这封信经英国辗转，约十四个月后才到莱布尼茨手中。莱布尼茨大为兴奋，认为这印证了他的二进制具有普世意义；他在 1716 年的一封信中坦言，这一发现应归功于白晋。需要注意：白晋图中的卦序与二进制进位的对应是白晋/莱布尼茨的解读，并非《易经》作者有意识地构造了二进制——现代学者多认为这是一次"发现性解读"而非《易经》的本义。

局限性：莱布尼茨的二进制在其时代几乎没有实际应用；他未能造出二进制计算机（其步进计算器是十进制的）。它的真正价值要到 20 世纪电子计算机时代才显现，香农、冯·诺依曼等人才使其成为数字计算的基础。

5. 行列式的先驱工作

问题背景：如何不解方程组而判定线性方程组的可解性并表达其解？

关键思想：莱布尼茨在研究线性方程组求解时，引入了由系数构成的、用以表达解的表达式——这正是行列式的雏形。他尝试了多种记号以找到最便于使用的一种。

精确表述：在 1684 年 1 月 22 日的未刊手稿中，他对二元、三元线性方程组写出了用系数（带双指标）排列计算的表达式，其规则已等价于行列式的展开。他还指出：当该表达式为零时，方程组有非零解或无解——这相当于行列式为零的判别条件。

与前人关系：日本的关孝和（Seki Takakazu）约在 1683 年也独立发展出类似概念；欧洲后来范德蒙德（Vandermonde，1771）才系统研究行列式。莱布尼茨的工作因生前未发表，对后世影响有限，但优先权上属于独立先驱。

局限性：未发表，故无直接历史影响；记号也未定型。现代行列式理论主要由范德蒙德、拉普拉斯、柯西发展。

6. 组合数学与《论组合术》

问题背景：能否把一切推理与发现还原为基本元素（数、字母、声音、颜色）的组合？

关键思想：1666 年的《论组合术》中，莱布尼茨研究排列、组合与它们在逻辑分类中的应用，提出用若干"原始概念"的组合来表示所有复合概念，从而把推理变成符号的组合运算。

精确表述：他给出了排列数 $P(n)=n!$、组合数 $C(n,k)=\binom{n}{k}$ 的公式，并讨论了它们在构造"概念谱系"中的用法：若有 $m$ 个原始概念，则由 $k$ 个组合而成的概念有 $\binom{m}{k}$ 个。

与前人关系：组合记数在印度、伊斯兰世界与欧洲（如梅森、帕斯卡）已有积累；莱布尼茨的新意在于把组合术服务于逻辑演算的宏伟计划。

局限性：他没能真正实现"普遍表意文字"——原始概念的选择与组合规则远比预想复杂；这一理想在 19 世纪由布尔、弗雷格，20 世纪由罗素与现代数理逻辑才部分兑现。

7. 符号逻辑的先知："普遍表意文字"与"推理演算"

问题背景：能否像代数演算一样演算思想，使争论可由计算解决？莱布尼茨的名言是："让我们计算吧！"（Calculemus!）

关键思想：他设想一种人工语言 characteristica universalis，其中每个简单概念对应一个符号，复合概念由符号组合表示；再配一套 calculus ratiocinator，使有效推理表现为符号的形式变换。他尝试用数表示概念，并用素数编码（类似哥德尔配数的远祖）来检验命题的真假。

精确表述：在若干未刊手稿中，他把概念对应到整数，用整除关系表示"包含"（若 $A$ 的数整除 $B$ 的数，则 $A$ 是 $B$ 的属概念），并试图给出三段论推理的代数化。他还提出了逻辑演算的若干法则（如换位、对当关系的代数表达）。

与前人关系：亚里士多德以来的逻辑传统为其背景；但把逻辑彻底代数化、形式化的构想是全新的。弗雷格称莱布尼茨在著作中"撒播了如此丰富的思想种子，在这一点上几乎无人能与之比肩"。

局限性：他未完成一个自洽的逻辑演算系统；其工作长期埋没于手稿中，直到 19 世纪末才被重新发现，因此布尔的逻辑代数（1847）是近代符号逻辑的真正起点，与莱布尼茨无直接传承关系。

8. 机械计算机（步进计算器）

问题背景：帕斯卡 1642 年的加法器只能加减；能否造出能做乘除的机器？

关键思想：莱布尼茨在巴黎期间（约 1672—1673）设计并制造了一种能完成加减乘除的"步进计算器"（Stepped Reckoner），核心是他发明的步进鼓轮（Leibniz wheel）——一个带 0 到 9 级凸齿的圆柱，可把重复加法转化为乘法。

精确表述：机器通过手柄转动步进鼓轮，用可滑动的读数齿轮选择 0—9 的乘数位，重复累加实现乘法，反向操作实现除法；除法通过连续相减并记录次数完成。1673 年他在伦敦皇家学会演示的是未完成品，胡克等人评价不佳，但该设计原理领先时代。现存两台 17 世纪晚期的莱布尼茨机器原型保存在汉诺威与哥廷根。

与前人关系：帕斯卡加法器是前驱；莱布尼茨首次实现乘除自动化。步进鼓轮此后被沿用近三百年（直到 20 世纪电子计算器出现）。

局限性：当时工艺精度不足，机器经常卡死，未能可靠地批量生产；莱布尼茨也未完成一台真正商用的版本。

9. 动力学：活力与"前定和谐"在自然中的体现

问题背景：如何量度运动？笛卡尔提出"运动量"即 $|mv|$（速率乘质量）守恒。

关键思想：莱布尼茨通过对落体的分析，主张真正守恒的是"活力"（vis viva），即 $mv^2$（两倍于后世的动能），而非笛卡尔的 $|mv|$。他认为力是实体活动的体现，物质的本质不是广延（笛卡尔），而是"力"。

精确表述：在《动力学样本》（1695）中，他论证：在自由落体中，物体获得的"力"与其下降高度成正比，而 $v^2\propto h$，故应以 $mv^2$ 量度力；在孤立系统中活力守恒。这是能量守恒思想的早期形式，领先于 19 世纪的能量守恒定律。

与前人关系：纠正了笛卡尔运动量守恒的错误；惠更斯在弹性碰撞研究中已隐含 $mv^2$ 守恒；莱布尼茨把它提升为形而上学原则。

局限性："活力"守恒只在无耗散（弹性/保守）系统成立；莱布尼茨并未认识到热等能量形式，其论证带有形而上学色彩。这引发了长达半个世纪的"活力之争"（vis viva controversy），直到达朗贝尔指出这只是定义问题。

10. 哲学：单子论、前定和谐与"最佳可能世界"

问题背景：实体是什么？身心如何交互？世界上为何有恶？

关键思想：莱布尼茨认为真正的实体是单子（monade）——没有部分、不可分割、彼此"无窗"（不相互作用）的简单实体。每个单子都从自身视角表象整个宇宙；它们之间的和谐由上帝在创世时一次性设定，即前定和谐（pre-established harmony），以此解释身心协同而无需求助笛卡尔式的交感。

精确表述：在《单子论》（1714）中，他陈述了若干基本原则：矛盾律（PC）、充足理由律（PSR）、不可分辨者的同一性（PII，即无两个完全相同的实体）、谓词在主项之中（PIN）、连续性原理。世界是"所有可能世界中最好的一个"——因为全善全知的上帝选择了它（《神正论》1710）。

与前人关系：与笛卡尔（二元论）、斯宾诺莎（单一实体）构成大陆理性主义的三种形态；他试图调和机械论与目的论、近代哲学与经院哲学。

局限性：单子论高度思辨，其"无窗单子"与前定和谐常被视为特设性假设；"最佳可能世界"乐观主义遭到伏尔泰在《老实人》（Candide，1759）中的辛辣嘲讽。其哲学的历史影响更多在逻辑、认识论与数学哲学层面，而非形而上学的具体结论。

四、代表著作与文献

• 《论组合术》（Dissertatio de arte combinatoria，1666）：早年组合数学与逻辑构想的开山之作，首次公开提出普遍表意文字的计划。
• 《新方法……》（Nova Methodus pro Maximis et Minimis, itemque Tangentibus，1684，载《学术纪事》）：微分法的首篇发表论文，首刊 $d$ 记号与幂、积、商求导规则。
• 《深奥的几何与不可分量及无限的分析》（De Geometria Recondita，1686，载《学术纪事》）：积分法论文，首刊 $\int$ 记号。
• 《关于知识、真理与观念的沉思》（Meditationes de Cognitione, Veritate et Ideis，1684）：知识论论文，区分明晰/清楚/充足的知识。
• 《形而上学论》（Discours de métaphysique，1686 写成，19 世纪出版）：形而上学纲要，引发与阿尔诺的通信。
• 《自然的新体系》（Système nouveau de la nature et de la communication des substances，1695）：首次公开提出前定和谐。
• 《动力学样本》（Specimen Dynamicum，1695）：提出活力（$mv^2$）概念，批判笛卡尔运动量守恒。
• 《人类理智新论》（Nouveaux essais sur l'entendement humain，1704 完稿，1765 身后出版）：以对话体逐章回应洛克《人类理解论》，捍卫天赋观念论。
• 《神正论》（Essais de théodicée，1710）：生前出版的唯一哲学著作，论证这是"最佳可能世界"，尝试为恶的存在辩护。
• 《单子论》（La Monadologie，1714 写定，1720 德译本出版）：晚年哲学的浓缩纲要，90 节。
• 《基于理性的自然与神恩的原则》（Principes de la nature et de la grâce fondés en raison，1714）：另一部晚年纲要。
• 《论数的新科学》（Essay d'une nouvelle science des nombres，1701 提交巴黎科学院）：二进制算术的公开论文。
• 与克拉克的通信（Correspondance Leibniz–Clarke，1715—1716，1717 出版）：关于空间、时间、引力与充足理由律的著名论战。
• 大量书信与手稿：莱布尼茨一生与逾 1100 人通信；其全集（Akademie 版）至今仍在编纂，已出版部分仅覆盖 1663—1690 年的哲学著作，许多手稿尚未刊行。

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

• 师承：莱比锡的托马修斯（哲学）、耶拿的魏格尔（数学/哲学）是其大学时代的重要影响；但对他数学成长最关键的老师是惠更斯——1672—1676 年在巴黎的私人指导直接把他引向近代数学前沿。
• 学派归属：大陆理性主义三杰之一（与笛卡尔、斯宾诺莎并列），也是"微积分大陆学派"（莱布尼茨—伯努利家族—欧拉）的源头；在数学上不属任何传统学派，是独立开创新符号体系的革新者。
• 主要通信与交往对象：
• 克里斯蒂安·惠更斯：数学导师，后半生持续通信（惠更斯起初对莱布尼茨的微积分并不完全信服）。
• 艾萨克·牛顿：经奥登堡中转的两封著名信件（1676）；后演变为微积分优先权的死敌。
• 雅各布·伯努利 & 约翰·伯努利：最早采用并推广莱布尼茨微积分的人，共同开创微分方程与变分法。
• 奇恩豪斯（Ehrenfried Walther von Tschirnhaus）：巴黎时期的密友，数学切磋伙伴。
• 安托万·阿尔诺：1686—1690 年的哲学通信，对其形而上学有重要塑造。
• 塞缪尔·克拉克：1715—1716 年论战对手（牛顿的代言人）。
• 索菲娅（Sophie）公主（恩斯特·奥古斯特之妻）：哲学上的亲近朋友；其子格奥尔格·路德维希即英王乔治一世。
• 白晋（Joachim Bouvet）：耶稣会士，促成二进制与《易经》的跨文化相遇。
• 路易十四的外交圈、巴黎的阿尔诺/马勒伯朗士、伦敦的奥登堡/玻意耳/胡克/佩尔、阿姆斯特丹的斯宾诺莎等。
• 同时代学者：笛卡尔（思想前驱）、斯宾诺莎（1676 年会面）、洛克（其《人类理解论》是《新论》的回应对象）、丰特奈尔（撰其悼词）。

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

• 微积分优先权之争：这是科学史上最著名的公案。牛顿 1665—1666 年已得流数术（手稿），1687 年《原理》中以几何形式使用但未公布算法；莱布尼茨 1675 年独立发展，1684/1686 年率先发表。1708 年约翰·凯尔（John Keill）撰文（1710 年刊于《哲学汇刊》）公开指莱布尼茨剽窃；1711 年莱布尼茨向皇家学会申诉，学会却在 1712 年发表《通信的商业》（Commercium Epistolicum），由一个"不偏不倚"的委员会裁定牛顿为第一发明人——但该委员会实为牛顿本人操纵（他匿名撰写了报告与评论）。1714 年莱布尼茨发表《飞页》（Charta Volans）反击。现代数学史界的共识是：二人各自独立创立，牛顿在先、莱布尼茨率先发表，不存在剽窃（参见牛顿项目、Science 等研究）。这场争论的恶果是：英国数学界在整个 18 世纪固守牛顿的"点"记号与几何方法，与大陆分析学派隔绝，落后了约一个世纪。
• 莱比锡拒授博士的原因：通行说法涉及院长夫人的影响，但 MacTutor 明确指出原因"不甚明朗"，存疑。
• 《易经》是否"蕴含二进制"：白晋与莱布尼茨的解读使六十四卦对应 0—63 的二进制，但这是后世的发现性解读，并非《易经》作者的本意；不宜说"中国古人发明了二进制"。莱布尼茨本人也承认此发现当归功于白晋。
• "这是最佳可能世界"的笑柄：伏尔泰《老实人》（1759）以邦葛罗斯博士影射莱布尼茨，使"乐观主义"长期被漫画化；但莱布尼茨的论证有其严密的形而上学前提，并非简单的自我安慰。
• 性格与风格：莱布尼茨常因讨好不同读者而对同一思想给出不同表述，被批评为不够一致、过于圆滑；他极力在一切场合证明自己的优先权，晚年与牛顿的交恶也消耗了大量精力。
• 历史评价：在数学上，他的微积分记号（$dx, dy, \int, dy/dx$）成为世界通用语言，是"最成功的数学记号"之一；其算法化思想使微积分得以在欧洲大陆迅速传播（经由伯努利家族、欧拉）。在逻辑与计算机科学上，他的普遍表意文字、二进制与计算机器构想具有惊人的前瞻性——现代计算理论的奠基人（布尔、弗雷格、图灵、冯·诺依曼）都不同程度地从他的遗泽中汲取灵感。罗素称他为"有史以来智力最伟大的人之一"；而批评者（如某些分析哲学家）则认为其形而上学体系是其逻辑思想的过度扩张。学界一般把他与牛顿并列为微积分的创立者，把他视为近代逻辑与计算思想的先知。

七、身后影响与学术谱系

• 对分析学的奠基：莱布尼茨的微积分经伯努利家族（雅各布、约翰）、欧拉、拉格朗日、拉普拉斯在大陆发扬光大，形成与英国几何传统不同的"分析学派"；微分方程、变分法、无穷级数等 18 世纪分析的核心领域都建立在他的符号体系之上。
• 记号的胜利：$dx, \partial, \int$ 等记号沿用至今；现代教材中的"莱布尼茨记号"使微分学的链式法则、换元积分等变得近乎透明。
• 对数理逻辑与计算机：普遍表意文字与推理演算的理想，经 19 世纪布尔（逻辑代数）、弗雷格（概念文字）、皮亚诺与罗素（数理逻辑）逐步实现；二进制成为电子计算机的数制基础（图灵、冯·诺依曼）。
• 对哲学：他的充足理由律、不可分辨者的同一性、连续性原则、关系理论深刻影响了康德、黑格尔、怀特海与现代模态逻辑；其可能世界语义学成为现代模态逻辑的标准工具（经卡尔纳普、克里普克复兴）。
• 对物理学：活力（$mv^2$）之争最终澄清了能量与动量的区分，为能量守恒定律铺路；前定和谐虽被抛弃，但他对"关系"而非"实体"的强调与现代物理的场论精神暗合。
• 文化符号："单子论""前定和谐""最佳可能世界""让我们计算吧"已成为哲学常识；莱比锡大学、汉诺威等地设有他的纪念馆与雕像；"莱布尼茨饼干"（Leibniz-Keks）使他的名字意外地流行于德语世界的日常生活。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Gottfried Wilhelm von Leibniz：圣安德鲁斯大学权威传记，本档案主要史实（巴黎时期、微积分手稿日期、与牛顿通信等）的出处。
• Dictionary of Scientific Biography — Leibniz (PDF, MacTutor 托管)：科学史权威传记条目。
• Stanford Encyclopedia of Philosophy — Gottfried Wilhelm Leibniz：哲学部分权威条目，生平与著作年表的主要出处。
• Wikipedia: Gottfried Wilhelm Leibniz：交叉核对生平、著作与争议。
• Wikipedia: Leibniz's notation：微积分记号的历史与精确说明。
• Wikipedia: Fundamental theorem of calculus：基本定理的历史归属与表述。
• Wikipedia: Leibniz–Newton calculus controversy：优先权之争的完整叙述与现代学界共识。
• Wikipedia: Binary number：二进制的历史，含莱布尼茨与《易经》的关系。
• Newton Project — An Account of the Commercium Epistolicum：牛津大学牛顿项目，1712 年裁定文件的校勘本。
• Britannica: Gottfried Wilhelm Leibniz：百科条目交叉核对。