摘要
事实的真理是偶然的,它们的反面是可能的。基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的"弱框架"下是可靠的且完全的。偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理"不可证真理"等一类哲学问题。
出处
《湖北大学学报(哲学社会科学版)》
CSSCI
北大核心
2013年第3期36-40,共5页
Journal of Hubei University(Philosophy and Social Science)