基于莱布尼兹偶然真理概念的逻辑  

作　　者：潘天群[1] 

机构地区：[1]南京大学哲学系,江苏南京210023

出　　处：《湖北大学学报（哲学社会科学版）》2013年第3期36-40,共5页Journal of Hubei University(Philosophy and Social Science)

摘　　要：事实的真理是偶然的,它们的反面是可能的。基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的"弱框架"下是可靠的且完全的。偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理"不可证真理"等一类哲学问题。

关 键 词：莱布尼兹 偶然性 事实真理 偶真 可能世界语义学 

分 类 号：B81[哲学宗教—逻辑学]