目录 1
序言 1
前言 1
第一章 道义逻辑发展简史 1
第一节 概述 1
第二节 西方古代道义逻辑思想 2
第三节 中世纪西方道义逻辑思想 4
第四节 西方近代道义逻辑思想 8
第五节 现代道义逻辑的创立及发展 9
第二章 朴素道义逻辑系统 13
第一节 道义逻辑的经典系统 13
第二节 朴素道义逻辑系统的语法性质 15
第三节 S的可靠性、完全性和一致性 33
第三章 真势道义逻辑系统 53
第一节 真势道义逻辑系统的语法性质 53
第二节 E的可靠性、完全性和一致性 64
第四章 道义逻辑悖论分析 75
第一节 罗斯悖论 75
第二节 承诺悖论 79
第三节 齐硕姆二难 84
第四节 善良的撒玛利亚人悖论 87
第五节 杰弗塔二难(the Jephta Dilemma) 97
第六节 小结 100
第一节 极小的义务逻辑 101
第五章 极小道义逻辑 101
第二节 极小的条件义务逻辑 107
第六章 动态逻辑方案 110
第一节 命题动态逻辑概述 110
第二节 梅尔的动态归约逻辑方法 122
第三节 Broersen的归约方法 151
第七章 非单调逻辑方案 164
第一节 非单调逻辑介绍 164
第二节 Fraassen的道义逻辑 168
第三节 Fraassen的道义逻辑的语法刻画 170
第四节 评语 179
第一节 弗协调逻辑史概述 181
第八章 弗协调逻辑方案 181
第二节 弗协调命题逻辑 187
第三节 弗协调逻辑的哲学含义 214
第四节 弗协调模态命题逻辑 221
第五节 弗协调真势道义逻辑系统 232
第六节 弗协调真势道义逻辑的分析 245
第九章 卡莫和琼斯解决渎职义务的理论 254
第一节 问题的提出 254
第二节 渎职义务形式化的要求 256
第三节 卡莫和琼斯的方法 264
参考文献 302