道义逻辑 基于分支融合的视角PDF电子书下载

引言 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