“新”道义悖论--动态道义悖论及其哲学分析

在解析道义悖论的过程中,逻辑学家们给出了很多不同的方法,也各自面临着不同的问题。梅耶尔将道义逻辑归约为动态逻辑,并认为这种方法能够很好地消解道义悖论。但阿尔伯特指出,动态道义逻辑中仍然会出现“新”悖论。“新”的动态道义逻辑悖论与“旧”道义悖论之间有很多联系与区别。从哲学角度分析,动态道义悖论的出现缘于新算子的引入、新特性的刻画。一些所谓悖论只是动态道义逻辑的定理导致不符合直觉的结果,另一些与承诺悖论相似,缘于动态道义逻辑并未充分表达某些重要的道义概念。在“新”的道义逻辑系统中出现的“新”悖论,既有新特点,又与“旧”悖论有相关之处。道义悖论研究正是在这种“新”悖论与“旧”悖论的更替过程中不断推进的。     

“知道者悖论”解析

知道者悖论是关于“知识”概念的严格意义的逻辑悖论,它来源于作为其前身的绞刑悖论,是绞刑悖论的“极限”情况.为澄清相关概念,通过梳理与比较知道者悖论与绞刑悖论、简化的知道者悖论,以及道义逻辑中的知道者悖论的建构所分别依赖的背景知识,厘清这四者之间的区别与联系.     

优先道义逻辑研究

出于解决悖论及其他应用的目的,引入优先语义学构建优先道义逻辑系统便成为道义逻辑发展的新途径.其中,本·汉森的优先二元道义逻辑系统DSDL1-3有较大影响,它在处理温柔的谋杀者悖论方面具有很大的优势.尽管在处理其他类型的道义悖论方面并不完善,其解决方案存在一定的缺憾,但不可否认的是,本·汉森的优先道义理论为道义逻辑的发展提供了新的灵感.在他的影响下,可从不同角度建立多种类型的优先道义系统,以促进道义逻辑的发展.首先,优先道义逻辑的建立可在一定程度上解决道义悖论问题,消除人们对道义逻辑的质疑.其次,优先道义理论使用的结合其他分支理论进行道义逻辑研究的方法,可为逻辑学其他分支的发展提供方法论意义,从而促进整个逻辑学科的繁荣和发展.最后,目前的优先道义逻辑研究,已不再局限于对道义悖论问题的处理,而是尝试建立多种实用型的优先道义系统,着重于它在法学、计算机和信息科学等多个相关领域的应用型研究,取得的很多重要成果,在建立法律专家系统、处理电子商务中的贸易合同等很多方面也都显示出其重要的实践价值.     

道义逻辑与伦理学研究

从逻辑哲学的角度,分析和探讨了(1)朴素绝对的道义逻辑,(2)真值绝对的道义逻辑,(3)相对道义逻辑的合理性、局限性与悖论;并指出了道义逻辑的发展方向及其哲学意义。     

西方现代逻辑研究动态（笔谈）——西方道义逻辑的形式化研究

一、西方道义逻辑的形式化研究现状 道义逻辑是在数理逻辑的基础上研究含有道义模态词"义务"、"允许"和"禁止"等模态词的一种广义模态逻辑的命题形式和推理规律的逻辑.因此,它和法学、伦理学有着密切的关系.随着模态逻辑理论的日益成熟,这也给道义逻辑的研究提供了许多新的技术和方法,使得道义逻辑的研究在研究方法上也越来越趋向多样化.目前,道义逻辑研究中采用的主要方法之一就是形式化,用这种方法解决各类义务冲突问题,并在道义逻辑的经典系统CDL和标准系统SDL的基础上,通过构造各种各样的道义逻辑的形式系统,使它能够较理想地处理各种各样的道义悖论.本文将西方道义逻辑形式化的研究大致分为以下几种类型:     

道义逻辑、行动逻辑和规范逻辑

20世纪 5 0年代由冯赖特创建的道义逻辑 ,首先是作为行动名称的逻辑而建立的。这种逻辑在建立之后产生两个研究方向 :一个是“应该做”的逻辑 ,一个是“应该是”的逻辑。在“应该做”逻辑的研究方向上 ,行动名称的逻辑之后 ,产生以分析行动语句而生成的行动逻辑的探索。于是道义逻辑便是一种以行动逻辑为基础的动态逻辑。但是 ,在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑 ,而不是规范的逻辑 ,在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。     

论道义逻辑系统的归约及其相关问题

安德森认为依靠归约公式Op □ (～p→S)能把道义逻辑归约为真值模态逻辑。但是 ,安德森的这种做法是不妥的。所有标准系统都不能把“帮助一名被抢劫者是应当的 ,并且禁止抢劫”这个命题形式化为系统的定理。善良的撒玛利亚人悖论属于这样一类悖论 :一公式A为某一形式系统的定理 ,但A的一个代入实例却是不可接受的。     

悖论:思维领域的第三类矛盾——兼与张建军、孙启明等同志商榷

<正> 悖论是否违反逻辑规律?它与逻辑矛盾的区别何在?张建军同志认为,“悖论不是由于违反逻辑规则而使然,但确确实实是以逻辑矛盾的形式表现出来的”,因此“悖论是一种特殊的逻辑矛盾”。孙启明同志认为“有些悖论是由于违反逻辑规律所产生的”,“狭义悖论的病根在于违反同一律”,因而悖论就是一种不合乎逻辑规律的普通的逻辑矛盾。笔者认为,悖论既不是逻辑矛盾,也不是辩证矛盾,而是思维领域中介于逻辑矛盾和辩证矛盾之间的第三类矛盾。本文拟就此问题与张建军、孙启明等同志商榷,并期望能把悖论问题的研究引向深入。     

试论狭义悖论的产生和消除

<正> 有的同志说:“虽然悖论不是由于违反逻辑规则而使然,但它确确实实是以逻辑矛盾的形式表现出来的。”因而,“悖论是一种不能用普通的逻辑方法加以消除的逻辑矛盾。”笔者认为,这种说法不妥。因为,有些悖论是由于违反逻辑规律产生的,也是可以用普通的逻辑方法加以消除的,如狭义悖论。一、狭义悖论的存在条件这里所讲的狭义悖论是指下列情况: 1.“一命题B,如果承认B,可推得B(非B),反之,如果承认B,又可推得B,称命题B为一悖论。”     

一元算符逻辑理论二探——一元算符完全性视野下的道义逻辑研究

如果视"一元算符真值表"已经穷尽了所有的经典与非经典一元算符,或者视{﹁,→,H4}是完全集,并且结合人文科学中广泛存在的关于价值判断的两种不同表述和自然语言的相应特点,那么,道义逻辑应该包括关于道德"善"的逻辑和具有自然语法局限性的关于义务"规范"的逻辑。前者的关键道德命题是"应该A即A不可能不善",后者的关键规范命题是"义务A即非A不可能合规范"。道义逻辑就可以完美地还原为一元算符逻辑,而且能够消除一些典型的道义悖论。