论逻辑真理的范围  

On the Scope of Logic Truth

作　　者：潘文全[1] 

机构地区：[1]南开大学哲学院,天津300350

出　　处：《重庆理工大学学报（社会科学）》2016年第8期18-24,共7页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金重大项目"现代归纳逻辑的新发展;理论前沿与应用研究"(15ZDB018);国家社会科学基金重点项目"基于逻辑视域的认知研究"(11AZD056)

摘　　要：通过考察两大类逻辑系统:实在论逻辑系统和反实在论的逻辑系统,发现Henkin的方法能够给出这些系统的完全性证明。用这种方法可以构造出包含所有系统逻辑真理的集合,而这个集合就是逻辑真理的范围。所以完全性是一个划分逻辑真理和非逻辑真理的标准。By exploring two logic systems： logic system about realism and logic system about antirealism,the study finds that the method devised by Henkin can give proofs of completeness for those systems,so the method can construct a set include truth of all systems,and the set is the scope of logic truth. So completeness is a criterion to distinguish logic truth from fact truth.

关 键 词：逻辑真理 事实真理 实在论 反实在论 范围 有界 

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