浅析莱布尼茨的数理逻辑学思想
一、莱布尼茨的逻辑学说
莱布尼茨，我国知识界并不陌生，皆知其为德国著名数学家，发明了几何微积分。但是，他还是一位百科全书式的人文学者，他的著作或者说《莱布尼茨全集》至今德国科学院还在整理，直到2050年才有望出齐。从某种意义上说，莱布尼茨是德国哲学和文化史中的一位源头性的人物，是人类近现代思想史中一位百科全书式的极为罕见的全才。
莱布尼茨对逻辑问题的最早探索和最初贡献是试图沿着笛卡尔和霍布斯的思路建构所谓的“通用语言”。这种语言是一种用来代替自然语言的人工语言，它通过字母和符号进行逻辑分析与综合，把一般逻辑推理的规则改变为演算规则，以便更精确更敏捷地进行推理。也就是说，“通用语言”是一套表达思想和事物的符号系统，利用这本文由论文联盟http://收集整理些符号可以进行演算并推出各种知识。在《论组合术》中，20岁的莱布尼茨曾立志要创设“一个一般的方法，在这个方法中所有推理的真实性要简化为一种计算。同时，这会成为一种通用语言或文字，但与那些迄今为止设想出来的全然不同；因为它里面的符号甚至词汇要指导推理；错误，除去那些事实上的错误，只会是计算上的错误。形成或者发明这种语言或者记号会是非常困难的，但是可以不借助任何词典就很容易懂它”［1］在1679年9月8日给惠更斯的信中他又写道，有一个“完全不同于代数的新符号语言，它对精确而自然地在脑子里再现即不同图形，依赖于想象的一切有很大好处。www.11665.Com它的主要效用在于能够通过记号即符号的运算完成结论和推理，这些记号不经过非常精细的推敲或使用大量的点和线会把它们混淆起来，因而不得不作出无穷多个无用的实验；另一方面，这个方法会确切而简单地所需要的结果。我相信力学差不多可以象几何学一样用这种方法去处理。”［2］
第二时间段，莱布尼茨用等式符号作系词符号，借公式a=by表述全称肯定命题即y为一未确定的系数，用以修饰b而使b成为a的一部分，同时提出双重否定为之肯定，即“非非a=a”，并由此演绎出一系列定理。为了进一步发展演绎，莱布尼茨还试图通过与属性组合的关系，用代数方法来描述四个直言命题，甚至对四个直言命题的表示法提出了方案。
第三时间段，莱布尼茨最有价值的工作是罗列了十四个基本命题：(1)a=a＋a；(“＋”表示逻辑相乘，下同)；(2)如a=b且b=c，则ａ=ｃ；(3)如ａ=ｂ且ｂ≠ｃ，ａ≠ｃ；(4)如a=b，且b<c则a<c；(5)如a=b且c<b，则c<a；(6)如a=b且c=d，则a＋ｃ=ｂ＋d；(7)如ａ=ｂ，ａ＋ｃ=b＋c；(8)a<b，则a＋ｃ<b＋c；(9)如a＋ｂ=ａ，则ｂ<a；(10)如ｂ<ａ，则ａ＋ｂ=a；(11)如a<b且b<c，则a<c；(12)如a<b且ｂ<ａ则a=ｂ；(13)如ａ<ｃ且b<c，则a＋ｂ<ｃ；(14)如a<b且c<d，则ａ＋ｃ<ｂ＋ｄ。为了适应逻辑相除，他又引进逻辑相减运算，定义为：如ｂ包含在ａ中且ｃ包括除去内容ｂ之外的整个ａ的内容，则ａ－ｂ=ｃ。如前例“人=动物＋智慧”即可推为“人－理智=动物”。［3］以上符号建构显示，莱布尼茨的中心思想是致力于以符号表示普遍概念的“通用语言”和以代换法进行数学演算他自称“通用数学”。以今天的眼光看，他实际上已经发现了符号逻辑的若干重要原则和定理，触及到后由哈密尔顿所阐发的谓项量化问题，认识到在直言与假言命题之间的基本类比，即原因包含它的结果正如主项包含它的谓项，并且把握了逻辑相加的问题，甚至讨论过非三段论的关系推理。因此，莱布尼茨实际上已探察到后来为布尔和施罗德所发展的逻辑代数的整个基础。数理逻辑学家有没有看过莱布尼茨的著作，知不知道莱布尼茨的计划，但所作的研究大体上都是沿着莱布尼茨所期望的方向进行的。莱布尼茨的符号数学研究在生前没有公布，结果使数理逻辑的发展延迟了一个半世纪。莱布尼茨打开了数字化的现实世界,使人类文明进入一个新的时代。 <br=""> 二、莱布尼茨的数理逻辑思想
莱布尼茨是公认的现代逻辑的奠基者。他继承霍布斯等人“思维就是计算”的思想，把逻辑的论证方式归结为“计算”—“我将作出一种通用代数，一切推理的正确性都将化归于计算”。
莱布尼茨在300年前用2个记号0和1的二进制算术来评注和阐述中国古代伏羲图的意义过程中,发现六十四卦图中的64个六爻排列恰好与从0到63的二进制数字一一对应。这一发现使他异常兴奋,立即用法文修改和补充1679年的文章手稿,并将这一法文文稿送交法国科学院院报［6］。在某种意义上,莱布尼茨是把易图的“可能世界”严格化、精确化了。莱布尼茨的数理逻辑设想,是构建一种理想化的“通用语言”和“通用数学”,把所有的推理都化归为计算,让所有推理的错误都成为计算的错误,以至最后可以通过计算解决各种争论的问题。
莱布尼茨设计了“通用语言”和“通用数学”来准备构建他的逻辑体系,而且现代形式逻辑也是按照他的这种设计思路发展和完善起来的,从这个意义来说，演绎作为逻辑的根本特征似乎是更加巩固和更加不可动摇了。肖尔茨对此评价说：“我们必须把这种对演算规则的真正作用的见解看做是莱布尼茨的最伟大的发现之一，并看做是一般人类精神的最精彩的发现之一。”［4］
莱布尼茨和亚里士多德一样并没有忽略去建立“一种新的逻辑”，而且他也看到了亚里士多德对这种“逻辑”的认识。他说“我们需要有一种新的逻辑来处理概率问题，因为亚里士多德在他的《正位篇》中所做的也不亚于此……在这里，涉及的问题是要扩充论题和给予它的概然性。”［6］
尽管莱布尼茨没有在完整的意义上构造出与演绎逻辑相媲美的归纳逻辑，探究其原因，是科学的发展在莱布尼茨时代还没有成熟到可以支持现代归纳逻辑建立和发展起来的程度，构造现代归纳逻辑的条件尚不具备，但莱布尼茨对所谓的“新逻辑”问题给予了充分重视和肯定，说明归纳逻辑在他理想的逻辑体系中占有与演绎逻辑同等重要的位置。莱布尼茨的思想对西方哲学的发展影响深远,无论是逻辑学,或是形而上学的发展,其理论均起到继承发展的作用，特别是其所处的17世纪,而被黑格尔抱怨为贫瘠的哲学时代,因而其思想极其珍贵的。
