充足理由律：莱布尼茨用主谓包含证明凡事必有原因
内容提要
莱布尼茨从“主词包含谓词”原则出发，结合排中律与矛盾律，推出充足理由律：凡事必有理由，无理由的事实自相矛盾。他区分必然真理与偶然真理，以“假设必然性”为自由意志留出空间，并用无限分析说明偶然真理的理由链条无穷延伸，人类无法彻底验证。
延伸解读
主谓包含如何推出充足理由律
莱布尼茨从“主词包含谓词”出发，认为真命题的谓词已以显性或隐性方式包含在主词概念中。排中律与矛盾律进一步排除“无理由”的中间状态：若谓词不包含在主词中，则需外部条件解释。由此推出充足理由律——任何事实必有理由，否则自相矛盾。这一推导将语法观察上升为形而上学原则。
假设必然性如何为自由意志留门
为化解决定论威胁，莱布尼茨区分绝对必然性与假设必然性。凯撒渡河在“上帝选择创造此世界”的前提下是必然的，但上帝本可选择其他可能世界，故渡河并非绝对必然。偶然性不在于主谓关系，而在于主词是否被选择存在。这为自由意志保留了空间，但批评者认为该区分仍依赖上帝选择的自由。
无限分析带来的验证困境
莱布尼茨用无限分析说明偶然真理的理由链条无穷延伸，只有上帝能瞬间把握。人类无法完成无穷步骤，因此偶然事件看似“碰巧”。这导致充足理由律在逻辑上自洽，却在经验上无法被彻底验证。哥德尔不完备定理后来呼应了这种理由链条无尽头的感觉，使该原则始终横跨形而上学与科学哲学。
日常追问中的实践含义
充足理由律要求我们区分“有原因”和“有充分理由”。当你说“就是这样的”时，莱布尼茨会认为你只是不知道理由，而非没有理由。日常选择、直觉和判断背后都有隐藏的理由链条，只是人类分析能力有限。这提醒我们，对任何事实的追问不应止于表面原因，而应意识到理由可能存在于更深的现实条件中。
Q&A
莱布尼茨的充足理由律是怎么推导出来的？
莱布尼茨从“主词包含谓词”原则出发，结合排中律和矛盾律进行推导。排中律要求一个命题要么真要么假，矛盾律要求不能同时真且假。如果一个事实没有理由，那么它就无法通过分析还原为同一律，从而自相矛盾。因此，凡事必有充足理由。
莱布尼茨如何区分必然真理和偶然真理？
莱布尼茨认为，必然真理和偶然真理的区别在于理由链条能否在有限步骤内走完。必然真理如“二加二等于四”，可以通过有限步分析还原为同一律；偶然真理如“凯撒渡过卢比孔河”，需要无穷多步分析才能揭示其谓词包含在主词中，人类无法彻底完成。
充足理由律如何与自由意志兼容？
莱布尼茨通过区分绝对必然性和假设必然性来兼容自由意志。绝对必然性的反面是矛盾，而假设必然性的反面不矛盾，只是在给定条件下才必然。上帝自由选择创造这个世界，凯撒渡河在上帝选择的前提下是假设必然的，但上帝本可以选择其他可能世界，因此自由意志得以保留。
什么是“无限分析”？它在莱布尼茨哲学中起什么作用？
无限分析是莱布尼茨用来解释偶然真理理由链条无穷延伸的理论。对于偶然真理，要找出谓词包含在主词中需要无穷多步分析，每一步揭示更深层的理由，但永远走不到最终的恒等式。只有上帝的无限理智能一瞬间看穿全貌，人类只能看到链条的前几步。
充足理由律在日常生活中有哪些应用？
在日常生活中，充足理由律提醒我们，当说“就是这样的”时，其实是在说“我不知道理由”，而不是“没有理由”。例如，上班迟到说“堵车”，但堵车本身还有原因，理由链条可以无限延伸。理由总是存在，只是可能不在我们的视野里。
莱布尼茨的充足理由律与斯宾诺莎的决定论有何不同？
斯宾诺莎认为一切都是必然的，自由只是幻觉。莱布尼茨则通过区分绝对必然性和假设必然性，为自由意志留出空间。他认为上帝自由选择创造这个世界，凯撒渡河等事件是假设必然的，但上帝本可以选择其他可能世界，因此自由意志没有被消灭。
