论文部分内容阅读
起步于20世纪50年代的道义逻辑是以古典命题逻辑为基础,通过增加“应当”、“允许”、“禁止”等道义算子,而形成的哲学逻辑分支。最初建立的道义逻辑标准系统SDL遵循“无义务冲突原则”,不能可靠地刻画和表达道义对象领域普遍存在的义务不一致现象,导致义务冲突问题凸现,成为制约道义逻辑存在和发展的主要瓶颈。而对义务冲突问题的回应,通过引入其它现代逻辑分支的方法,建立更强大的逻辑系统,使形式语言能更好地表达道义现实,成为道义逻辑发展的主要趋势。本文以义务冲突问题的研究为发展线索,以分支融合的道义逻辑方案为整体框架,在对优先、非单调以及时态的道义逻辑方案进行分析的基础上,建立起一个弱时态道义系统TDWL0,使其可以在一定程度上对义务冲突问题给予有效处理。据此,本文须从以下几个方面进行探讨: 首先,在阐明道义逻辑标准系统SDL及其相关理论的基础上,从两个方面对义务冲突问题的产生根源进行分析:第一,道义逻辑标准系统SDL是在类比模态逻辑的基础上应用“O-必然化规则”而形成的,从而使每一个逻辑上真的命题都成为义务,一旦应用于实践便会有冲突问题发生。第二,建立在命题逻辑基础上的道义逻辑标准系统SDL,仍然遵循“无义务冲突原则”,这就使生活中正常的义务冲突现象不能在道义系统中得到合理表达,否则在道义系统内部就会产生冲突。义务冲突问题的存在意味着道义系统的表达能力存在缺陷,而引入时态、语境等义务的相关因素,可以为此问题的解决提供有效途径,也为分支融合的道义逻辑研究奠定了基础。 其次,在分支融合的道义逻辑方案中,以优先、非单调以及时态的道义逻辑方案为重点,系统探讨了它们对于义务冲突问题的处理:第一,在优先的二元道义逻辑方案中,主要分析以本·汉森的优先阶层语义理论为基础所构造的几种具有代表性的优先二元道义系统,并以这些系统对义务冲突问题的处理作为重点,探讨了它们之间的内在联系。第二,在非单调道义逻辑方案中,首先探讨了非单调推理应用于道义逻辑研究的理论基础,然后从形式化的角度对西方出现的多个可废止的道义系统作出分类,并在每一类型中选择比较具有代表性的系统进行分析和比较,同时对这些系统在处理义务冲突问题方面存在的缺陷以及需要进行的扩张和变异给出自己的见解;最后对形式化过程中存在的问题给予分析:重新界定了冲突义务和可废止性的概念、探讨了冲突性和可废止性之间的辩证关系等,从而为非单调的道义逻辑研究提供了新的视角。第三,在时态道义逻辑方案中,首先对西方比较经典的时态道义系统作出深入分析,然后在此基础上建立一个不同于它们的弱时态道义系统TDWL0。我们首先构造TDWL0的语形框架,然后给出它的语义解释,并证明了系统的可靠性。由于TDWL0是以一个既不同于古典也不同于直觉的命题系统WL0为基础系统,并结合了时态因素的表达,不但可以避免罗斯悖论等比较简单的义务冲突问题,还可以对与时态相关的较为棘手的CTD悖论问题给予有效处理。 最后,以CTD悖论为例,对多种分支融合的解决方案进行概括评析,指出单一的逻辑分支具有较大的局限性,需要其它逻辑分支理论予以补充和完善,因此分支融合的道义逻辑研究具有重要的的理论意义和实践价值,而多分支融合必将是道义逻辑发展的一个重要趋势。