它们反映世界时的立足点依三度秩序的排列。各个单子按本身特有的透视法看世界；就这个意义讲，我们能够把单子粗粗地说成具有一个空间位置。

    我们承认了这种讲话法，便能说所谓真空这种东西是没有的；每一个可能的立足点由一个现实的单子占着，而且仅由一个单子占着。单子没有两个是恰恰相同的；这是莱布尼兹的“不可识别者的同一性”原理。

    莱布尼兹跟斯宾诺莎对比之下，他很着重他的体系中所容许的自由意志。他有一条“充足理由原理”，按这原理讲，什么事情没理由决不发生；但是若谈到自由动原，它的行动的理由“有倾向力而无必然性。”人的所作所为总有动机，但是人的行为的充足理由却没有逻辑必然性。至少说，莱布尼兹在他写的流俗作品中这样讲。但是，后文要提到，他还有另一套理论，阿尔诺认为它荒谬绝伦，莱布尼兹发觉这点之后就把它秘而不宣了。

    神的行为有同样一种自由。神永远怀着最良善的意图而行动，但是神所以如此并没受一点逻辑强制。莱布尼兹和托马斯·阿奎那有同见，认为神不能做违反逻辑定律的行为，但是神能够敕命做从逻辑上讲是可能的任何事情。神因此便有很充裕的选择自由。

    莱布尼兹把关于神存在的各种形而上学证明发展成了最后形式。这些证明历史悠久：从亚里士多德开端，甚至可说从柏拉图开端；由经院哲学家作了一番形式化，其中之一，即本体论论证，是圣安瑟勒姆首创的。这个证明虽然被圣托马斯否定了，笛卡尔却又使它复活。莱布尼兹的逻辑技能高强无比，他把神存在的论证叙述得比向来更胜一筹。我所以在讲他的时候要探讨这些论证，理由也就在这里。

    在细考究这些论证之前，我们先宜知道现代的神学家已经不再信赖它们了。中世纪神学原是希腊才智的衍生物。《旧约》中的神是一位权能神，《新约》里的神也是个慈悲神；但是上自亚里士多德，下至加尔文，神学家的神却是具有理智力量的神：他的存在解决了某些哑谜，否则在对宇宙的理解方面，这些哑谜会造成种种议论上的困难。在几何命题证明似的一段推理的终了出现的这位神明，没让卢梭满意，他又回到和福音书中的神比较类似的神概念。大体说，近代的神学家，特别那些奉新教的神学家们，在这点上追随了卢梭。哲学家一向比较保守；尽管康德声称他已经把属于形而上学一类的神存在论证一举彻底摧毁了，但在黑格尔、洛策和布莱德雷的学说中，这种论证依旧存留着。

    莱布尼兹的神存在论证计有四个，即：（1）本体论论证，（2）宇宙论论证，（3）永恒真理说论证，（4）前定和谐说论证，它可以推广成意匠说论证，也就是康德所谓的物理－神学证明。下面顺次来讲这些论证。

    本体论论证依据存在与本质的区别。据主张，任何一个通常的人或事物，一方面它存在，另一方面它又具有某些性质，构成他或它的“本质”。哈姆雷特固然不存在，他也有某种本质：他性情忧郁、优柔寡断、富于机智，等等。我们若描述一个人，不管这描述多么周详细腻，此人究竟是实有的、或是虚构的人物，仍是问题。用经院哲学的话来表达，是这样说法：就任何有限的实体来讲，它的本质不蕴涵它的存在。

    但是，神定义成最完善的“有”，按神这个情况说，圣安瑟勒姆（还有笛卡尔也承袭他）主张本质蕴涵着存在，理由是：占尽其他一切完善性的“有”，他假若存在，胜似不存在，由此可见这个“有”若不存在，他就不是可能范围内最好的“有”了。

    这个论证，莱布尼兹既不全盘承认也不全盘否定；据他说，它需要再补充上一个证明，证明如此定义的神是可能的。

    他为神观念是可能的写出了一个证明，在海牙会见斯宾诺莎的时候，给斯宾诺莎看过。这