莱布尼茨(Gottfriext Wilhelm Leibniz1646—1716)的逻辑思想

莱布尼茨是德国的数学家、逻辑学家，公认的数理逻辑的创始人，主要的著作有《论组合技巧》、《论认识、真理和概念》、《逻辑难题》、《人类理性新论》、《单子论》等。
莱布尼茨把逻辑称为指导其他科学去发现和证明由已给出的前提引出一切结果的方法的科学。他相信逻辑，同时更推崇数学的方法。他认为数学所以能如此迅速地发展，就是因为数学使用了特制的符号语言，这种符号为表达思想和进行推理提供了方便。他希望能够建立一个“普遍的符号语言”，这种语言的符号应该是表意的，而不是拼音的，每一符号表达一个概念，如同数学的符号一样。一个完善的符号语言同时又应该是一个“思维的演算”，其中的字母和字将由推理来确定，思维和推理就可以用计算来代替，除却事实的错误之外，所有的错误将只由于计算失误而来。如果遇有争论，双方可以把笔拿在手中说：“让我们来算一下”，就可以把问题解决。莱布尼茨关于表意的符号语言和思维的演算的思想，正是现代数理逻辑的基本特征。
莱布尼茨的逻辑学的基本原则可以归纳为这样的五点：（一）所有的概念可以还原为少数的原始概念，这些原始概念构成思想的“字母表”。（二）复合概念可以由原始概念通过逻辑乘法得到，他曾用A⊕B表示那个既反映A性质又反映B性质的复合概念。（三）原始概念彼此之间是没有矛盾的。（四）任何命题都是谓项性的。都可以还原为一个谓项对于一个主项有所述说的命题。（五）任何真的肯定命题都是分析命题，即主项包含在谓项之中。他曾对传统逻辑的四种直言命题作如下解释：
凡A都是B 是A而不是B的不存在
没有A是B 是A又是B的不存在
有A是B 是A又是B的存在
有A不是B 是A而不是B的存在
莱布尼茨试图在此基础上建立一个逻辑演算，但由于他仍旧保留了对逻辑的内涵的解释，所以基本上没有获得成功。莱布尼茨认为如果他少受到些搅扰，如果他更年青一些，或者有一些年青人来帮助他，他是可以完成这一工作的。
莱布尼茨在传统逻辑的同一律、矛盾律和排中律的基础上，总结和概括了另一条思维基本规律——充足理由律。他认为，一切存在着的东西都有其存在的充足理由。在逻辑上这条规律表述为：要确定一个命题为真，必须有充足的理由。在以后的逻辑教科书中，充足理由律和同一律、矛盾律、排中律一起被作为形式逻辑的基本规律，起着要求人们的思维应该具有论证性的作用。