《道义逻辑 伦理行为和规范的推理理论》求取 ⇩

导论——伦理学理论的新基础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的形式语言Lq53

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 冯·赖特的一元道义逻辑FL1210

4·2·2 二元道义逻辑系统FL2212

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、S5QMO234

4·4·3 系统S5QMON和ODYS5N238

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 卡斯塔勒达的道义语言Di334

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和自然道义逻辑系统NDL377

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