包邮道义逻辑:基于分支融合的视角

引言
一 义务冲突问题--道义逻辑发展的主要动力
二 分支融合--道义逻辑研究的新视角

**章 道义逻辑标准系统和义务冲突问题
**节 道义逻辑标准系统SDL及其相关理论
道义逻辑经典系统CDL
道义逻辑标准系统SDL
真性道义逻辑系统
第二节 义务冲突问题
SDL中的部分定理应用于实践所产生的
义务冲突问题
SDL不能有效表达义务的合理冲突现象而产生的
义务冲突问题
第三节 道义逻辑标准系统SDL的解决方案
改变齐硕姆集合的表达方式
考虑义务的相关因素

第二章 优先和语境的二元道义逻辑方案
**节 二元道义逻辑概论
二元道义标准系统DSDL
二元道义标准系统存在的问题
第二节 优先的二元道义逻辑方案
本汉森的优先二元道义逻辑
阿奎韦斯特的优先二元道义逻辑
托尔和谭耀华的优先二元道义逻辑PDL
第三节 语境的二元道义逻辑方案
语境道义逻辑CDL
CDL对CTD悖论的处理

第三章 非单调道义逻辑方案
**节 非单调道义逻辑研究概论
第二节 霍蒂的缺省道义逻辑方案
霍蒂的缺省道义逻辑
托尔对霍蒂的缺省道义系统的扩张
第三节 普拉肯的缺省道义逻辑方案
普拉肯的缺省道义逻辑
P系统和H系统的比较
第四节 优先可废止的道义逻辑方案
优先可废止的道义逻辑RL
RL系统和H系统的比较
第五节 形式化研究过程中存在的问题及其分析

第四章 时态道义逻辑方案
**节 结合时态因素进行道义逻辑研究的必要性
时态逻辑概论
结合时态因素建立道义系统的必要性
第二节 冯艾克的时态道义逻辑QDTL
QDTL的系统框架
QDTL对义务冲突问题的处理
QDTL和优先二元道义逻辑G的比较
时态道义命题系统DTL
第三节 结合动态资源的时态道义逻辑DTDL
DTDL的理论背景
DTDL的理论框架
第四节 一个弱的时态道义逻辑TDWL’n
TDWL’n的理论框架
TDWL’n的理论分析
结束语各种解决方案的溉括评价与反思
**节 CTD悖论不同解决方案的概括评析
第二节 意义和启示
参考文献