第一篇从文艺复兴到休谟531
底这个“概念”。
所有这些谓语按下述意义来讲必然地属于苏格拉底：对某一实体，如果这些谓语不能够真地断言，这实体就不是苏格拉底，而是其他某人。
莱布尼兹坚信逻辑不仅在它本门范围内重要，当作形而上学的基础也是重要的。他对数理逻辑有研究，研究成绩他当初假使发表了，会重要之至；那么，他就会成为数理逻辑的始祖，而这门科学也就比实际上提早一个半世纪问世。他所以不发表的原因是，他不断发现证据，表明亚里士多德的三段论之说在某些点上是错误的；他对亚里士多德的尊崇使他难以相信这件事，于是他误认为错处必定在自己。尽管如此，他毕生仍旧怀着希望，想发现一种普遍化的数学，他称之为“characteristicauniversalis”
（万能算学）
，能用来以计算代替思考。他说：“有了这种东西，我们对形而上学和道德问题就能够几乎像在几何学和数学分析中一样进行推论。”
“万一发生争执，正好像两个会计员之间无须乎有辩论，两个哲学家也不需要辩论。因为他们只要拿起石笔，在石板前坐下来，彼此说一声（假如愿意，有朋友作证）
：我们来算算，也就行了。“
莱布尼兹拿“矛盾律”和“充足理由律”这两个逻辑前提作为他的哲学的基础。二定律都依据“分析”命题这个概念。所谓“分析命题”就是谓语包含在主语中的命题，例如“所有白种人是人”。矛盾律说一切分析命题皆真。充足理由律（限于秘传体系中的充足理由律）说，所有真命题是分析命题。这话甚至对必须看成是关于事实问题的经验命题也适用。如果我作一次旅行，“我”的概念必定自永久的往昔已经
--137
631卷三近代哲学
包含这次旅行的概念，后者是“我”的谓语。
“我们可以说，一个具有个体性的实体即完全的有，它的本性就是有一个这样完全的概念：它足以包含这概念作为属性而归的那个主语的所有谓语，并且足以使这些谓语由它推得出来。例如，‘国王’这个性质是属于亚历山大大帝的，如果把它从主语抽离开，对表示某个人来讲不够确定，而且不包含同一主语的其它性质，也并不包含这位君王的概念所含有的一切；然而神由于看到亚历山大这个个体概念即个体性，同时就在其中看到能够真正归之于他的一切谓语的根据和理由，例如他是否要征服大流士和鲍卢斯1，甚至先验地（不是凭经验）知道他的死是老病善终或是被毒杀，这些事我们只能从史书知道。”
关于他的形而上学的基础，在给阿尔诺的一封信里有一段最明确的申述：“考察我对一切真命题所持的概念，我发现一切谓语，不管是必然的或偶然的，不论是过去、现在、或未来的，全包含在主语的概念中，于是我更不多求。
……这命题非常重要，值得完全确立，因为由此可知每一个灵魂自成一个世界，与神以外的其他一切事物隔绝独立；它不仅是永生的，还可说是无感觉的，但它在自己的实体中保留下它所遭的所有事情的痕迹。“
他然后说明实体彼此不起作用，但是通过各从自己的立足点反映宇宙而取得一致。所以无从有相互作用，是因为关于各个主语发生的一切事情是它自己的概念的一部分，只要
1鲍卢斯（porus或poros，死于公元前321年？）
，印度国王。——译者
--138
第一篇从文艺复兴到休谟731
这实体存在便永久决定了。
这个体系显然和斯宾诺莎的体系同样带决定论性质。阿尔诺对（莱布尼兹曾说过的）这句话表示憎恶：“关于各人的个体概念，把凡是对此人会发生的一切事情一举包括无遗。”
这种见解与基督教的有关罪和自由意志的教义分明不能相容。莱布尼兹发觉它遭到阿尔诺的白眼对待，于是小心避免让它公开。
确实，对于人类来讲，由逻辑认识到的真理和由经验认识到的真理是有区别的。这种区别出在两方面。