论文部分内容阅读
本文主要讨论了道义逻辑存在的一些问题,并构造了一个刻画法律规范推理的逻辑系统。 道义逻辑是研究规范推理的一个逻辑学分支,最初是模拟真势模态逻辑建立起来的。冯.赖特构造道义逻辑经典系统正是基于道义词“允许”、“禁止”、“应当”与真势模态词“可能”、“不可能”、“必然”之间具有类似性这一想法。之后产生了道义逻辑中最有影响的标准道义逻辑。不论是语法方面还是语义方面,标准道义逻辑都非常类似于真势模态逻辑。安德森、康格尔提出的真值道义逻辑代表了道义逻辑研究的另一条路线:将道义逻辑(不完全地)归约为真势模态逻辑。1963年,R.M.齐硕姆提出了齐硕姆悖论,表明一元道义系统在表达反职责义务方面是有缺陷的。一系列的二元道义系统被构造出来,相应的语义成果是汉森-刘易斯优先语义学。 尽管这一阶段的道义逻辑提出了不少道义系统,但是这些系统一般都含有道义悖论。这些道义悖论反映出道义逻辑的理论基础存在问题。为了解决这些问题,人们提出了许多新的道义逻辑理论。20世纪80年代以后的道义逻辑研究主要包括两方面的工作:一是扩充、丰富原有的道义系统,通过提高道义逻辑的表达能力来解决道义悖论等问题。主要有引入时态概念的道义逻辑、引入主体概念的道义逻辑、引入多个“应当”算子的道义逻辑,也有由道义命题逻辑扩充出来的道义谓词逻辑。二是采用非经典逻辑或非模态逻辑的方法研究道义逻辑。主要有弗协调道义逻辑、非单调道义逻辑、动态的道义逻辑,还有摒弃了模态逻辑方法、研究规范推导的道义逻辑理论。 道义逻辑之所以面临许多问题,根本原因在于采用了真势模态逻辑的理论和方法来建构道义逻辑,从而忽略了道义模态自身的性质和特点。随着道义逻辑的发展,人们逐渐认识到这些问题并试图解决它们。希尔皮南将道义逻辑的主要问题概括为两点:一是如何解释道义系统中的道义算子O、P、F及非逻辑符号p、q、r…;另一点是如何在道义语境下理解“真”、“有效”、“逻辑后承”这些语义概念和元逻辑概念。仅仅对原有的道义系统进行扩充是不能解决这些问题的,必须根据道义模态自身的性质和特点重新解释道义系统中的道义算子及非逻辑符号并定义道义语境下的“真”、“有效”、“逻辑后承”这些语义概念。在采用新的逻辑方法来构造道义逻辑的新理论中,麦金森等人的道义逻辑仍然对规范表达式采取了“应当是”的解释;梅耶的动态道义逻辑继续沿用安德森的归约方法,用真势模态算子定义道义算子;stit-道义逻辑则仍旧采用标准道义逻辑的语义方法定义模态算子。此外,梅耶的动态道义逻辑和stit-道义逻辑都只包含一个初始的道义算子,这对于刻画法律规范命题的一致性和法律规范推理是不充分的。 本文认为,法律规范主要是一种行为规范,因此与法律规范相关的道义逻辑系统应该体现这种行为规范的性质。本文采用动态道义逻辑的方法处理与法律规范中的行为概念,构造了关于法律规范推理的逻辑系统Lln。Lln具有以下特点:包含两个初始的道义算子;是一个二元道义系统;是关于“应当做”的逻辑而不是关于“应当是”的逻辑;Lln的语义模型是克里普克关系语义模型的扩充。对于Lln来说,真势模态逻辑的语义结构是不够的,必须在其语义结构上作必要的扩充,并对法律规范命题的真值、法律规范命题的一致性及逻辑推演作出新的定义。Lln具有可靠性。 论文区分了法律规范推理与法律规范适用的推理:只涉及法律规范命题之间的逻辑关系、不涉及事实命题的推理属于法律规范推理;既有法律规范命题、也有事实命题出现的推理属于法律规范适用的推理。Lln给出的推理是单调的,可用于简单案件的法律规范推理。在复杂案件中,相互矛盾的规范都可适用。根据Lln的定理,从相互矛盾的规范可以推出一切行为都是应当的,对于复杂案件的法律规范推理来说,Lln是不充分的。论文总结了非单调道义逻辑的理论和方法,基于D.纽特的证明树法提出了一种非单调规范适用推理的方法。 论文在以下几个方面有创新:首先,提出法律规范命题有着不同于事实命题的真值,从而道义逻辑有着不同于真势模态逻辑的语义模型;其次,构造了关于法律规范推理的逻辑系统Lln,系统Lln可以消解主要的道义悖论;最后,区分了法律规范推理与法律规范适用的推理,并提出了一种非单调的规范适用推理的方法。