逻辑真理和事实真理

---

莱布尼茨提出的两个逻辑概念。

莱布尼茨把真理区分为必然真理(或称“理性真理”)和偶然真理(或称“事实真理”)。理性真理的真实性是从逻辑规律推导出来的，事实真理的真实性则是从事物的实际情况中引申出来的。莱布尼茨把逻辑规律看成是绝对规律，认为“理性真理”在一切可能存在的(即不违反逻辑的)世界中都是真实的，而事实真理只在某一个世界中(包括我们所处的世界)才是真实的。

休谟和康德也曾作了类似的区分(参见综合和分析)。

虽然现代逻辑学还保留著这种区分，但已经剔除了它的绝对意义。例如，卡尔纳普—凯梅的逻辑语义学系统认为，在某一形式化语言一切可能成立的解释中(参见解释和模式)，都是逻辑上的真命题：而只在某一特定解释中是真的，但不是在一切可能成立的解释中都是真的命题，则是事实上真命题。