高级数理逻辑第11讲枝术报告.docVIP

总复习 本章对高级数理逻辑所讲述的内容总结，并对已经学习的内容进行回顾。在对所讲述的内容回顾之前，首先对整个数理逻辑学科的组成进行回顾，从而使大家有更深刻的认识。 数理逻辑学科 学科发展 从数理逻辑学中衍生出来的学科有很多，如：递归论、可计算理论、模型论、机器证明、知识工程、布尔代数等。这些理论都是以数理逻辑学为基础的。针对数理逻辑本身，由于这些学科的需求产生了很多不同种类的逻辑系统。 数理逻辑的不同种类，基本上都是从经典的逻辑系统中扩展而来的。这种扩展通常有语法扩展和语义扩展。 语法扩展：在经典逻辑系统中，扩充一些符号，从而衍生出新的逻辑系统。如模态逻辑，二阶谓词逻辑等。 语义扩展：对逻辑系统中语义的范围等进行扩展，如模糊逻辑等。 数理逻辑通常划分成以下不同种类的逻辑系统： 经典逻辑：传统的命题逻辑、一阶谓词逻辑等。认为世界是黑白的，对于一个命题非真既假。 模态逻辑：认为世界上任何事情的真假是与时间有着密切的关系的。 多值逻辑：认为世界上的对与错是没有绝对的，命题的真假是可以是多个甚至连续值的。 非单调逻辑：讨论如何将人类的常识加入到逻辑系统中去。经典逻辑是单调逻辑，既事实越多，已有的结论不会消失；而单调逻辑中，可能随着事实的增加原有的结论被否定。 体系构成 在高级数理逻辑（计算逻辑）中，每一种逻辑都自成体系。逻辑的体系过程主要包括以下几个方面： 形式系统：用符号的方式来