CeristicaUniversalis”（万能算学），能用来以计算代替思考。他说：“有了这种东西，我们对形而上学和道德问题就能够几乎像在几何学和数学分析中一样进行推论。”

    “万一发生争执，正好像两个会计员之间无须乎有辩论，两个哲学家也不需要辩论。因为他们只要拿起石笔，在石板前坐下来，彼此说一声（假如愿意，有朋友作证）：我们来算算，也就行了。”

    莱布尼兹拿“矛盾律”和“充足理由律”这两个逻辑前提作为他的哲学的基础。二定律都依据“分析”命题这个概念。所谓“分析命题”就是谓语包含在主语中的命题，例如“所有白种人是人”。矛盾律说一切分析命题皆真。充足理由律（限于秘传体系中的充足理由律）说，所有真命题是分析命题。这话甚至对必须看成是关于事实问题的经验命题也适用。如果我作一次旅行，“我”的概念必定自永久的往昔已经包含这次旅行的概念，后者是“我”的谓语。“我们可以说，一个具有个体性的实体即完全的有，它的本性就是有一个这样完全的概念：它足以包含这概念作为属性而归的那个主语的所有谓语，并且足以使这些谓语由它推得出来。例如，‘国王’这个性质是属于亚历山大大帝的，如果把它从主语抽离开，对表示某个人来讲不够确定，而且不包含同一主语的其它性质，也并不包含这位君王的概念所含有的一切；然而神由于看到亚历山大这个个体概念即个体性，同时就在其中看到能够真正归之于他的一切谓语的根据和理由，例如他是否要征服大流士和鲍卢斯，甚至先验地（不是凭经验）知道他的死是老病善终或是被毒杀，这些事我们只能从史书知道。”

    关于他的形而上学的基础，在给阿尔诺的一封信里有一段最明确的申述：

    “考察我对一切真命题所持的概念，我发现一切谓语，不管是必然的或偶然的，不论是过去、现在、或未来的，全包含在主语的概念中，于是我更不多求。……这命题非常重要，值得完全确立，因为由此可知每一个灵魂自成一个世界，与神以外的其他一切事物隔绝独立；它不仅是永生的，还可说是无感觉的，但它在自己的实体中保留下它所遭的所有事情的痕迹。”

    他然后说明实体彼此不起作用，但是通过各从自己的立足点反映宇宙而取得一致。所以无从有相互作用，是因为关于各个主语发生的一切事情是它自己的概念的一部分，只要这实体存在便永久决定了。

    这个体系显然和斯宾诺莎的体系同样带决定论性质。阿尔诺对（莱布尼兹曾说过的）这句话表示憎恶：“关于各人的个体概念，把凡是对此人会发生的一切事情一举包括无遗。”

    这种见解与基督教的有关罪和自由意志的教义分明不能相容。莱布尼兹发觉它遭到阿尔诺的白眼对待，于是小心避免让它公开。

    确实，对于人类来讲，由逻辑认识到的真理和由经验认识到的真理是有区别的。这种区别出在两方面。第一，尽管亚当遭遇的一切事情可以由他的概念推出来，但是·假·如·亚·当·存·在，我们凭经验才能够发现他存在。第二，任何个体实体的概念都无限地复杂，为演绎他的谓语而必需作的分析，唯有神办得到。然而这两点区别只不过由于我们人的无知和智力上的限制；对神来讲是不存在的。神就“亚当”这个概念的全部无限复杂性把握住这概念。因此神能明瞭关于亚当的所有真命题，明瞭它们是分析命题。神还能够先验地确知亚当是否存在。因为神知道他自己的善性，由此可知他要创造最好的可能的世界；而神又知道亚当构成或不构成这个世界的一部分。所以，并不因为我们人类无知，就可以真正逃脱决定论。

    不过，此外还有一点，奇妙得很。莱布尼兹在大多场合下把创世这件事描叙成神需要行使意志的自由行为。按照这