伦理行为和规范的推理理论

导论——伦理学理论的新基础
第一章 道义逻辑发展历程概览
第一节 概述
1·1·1 寻找道义逻辑的根
1·1·2 道义逻辑历史的粗略线索
第二节 古代西方的道义逻辑思想
1·2·1 概述
1·2·2 亚理士多德的实践推理思想
1·2·3 亚理士多德的“应该”观念
第三节 中世纪出现的道义逻辑思想
1·3·1 一篇中世纪道义逻辑的论文
1·3·2 道义逻辑思想出现在中世纪的原因
1·3·3 阿奎那和司科特
1·3·4 霍尔科特、罗斯图思和奥卡姆
第四节 近代道义逻辑思想
1·4·1 近代道义逻辑思想简述
1·4·2 莱布尼咨的道义逻辑思想
1·4·3 边沁的道义逻辑思想
第五节 现代道义逻辑的创立和发展
1·5·1 马利的道义逻辑系统
1·5·2 现代道义逻辑的创立
1·5·3 现代道义逻辑的发展
第二章 基本逻辑和模态逻辑
第一节 基本逻辑
2·1·1 逻辑概述
2·1·2 词项和命题
2·1·3 形式语言和形式系统
2·1·4 命题逻辑
第二节 谓词逻辑
2·2·1 谓词逻辑的几个基本概念
2·2·2 谓词演算Q的形式语言Lq
2·2·3 Q的语形学和语义学
2·2·4 基本逻辑的系统特性
第三节 从基本逻辑到模态逻辑
2·3·1 从量词的引入到模态词的引入
2·3·2 全称量词和必然模态的比较
2·3·3 可能世界——一个奇特的对象域
2·3·4 全称量词、必然模态词和可能世界
第四节 模态逻辑的基本演算系统
2·4·1 从严格蕴涵到模态逻辑的创立
2·4·2 基本模态命题逻辑T的语形学
2·4·3 T的语义学及系统特性
第五节 模态谓词演算
2·5·1 从模态命题演算到模态谓词演算
2·5·2 模态谓词演算QTB的语形学
2·5·3 QTB的语义学和系统特性
2·5·4 模态逻辑系统分类种种
第六节 道义模态逻辑系统的一个尝试
2·6·1 真性模态和道义模态
2·6·2 对若干道义模态的直观理解
2·6·3 马利构造道义论模态系统的尝试
第三章 道义经典系统和一元道义逻辑
第一节 道义逻辑最小系统和经典系统
3·1·1 道义模态和真性模态的区别
3·1·2 道义逻辑的最小系统
3·1·3 道义逻辑的经典系统
3·1·4 道义模态的读法和道义正规系统
第二节 一元道义逻辑和绝对道义逻辑
3·2·1 道义逻辑中的“元”
3·2·2 一元道义逻辑和绝对道义逻辑
3·2·3 真性一元道义逻辑的严格定义
第三节 正规一元道义逻辑的OK系统
3·3·1 OK的导出规则和定理证明
3·3·2 OK系统语义模型的基本定义
3·3·3 判定OK系统特征的语义图方法
3·3·4 OK的可靠性、一致性和完全性
第四节 一元道义逻辑的斯麦利—汉森系统
3·4·1 关于“正规”
3·4·2 斯麦利—汉森系统分类依据和语形学
3·4·3 斯麦利—汉森系统语义学基本概念
3·4·4 斯麦利—汉森系统语义可靠性和完全性
第五节 道义逻辑向真性模态逻辑的归约
3·5·1 十个真性模态逻辑系统
3·5·2 真性系统语义学和系统特性
3·5·3 斯麦利—汉森系统向真性系统的归约
第四章 二元道义逻辑
第一节 二元道义逻辑概述
第二节 冯·赖特的二元道义逻辑系统
4·2·1 冯·赖特的一元道义逻辑FL1
4·2·2 二元道义逻辑系统FL2
4·2·3 判定FL2公式的特殊规则
4·2·4 FL2如何表达渎职命令
4·2·5 一个反直观实例和对FL的完善
第三节 雷切尔的二元道义逻辑
4·3·1 道义逻辑BL和SDL系统
4·3·2 二元道义逻辑－C系统
4·3·3 O－表达式转换系统及其若干定理
第四节 二元道义逻辑的真性系统
4·4·1 二元道义语言和真性语言
4·4·2 ODYS4、ODYS5和S4QMO、S5QMO
4·4·3 系统S5QMON和ODYS5N
4·4·4 基础系统的进一步发展
第五节 汉森系统和S5QMON/ODYS5N系统
4·5·1 优先关系及汉森二元道义逻辑
4·5·2 优先关系在S5QMON系统中的补充
4·5·3 优先关系在ODYS5N模型中的补充
4·5·4 二元道义系统的语义和语形识别
4·5·5 系统G的语义完全性猜想
第五章 道义谓词逻辑
第一节 道义谓词逻辑概述
5·1·1 从道义命题逻辑到道义谓词逻辑
5·1·2 道义谓词逻辑概览
第二节 欣迪卡的道义谓词逻辑
5·2·1 一个道义谓词逻辑的语言
5·2·2 道义模态和联接词的量词和谓词分析
5·2·3 欣迪卡道义谓词逻辑基本语义学
5·2·4 道义后承和逻辑后承
第三节 冯·赖特道义谓词逻辑
5·3·1 冯·赖特行为逻辑的一般描述
5·3·2 行为、道义状态和道义“谓词”
5·3·3 关于道义状态的新概念和新结果
5·3·4 谓词和谓词的逻辑、规范和道义逻辑
5·3·5 道义等价原则和规范逻辑真理
5·3·6 道义运算子、模态逻辑和量词
第四节 康格尔的道义谓词逻辑
5·4·1 从道德哲学角度构建伦理理论
5·4·2 纯粹规范理论的语形符号
5·4·3 康格尔对若干道义语形符号的解释
5·4·4 康格尔系统的语义学基本概念
5·4·5 纯粹规范逻辑
第五节 卡斯塔勒达的道义谓词逻辑
5·5·1 卡斯塔勒达道义语言概述
5·5·2 自然语言的结构二元和逻辑二元
5·5·3 场合、实践者和量词的若干法则
5·5·4 卡斯塔勒达的道义语言Di
5·5·5 道义系统Di＊＊的语义模型略述
第六章 道义逻辑悖论
第一节 悖论思想的一般描述
6·1·1 逻辑悖论漫谈
6·1·2 从非标准逻辑悖论到道义悖论
第二节 理性行为悖论和合理信仰悖论
6·2·1 纽科姆悖论和囚徒悖论
6·2·2 哲学家悖论和未可预料的考试悖论
6·2·3 知道者悖论和相信者悖论
6·2·4 对上述悖论的一个简略概括
第三节 道义悖论引论
6·3·1 从普罗塔哥拉悖论谈起
6·3·2 道义逻辑形式语言和自然语言的对比
6·3·3 FNC和自然道义逻辑系统NDL
6·3·4 合式翻译和准确表达的若干概念
第四节 罗斯的邮寄悖论
6·4·1 道义逻辑中的第一个悖论
6·4·2 罗斯悖论相关于NDL的一个论证
6·4·3 依据上述论证对罗斯悖论的评述
第五节 普赖尔的承诺悖论
6·5·1 承诺悖论的自然语言表达式
6·5·2 处理承诺悖论的两种倾向
第六节 齐硕姆渎职命令悖论
6·6·1 涉及承诺概念的又一个悖论
6·6·2 渎职命令悖论的另一实例及其分析
第七节 从应该蕴涵能够到乐善好施者悖论
6·7·1 “应该”蕴涵着“能够”问题
6·7·2 乐善好施者悖论和杰菲塔二难
6·7·3 悖论的时态和量词处理
6·7·4 乐善好施者悖论的简略分析
第八节 其他的道义悖论略述和简单结论
6·8·1 心理道义悖论
6·8·2 次优计划悖论
6·8·3 秘书悖论或充要条件悖论
6·8·4 道义悖论的简单结论
结语
参考文献
后记