他不断发现证据，表明亚里士多德的三段论之说在某些点上是错误的；他对亚里士多德的尊崇使他难以相信这件事，于是他误认为错处必定在自己。尽管如此，他毕生仍旧怀着希望，想发现一种普遍化的数学，他称之为“ＣｈａｒａｃｔｅｒｉｓｔｉｃａＵｎｉｖｅｒｓａｌｉｓ”
（万能算学）
，能用来以计算代替思考。他说：“有了这种东西，我们对形而上学和道德问题就能够几乎像在几何学和数学分析中一样进行推论。”
“万一发生争执，正好像两个会计员之间无须乎有辩论，两个哲学家也不需要辩论。因为他们只要拿起石笔，在石板前坐下来，彼此说一声（假如愿意，有朋友作证）
：我们来算算，也就行了。“
莱布尼兹拿“矛盾律”和“充足理由律”这两个逻辑前提作为他的哲学的基础。二定律都依据“分析”命题这个概念。所谓“分析命题”就是谓语包含在主语中的命题，例如“所有白种人是人”。矛盾律说一切分析命题皆真。充足理由律（限于秘传体系中的充足理由律）说，所有真命题是分析命题。这话甚至对必须看成是关于事实问题的经验命题也适用。如果我作一次旅行，“我”的概念必定自永久的往昔已经
…… 137
６３１卷三 近代哲学
包含这次旅行的概念，后者是“我”的谓语。
“我们可以说，一个具有个体性的实体即完全的有，它的本性就是有一个这样完全的概念：它足以包含这概念作为属性而归的那个主语的所有谓语，并且足以使这些谓语由它推得出来。例如，‘国王’这个性质是属于亚历山大大帝的，如果把它从主语抽离开，对表示某个人来讲不够确定，而且不包含同一主语的其它性质，也并不包含这位君王的概念所含有的一切；然而神由于看到亚历山大这个个体概念即个体性，同时就在其中看到能够真正归之于他的一切谓语的根据和理由，例如他是否要征服大流士和鲍卢斯①，甚至先验地（不是凭经验）知道他的死是老病善终或是被毒杀，这些事我们只能从史书知道。”
关于他的形而上学的基础，在给阿尔诺的一封信里有一段最明确的申述：“考察我对一切真命题所持的概念，我发现一切谓语，不管是必然的或偶然的，不论是过去、现在、或未来的，全包含在主语的概念中，于是我更不多求。
……这命题非常重要，值得完全确立，因为由此可知每一个灵魂自成一个世界，与神以外的其他一切事物隔绝独立；它不仅是永生的，还可说是无感觉的，但它在自己的实体中保留下它所遭的所有事情的痕迹。“
他然后说明实体彼此不起作用，但是通过各从自己的立足点反映宇宙而取得一致。所以无从有相互作用，是因为关于各个主语发生的一切事情是它自己的概念的一部分，只要
①鲍卢斯（Ｐｏｒｕｓ或Ｐｏｒｏｓ，死于公元前３２１年？）
，印度国王。——译者
…… 138
第一篇 从文艺复兴到休谟７３１
这实体存在便永久决定了。
这个体系显然和斯宾诺莎的体系同样带决定论性质。阿尔诺对（莱布尼兹曾说过的）这句话表示憎恶：“关于各人的个体概念，把凡是对此人会发生的一切事情一举包括无遗。”
这种见解与基督教的有关罪和自由意志的教义分明不能相容。莱布尼兹发觉它遭到阿尔诺的白眼对待，于是小心避免让它公开。
确实，对于人类来讲，由逻辑认识到的真理和由经验认识到的真理是有区别的。这种区别出在两方面。第一，尽管亚当遭遇的一切事情可以由他的概念推出来，但是假如亚当。。。。
存在，我们凭经验才能够发现他存在。第二，任何个体实体。。
的概念都无限地复杂，为演绎他的谓语而必需作的分析，唯有神办得到。然而这两点区别只不过由于我们人的无知和智力上的限制；对神来讲是不存在的。神就“亚当”这个概念的全部无限复杂性把握住这概念。因此神能明瞭关于亚当的所有真命题，明瞭它们是分析命题。神还能够先验地确知亚当是否存在。因为神知道他自己的善性，由此可知他要创造最好的可能的世界；而神又知道亚当构成或不构成这个世界的一部分。所以，并不因为我们人类无知，就可以真正逃脱决定论。
不过，此外还有一点，奇妙得很。莱布尼兹在大多场合下把创世这件事描叙成神需要行使意志的自由行为。按照这一说，要决定现实存在什么，凭观察是决定不成的，必须通过神的善性进行。
神的善性促使他创造最好的可能的世界，除开神的善性之外，为什么某个事物存在而另一个事物不存在，
…… 139
８３１卷三 近代哲学
并没有先验的理由。
但是在未披露给任何人的文稿中，关于为什么有些事物存在，而另一些同样可能的事物不存在，往往又有一种完全不同的理论。据这个见解，一切不存在的东西都为存在而奋斗，但并非所有可能的东西能够存在，因为它们不都是“共可能的”
（ｃｏｍｐｏｓｉｂｌｅ）。或许，Ａ存在是可能的，Ｂ存在也是可能的，但是Ａ和Ｂ双方存在就不可能；在这种着况，Ａ和Ｂ不是“共可能的”。
两个或多个事物在它们全都可能存在的情况下才是“共可能的”。
看样子莱布尼兹好像悬想了有着许多皆力求存在的本质栖居的“地狱边土”
①里的一种斗争；在这场斗争中，结合成一个个共可能者集团，最大的共可能者集团就好像政治斗争中的最大压力集团一样，获得胜利。
莱布尼兹甚至利用这个概念当作定义存在的方法。
他说：“存在。。
者可以定义成比跟自己不相容的任何东西能够和更多的事物相容的那种东西。“换句话说，假设Ａ与Ｂ不相容，而Ａ与Ｃ及Ｄ及Ｅ相容，但是Ｂ只与Ｆ和Ｇ相容，那么按定义。。。Ａ存在，而Ｂ不存在。他说：”存在者就是能够和最多数事物相容的有。“
在这个叙述中完全没有提神，明明也没有创世行为。为了决定什么存在，除纯逻辑以外，不必要有任何东西。
Ａ和Ｂ是否共可能这个问题，在莱布尼兹讲是个逻辑问题，也就是Ａ和Ｂ双方存在含不含矛盾？可见，在理论上，逻辑能够解
①“地狱边土”
位于天国和地狱之间，照经院神学的讲法，它是末受洗礼的婴儿死后灵魂居住的地方。——译者
…… 140
第一篇 从文艺复兴到休谟９３１
决哪个共可能者集团最大的问题，这集团结果就要存在。
然而，也许莱布尼兹的意思并不是真说上面的话是存在的定义。假使这原来仅是个判断标准，那么借助他所说的。。
“形而上学的完善性”
，这标准能够与他的流俗意见取得调和。
他所使用的“形而上学的完善性”一词似乎指存在的量。他说，形而上学的完善性“无非是严格理解下的积极实在性的大小。”
他一贯主张神创造了尽可能多的东西；这是他否定真空的一个理由。有一个（我一直弄不懂的）普遍信念，以为存在比不存在好；大家根据这点训教儿童应该对父母感恩。
莱布尼兹显然抱着这种见解，他认为创造一个尽可能充盈的宇宙乃是神的善性的一部分。由这点岂不就推出现实世界便是最大的共可能者集团所构成的。那么，倘若有一个十分有本领的逻辑家，仅从逻辑就能决定某个可能的实体存在或不存在，这话说来还是不假。
就莱布尼兹的隐秘的思想来说，他是利用逻辑作为解决形而上学的关键的哲学家一个最好的实例。这类哲学从巴门尼德开端，柏拉图应用相论来证明种种逻辑范围外的命题，把它又推进一步。
斯宾诺莎属于这一类，黑格尔也在这类之内。
但是在根据构句法给实在世界作出推论方面，他们两人谁也不像莱布尼兹作得那么鲜明清楚。这种议论方式由于经验主义的发展，已经落得声名扫地。由语言对非语言的事实是否可能作出什么妥当的推论，这是我不愿武断论定的问题；但是的确在莱布尼兹及其他的先验哲学家的著作中所见到的那种推论是不可靠的，因为那种推论全基于有缺陷的逻辑。已往的所有这类哲学家都假定主语、谓语式逻辑，这种逻辑或
…… 141
０４１卷三 近代哲学
者完全忽视“关系”
，或者提出谬误的论证，来证明“关系”
是非实在的。莱布尼兹把主语、谓语式逻辑和多元论撮合起来，犯了一个特别的矛盾，因为“有许多单子”这个命题并不属于主语、谓语形式。要想不自相矛盾，相信一切命题属于这种形式的哲学家应当像斯宾诺莎那样，是一元论者。莱布尼兹排斥一元论主要由于他对动力学感兴趣，并且他主张广延性含有“重复”的意思，故不会是单一实体的属性。
莱布尼兹的文笔枯涩，他对德国哲学的影响是把它弄得迂腐而干燥无味。他的弟子武尔夫在康德的《纯粹理性批判》出版以前一直称霸德国各大学，把莱布尼兹的学说中最有意思的什么东西全抛弃了，做出一种死气沉沉的学究思想方式。在德国以外，莱布尼兹哲学的影响微乎其微；和他同时代的洛克统治着英国哲学，而在法国，笛卡尔继续作他的南面王，一直到伏尔泰使英国的经验主义时兴起来，才把他推翻。
然而莱布尼兹毕竟还是个伟大人物，他的伟大现在看来比已往任何时代都明显。按数学家和无穷小算法的发明者来讲，他卓越非凡，这且不谈；他又是数理逻辑的一个先驱，在谁也没认识到数理逻辑的重要