B001531　形式逻辑与数理逻辑比较研究

---

杜岫石主编。吉林人民出版社1987年10月版。25．6万字。认为形式逻辑作为以自然语言为特征的、总结人类思维的全部逻辑结构及规律的科学，它与以形式化语言表述某种特殊函数关系、探讨形式系统整体特征的数理逻辑是两门性质不同的学科。对两门学科的对象、性质、目的及一系列的基本概念、基本关系进行比较研究，有益于认识科学同步发展。如形式逻辑已有2300年历史，而数理逻辑只有几十年历史就对计算机、人工智能等领域产生重要作用，形成了鲜明的对比。