内容摘要：摘要：事实的真理是偶然的，它们的反面是可能的。基于莱布尼兹的这种偶然真概念，一个刻画偶真命题的极小非标准逻辑系统LC被给出。偶真的逻辑是关于事实真理的逻辑，这些逻辑有形而上学价值，同时它们可用来处理“不可证真理”等一类哲学问题。男，江苏盐城人，南京大学哲学系教授、博士生导师，主要从事逻辑学研究。
关键词：形而上学;极小非;里普克;事实真理;关键词;南京大学哲学系;公理;不足道;博士生;刻画
作者简介：
摘要：事实的真理是偶然的，它们的反面是可能的。基于莱布尼兹的这种偶然真概念，一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型，Lc被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理，LC被扩张到不同系统；这些系统(包括不足道系统)在相应的“弱框架”下是可靠的且完全的。偶真的逻辑是关于事实真理的逻辑，这些逻辑有形而上学价值，同时它们可用来处理“不可证真理”等一类哲学问题。
关键词：莱布尼兹；偶然性；事实真理；偶真；可能世界语义学
作者简介：潘天群(1965一)，男，江苏盐城人，南京大学哲学系教授、博士生导师，主要从事逻辑学研究。
