第十三章非经典逻辑
第十三章 非经典逻辑
这一章包括对道义逻辑、弗协调逻辑以及多值逻辑的介绍。这些内容以及上一章介绍的模态逻辑都属于哲学逻辑的范围。哲学逻辑包括经典逻辑(指狭谓词逻辑)的各种扩充和各种非经典逻辑因此,哲学逻辑方面的分支一般都以命题逻辑和狭谓词逻辑为基础,与传统哲学中的概念、范畴和问题有直接和间接的联系
这一章包括对道义逻辑、弗协调逻辑以及多值 逻辑的介绍。这些内容以及上一章介绍的模态逻辑 都属于哲学逻辑的范围。哲学逻辑包括经典逻辑 (指狭谓词逻辑)的各种扩充和各种非经典逻辑。 因此,哲学逻辑方面的分支一般都以命题逻辑和狭 谓词逻辑为基础,与传统哲学中的概念、范畴和问 题有直接和间接的联系
第一节道义逻辑一、道义逻辑概述道义逻辑是上个世纪50年代中,以命题逻辑为基础,通过增加“应当”、“允许”、“禁止”等道义算子,形成的广义模态逻辑的一个分支,它与法学、伦理学等领域密切相关。但是,道义逻辑的思想可以追到古希腊的亚里士多德。中世纪,阿奎那、斯科特、奥卡姆、霍尔科特和罗斯图思都对道义逻辑思想的发展做出了贡献。西方近代,莱布尼兹和边沁
• 第一节 道义逻辑 • 一、道义逻辑概述 道义逻辑是上个世纪50年代中,以命题逻辑为基 础,通过增加“应当”、“允许”、“禁止”等道 义算子, 形成的广义模态逻辑的一个分支,它与法学、伦理 学等领域密切相关。但是,道义逻辑的思想可以追 溯到古希腊的亚里士多德。中世纪,阿奎那、斯科 特、奥卡姆、霍尔科特和罗斯图思都对道义逻辑思 想的发展做出了贡献。西方近代,莱布尼兹和边沁
等人也都对道义逻辑的发展做出了贡献。但是,第一个试图建立道义逻辑形式公理系统的奥地利逻辑学家马利(ErnstMally)。1926年,马利以“应当”作为初始概念构造了一个公理系统。遗憾的是在他的系统中存在这类定理,这使得他的道义逻辑系统塌为命题逻辑系统。直到1951年,芬兰逻辑学家冯·莱特(VonWright)在《心灵》杂志上发表论文《道义逻辑》,建立了第一个可行的道义逻辑系统,严格意义上的道义逻辑才建立。由于这些开拓
等人也都对道义逻辑的发展做出了贡献。但是,第 一个试图建立道义逻辑形式公理系统的奥地利逻辑 学家马利(Ernst Mally)。1926年,马利以“应当” 作为初始概念构造了一个公理系统。遗憾的是在他 的系统中存在这类定理,这使得他的道义逻辑系统 坍塌为命题逻辑系统。直到1951年,芬兰逻辑学家 冯·莱特(Von Wright)在《心灵》杂志上发表论文 《道义逻辑》,建立了第一个可行的道义逻辑系 统,严格意义上的道义逻辑才建立。由于这些开拓
性的工作,冯·莱特被公认为现代道义逻辑的创始人在这之后,包括冯·莱特本人在内的很多逻辑学家,都对道义逻辑作了深入的研究。然而,最初建立的道义逻辑系统绝大多数都遵循“无义务冲出原则”这使得在刻画和表达道义对象领域普遍存在着义务不一致现象,从而导致了义务冲出问题的凸现,成为制约道义逻辑发展的主要问题。因此,解决义务冲突问题,成为道义逻辑发展的主要动力。由此也产生了许许多多的解决方案。例如,本·汉森等人
性的工作,冯·莱特被公认为现代道义逻辑的创始人。 在这之后,包括冯·莱特本人在内的很多逻辑学家, 都对道义逻辑作了深入的研究。然而,最初建立的 道义逻辑系统绝大多数都遵循“无义务冲出原则”, 这使得在刻画和表达道义对象领域普遍存在着义务 不一致现象,从而导致了义务冲出问题的凸现,成 为制约道义逻辑发展的主要问题。因此,解决义务 冲突问题,成为道义逻辑发展的主要动力。由此也 产生了许许多多的解决方案。例如,本·汉森 等人