第十三章非经典逻辑
第十三章 非经典逻辑
这一章包括对道义逻辑、弗协调逻辑以及多值逻辑的介绍。这些内容以及上一章介绍的模态逻辑都属于哲学逻辑的范围。哲学逻辑包括经典逻辑（指狭谓词逻辑）的各种扩充和各种非经典逻辑因此，哲学逻辑方面的分支一般都以命题逻辑和狭谓词逻辑为基础，与传统哲学中的概念、范畴和问题有直接和间接的联系
这一章包括对道义逻辑、弗协调逻辑以及多值 逻辑的介绍。这些内容以及上一章介绍的模态逻辑 都属于哲学逻辑的范围。哲学逻辑包括经典逻辑 （指狭谓词逻辑）的各种扩充和各种非经典逻辑。 因此，哲学逻辑方面的分支一般都以命题逻辑和狭 谓词逻辑为基础，与传统哲学中的概念、范畴和问 题有直接和间接的联系
第一节道义逻辑一、道义逻辑概述道义逻辑是上个世纪50年代中，以命题逻辑为基础，通过增加“应当”、“允许”、“禁止”等道义算子，形成的广义模态逻辑的一个分支，它与法学、伦理学等领域密切相关。但是，道义逻辑的思想可以追到古希腊的亚里士多德。中世纪，阿奎那、斯科特、奥卡姆、霍尔科特和罗斯图思都对道义逻辑思想的发展做出了贡献。西方近代，莱布尼兹和边沁
• 第一节 道义逻辑 • 一、道义逻辑概述 道义逻辑是上个世纪50年代中，以命题逻辑为基 础，通过增加“应当”、“允许”、“禁止”等道 义算子， 形成的广义模态逻辑的一个分支，它与法学、伦理 学等领域密切相关。但是，道义逻辑的思想可以追 溯到古希腊的亚里士多德。中世纪，阿奎那、斯科 特、奥卡姆、霍尔科特和罗斯图思都对道义逻辑思 想的发展做出了贡献。西方近代，莱布尼兹和边沁
等人也都对道义逻辑的发展做出了贡献。但是，第一个试图建立道义逻辑形式公理系统的奥地利逻辑学家马利（ErnstMally）。1926年，马利以“应当”作为初始概念构造了一个公理系统。遗憾的是在他的系统中存在这类定理，这使得他的道义逻辑系统塌为命题逻辑系统。直到1951年，芬兰逻辑学家冯·莱特（VonWright）在《心灵》杂志上发表论文《道义逻辑》，建立了第一个可行的道义逻辑系统，严格意义上的道义逻辑才建立。由于这些开拓
等人也都对道义逻辑的发展做出了贡献。但是，第 一个试图建立道义逻辑形式公理系统的奥地利逻辑 学家马利（Ernst Mally）。1926年，马利以“应当” 作为初始概念构造了一个公理系统。遗憾的是在他 的系统中存在这类定理，这使得他的道义逻辑系统 坍塌为命题逻辑系统。直到1951年，芬兰逻辑学家 冯·莱特（Von Wright）在《心灵》杂志上发表论文 《道义逻辑》，建立了第一个可行的道义逻辑系 统，严格意义上的道义逻辑才建立。由于这些开拓
性的工作，冯·莱特被公认为现代道义逻辑的创始人在这之后，包括冯·莱特本人在内的很多逻辑学家，都对道义逻辑作了深入的研究。然而，最初建立的道义逻辑系统绝大多数都遵循“无义务冲出原则”这使得在刻画和表达道义对象领域普遍存在着义务不一致现象，从而导致了义务冲出问题的凸现，成为制约道义逻辑发展的主要问题。因此，解决义务冲突问题，成为道义逻辑发展的主要动力。由此也产生了许许多多的解决方案。例如，本·汉森等人
性的工作，冯·莱特被公认为现代道义逻辑的创始人。 在这之后，包括冯·莱特本人在内的很多逻辑学家， 都对道义逻辑作了深入的研究。然而，最初建立的 道义逻辑系统绝大多数都遵循“无义务冲出原则”， 这使得在刻画和表达道义对象领域普遍存在着义务 不一致现象，从而导致了义务冲出问题的凸现，成 为制约道义逻辑发展的主要问题。因此，解决义务 冲突问题，成为道义逻辑发展的主要动力。由此也 产生了许许多多的解决方案。例如，本·汉森 等人
的优先的和语境的二元道义逻辑方案：霍蒂和普拉肯的非单调道义逻辑方案：以及冯·艾克等人的时态道义逻辑方案等等。这些解决方案的一个共同点是：引进现代逻辑其它分支理论和方法，构建分支融合的道义逻辑系统
的优先的和语境的二元道义逻辑方案；霍蒂和普拉 肯的非单调道义逻辑方案；以及冯·艾克等人的时态 道义逻辑方案等等。这些解决方案的一个共同点是： 引进现代逻辑其它分支理论和方法，构建分支融合 的道义逻辑系统
二、道义逻辑公理化系统1.道义逻辑的经典系统CDL·2.道义逻辑的标准系统SDL3．二元道义逻辑的标准系统DSDL
• 二、道义逻辑公理化系统 • 1．道义逻辑的经典系统CDL • 2．道义逻辑的标准系统SDL • 3．二元道义逻辑的标准系统DSDL
三、道义逻辑的语义1.一元道义逻辑标准系统SDL的语义2.二元道义逻辑标准系统DSDL的语义
三、道义逻辑的语义 1.一元道义逻辑标准系统SDL的语义 2.二元道义逻辑标准系统DSDL的语义
第二节弗协调逻辑一、弗协调逻辑概述弗协调逻辑是由英文ParaconsistentLogic一词翻译而来的。它又被译作次协调逻辑、超协调逻辑亚相容逻辑等。它是为了处理不协调而提出来的也是迄今能处理不协调性的唯一一类逻辑理论
• 第二节 弗协调逻辑 • 一、弗协调逻辑概述 弗协调逻辑是由英文Paraconsistent Logic一词翻 译而来的。它又被译作次协调逻辑、超协调逻辑、 亚相容逻辑等。它是为了处理不协调而提出来的， 也是迄今能处理不协调性的唯一一类逻辑理论
弗协调逻辑的思想最早可以追溯到亚里士多德但弗协调逻辑产生至今仅有约半个世纪的历史。历史上，维特根斯坦和卢卡西维茨都曾设想在矛盾律不普遍有效的情况下，可能会导致一种不同于亚氏逻辑的新逻辑的产生。俄国的瓦西里耶夫（NikolaiAVasilév，1880-1940)在上世纪初建立了不同于非亚氏逻辑的“虚拟逻辑”，波兰的雅斯可夫斯基(StanislawJaskowski，1906-1965)在1948年建立了被称为“商讨逻辑”(DiscussiveLogic)的矛盾演算系统D2。而巴西逻辑学家达·科斯塔（N.C.A.daCosta,1929--)则是弗协调逻辑分支真正开创者，他在
弗协调逻辑的思想最早可以追溯到亚里士多德， 但弗协调逻辑产生至今仅有约半个世纪的历史。历 史上，维特根斯坦和卢卡西维茨都曾设想在矛盾律 不普遍有效的情况下，可能会导致一种不同于亚氏 逻辑的新逻辑的产生。俄国的瓦西里耶夫(Nikolaj A. Vasil’év, 1880-1940)在上世纪初建立了不同于非亚 氏逻辑的“虚拟逻辑” ，波兰的雅斯可夫斯基 (Stanislaw Jàskowski, 1906-1965)在1948年建立了 被称为“商讨逻辑”(Discussive Logic)的矛盾演算 系统D2。而巴西逻辑学家达·科斯塔 (N.C.A.da Costa, 1929-)则是弗协调逻辑分支真正开创者， 他在