第十三章 非经典逻辑教学课件.pptVIP

《逻辑学基础教程》 南开大学出版社第十三章 非经典逻辑 这一章包括对道义逻辑、弗协调逻辑以及多值 逻辑的介绍。这些内容以及上一章介绍的模态逻辑 都属于哲学逻辑的范围。哲学逻辑包括经典逻辑 （指狭谓词逻辑）的各种扩充和各种非经典逻辑。 因此，哲学逻辑方面的分支一般都以命题逻辑和狭 谓词逻辑为基础，与传统哲学中的概念、范畴和问 题有直接和间接的联系。 第一节 道义逻辑 一、道义逻辑概述 道义逻辑是上个世纪50年代中，以命题逻辑为基 础，通过增加“应当”、“允许”、“禁止”等道义算子， 形成的广义模态逻辑的一个分支，它与法学、伦理 学等领域密切相关。但是，道义逻辑的思想可以追 溯到古希腊的亚里士多德。中世纪，阿奎那、斯科 特、奥卡姆、霍尔科特和罗斯图思都对道义逻辑思 想的发展做出了贡献。西方近代，莱布尼兹和边沁 等人也都对道义逻辑的发展做出了贡献。但是，第 一个试图建立道义逻辑形式公理系统的奥地利逻辑 学家马利（Ernst Mally）。1926年，马利以“应当” 作为初始概念构造了一个公理系统。遗憾的是在他 的系统中存在这类定理，这使得他的道义逻辑系统 坍塌为命题逻辑系统。直到1951年，芬兰逻辑学家 冯·莱特（Von Wright）在《心灵》杂志上发表论文 《道义逻辑》，建立了第一个可行的