ch03非经典逻辑 非经典逻辑.pptVIP

第3章 非经典逻辑简介 本章内容提要 1. 非经典逻辑的含义 2. 模态逻辑 3. 多值逻辑 4. 非单调逻辑 3.1 引言 经典逻辑 ：传统的命题逻辑、谓词逻辑 非经典逻辑 ：突破经典逻辑范畴的其他逻辑 经典逻辑自古以来早就有之，而现代非经典逻辑的研究则始于1910年。由于近年来计算机科学与人工智能的发展，使得非经典逻辑的理论与应用都十分活跃。最早提出和创立的非经典逻辑系统，是美国逻辑学家刘易斯（C.I.Lewis）建立了模态命题逻辑；波兰的J.卢卡西维茨和美国的E.L.波斯特分别于1920和1921年建立了多值逻辑。 3.1 引言 非经典逻辑，一般泛指与经典命题逻辑和经典谓词逻辑不同的那些逻辑。非经典逻辑系统所使用形式语言与经典逻辑的语言基本相同，它们的差别在于经典逻辑系统中的某些定理，在这类逻辑中不再成立（即不再是定理）。非经典逻辑大体上可以划分为两类：一类是与经典逻辑平行的逻辑，如直觉主义逻辑、多值逻辑和模糊逻辑。另一类是对经典逻辑进行扩充的逻辑，如模态逻辑、时态逻辑与动态逻辑。 3.2 模态逻辑 模态逻辑（Modal Logic）是逻辑学中最引人注目的一种非经典逻辑，也是大部分非经典逻辑的基础。它不仅是程序语义描述的有力工