3从自然世界到智能时代 (2).pdfVIP

3.2 数理逻辑推理 数理逻辑推理：从逻辑思维的角度模拟人脑宏观心理级推理过程，以认知心 理学原理为基础，以符号数据为输入，以符号运算为方法，按照某种策略从已知 事实出发利用知识去推出结论的过程。  狭义理解：用数学方法研究演绎推理规律及其数学基础的学科。  广义理解：用数学方法研究逻辑的学科。  研究对象：推理过程的正确性标准。 3.2.1 数理逻辑的发展 第一阶段：17 世纪60 年代—19 世纪80 年代，用初级的数学方法来处理古 典逻辑中演绎推理的形式和规律，获得了初步成功（逻辑代数等）。 第二阶段：19 世纪80 年代—20 世纪30 年代，把初等数论和集合论等数学 方法运用到逻辑上，产生了数理逻辑的三大派。 第三阶段：20 世纪30 年代末至今，发展为两个演算加上四论。  两演算：命题演算、谓词演算。  四论：递归论、证明论、模型论、公理集合论。 3.2.2 数理逻辑推理的特点 数理逻辑主要研究推理、可推理关系与推理正确性原则，正确的逻辑推理可 以保证当前提为真时结论必然为真。 例1. 前提：大于1，且除了1 和其自身外不能被其他任何自然数整除的自 然数是素数。