规范逻辑的标准系统及其对悖论的消解作用

《规范逻辑的标准系统及其对悖论的消解作用》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、精选公文范文管理资料规范逻辑的标准系统及其对悖论的消解作用　　1规范逻辑言说　　规范逻辑又叫道义逻辑，属于广义模态逻辑的一部分，是用形式化的方法研究规范推理有效性的逻辑理论。推理有效性，也就是推理形式的有效性，是指作为前提的命题形式与作为结论的命题形式之间是否具有严格蕴涵关系。随着现代演绎逻辑体系的发展，传统逻辑那种简单地，孤立地考察推理有效性的方式已经不适合现代逻辑体系的发展。于是论域被引进了现代逻辑体系之中，根据论域的不同，构造了各种不同形式系统，在系统内研究有效性问题似乎变得更加的可靠和恰当。系统内有效性具体又分为语法有效性和语义有效性。如果公式A→B是形式系统L中

2、的一个推理形式，其中A是前提a的集合，B是结论，而且B是通过L中的推理规则从A和L公理中演绎得到的，则称A→B是L[键入文字][键入文字][键入文字]精选公文范文管理资料语法有效的；如果公式A→B在L中的取值都为真，则称A→B是L语义有效的。规范逻辑就是研究规范推理形式的有效性，即研究由规范命题形式所组成的推理其前提和结论之间是否具有必然的严格蕴涵关系。　　2冯莱特的规范逻辑和规范逻辑的标准系统　　冯莱特于1951年发表了题为《道义逻辑》的论文和着作《模态逻辑》，开辟了现代规范逻辑研究的新途径。他把规范逻辑看作是模态逻辑的一个分支部分，从模态逻辑中汲取营养，改造成为规范逻

3、辑。　　首先，冯氏比照“必然”和“可能”之间相互定义的关系，建立起“必须”和“允许”之间的定义关系。按照冯氏的意见，把“允许P”定义为“不必须非P”；“禁止P”定义为“必须非P”。如果用逻辑符号来表示的话就是：Pp定义为～Op,Fp定义为O～p.其次，他在模态逻辑中选择了某些定理，改造成为道义逻辑系统的公理。他所选的公理可以表述为如下：　　分配公理：O（p∧q）≡Op∧[键入文字][键入文字][键入文字]精选公文范文管理资料Oq边沁定律：Op→Pp而且，他在模态逻辑中选择推理规则改造成道义逻辑系统的推理规则：　　莱布尼茨定律：　　如果A←→B是古典逻辑定理，则OA←→OB

4、是规范逻辑定理。　　最后他对“合式公式”的外延做了许多的限制，他不允许出现混合的公式，比如：Op→p,Pp∧p等等的公式。冯氏这样构造出来的规范逻辑，可以用规范模态真值表来判断任一公式是否永真，是否是定理。　　当然关于冯氏对“合式公式”的限制，其他的逻辑学家并不都是赞同的，有些人认为最好能够把这些限制取消了，并把推理规则加强为“必须”引入规则。也就是说，如果A是逻辑定理，那么OA也是逻辑定理。通过这样的改造，冯莱特的规范逻辑系统就被加强为“规范逻辑的标准系统”，并与“模态逻辑的标准系统”形成对比关系。　　在标准模态逻辑中，管分配的是K公理，而边沁律则称为D公理，此外，还有

5、命名为T,B,4,5[键入文字][键入文字][键入文字]精选公文范文管理资料的几条公理。这些逻辑学家认为，只要经过恰当的加工改造，它们都可以被引入规范逻辑中，称为规范逻辑的标准系统公理。比如,经过改造的K,D,T等公理就可以变为：　　OK公理：O（p→q）→(Op→Oq)OD公理：Op→PpOT公理：O（Op→p）……标准模态逻辑的任何一个标准系统，经过一定的改造都可以引入规范逻辑系统。这个可以说是冯莱特在开辟了现代规范逻辑研究新途径中的一个贡献。　　3安德逊的规范逻辑　　安德逊是继冯莱特之后，对现代模态逻辑的发展做出了突破性的贡献，他把真值模态逻辑引入规范逻辑并使其在这

6、片土地上生根、发芽。　　安德逊在他的论文《规范体系的形式分析》中提到，在实际的规范系统中，他注意到在法律规范体系之中“制裁”所发挥的重要作用，据此，他在三个真值模态命题逻辑系统T、S4、S5的基础上，引入了一个表示由于不履行义务而导致的“制裁”概念的命题项S。因而引入了代表“制裁”的命题项S，然后借S[键入文字][键入文字][键入文字]精选公文范文管理资料和“必然”、“可能”来定义“必须”和“允许”：　　OA定义为必然（～A→S）PA定义为可能（A∧～S）借助这些定义，就可以从真值模态逻辑的系统中，推导出上面提到的“必须”引入规则和OK,OT,OB等公理，如果再引入制裁命

7、题项S的话，那么OD也是可以被推导出来的。所以，规范逻辑标准系统中的定理，都可以用某种方式从真值模态逻辑中再生推演出来。这个工作看似跟冯莱特的努力有些重复了，但是引入制裁命题项S这个创举却是安德逊的独特之处，这个命题项的引入也解决了许多从真值模态逻辑公理如何过渡到规范模态逻辑定理做出了巨大的贡献。　　4道义悖论及其解决　　4.1[键入文字][键入文字][键入文字]精选公文范文管理资料反义务命令悖论　　在以冯莱特和安德逊等为代表的逻辑学家对规范逻辑的标准系统的建构和完善过程中，也有一些逻辑学家对此提出了疑问，认为这种从真值模态逻