引言 1
一 义务冲突问题——道义逻辑发展的主要动力 2
二 分支融合——道义逻辑研究的新视角 3
第一章 道义逻辑标准系统和义务冲突问题 7
第一节 道义逻辑标准系统SDL及其相关理论 8
道义逻辑经典系统CDL 8
道义逻辑标准系统SDL 9
真性道义逻辑系统 13
第二节 义务冲突问题 15
SDL中的部分定理应用于实践所产生的义务冲突问题 16
SDL不能有效表达义务的合理冲突现象而产生的义务冲突问题 19
第三节 道义逻辑标准系统SDL的解决方案 25
改变齐硕姆集合的表达方式 25
考虑义务的相关因素 27
第二章 优先和语境的二元道义逻辑方案 30
第一节 二元道义逻辑概论 30
二元道义标准系统DSDL 31
二元道义标准系统存在的问题 33
第二节 优先的二元道义逻辑方案 36
本·汉森的优先二元道义逻辑 37
阿奎韦斯特的优先二元道义逻辑 43
托尔和谭耀华的优先二元道义逻辑PDL 48
第三节 语境的二元道义逻辑方案 60
语境道义逻辑CDL 61
CDL对CTD悖论的处理 66
第三章 非单调道义逻辑方案 72
第一节 非单调道义逻辑研究概论 72
第二节 霍蒂的缺省道义逻辑方案 74
霍蒂的缺省道义逻辑 75
托尔对霍蒂的缺省道义系统的扩张 88
第三节 普拉肯的缺省道义逻辑方案 97
普拉肯的缺省道义逻辑 97
P系统和H系统的比较 104
第四节 优先可废止的道义逻辑方案 107
优先可废止的道义逻辑RL 108
RL系统和H系统的比较 116
第五节 形式化研究过程中存在的问题及其分析 117
第四章 时态道义逻辑方案 122
第一节 结合时态因素进行道义逻辑研究的必要性 122
时态逻辑概论 122
结合时态因素建立道义系统的必要性 124
第二节 冯·艾克的时态道义逻辑QDTL 126
QDTL的系统框架 127
QDTL对义务冲突问题的处理 132
QDTL和优先二元道义逻辑G的比较 142
时态道义命题系统DTL 142
第三节 结合动态资源的时态道义逻辑DTDL 154
DTDL的理论背景 156
DTDL的理论框架 158
第四节 一个弱的时态道义逻辑TDWL′0 166
TDWL′0的理论框架 166
TDWL′0的理论分析 176
结束语 各种解决方案的概括评价与反思 181
第一节 CTD悖论不同解决方案的概括评析 181
第二节 意义和启示 192
参考文献 195