戈特弗里德·威廉·莱布尼茨(1646～1716)对数学有两项突出贡献：发明了符号逻辑和微积分。 下面是编辑老师为大家准备的莱布尼茨数学思想的统一性。

由于这两项成就分属不同的数学分支，人们也往往将其看作莱布尼茨的两种不同工作，忽视了它们之间的一致性，这为研究莱布尼茨的数学思想、完整地理解数学史和科学发现的规律带来不少困难。本文的目的就是试图理解的揭示这种一致性。

莱布尼茨对数学问题的最早探索和最初贡献是试图沿着笛卡尔和霍布斯的思路建构所谓的“通用语言”。这种语言是一种用来代替自然语言的人工语言，它通过字母和符号进行逻辑分析与综合，把一般逻辑推理的规则改变为演算规则，以便更精确更敏捷地进行推理。([1]，p.8)或者说，“通用语言”是一套表达思想和事物的符号系统，利用这些符号可以进行演算并推出各种知识。在《论组合术》中，二十岁的莱布尼茨曾立志要创设“一个一般的方法，在这个方法中所有推理的真实性都要简化为一种计算。同时，这会成为一种通用语言或文字，但与那些迄今为止设想出来的全然不同;因为它里面的符号甚至词汇要指导推理;错误，除去那些事实上的错误，只会是计算上的错误。形成或者发明这种语言或者记号会是非常困难的，但是可以不借助任何词典就很容易懂得它。”([2]，p.123)在1679年9月8日给惠更斯的信中他又写道，有一个“完全不同于代数的新符号语言，它对于精确而自然地在脑子里再现(不用图形)依赖于想象的一切有很大的好处。……它的主要效用在于能够通过记号〔符号〕的运算完成结论和推理，这些记号不经过非常精细的推敲或使用大量的点和线会把它们混淆起来，因而不得不作出无穷多个无用的试验;另一方面，这个方法会确切而简单地导向〔所需要的〕结果。我相信力学差不多可以象几何学一样用这种方法去处理。”([3]，p.151～152)

综合莱布尼茨零零碎碎的设想，他的宏伟规划大体旨在创造两种工具：其一是通用语言，其二是推理演算(calaulusratiocinator)。前者的主要使命是消除现存语言的局限性和不规则性，使新语言变成世界上人人会用的具有简明符号、合理规则的语言，规定符号的演变规则与运算规则，使逻辑演变依照一条明确的道路进行下去，进而解决所有可用语言表达的问题。