导论——伦理学理论的新基础 1
第一章 道义逻辑发展历程概览 8
第一节 概述 8
1·1·1 寻找道义逻辑的根 8
1·1·2 道义逻辑历史的粗略线索 9
第二节 古代西方的道义逻辑思想 10
1·2·1 概述 10
1·2·2 亚理士多德的实践推理思想 11
1·2·3 亚理士多德的“应该”观念 13
第三节 中世纪出现的道义逻辑思想 15
1·3·1 一篇中世纪道义逻辑的论文 15
1·3·2 道义逻辑思想出现在中世纪的原因 16
1·3·3 阿奎那和司科特 18
1·3·4 霍尔科特、罗斯图思和奥卡姆 20
第四节 近代道义逻辑思想 28
1·4·1 近代道义逻辑思想简述 28
1·4·2 莱布尼咨的道义逻辑思想 29
1·4·3 边沁的道义逻辑思想 30
第五节 现代道义逻辑的创立和发展 31
1·5·1 马利的道义逻辑系统 31
1·5·2 现代道义逻辑的创立 33
1·5·3 现代道义逻辑的发展 34
第二章 基本逻辑和模态逻辑 37
第一节 基本逻辑 37
2·1·1 逻辑概述 37
2·1·2 词项和命题 40
2·1·3 形式语言和形式系统 45
2·1·4 命题逻辑 47
第二节 谓词逻辑 50
2·2·1 谓词逻辑的几个基本概念 50
2·2·2 谓词演算Q的形式语言Lq 53
2·2·3 Q的语形学和语义学 56
2·2·4 基本逻辑的系统特性 60
第三节 从基本逻辑到模态逻辑 63
2·3·1 从量词的引入到模态词的引入 63
2·3·2 全称量词和必然模态的比较 66
2·3·3 可能世界——一个奇特的对象域 69
2·3·4 全称量词、必然模态词和可能世界 74
第四节 模态逻辑的基本演算系统 79
2·4·1 从严格蕴涵到模态逻辑的创立 79
2·4·2 基本模态命题逻辑T的语形学 80
2·4·3 T的语义学及系统特性 82
第五节 模态谓词演算 86
2·5·1 从模态命题演算到模态谓词演算 86
2·5·2 模态谓词演算QTB的语形学 88
2·5·3 QTB的语义学和系统特性 92
2·5·4 模态逻辑系统分类种种 94
第六节 道义模态逻辑系统的一个尝试 98
2·6·1 真性模态和道义模态 98
2·6·2 对若干道义模态的直观理解 99
2·6·3 马利构造道义论模态系统的尝试 102
第三章 道义经典系统和一元道义逻辑 107
第一节 道义逻辑最小系统和经典系统 107
3·1·1 道义模态和真性模态的区别 107
3·1·2 道义逻辑的最小系统 111
3·1·3 道义逻辑的经典系统 112
3·1·4 道义模态的读法和道义正规系统 118
第二节 一元道义逻辑和绝对道义逻辑 120
3·2·1 道义逻辑中的“元” 120
3·2·2 一元道义逻辑和绝对道义逻辑 122
3·2·3 真性一元道义逻辑的严格定义 124
第三节 正规一元道义逻辑的OK系统 127
3·3·1 OK的导出规则和定理证明 127
3·3·2 OK系统语义模型的基本定义 137
3·3·3 判定OK系统特征的语义图方法 139
3·3·4 OK的可靠性、一致性和完全性 147
第四节 一元道义逻辑的斯麦利—汉森系统 161
3·4·1 关于“正规” 161
3·4·2 斯麦利—汉森系统分类依据和语形学 163
3·4·3 斯麦利—汉森系统语义学基本概念 173
3·4·4 斯麦利—汉森系统语义可靠性和完全性 176
第五节 道义逻辑向真性模态逻辑的归约 184
3·5·1 十个真性模态逻辑系统 184
3·5·2 真性系统语义学和系统特性 188
3·5·3 斯麦利—汉森系统向真性系统的归约 194
第四章 二元道义逻辑 208
第一节 二元道义逻辑概述 208
第二节 冯·赖特的二元道义逻辑系统 210
4·2·1 冯·赖特的一元道义逻辑FL1 210
4·2·2 二元道义逻辑系统FL2 212
4·2·3 判定FL2公式的特殊规则 214
4·2·4 FL2如何表达渎职命令 215
4·2·5 一个反直观实例和对FL的完善 217
第三节 雷切尔的二元道义逻辑 220
4·3·1 道义逻辑BL和SDL系统 220
4·3·2 二元道义逻辑－C系统 225
4·3·3 O－表达式转换系统及其若干定理 227
第四节 二元道义逻辑的真性系统 231
4·4·1 二元道义语言和真性语言 231
4·4·2 ODYS4、ODYS5和S4QMO、S5QMO 234
4·4·3 系统S5QMON和ODYS5N 238
4·4·4 基础系统的进一步发展 241
第五节 汉森系统和S5QMON/ODYS5N系统 244
4·5·1 优先关系及汉森二元道义逻辑 244
4·5·2 优先关系在S5QMON系统中的补充 246
4·5·3 优先关系在ODYS5N模型中的补充 250
4·5·4 二元道义系统的语义和语形识别 253
4·5·5 系统G的语义完全性猜想 255
第五章 道义谓词逻辑 262
第一节 道义谓词逻辑概述 262
5·1·1 从道义命题逻辑到道义谓词逻辑 262
5·1·2 道义谓词逻辑概览 264
第二节 欣迪卡的道义谓词逻辑 266
5·2·1 一个道义谓词逻辑的语言 266
5·2·2 道义模态和联接词的量词和谓词分析 270
5·2·3 欣迪卡道义谓词逻辑基本语义学 277
5·2·4 道义后承和逻辑后承 282
第三节 冯·赖特道义谓词逻辑 286
5·3·1 冯·赖特行为逻辑的一般描述 286
5·3·2 行为、道义状态和道义“谓词” 291
5·3·3 关于道义状态的新概念和新结果 294
5·3·4 谓词和谓词的逻辑、规范和道义逻辑 296
5·3·5 道义等价原则和规范逻辑真理 299
5·3·6 道义运算子、模态逻辑和量词 301
第四节 康格尔的道义谓词逻辑 305
5·4·1 从道德哲学角度构建伦理理论 305
5·4·2 纯粹规范理论的语形符号 306
5·4·3 康格尔对若干道义语形符号的解释 309
5·4·4 康格尔系统的语义学基本概念 314
5·4·5 纯粹规范逻辑 322
第五节 卡斯塔勒达的道义谓词逻辑 326
5·5·1 卡斯塔勒达道义语言概述 326
5·5·2 自然语言的结构二元和逻辑二元 327
5·5·3 场合、实践者和量词的若干法则 331
5·5·4 卡斯塔勒达的道义语言Di 334
5·5·5 道义系统Di＊＊的语义模型略述 343
第六章 道义逻辑悖论 348
第一节 悖论思想的一般描述 348
6·1·1 逻辑悖论漫谈 348
6·1·2 从非标准逻辑悖论到道义悖论 351
第二节 理性行为悖论和合理信仰悖论 352
6·2·1 纽科姆悖论和囚徒悖论 352
6·2·2 哲学家悖论和未可预料的考试悖论 360
6·2·3 知道者悖论和相信者悖论 364
6·2·4 对上述悖论的一个简略概括 371
第三节 道义悖论引论 372
6·3·1 从普罗塔哥拉悖论谈起 372
6·3·2 道义逻辑形式语言和自然语言的对比 373
6·3·3 FNC和自然道义逻辑系统NDL 377
6·3·4 合式翻译和准确表达的若干概念 380
第四节 罗斯的邮寄悖论 383
6·4·1 道义逻辑中的第一个悖论 383
6·4·2 罗斯悖论相关于NDL的一个论证 384
6·4·3 依据上述论证对罗斯悖论的评述 386
第五节 普赖尔的承诺悖论 388
6·5·1 承诺悖论的自然语言表达式 388
6·5·2 处理承诺悖论的两种倾向 392
第六节 齐硕姆渎职命令悖论 395
6·6·1 涉及承诺概念的又一个悖论 395
6·6·2 渎职命令悖论的另一实例及其分析 396
第七节 从应该蕴涵能够到乐善好施者悖论 399
6·7·1 “应该”蕴涵着“能够”问题 399
6·7·2 乐善好施者悖论和杰菲塔二难 400
6·7·3 悖论的时态和量词处理 402
6·7·4 乐善好施者悖论的简略分析 404
第八节 其他的道义悖论略述和简单结论 406
6·8·1 心理道义悖论 406
6·8·2 次优计划悖论 407
6·8·3 秘书悖论或充要条件悖论 408
6·8·4 道义悖论的简单结论 410
结语 411
参考文献 415
后记 420