引言
一 义务冲突问题--道义逻辑发展的主要动力
二 分支融合--道义逻辑研究的新视角
第一章 道义逻辑标准系统和义务冲突问题
第一节 道义逻辑标准系统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悖论不同解决方案的概括评析
第二节 意义和启示
参考文献
展开