10.3969/j.issn.1674-8425(s).2016.08.004
论逻辑真理的范围
通过考察两大类逻辑系统:实在论逻辑系统和反实在论的逻辑系统,发现Henkin的方法能够给出这些系统的完全性证明.用这种方法可以构造出包含所有系统逻辑真理的集合,而这个集合就是逻辑真理的范围.所以完全性是一个划分逻辑真理和非逻辑真理的标准.
逻辑真理、事实真理、实在论、反实在论、范围、有界
30
B81(逻辑学(论理学))
国家社会科学基金重大项目“现代归纳逻辑的新发展、理论前沿与应用研究”15ZDB018;国家社会科学基金重点项目“基于逻辑视域的认知研究”11AZD056
2016-11-03(万方平台首次上网日期,不代表论文的发表时间)
共7页
18-24