哲学方法论系列文库：道义逻辑.pdfVIP

哲学方法论系列文库—— 道道义义逻逻辑辑 哲学是人类文化结晶， 方法论在哲学中占有重要地位。 本文提供 “道义逻 ” 的现代视点解读，以供大家了解。 道道义义逻逻辑辑 又叫做义务逻 、规范逻 ，是一个与命令句逻 密 切相关的研究领域，它所研究的是含有象“义务”、“允 许”、“禁止”、“承诺”等道义概念的语句的逻 特性和 逻 推理关系。 道义逻 的片断思想可以追溯到古希腊和中世纪，但 第一个给出规范概念的形式理论的是厄恩斯特·马里 (Ernst Mally)，不过，由于他的系统中可以证明“”(应当 A当且仅当A)，从而使道义逻 蜕化为经典的命题逻 ，其尝试归于失败。 195 1年，冯·莱特发表了经典性论文 《道义逻 》，建 立了第一个可行的道义逻 系统，并刺激了这个领域 里以后的研究，因此他是道义逻 的创立者。 道义逻 有三种类型：朴素绝对的道义逻 ，真值绝 对的道义逻 ，相对道义逻 。 冯·莱特发现了道义概念和模态概念之间有意义的类 似。 有些逻 学家循着这条思路，重新解释真值模态逻 中的某些算子和变元，并从中去掉某些在道义逻 中 不成立的公理和定理，加入新的公理，就得到了基于 真值模态逻 之上的道义逻 系统，例如OT ※、 OS4 ※、OS5 ※，它们除通常的经典命题逻 的那些公 理之外，具有下述公理： Ad4 O(p→q)→(Op→Oq)Ad6 Op→～O～p Ad7 O(Op→p) Ad8 (Op→OOp Ad9 ～ Op→O～Op 除通常的分离规则( 1)、代入规则( 2) 外，还有一个O －必然规则( 2) ： 若，则 这里， OT ※、OS4 ※、OS5 ※同样假定经典命题逻 的公 理，具有同样的推理规则 1—— 3 ，其不同在于： OT ※的公理集中包括Ad4 、Ad6 、Ad7 ，而OS4 ※此外 还包括Ad8，OS5 ※此外则包括Ad8、Ad9 。 这些系统叫做朴素绝对的道义逻 。 安德森(A· ·Anderson)构造了各种不同的基于模态逻 T 、S4 、S5 的道义演算。 安德森的基本思想是，应该能够根据允许不同解释的 常项“S”来定义，S可以解释为：“那里发生了某种坏事 情”，“世界变坏了”等等。 他引入了下述定义： D 1． D2 ． D3 如果把下述公理 ◇～S 加到上面提到的某一个模态逻 的公理中去， 我们借助于给定的那个模态系统所具有的规则，就得 到了不同的包含着道义逻 作为子系统的模态逻 系 统。 用这种方法构造的道义逻 叫做真值绝对的道义逻 。 上述两类道义逻 都推出了许多道义悖论，遇到了很 大的困难。 有些逻 学家认为，这是由于把道义概念绝对化的结 果，即这些系统中的“义务”、“允许”、“禁止”都是绝对 的不以任何情况为条件的，而实际上道义概念是讲条 件的，是相对于环境、伦理规则等等的。 他们认为，要摆脱困境，道义概念必须相对化。 有人把“Op”(应该p)重新解释为“Op ／q”(在q 的条件下应 该p)，循着这条思路建立了二元道义逻 ；另外有人 认为“应该”是相对于时间、地点和人而言的，即相对 于境况的，循着这条思路建立了境况化的道义逻 。 这些都称为相对道义逻 。 道义逻 正在进一步发展中。 它在伦理学、法学中有重要应用价值，在某种意义上 它为后者提供了研究工具。