必然真理在任何可能的世界里都为真

德国哲学家、数学家莱布尼茨对必然真理的看法．莱布尼茨通过对推理的研究得出所有推理都应服从矛盾原则和充足理由原则。根据矛盾原则，我们判定包含矛盾者为假，而与假相对立或相矛盾者为真。根据充足理由原则，我们认为一件事实如果是真实的或实在的，一个陈述如果是真的，那么，就必须有一个它为什么是这样而不是那样的充足理由，尽管这些理由通常是无法为我们所知的。单独使用矛盾原则就可以得出必然真理，而为了得到事实真理的真，就必须加上充足理由原则．莱布尼茨对必然真理的理解是这样的：必然真理是可以通过分析、通过把他们分解为构成真理的本身不再需要证明的简单观念来确立的。必然真理的真是必然的，其反面是不可能的，而事实真理的反面是可能的，其存在是偶然的。下面的一段话最好地体现了莱布尼茨的思想：一个必然真理之所以是一个真理，其根据并不在于事物碰巧是怎样一种情形，或者说并不在于倘若事物表明在世界里是另一番样子，它们可能碰巧是怎么一种情形，而是在于，它在这个世界里为真，而且在事物处于任何一个世界里可能会有的任何一种存在方式的任何可能的组合都依然为真。莱布尼茨并没有更详细地阐发他的思想，他的这种观点在近代得到更进一步地研究．刘易斯创建的模态逻辑和克里普克的模态逻辑的可能世界语义学都是建立在可能世界基础上的，对真理的可能世界解释正是他们理论的核心．