| 规范逻辑 normative logic;prescriptive logic 亦称“义务逻辑”、“道义逻辑”、“伦理逻辑”。广义模态逻辑的一种。研究含有必须、允许等规范词的规范命题以及规范演绎系统的现代逻辑分支。14世纪的罗伯特·霍尔科特已讨论过模态逻辑和义务逻辑之间的相似之处。莱布尼茨提出过必须履行的、允许的、禁止的和可选择的等义务概念。康德提出过义务世界的思想。在20世纪50年代以前，也有人提出过规范逻辑，但没有引起人们的注意。只是由于芬兰逻辑学家冯·赖特著作的发表，才引起人们对规范逻辑的兴趣和重视。继刘易斯1910年创立现代模态逻辑之后，冯·赖特于1951年在他的《规范模态》和《模态逻辑论》中，提出了两种新的模态，即规范模态逻辑和认知模态逻辑，从而开创了现代规范逻辑。他构造的规范逻辑系统是最早出现的一个规范模态系统。规范逻辑要研究规范命题形式。规范命题是陈述行为规范的命题。基本形式有三种：一是必须命题，是陈述必须履行某种行为的命题;二是禁止命题，是陈述禁止某种行为的命题;三是允许命题，是陈述允许某种行为的命题。由于禁止p与必须非p、禁止非p与必须p是等值的，因而也可分为必须命题和允许命题两种。借助联结词，则可结合成各种复合命题。规范逻辑还要研究并建立规范逻辑的演绎系统。它在标准命题演算的基础上，加上规范算子，增加有关的公理、形成规则和变形规则而建立。采用不同的公理和推理规则可以建立不同的规范逻辑系统。规范系统与真值模态系统之间有密切关系，规范词O(必须)P(允许)与真值模态的模态词L(必然)M(可能)相似，起着类似的作用，因而有的逻辑学家根据两者的这种关系去建立规范系统。但这只能在一定范围内，两者毕竟有区别。如在真值模态系统中，必然性蕴涵实然性(Lp→p)，而在规范系统中，必须却并不蕴涵现实，而是必须蕴涵允许(Op→Pp)。目前已建立的规范逻辑系统有DT、DS4、DS5、DSm、DSc等系统。规范逻辑的建立，丰富和发展了模态逻辑，并在伦理实践和司法实践中发挥着作用。 |