简介：本文讨论了以下几个问题：(1)“逻辑真”是否是真的一个子类?(2)逻辑作为度量真的测度标准之一。它如何实现这种标准?(3)逻辑真自身的理论说明依赖于怎样的观念?作者分析了以往哲学家、逻辑学家对这些问题的一些代表性看法，认为：(1)“逻辑真”不是真的一个子类；(2)逻辑真只能测量观念形式上的关系；(3)逻辑真是认识论意义上的概念，它的本体论说明是一个“自足观念模式”的良性内循环结构。
简介：本文主要对金岳霖先生20世纪20-40年代逻辑思想进行较全面的研究。金岳霖对传统逻辑进行了创造性的介绍和深刻的批评；对罗素、怀特海《数学原理》的逻辑演算作了全面介绍；另外金先生深入思考逻辑哲学问题，精辟而系统讨论逻辑演算，在我国最早讨论了逻辑的完全性、一致性和独立性。金先生堪称我国现代逻辑和逻辑哲学的奠基人。
简介：本文介绍了双主体认知逻辑的语义学，给出了双主体认知逻辑的若干系统。这些系统刻画了寻找交流对象和学习对象的条件。而且证明了这些系统的可靠性和其中一些系统的完全性。
简介：基于不同历史文化背景而形成的不同逻辑传统，既有共同性，又有特殊性。因此，两种逻辑的比较研究只有建基于历史分析与文化诠释之上，才能对它们的异同作出合理的分析与说明。墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。
对逻辑真几个问题的再检讨
金岳霖逻辑思想研究
双主体认知逻辑研究
墨家逻辑与亚里士多德逻辑的比较研究
