优先可废止道义逻辑研究

发布时间：2017-08-26 11:46

  本文关键词：优先可废止道义逻辑研究

  更多相关文章： 自适应道义逻辑 优先可废止道义逻辑 规范冲突 关于规范的推理 适用规范的推理

【摘要】：道义逻辑，又被称为规范逻辑或义务逻辑，是刻画规范推理的形式结构及有效推理模式的理论。道义逻辑被认为是“最成问题的”的一个哲学逻辑分支，主要是因为在规范推理中会经常遇到不同类型的规范冲突问题。解决规范冲突的最直接的方法是引入规范间的优先关系和可废止推理机制，根据特定优先标准对相冲突的规范予以衡量，以更具优先性的规范废止较少优先性的规范。这种优先关系又可以区分为两类，一类是规范适用条件的事实特异性关系，这类规范冲突可以借用人工智能与计算机领域发展起来的缺省逻辑技术，建立可废止道义逻辑解决。一类是规范实现的事态（可能世界）的理想性关系，建立基于优先语义的道义逻辑。但是，这两类道义逻辑都有各自的局限性，可废止道义逻辑只能处理例外义务推理，基于优先语义的道义逻辑只能处理渎职义务推理。而当把二者结合起来的时候，由于彼此间相互影响会产生更复杂的优先性问题。后者还存在一系列技术问题：第一，用于为规范排序的优先关系通常要假定满足反自反性、传递性和连通性。这个假定太强，无法处理强优先问题。第二，无法处理具有对称性和无法比较的道义冲突。我们把这类规范冲突称为道义困境，进而导致严重的道义爆炸的产生，即使做任意事情都成为义务。处理规范冲突的另一种方法是构建一个道义论证框架或者由用户自主地判断冲突之间的优先关系，这种方法本质上是一种非完全形式化的逻辑。 本文坚持的一个基本观点是道义逻辑所研究的规范推理不仅仅是基于规范之间的逻辑关系所进行的推理（关于规范的推理），也不仅仅是当现实情境符合规范适用条件时所进行的推理（涵摄义务推理），它还要形式刻画规范被违反时所进行的推理（渎职义务推理）、存在规范困境时所进行的推理（道义困境推理）、存在例外规范时所进行的推理（例外义务推理）。后面这四种推理模式我们统称之为适用规范的推理。研究适用规范的推理不仅仅是因为主要的规范推理形式就是基于特定的事实情景触发特定的规范适用，以实现规范对主体（自然人或者人工智能主体）的约束、指导、评价的功能，更重要的是规范本身具有语境依赖性，而语境的复杂性主要表现在规范适用的过程中，这也是导致道义冲突的根本原因。最早建立起来的标准道义逻辑恰恰是因为忽视了这种语境依赖性，而导致所构建的逻辑太强，出现了很多道义悖论，其后很多逻辑学家通过使某些道义原则无效所构建的道义逻辑，如极小道义逻辑又太弱，使一些直观有效的推理模式无效。问题的症结在于基于特定的语境，一些规范推理模式是有效的，而基于另一些语境，这些规范推理的模式又变得无效。因此，构建可废止道义逻辑刻画规范推理的这种可废止性特点就成为必然。而前面提到的诸类道义逻辑所具有特点决定了它们都不足以充分刻画不同的规范推理模式。 本文借鉴了以上各种理论的优点，并把它们结合起来。认为规范冲突并不导致逻辑系统的坍塌，而是可以把包含冲突的道义规则的约束力解释成为：如果不存在冲突，我们将直接适用规范推理的相应规则。如果存在冲突则可以通过一定的技术限制相应规则的适用，这种技术就是自适应逻辑（adative logic）。 本文以自适应逻辑为基础，，构建了一个自适应二元道义逻辑系统（Adaptive Dyadic Deontic Logic，简称ALCDPM）。ALCDPM被刻画为一个三元组＜一个下限逻辑，一个异常集合Ω，一个极小异常集合＞，其中下限逻辑是在Lou Goble、Christian Stra er的二元道义逻辑系统的基础上构建的包含不同规范推理模式的事实分离规则的系统CDPM.2f。在此基础上，我们又根据不同推理模式的特点和对固有性义务和指导性义务的区分构建了一个刻画不同事实分离规则的异常集合。所选择的极小异常策略能够保证在存在规范冲突的情况下建立规范推理的推理模型。其主要思想是“尽可能正常地”解释前提集合，通过其动态的证明过程，有条件地适用道义规则。当没有异常出现时，它能够得出与标准道义逻辑同样的结论，当存在异常时，能够根据其定义的标记方法废止非所欲的结论。该系统的特点是：第一，它能够充分地刻画渎职义务推理、道义困境推理、例外义务推理和涵摄义务推理。第二，它是一个严格的形式系统，能够将道义原则的适用条件形式刻画为其证明的一部分，由证明本身而非用户自主地添加相应的适用条件。第三，我们选择的自适应逻辑是标准格式的自适应逻辑，在所选择的下限逻辑具有自反性、传递性、紧致性的条件下，能够较容易地证明它也具有相应的性质。相对于一个邻域语义，ALCDPM具有可靠性、完全性等良好的性质。第四，最大可能地保留了标准道义逻辑的优点。同时又通过一个动态证明程序刻画了规范推理的可废止性特点。第五，能够充分地刻画关于规范的推理和适用规范的推理。第六，通过引入两个新的道义算子，界定了一个严格的道义逻辑后承关系，通过对不同异常的界定给出了适用不同规范推理模式的推理规则，能够区分不同类型的规范推理。
【关键词】：自适应道义逻辑 优先可废止道义逻辑 规范冲突 关于规范的推理 适用规范的推理
【学位授予单位】：南开大学
【学位级别】：博士
【学位授予年份】：2011
【分类号】：B815.4
【目录】：

• 中文摘要5-7
• Abstract7-15
• 第1章 导论15-47
• 1.1 道义逻辑及其面临的主要问题15-30
• 1.1.1 规范违反与渎职义务推理问题15-23
• 1.1.2 道义困境与道义爆炸问题23-28
• 1.1.3 例外义务与例外义务推理问题28-29
• 1.1.4 涵摄义务推理问题29-30
• 1.1.5 简单评论30
• 1.2 道义逻辑研究的对象——关于规范的推理与适用规范的推理30-34
• 1.3 道义逻辑研究的意义及评价道义逻辑充分性的标准34-38
• 1.3.1 令人失望的道义逻辑研究34-35
• 1.3.2 评价道义逻辑充分性的标准35-38
• 1.4 优先可废止道义逻辑38-44
• 1.4.1 规范冲突推理的两种方法：阻止与消除38-41
• 1.4.2 规范推理，优先性与可废止性41-44
• 1.5 本文创新及结构安排44-47
• 1.5.1 本文的创新44-45
• 1.5.2 本文的结构安排45-47
• 第2章 标准道义逻辑及其悖论47-73
• 2.1 基础逻辑47-49
• 2.2 经典道义逻辑系统 CDL49-51
• 2.3 一元标准道义逻辑 SDL51-62
• 2.3.1 SDL 公理系统51-53
• 2.3.2 SDL 的定理、悖论及其分类和消解53-62
• 2.3.2.1 SDL 的定理、悖论53-58
• 2.3.2.2 SDL 的悖论的分类和消解58-62
• 2.4 二元标准道义逻辑 DSDL62-73
• 2.4.1 以一元道义逻辑表达条件义务62-63
• 2.4.2 von Wright 的新系统 NS63-64
• 2.4.3 二元标准道义逻辑系统 DSDL64-73
• 2.4.3.1 DSDL 的公理系统64-66
• 2.4.3.2 DSDL 的主要定理66
• 2.4.3.3 DSDL 的基于优先的语义66-69
• 2.4.3.4 DSDL 存在的主要问题69-73
• 第3章 优先可废止道义逻辑73-110
• 3.1 优先可废止道义逻辑的动机与思路74-75
• 3.2 基于特异性的缺省道义逻辑75-81
• 3.2.1 Horty的基本思想和主要背景76-79
• 3.2.2 可废止道义逻辑系统 H79-80
• 3.2.3 评论80-81
• 3.3 可废止道义逻辑论辩框架81-87
• 3.3.1 Prakken的基本思想与思路82
• 3.3.2 基于缺省逻辑的论辩框架82-85
• 3.3.3 评论85-87
• 3.4 基于偏好(优先)的可废止道义逻辑87-96
• 3.4.1 BGL系统的基本思想88-89
• 3.4.2 BGL 系统89-91
• 3.4.3 评论91-96
• 3.5 多重优先的可废止道义逻辑96-110
• 3.5.1 Yao Hua Tan和 van der Torre 的基本思想96-97
• 3.5.2 DIODE 系统97-100
• 3.5.3 渎职义务推理与例外义务推理的结合100-105
• 3.5.4 评论105-110
• 第4章 处理道义困境推理的自适应道义逻辑 ALDPM110-147
• 4.1 道义困境与道义爆炸111-115
• 4.1.1 道义困境的特征及形式刻画111-113
• 4.1.2 道义爆炸及容纳道义困境的道义逻辑的标准113-115
• 4.2 容纳道义逻辑困境的各种可能进路115-120
• 4.2.1 放弃 EFQ 原则116-117
• 4.2.2 放弃道义聚合原则 AND117-118
• 4.2.3 一致性聚合原则118-119
• 4.2.4 许可性聚合原则119-120
• 4.3 DPM 系统120-130
• 4.3.1 DPM系统的主要思想120-123
• 4.3.2 DPM 系统的公理体系123-124
• 4.3.3 DPM 的语义124-125
• 4.3.4 DPM 的相关定理125-129
• 4.3.5 DPM 存在的问题129-130
• 4.4 标准格式的自适应逻辑 SAL130-140
• 4.4.1 SAL的主要思想130-131
• 4.4.2 SAL 的一般结构131-133
• 4.4.3 SAL 的证明论133-136
• 4.4.4 SAL 的语义模型136-137
• 4.4.5 SAL 的上限逻辑的性质137
• 4.4.6 SAL 的可靠性和完全性137-139
• 4.4.7 SAL 的其他一些重要性质139-140
• 4.5 自适应道义逻辑 ALDPM140-147
• 4.5.1 ALDPM 的基本思想140-141
• 4.5.2 ALDPM 系统141-142
• 4.5.3 ALDPM 的一些重要定理142-143
• 4.5.4 ALDPM 对相关道义悖论的处理143-145
• 4.5.5 小结145-147
• 第5章 形式刻画各种规范推理模式的自适应道义逻辑 ALCDPM147-187
• 5.1 渎职义务、例外义务、道义困境、涵摄义务推理模式的形式刻画147-164
• 5.1.1 规范的事实语境依赖性与事实分离规则147-152
• 5.1.2 固有性义务与指导性义务152-158
• 5.1.2.1 不同的义务分类152-153
• 5.1.2.2 刻画关于规范推理的多模态道义逻辑153-155
• 5.1.2.3 初始义务冲突与实际义务冲突155-157
• 5.1.2.4 固有性义务与指导性义务的特点和条件157-158
• 5.1.3 不同规范推理模式的形式结构及推到规则158-164
• 5.1.3.1 渎职义务推理的形式结构及推导规则159-160
• 5.1.3.2 例外义务推理的形式结构及推导规则160-161
• 5.1.3.3 道义困境推理的形式结构及推导规则161-162
• 5.1.3.4 涵摄义务推理的形式结构及推导规则162-164
• 5.2 ALCDPM 的下限逻辑 CDPM.2f164-178
• 5.2.1 下限逻辑的选择标准164-165
• 5.2.2 CDPM系统及其存在的问题165-167
• 5.2.2.1 CDPM 系统165-167
• 5.2.2.2 CDPM 系统存在的问题167
• 5.2.3 CDPM2.e 系统及其存在的问题167-175
• 5.2.3.1 CDPM2.e 系统167-170
• 5.2.3.2 CDPM2.e 系统存在的问题170-175
• 5.2.4 CDPM.2f 系统175-178
• 5.2.4.1 CDPM.2f 的公理系统175-176
• 5.2.4.2 CDPM.2f 的邻域语义176-177
• 5.2.4.3 CDPM.2f 的相关定理177-178
• 5.3 ALCDPM 的异常集合178-179
• 5.4 ALCDPM 的极小异常策略179-181
• 5.5 自适应道义逻辑 ALCDPM181-182
• 5.5.1 ALCDPM的基本结构181
• 5.5.2 ALCDPM 的一些重要性质181-182
• 5.6 ALCDPM 系统对相关道义悖论的处理182-185
• 5.7 总结185-187
• 参考文献187-195
• 致谢195-196
• 个人简历196-197

【参考文献】

中国期刊全文数据库 前6条

1 张传新;;法律中的逻辑分析方法[J];甘肃社会科学;2008年05期

2 张传新;;法律思维的理性力量之源——论法律推理的形式性[J];海南大学学报(人文社会科学版);2010年02期

3 周北海;毛翊;;一个关于常识推理的基础逻辑[J];逻辑研究专辑;2003年00期

4 张传新;;法律方法的普遍智力品格及其限度——从法律方法与法学方法称谓争论谈起[J];求是学刊;2008年05期

5 张传新;;法律逻辑研究三十年[J];山东社会科学;2010年01期

6 张传新;;法律论题学的逻辑基础[J];山东大学学报(哲学社会科学版);2010年06期

本文编号：741340