欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
通过考察两大类逻辑系统：实在论逻辑系统和反实在论的逻辑系统,发现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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：