自然数 ０， １， ２， ３， ４， ５， … ｙ 一阶差 １， １， １， １， １， １， … ｄｙ 二阶差 ０， ０， ０， ０， ０， …
自然数平方 ０， １， ４， ９， １６，… ｙ 一阶差 １， ３， ５， ７， … ｄｙ 二阶差 １， ２， ２， ２， … ｄ（ｄｙ） 三阶差 １， ０， ０， …
他把这些与微积分联系起来：一阶差相当于ｄｙ，它们的和等于ｙ，如１＋３＋５＋７＝１６。莱布尼茨认为，这种和与差之间的互逆性，与依赖于坐标之差的切线问题及依赖于坐标之和的求积问题的互逆性是一样的。差别仅在于帕斯卡算术三角形与调合三角形中的两个元素之差为有限值，而曲线的纵坐标之差是无穷小量。这说明他在考虑无穷小量的和差运算时，已将其与他早些时候关于有限量和差可逆性关系的研究联系起来。（［１０］，ｐ．３９２）由此也可看出莱布尼茨研究微积分的代数出发点，而不是几何出发点。（如［７］，ｐ．１０１）
为解决求积问题，莱布尼茨把流动纵坐标是ｙ的平面曲线下的曲边梯形的面积用符号ｙ表示。这样，曲线的纵坐标就与面积变量明显地联系起来。过了几年，他便用“ｓｙｄｘ”表示面积，“∫”是“Ｓｕｍ（和）”的第一个字母“Ｓ”的拉长。
在求量的差即微分方面，莱布尼茨先是引进了符号“ｘ／ｄ”表示ｘ的微分，意思是求“差”要关系到量的同次的降低，并且他还认为，如果同时出现不同阶的微分，则只留下最低阶的，而把所有高阶的微分舍去。至于这样做的理由，莱布尼茨虽提供了多种解释，但都不充分，其实毋宁说他是当作“公理”来使用的。后来，他将“ｘ／ｄ”改为“ｄｘ”，一直沿用至今。 从上述思路出发，莱布尼茨给出了微积分的基本公式：
ｄ（ｘ±ｙ）＝ｄｘ±ｄｙ （１） ｄ（ｘｙ）＝ｘｄｙ＋ｙｄｘ （２） ｄ（ｘ／ｙ）＝ｙｄｘ－ｘｄｙ／ｙ［２］ （３） 对于（２），他的推导是，令ｘ、ｙ分别成为ｘ＋ｄｘ、ｙ＋ｄｙ，则
（ｘ＋ｄｘ）（ｙ＋ｄｙ）＝ｘｄｙ＋ｙｄｘ＋ｄｘｄｙ＋ｘｙ于是 ｄ（ｘｙ）＝（ｘ＋ｄｘ）（ｙ＋ｄｙ）－ｘｙ＝ｘｄｙ＋ｙｄｘ＋ｄｘｄｙ
ｄｘｄｙ是比ｘｄｙ＋ｙｄｘ高一阶的无限小量，可以舍去，所以 ｄ（ｘｙ）＝ｘｄｙ＋ｙｄｘ
用同样的方法也可推导出公式（１）和（３）。
有了微分法的基本运算律，对整指数的幂函数ｘ［ｎ］就有ｄｘ［ｎ］＝ｎｘ［ｎ－１］。又由于求和是求差的逆运算，所以还有∫ｘ［ｎ］ｄｘ＝１／ｎ＋１ｘ［ｎ＋１］ （ｎ≠－１）。这两个公式虽只对ｎ是正整数情况而言，但莱布尼茨却断然宣布它们当ｎ取其它数值时仍然成立。接着，莱布尼茨陆续地推导出指数和对数等超越函数的微分公式。
莱布尼茨的微积分算法是在解决几何和物理问题的过程中建立和完善起来的。他边建立新算法，边用这种算法解决当时物理学与几何学提出的疑难问题，有时还用老方法来解决问题以检验新方法的正确性。除了切线问题、极值问题、曲率问题、求积问题等几何问题，他还曾用新方法证明了光的折射定律。所有这些都显示了新算法比传统方法更加优越。
除了以上成果，莱布尼茨在微积分方面的具体研究还有：（１）复合函数的微分法则；（２）弧微分法则ds=根号下dx[,2]+dy[,2]；（３）对数函数和指数函数的微分法则；（４）在积
分号下对参变量求微分的方法；（５）曲线绕ｘ轴旋转所成的旋转体体积公式Ｖ＝π∫ｙ［２］ｄｘ；（６）求切线、求最大值最小值以及求拐点的方法；（７）讨论曲率，密切圆和包络理论。（［８］，ｐｐ．３９４～３９５）
莱布尼茨微积分研究的背景与当时整个西欧的数学家们是一致的，他的工作基础也是建立在对无穷小的分析上。因此，此后很长一段时间，人们一直把微积分叫无穷小分析。由于莱布尼茨从有限差值开始无穷小的运算，因而他最初曾试图将实无穷小代之以与其成比例的有限数量，即不用ｄｘ、ｄｙ本身，而用它们的比值ｄｙ／ｄｘ。他以为把ｄｘ、ｄｙ看成有限量，问题就解决了。但是，比值ｄｙ／ｄｘ的获得同样需要说清ｄｘ、ｄｙ两个量本身的实际情况，而不能有半点含糊。于是，莱布尼茨提出用“充分大”和“充分小”去代替无穷大和无穷小。他解释说：“我们可以不用无穷大、无穷小，而用充分大和充分小的量，使得误差小于给定的误差限度，所以我们和阿基米德方式的不同之处仅仅在于表达方面，而我们的表达更为直接，更适合于发明家的艺术。”（［８］，ｐ．４０１）为了更好地说明这一点，他不得不诉诸于感性的直观——物理或几何模型，用现实事物中量的不同层次的相对性解释无穷大和无穷小。所以有人说，莱布尼茨其实是半个理性主义，因为他在理性困厄之时，不得不借助经验。（［９］，ｐ．１３０）例如，他认为点同直线不能相比，所以点加到直线上从直线上去掉等于不加也不减。于是，“当我们谈到有不同阶的无穷大与无穷小时，就象对恒星的距离而言，把太阳看成一个点；对地球半径而言，把普通的球看做一个点。这样，恒星的距离对于普通球的半径而言是无穷的无穷大，或无穷倍的无穷大。”［１０］而“如果你不承认无限长、无限短线段具有形而上学的严密性，也不承认它们是实在的东西，那么你一定可以把它们当作一种能够缩短论证的思想的东西来使用，正如在普通分析中使用虚根一样，……老实说，我不十分相信除了把无限大、无限小看作理想的东西，看作有根据的假设，还有什么必要去考察他们，”甚至“我不相信确有无限大量和无限小量存在，它们只是虚构，但是对于缩短论证和在一般叙述中是有用的虚构。”［（１０）］可见，莱布尼茨主要是把微积分当作了求得正确结果的一种方法，只要按这个方法去做，就能得出正确的结果，而不必关心基本概念怎样。事实上，莱布尼茨对于微积分基础的这种看似冒失的大胆相信态度，反倒可能促进了微积分及其应用的迅速发展。（［１１］，ｐ．３５９） 三、单子论： 理性的僭越
莱布尼茨是古往今来唯一的一位驰骋于数学思想的两个宽广的、对偶的领域——分析与组合或连续和离散领域的数学大师，而且在每个领域都表现了人类的最高能力。（［２］，ｐ．１１９）这除了他的已为人所周知的天赋和勤勉以外，就数学内部而言，最合理的解释应该是莱布尼茨数学研究的代数出发点和哲学研究方式。他的“通用语言”工作，今天看来实际上是在创立一种普遍适用的逻辑代数（数学）。而在微积分上，尽管他赞同那种认为无穷小需要一个几何学基础的偏见，但是他达到微积分的途径却是代数的和哲学的，而不是几何的。莱布尼茨的发现起因于寻找一个无限聚敛数列或交错级数１／１－１／３＋１／５－１／７＋……之和（＝π／４）的方法（最后莱布尼茨给出了自己满意的最一般的公式：
arctgx=x=x[,3]/3+x[,5]/5+x[,7]/c+……）。在莱布尼茨看来：微分学就是确定这种数列极限的一种方法，所以他才习惯于将无穷小等视作有限量；积分学则是发现数列总和的一种方法，因而他的积分总是今天所说的定积分，而不是牛顿的不定积分。（［６］，ｐ．２１９）在莱布尼茨时代，几何学由于笛卡尔和费尔马杰出的工作而倍受数学界欢迎，莱布尼茨抱着“通用数学”的信念，企图运用几何方法解决代数问题，结果却将自己代数的观点导入几何学，从而做出了对“天地间通用的微积分”的发现。（［１２］，ｐ．１７０）因此，为了深入追
索莱布尼茨数学创造的思想渊薮，必须诉诸他的数学观及所接受的研究传统。
莱布尼茨最早的思想活动是在哲学领域，这与其父作为一个道德哲学教授的影响有关。少年莱布尼茨读了不少古典哲学著作，入大学后又首先接受了雅可布·托马修斯教授严格的经院哲学训练。他的毕业论文De principio individui（《论个体原则》）就是维护经院哲学中唯名论派观点的。尽管莱布尼茨后来到巴黎去认真学习和研究数学，并且首先在数学上有了划时代的贡献，但作为其全部科学研究起点的思维观念与思想传统却是在早年打下的，而且一生基本没有什么大的变化。（［１３］，ｐ．１６４）这在他的著作《新系统》（１６９５）中有明确表述。
虽然莱布尼茨生前没有留下一部令自己满意的哲学著作，他在哲学方面的所有主要著作都是为了某个人而写，但他却是第一个创立独立哲学体系的德国人。这体系的“拱心石”通常称为“单子论”，他自己则称之为“前定和谐系统”。作为单子论核心范畴的单子是一种没有部分的只是组成复合物的单纯实体。（［１４］，ｐ．４８３）莱布尼茨认为单子具有六种规定性：（１）单子是最小的精神实体，它是能动的而又不具有广延（可分）性，因而是世界的实（主）体；（２）单子是上帝创造的，因其不能通过组合而生，只能凭创造而生，凭毁灭而亡；（３）单子是彻底孤立的实体，绝对封闭，各自独立；（４）每个单子各具不同的质，因其没有量的规定性，所以实际上存在着无限多样的单子；（５）单子运动变化的原因在自身，每个单子都是一个“力的中心”；（６）单子的基本属性是知觉，知觉反映自身和他物，因此每一个单子都是宇宙的一面永恒的镜子。从单子的规定出发，莱布尼茨提出了他的本体论原则：第一，连续性原则，认为宇宙是一个从低级到高级的发展过程；第二，前定和谐原则，认为各自独立的单子能同时一致行动的原因来自前定和谐；第三，普遍联系原则，认为整个宇宙中的单子和事物均处于普遍的相互联系之中。以上三个原则，连续性是用来调和事物质的对立的，前定和谐是用来调和“不可分点”（间断）与“连续性”的矛盾的，普遍联系则为了调合有限与无限、个别与一般、部分与整体的矛盾。［１５］
上述本体论承诺决定了莱布尼茨的认识论必然是一种主张能动性然而却是唯心的先验论体系。它最终注定莱布尼茨的方法论只能是一种以逻辑为主干的多元方法论，既相信直觉，又看重形式。［１５］他不仅承继了笛卡尔、斯宾诺莎一贯的唯理论传统，而且将理性主义原则扩展到在前者的哲学中遭拒斥的许多领域。他从哲学出发去理解科学活动及其本质，数学也仅是其哲学探索的一种智力模型。譬如，他的微分就是“原形先蕴”，通过形而上学的解释假定的。莱布尼茨注重运算的过程和探究结果。他在对待作为微积分逻辑基础的无穷小时，既不怯懦回避，也不轻易神秘化，而是从有限差开始，充满自信地大胆使用无穷小量及其阶，就如他自己所说，仅仅诉诸智力，更注重这种方法的运算性质。［１６］他相信，假如他清楚地给出了适当的运算法则，并且把它们应用得恰当，就一定会得到某种合理的、正确的结果。他似乎觉得，根据充足理由（前定和谐）律，他就可以在这方面来实现从可能性到现实性的转变。（［６］，ｐ．２２２）为此，他特别强调理论内容的形式化问题。他所建立的“通用数学”及无穷小量运算都是符号和术语体系的极好范例，是真正的现代意义形式化的始祖。
于是，我们不难理解，莱布尼茨为什么在离散与连续或组合与分析两个不同数学领域都表现出了同样的研究方式和最高创造力，因为它们在“理性”上是一致的。接续以“离散”为基础，是“离散”的连续，就如同“认识”不过是单子的活动而已。所以，莱布尼茨一直以代数的、有限的方法研究分析的、无限性的问题。这种研究在观念上从属于按照准确本体论原则建构起来的认识目的，它试图“在理智活动的各个领域内的那些早期传统间的看起来不可调和的矛盾冲突中创造出一个新的综合。”（［１７］，ｐ．４）
当然，莱布尼茨这种近于偏执和幻想式的理性主义传统，也使其数学研究遇到了许多困难。首先是在微积分的基本概念上，作为研究基础的无穷小量始终不明确，要么看作要多小有多小，要么看作理想之物，要么看作是纯粹然而有用的虚构，将科学基础概念的界定最终留给了信仰。其次是他的数学研究在逻辑上是不严谨的，尽管他发展了逻辑学，但其推导是不严格的，有主观臆造成分。特别是其微积分表示法的优越性更强烈地掩蔽了这一学科的逻辑基础，使之在严格论述方面走上了歧途。（［１２］，ｐ．２３４）至于他的理论推导中有时包含逻辑错误，如曾认为ｄ（ｕｖ）＝ｄｕｄｖ、ｄ（ｕ／ｖ）＝ｄｕ／ｄｖ（１６７５），这已属情理之中的事。他的零乱的工作如果不经Bernoulli兄弟整理加工，就很难有后来的局面。此外，英国科学家牛顿关于微积分严谨而扎实的工作更表明，对数学的发明与创造而言，理性主义方法也并不是唯一有效和可靠的途径。 四、流数术： 数学需要两种传统
１７０５年《教师学报》上发表了一篇评述牛顿《求积术》的论文。文中说到，在那本书里只不过是把莱布尼茨的微分换成了流数。言下之意，两者实质上不外是同一样东西。这在那个极重个人荣誉的时代，无疑于掷出一枚重磅炸弹，立刻激起轩然大波，引发了究竟牛顿和莱布尼茨谁先发明了微积分的长时间争论。为此，英国皇家学会还于１７１２年在其《通讯》上公布了评判结果：“微分法和流数法是一回事，只是名称和记法不同而已；牛顿先生称之为瞬或流数的那些量，莱布尼茨先生称为微积分，并用牛顿先生不曾用过的记法，记作字母ｄ。”（［６］，ｐ．２３５）显然，上述两种看法是截然对立的。由于这种争论只是涉及发明的优先权问题，所以对微积分的进步没有任何益处。但争论也反映出一个问题，即当时的人们（包括牛顿和莱布尼茨本人）除了发觉两种微积分在概念和记法上不同外，并没有看出二者质的联系与差别。关于微积分的基础工作，是两个人去世后很久的事。
众所周知，就牛顿而言，他首先是个物理学家或主要是力学家。这不仅可以从其科学成就看出，而且在其对待微积分的方式上也表露得十分清楚。他称自己的微积分为流数术，即表明主要是为解决流体力学等问题而探讨和使用的新方法。牛顿关于微积分的主要著述有三部：《运用无穷多项方程的分析学》（１６６９）、《流数法和无穷级数》（１６７１）、《曲线求积术》（１６９０）。此外，他的代表作《自然哲学的数学原理》（１６８７）中也有不少论述。这些成果大致反映了牛顿对微积分的研究和认识的三个主要阶段。第一个阶段是静态的无穷小量方法阶段，他象费尔马等人一样把变量看作是无穷小元素的集合；第二个阶段是变量流动生成法阶段，认为变量是由点、线或面的连续运动产生的，因此把变量叫作流量，把变量的变化率叫流数；第三个阶段是最初比和最终比方法阶段，这种方法是牛顿对第一个阶段无穷小量方法的排除，转向极限观点。牛顿的微积分（流数术）中有三个重要概念：流量、流数和瞬。其中“瞬”是刚刚产生的一种无穷小量。这几个概念的提出，不仅使一切与变化率有关的问题有了统一认识和表述，而且直接揭示了原函数与导函数之间的可逆关系。由此可见，尽管牛顿后来用几何形式表述了微积分基本定理及其它一系列重要命题，但其把物理学作为出发点的做法却是十分明显的。就如他自己所说：“这里，流数术赖以建立的主要原理，及是取自理论力学中的一个非常简单的原理，这就是：数学量，特别是外延量，就可以看成是由连续轨迹运动产生的；而且所有不管什么量，都可以认为是在同样方式之下产生的，至少经过类比和调整后可以如此。因此在产生这些具有固定的、可确定的关系的量时，其相对速度一定有增减，因而也就可以作为一个问题提出如何去求它们。”（［１８］，ｐ．Ⅺ）所以，“甚至最草率的牛顿研究者也明显看到，牛顿是一位彻底的经验主义者。”（［１９］，ｐ．１９８）
从物理经验出发，牛顿把速度、距离、加速度等作为中心概念，以变量ｘ和ｙ的无穷小增量
作为求流数（导数）的手段（当增量越来越小时，流数实际上就是增量比的极限）；牛顿更多关心微积分的实际内容和基本方法，一些法则没有充分推广，对普通的讨论较少；他从变化率出发解决面积和体积问题，微分是其基础，通过微分及其逆来解决微积分问题。因此，作为自然科学家的牛顿处理问题十分严谨小心，讲究实在具体。人们认为他迟迟不发表微积分研究成果的原因，可能是因为没有为其基础找到合理的解释所致。德摩根甚至认为牛顿是由“一种病态的害怕别人反对的心理统治了他的一生。”（［２０］，ｐ．６７）这和莱布尼茨那种从几何出发，整体求和的、注重推广和演绎的理性化方式大为不同。由此直接导致了他们所发明的微积分的基本差别：（１）莱布尼茨的微积分是由人工符号语言表述的法则与公式系统，他花了很多时间选择富有提示性的符号；牛顿的微积分主要是用自然语言进行叙述的数学体系，很少涉及符号，他基本认为符号无关紧要。（２）莱布尼茨的研究是从“整体”到“部分”，他首先讨论“和”即积分，用和来得到面积、体积或重心，其出发点是反微分；牛顿的研究是由“部分”到“整体”其基础是微分，他从变化率出发来解决面积和体积问题。（３）莱布尼茨的微分是高阶的，其积分是定积分；牛顿的微分是一阶的，其积分是不定积分。
但是，尽管在出发点、研究方式和表述形式上有巨大的差别，两人仍然创立了同一个微积分，并且彼此互补。经过他们的工作，微积分再不象希腊时期所有数学都是几何学的分支那样，被束缚在几何框架内，而是成为一个崭新的既不同于几何也不同于代数的独立的分析数学。并且，二人都不象他们的先驱那样仅限于解决某些实际问题，而是把微积分建立在一般问题和运算基础上，使之成为具有普遍性的通用方法。他们不再把微分问题和积分问题看作互不相干，而是找到了彼此的互逆关系，建立起微积分基本定理，使面积、体积及以往作为求和来处理的各种问题都归并为反微分，为求积运算开辟了一条新的便捷途径。这样，经过二人不懈的努力，微积分作为“天地间通用”的学科终于获得了资格证书。
在科学史上，几个人同时创造一项科学成就的事例并不少见。但是，牛顿和莱布尼茨各自从不同的研究传统出发发明了微积分，对数学的进步有着特别的意义。原因在于，微积分处于古代数学向近代数学转折的关节点上。经过微积分，近代以来的数学观及其方法论已大为改观，所以许多讨论近代数学的书往往称“微积分以来的数学”。（［２１］，ｐ．５１）牛顿的工作无疑再一次表明了数学与经验的不可分割性，而莱布尼茨则以自己的探索证明了理性要素在近代数学发展中的增长。３００年后的今天，数学哲学关于数学真理的实在性与非实在性问题的讨论进一步印证了两种数学传统对现代数学的发展都是必不可少的。
同样，莱布尼茨关于通用数学语言的构想，由于过份浪漫和理性化，也只是在２００年后才找到自己数学的“经验”基础，从而经过皮亚诺、罗素等人的工作部分地成为现实。其思想为后来的逻辑经验主义者特别是卡尔纳普等人所继承和推广，开启了人工语言学的先河。这种状况与其说是历史造成的，毋宁说是数学和科学自身的特性使然。
数学的发展再一次证明了经验主义传统和理性主义传统同为科学进步的思想源泉，它们之间的一定的张力状态是数学能够顺利发展的思维基础，而牛顿治学的严肃审慎与莱布尼茨运思的浪漫机警同为科学工作者的必备素养。
参考文献
［１］ 《莱布尼茨自然哲学著作选》，祖庆年译，中国社会科学出版社，１９８５年４月第１版。
［２］ E.T.Bell.MAN OF MATHEMATICS,Dover Publications New York 1963.