简介：本文主要对金岳霖先生20世纪20-40年代逻辑思想进行较全面的研究。金岳霖对传统逻辑进行了创造性的介绍和深刻的批评；对罗素、怀特海《数学原理》的逻辑演算作了全面介绍；另外金先生深入思考逻辑哲学问题，精辟而系统讨论逻辑演算，在我国最早讨论了逻辑的完全性、一致性和独立性。金先生堪称我国现代逻辑和逻辑哲学的奠基人。
简介：本文介绍了双主体认知逻辑的语义学，给出了双主体认知逻辑的若干系统。这些系统刻画了寻找交流对象和学习对象的条件。而且证明了这些系统的可靠性和其中一些系统的完全性。
简介：基于不同历史文化背景而形成的不同逻辑传统，既有共同性，又有特殊性。因此，两种逻辑的比较研究只有建基于历史分析与文化诠释之上，才能对它们的异同作出合理的分析与说明。墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。
金岳霖逻辑思想研究
双主体认知逻辑研究
墨家逻辑与亚里士多德逻辑的比较研究
