出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第1册马克思列宁主义、毛泽东思想,哲学》第342页（242字）
杜岫石主编。吉林人民出版社1987年10月版。25．6万字。认为形式逻辑作为以自然语言为特征的、总结人类思维的全部逻辑结构及规律的科学，它与以形式化语言表述某种特殊函数关系、探讨形式系统整体特征的数理逻辑是两门性质不同的学科。对两门学科的对象、性质、目的及一系列的基本概念、基本关系进行比较研究，有益于认识科学同步发展。如形式逻辑已有2300年历史，而数理逻辑只有几十年历史就对计算机、人工智能等领域产生重要作用，形成了鲜明的对比。