第一节 从规范体系到规范逻辑 2
第一章 规范逻辑的产生和发展 2
第二节 现代规范逻辑的创建 3
一、麻里的规范逻辑 9
二、冯莱特的规范逻辑 9
三、安德逊的规范逻辑 9
第三节 现代规范逻辑的发展 9
一、洛斯悖论 18
二、“导出义务”的悖论 18
三、“违背义务的命令”的悖论四、二元规范逻辑的两个类型五、规范谓词逻辑和规范时态逻辑第二章 普通命题逻辑第一节 复合命题形式及其规律 18
五、归谬赋值法 30
第二节 普通命题演算P系统的出发点 30
七、公理化方法和形式系统 30
六、常真式都是逻辑规律 30
三、复杂的复合命题及其形式 30
四、真值表方法 30
二、基本的复合命题及其形式 30
一、命题和命题形式 30
一、形式语言Lp 32
二、P推演工具 32
三、证明的结构 32
第三节 P系统的定理和导出规则 32
一、定理和应用蕴涵式定理的规则二、演绎定理三、置换定理四、复合命题形式之间的相互关系五、关于合取和析取的定理六、其他重要定理第四节 范式和解释 48
第五节 P系统的元定理 54
五、范式的判定作用 54
四、P系统的解释 54
二、求范式的步骤 54
一、什么是范式 54
三、优范式 54
一、P可靠性定理 58
二、P一致性定理 58
三、P完全性定理 58
四、P的可判定性 58
第三章 真理模态命题逻辑 58
第一节 模态命题和真理模态命题 58
一、模态命题和模态词 62
二、真理模态命题及其形式 62
三、真理模态命题演算 62
第二节 真理模态命题演算的出发点 62
三、不同的标准系统 64
第三节 T系统 64
一、相同的形式语言Lt 64
二、不同的推演工具 64
一、用K公理所证的定理 70
二、加用T公理所证的定理 70
第四节 S4系统和S5系统 70
一、S4系统 74
二、S5系统 74
第五节 T，S4，S5系统的解释 74
一、可能世界语义解释〈W,R,V〉二、可能世界集W和赋值V三、不同性质的二元关系R四、常真和可满足第六节 T，S4，S5的可靠性和一致性 78
一、T，S4，S5的可靠性定理 81
二、一致性定理 81
第七节 语义图及其判定作用 81
第八节 T，S4，S5系统的完全性 89
四、S5语义图 89
一、各系统通用的作图规则 89
二、T语义图 89
三、S4语义图 89
一、T完全性的引理 96
二、T完全性定理 96
三、S4完全性定理 96
四、关于S5的完全性 96
第四章 规范命题和冯莱特的演算 96
第一节 法律规范命题及其逻辑形式 96
一、法律规范命题 102
二、法律规范命题形式 102
第二节 规范命题演算的概述 102
三、不同的规范命题演算 106
第三节 冯莱特的规范命题演算 106
二、不同的推演工具 106
一、不同的形式语言 106
一、形式语言Lv 115
二、OR和ORD推演工具 115
三、OR系统的定理 115
四、ORD系统的定理 115
第四节 冯莱特的规范模态真值表 115
第五节 OR和ORD系统的元逻辑 118
一、OR和ORD系统的可靠性 121
二、OR和ORD系统的完全性 121
第五章 规范命题逻辑的标准系统 121
第一节 标准规范命题演算的出发点 121
二、相同的基本推理规则和不同的公理集第二节 OK系统和OKD系统 123
一、相同的形式语言Lo 123
二、OKD系统的定理 128
三、关于“违背义务的命令”的悖论第三节 从OK4系统到OK45D系统 128
一、OK系统的定理 128
一、OK4和OK4D系统 135
二、OK45系统 135
三、OK45D系统 135
四、关于高级规范模态公式的讨论第四节 规范逻辑标准系统的解释和可靠性 135
三、不同的可通关系R 140
四、常真和可满足 140
五、规范逻辑标准系统的可靠性第五节 判定方法和完全性 140
二、赋值V 140
一、可能世界集W 140
一、作语义图的通用规则 149
二、OK语义图和语义可判定性 149
三、OKD语义图和语义可判定性 149
四、其余几个系统的语义图 149
五、OK系统的完全性 149
六、OKD系统的完全性 149
七、其余几个系统的完全性 149
第六章 真理模态逻辑上再生的规范命题逻辑第一节 真理模态命题演算的扩展 T 149
一、真理模态逻辑语言Lt扩展为Lts二、再生规范命题演算的推演工具第二节 Ts，S4s，S5s系统 151
一、Ts系统中K公理导出的定理 159
二、关于权利的自由选择性的讨论三、Ts系统中T公理导出的定理四、S4s系统五、S5s系统第三节 TOD，S4OD，S5OD系统 159
五、对再生规范逻辑的评论 164
四、S5OD系统 164
第四节 再生规范逻辑的元逻辑 164
二、TOD系统 164
一、关于制裁命题常项s的公理 164
三、S4OD系统 164
一、〈W,R,sad,V〉解释 169
二、S5OD的可靠性 169
三、关于Ts、S4s、S5s的完全性四、关于TOD，S4OD，S5OD的完全性第七章 二元的规范命题逻辑第一节冯莱特的二元规范逻辑 169
一、1956年首创的二元规范逻辑二、冯莱特“新系统”的出发点三、“新系统”的定理四、“新系统”中用B1和B3所证的定理五、“新系统”的修正第二节 标准的二元规范逻辑 174
三、OdyK系统 180
五、OdyKD，OdyK4D，OdyK45D系统六、对标准二元规范逻辑的评论第三节 再生的二元规范逻辑 180
四、OdyK4和OdyK45系统 180
二、不同的推演工具 180
一、相同的形式语言Lody 180
一、概述 186
二、相同的形式语言和不同的系统三、Ts系统中的二元规范定理四、S4s系统中的二元规范定理五、S5s系统中的二元规范定理六、不能再生OdyD作定理第四节 二元规范逻辑的元逻辑简述 186
一、关于冯莱特的“新系统” 188
二、关于标准的二元规范逻辑 188
三、关于再生的二元规范逻辑 188
第八章 法律工作的逻辑要求 188
第一节 立法的逻辑分析 188
五、全称规范和量词的作用 197
四、法律规范的种类 197
六、除外规范和规范条件的表述七、法律文件的结构第二节 行政执法的逻辑分析 197
二、法律规范是行为规则 197
一、法律规范的制定 197
三、法律规范的结构 197
一、法律的行政适用 200
二、行政处理的逻辑特点 200
三、单称规范命题 200
第三节 守法和违法 200
一、法律的遵守 207
二、合同和相对权 207
三、义务的履行和违背 207
四、权利的自由选择性和权利的实施五、滥用权利和侵权的违法行为第四节 司法的逻辑分析 207
二、侦查破案中的逻辑问题 214
三、查明事实真相的证明和反驳四、行为的性质问题五、以法律为准绳六、关于制裁的进一步分析第五节 法律工作逻辑要求的综述 214
一、法律的司法适用 214
一、法律规范逻辑的表达能力 220
二、法律规范逻辑的推理能力 220
第九章普通谓词逻辑 220
第一节 谓词演算的准备知识 220
一、个体词和谓词 234
二、原子公式 234
三、量词 234
四、谓词公式的形成和名称 234
五、简单命题和复合命题的谓词公式六、谓词逻辑规律第二节 普通谓词演算Q系统的出发点 234
一、形式语言LQ 239
二、Q推演工具 239
第三节 Q系统的定理和导出规则 239
五、关于三段论的定理 256
四、演绎定理 256
第四节 前束范式和彐前束范式 256
三、置换定理 256
二、定理模式和导出规则 256
一、定理 256
一、前束范式 258
二、彐前束范式 258
第五节 Q系统的解释和一些判定方法 258
一、Q的〈D,V〉解释 267
二、可满足和常真 267
三、判定某些公式不常真的转换赋值法四、判定某些公式常真的Q语义图第六节 Q系统的可靠性和一致性 267
一、Q系统的可靠性 270
二、Q系统的一致性 270
第七节 Q系统的完全性和判定问题 270
二、相对于Q系统的最大一致集∑三、∑的解释四、证明∑可满足五、Q完全性定理六、判定问题第十章 Q系统上再生的法律规范逻辑第一节 从普通逻辑到法律应用逻辑 278
一、构造并证明最大一致集 278
一、普通逻辑和应用逻辑 281
二、法律应用逻辑 281
第二节 再生法律规范逻辑Qs的出发点 281
一、Qs的初始符号及其应用解释二、形成规则三、定义和对定义的说明四、Qs的推演工具第三节 Qs系统中的法律规范逻辑定理 287
一、规范命题的含义和相互关系定理二、单称命令、授权和它们的量化定理三、规范词对联结词的分配性定理四、反映法律规范实施情况的定理五、权利的自由选择性和越权的定理六、关于侵权的定理第四节 除外规范和有条件规范的定理 307
一、法律除外规范命题的形式 311
二、有条件规范的逻辑公式 311
三、Qs中的有条件规范定理 311
四、关于规范的条件的推导 311
第五节 关于相对权的定理 311
第六节 给Qs增加公理的尝试 312
第七节 Qs系统的解释和可靠性 313
第八节 Qs系统的完全性 316
三、Qs的可靠性 316
二、可满足和常真性 316
一、Qs的〈D,V〉解释 316
一、构造相对于Qs的最大一致集∑二、∑的〈D,V〉解释三、相对于Qs的最大一致集∑可满足四、Qs完全性定理第十一章 在法律工作中应用Qs的方法第一节 应用逻辑规律的一般方法 319
一、应用Qs定理的步骤 332
二、公式推导的一般规则 332
三、量化公式的推导规则 332
四、常用定理 332
五、常用的谓词定理 332
六、Qs中关于规范命题的重要定理第二节 法律中明确和准确运用概念的方法 332
一、法律中的真实定义和语词定义二、法律中的内涵定义和外延定义三、特征描述和子类例举四、概念概括和限制的推导第三节 法律工作中证明和反驳的方法 339
一、法律工作中的证明 349
二、证明的传统规则 349
三、诉讼法上的举证责任和证据的可靠性四、法律工作中的反驳五、论据不协调和证据不可靠六、排斥对方论题的直接反驳和归谬法七、间接反驳和“不在现场”的证明第四节 侦查假说中的演绎方法 349
一、侦查假说提出过程中的真理模态推理二、从假说到可供验证的结论三、验证过程中的逻辑方法第五节 元定理和判定方法的应用价值 353
一、法律推理有效性的一些判定方法二、法律、证据、前提协调性的判定方法三、统一法制中的法律冲突和元法律第十二章 规范谓词逻辑第一节 规范谓词演算的出发点 360
一、形式语言LQo 361
二、QOKB和QOKDB的推演工具 361
第二节 QOKB和QOKDB的定理 361
一、量化规范词之间的相互关系定理二、量化规范词的分配性定理三、QOKDB定理四、简短的评语第三节 规范谓词逻辑的解释和可靠性 367
一、〈W,R,D,V〉解释 368
二、QOKB的可靠性 368
三、QOKDB的可靠性 368
第四节 QOKB和QOKDB的完全性 368
一、Q完全性的亨金证法 379
二、OK和OKD完全性的亨金证法 379
三、规范谓词演算的最大一致集？i四、从属于？i的最大一致集？k五、集族？的〈W,R,D,V〉解释六、最大一致集可满足七、QOKB和QOKDB的完全性主要参考书目 379
后 记 381