中文摘要 | 第1-7页 |
Abstract | 第7-15页 |
第1章 导论 | 第15-47页 |
·道义逻辑及其面临的主要问题 | 第15-30页 |
·规范违反与渎职义务推理问题 | 第15-23页 |
·道义困境与道义爆炸问题 | 第23-28页 |
·例外义务与例外义务推理问题 | 第28-29页 |
·涵摄义务推理问题 | 第29-30页 |
·简单评论 | 第30页 |
·道义逻辑研究的对象——关于规范的推理与适用规范的推理 | 第30-34页 |
·道义逻辑研究的意义及评价道义逻辑充分性的标准 | 第34-38页 |
·令人失望的道义逻辑研究 | 第34-35页 |
·评价道义逻辑充分性的标准 | 第35-38页 |
·优先可废止道义逻辑 | 第38-44页 |
·规范冲突推理的两种方法:阻止与消除 | 第38-41页 |
·规范推理,优先性与可废止性 | 第41-44页 |
·本文创新及结构安排 | 第44-47页 |
·本文的创新 | 第44-45页 |
·本文的结构安排 | 第45-47页 |
第2章 标准道义逻辑及其悖论 | 第47-73页 |
·基础逻辑 | 第47-49页 |
·经典道义逻辑系统 CDL | 第49-51页 |
·一元标准道义逻辑 SDL | 第51-62页 |
·SDL 公理系统 | 第51-53页 |
·SDL 的定理、悖论及其分类和消解 | 第53-62页 |
·SDL 的定理、悖论 | 第53-58页 |
·SDL 的悖论的分类和消解 | 第58-62页 |
·二元标准道义逻辑 DSDL | 第62-73页 |
·以一元道义逻辑表达条件义务 | 第62-63页 |
·von Wright 的新系统 NS | 第63-64页 |
·二元标准道义逻辑系统 DSDL | 第64-73页 |
·DSDL 的公理系统 | 第64-66页 |
·DSDL 的主要定理 | 第66页 |
·DSDL 的基于优先的语义 | 第66-69页 |
·DSDL 存在的主要问题 | 第69-73页 |
第3章 优先可废止道义逻辑 | 第73-110页 |
·优先可废止道义逻辑的动机与思路 | 第74-75页 |
·基于特异性的缺省道义逻辑 | 第75-81页 |
·Horty的基本思想和主要背景 | 第76-79页 |
·可废止道义逻辑系统 H | 第79-80页 |
·评论 | 第80-81页 |
·可废止道义逻辑论辩框架 | 第81-87页 |
·Prakken的基本思想与思路 | 第82页 |
·基于缺省逻辑的论辩框架 | 第82-85页 |
·评论 | 第85-87页 |
·基于偏好(优先)的可废止道义逻辑 | 第87-96页 |
·BGL系统的基本思想 | 第88-89页 |
·BGL 系统 | 第89-91页 |
·评论 | 第91-96页 |
·多重优先的可废止道义逻辑 | 第96-110页 |
·Yao‐Hua Tan和 van der Torre 的基本思想 | 第96-97页 |
·DIODE 系统 | 第97-100页 |
·渎职义务推理与例外义务推理的结合 | 第100-105页 |
·评论 | 第105-110页 |
第4章 处理道义困境推理的自适应道义逻辑 ALDPM | 第110-147页 |
·道义困境与道义爆炸 | 第111-115页 |
·道义困境的特征及形式刻画 | 第111-113页 |
·道义爆炸及容纳道义困境的道义逻辑的标准 | 第113-115页 |
·容纳道义逻辑困境的各种可能进路 | 第115-120页 |
·放弃 EFQ 原则 | 第116-117页 |
·放弃道义聚合原则 AND | 第117-118页 |
·一致性聚合原则 | 第118-119页 |
·许可性聚合原则 | 第119-120页 |
·DPM 系统 | 第120-130页 |
·DPM系统的主要思想 | 第120-123页 |
·DPM 系统的公理体系 | 第123-124页 |
·DPM 的语义 | 第124-125页 |
·DPM 的相关定理 | 第125-129页 |
·DPM 存在的问题 | 第129-130页 |
·标准格式的自适应逻辑 SAL | 第130-140页 |
·SAL的主要思想 | 第130-131页 |
·SAL 的一般结构 | 第131-133页 |
·SAL 的证明论 | 第133-136页 |
·SAL 的语义模型 | 第136-137页 |
·SAL 的上限逻辑的性质 | 第137页 |
·SAL 的可靠性和完全性 | 第137-139页 |
·SAL 的其他一些重要性质 | 第139-140页 |
·自适应道义逻辑 ALDPM | 第140-147页 |
·ALDPM 的基本思想 | 第140-141页 |
·ALDPM 系统 | 第141-142页 |
·ALDPM 的一些重要定理 | 第142-143页 |
·ALDPM 对相关道义悖论的处理 | 第143-145页 |
·小结 | 第145-147页 |
第5章 形式刻画各种规范推理模式的自适应道义逻辑 ALCDPM | 第147-187页 |
·渎职义务、例外义务、道义困境、涵摄义务推理模式的形式刻画 | 第147-164页 |
·规范的事实语境依赖性与事实分离规则 | 第147-152页 |
·固有性义务与指导性义务 | 第152-158页 |
·不同的义务分类 | 第152-153页 |
·刻画关于规范推理的多模态道义逻辑 | 第153-155页 |
·初始义务冲突与实际义务冲突 | 第155-157页 |
·固有性义务与指导性义务的特点和条件 | 第157-158页 |
·不同规范推理模式的形式结构及推到规则 | 第158-164页 |
·渎职义务推理的形式结构及推导规则 | 第159-160页 |
·例外义务推理的形式结构及推导规则 | 第160-161页 |
·道义困境推理的形式结构及推导规则 | 第161-162页 |
·涵摄义务推理的形式结构及推导规则 | 第162-164页 |
·ALCDPM 的下限逻辑 CDPM.2f | 第164-178页 |
·下限逻辑的选择标准 | 第164-165页 |
·CDPM系统及其存在的问题 | 第165-167页 |
·CDPM 系统 | 第165-167页 |
·CDPM 系统存在的问题 | 第167页 |
·CDPM2.e 系统及其存在的问题 | 第167-175页 |
·CDPM2.e 系统 | 第167-170页 |
·CDPM2.e 系统存在的问题 | 第170-175页 |
·CDPM.2f 系统 | 第175-178页 |
·CDPM.2f 的公理系统 | 第175-176页 |
·CDPM.2f 的邻域语义 | 第176-177页 |
·CDPM.2f 的相关定理 | 第177-178页 |
·ALCDPM 的异常集合 | 第178-179页 |
·ALCDPM 的极小异常策略 | 第179-181页 |
·自适应道义逻辑 ALCDPM | 第181-182页 |
·ALCDPM的基本结构 | 第181页 |
·ALCDPM 的一些重要性质 | 第181-182页 |
·ALCDPM 系统对相关道义悖论的处理 | 第182-185页 |
·总结 | 第185-187页 |
参考文献 | 第187-195页 |
致谢 | 第195-196页 |
个人简历 | 第196-197页 |