导论 1
第1章 法律与可废止性 9
1.1 导论 9
1.2 不同类型的“可废止性” 10
1.3 法律推理是可废止的吗？ 18
1.4 法律推理需要非单调逻辑吗？ 29
1.5 结论 38
第2章 法律与融贯性 39
2.1 导论 39
2.2 证成 42
2.3 相互支持 50
2.4 一个个案研究 55
2.5 个案研究的结论 62
2.6 整合融贯主义 66
2.7 证成的相对性 67
2.8 融贯性的基础 71
2.9 权威性vs.融贯性？ 74
2.10 结论 77
第3章 理由逻辑 79
3.1 作为谓词逻辑扩充的理由逻辑 79
3.2 理由逻辑的语言和本体论 82
3.3 理由 87
3.4 运用有助益的理由进行推理 96
3.5 规则 98
3.6 运用规则的推理 104
3.7 理由逻辑作为一种非单调逻辑 108
3.8 附录 110
第4章 不同选择之间的比较 113
4.1 正确与更好 113
4.2 定性的比较推理 115
4.3 理论的建构 122
4.4 比较某一案例类型的解决方式 124
4.5 目标集的比较 127
4.6 案例推理作为比较推理的一种形式 129
4.7 定性的比较推理与法律证明 134
4.8 理由集的比较 137
4.9 有助益理由集之间的比较推理 143
4.10 不同选择之间的比较 145
4.11 对于形式刻画的应用 148
4.12 相关的研究 151
第5章 规则的一致性 153
5.1 导论 153
5.2 规则作为条件句 154
5.3 一致性、相容性和约束条件 157
5.4 规则作为约束条件 161
5.5 无条件的规则 164
5.6 规则的例外 165
5.7 规则的模型论 168
5.8 约束条件 170
5.9 事态之间的相容性 173
5.10 规则的一致性 174
5.11 例外的最少化 178
第6章 何为规范？ 180
6.1 导论 180
6.2 规范的命令理论 182
6.3 规范作为命令的效果 187
6.4 道义事实 195
6.5 真之符合论 202
6.6 基于理由的事实 208
6.7 道义事实 212
6.8 关于规则 222
6.9 何为规范？ 232
第7章 法的静态学与法的动态学 235
7.1 法的建模 235
7.2 事态之间的两种关联 236
7.3 事态 238
7.4 事件 241
7.5 规则 244
7.6 签订一个买卖合同 247
7.7 分类 249
7.8 权利 251
7.9 法律行为 255
7.10 有效性 256
7.11 法律事实 257
第8章 人工智能与法领域中的论辩模型 260
8.1 导论 260
8.2 洛伦岑和洛伦兹的先驱性工作 261
8.3 可废止性与论辩术 266
8.4 诸种不同的论辩术主题 274
8.5 真与证成：一个离题的哲学讨论 278
8.6 戈登的“诉答博弈” 285
8.7 法的程序式本质和修辞性本质 288
8.8 法律规则在确立法的对话中的作用 291
8.9 关于对话规则和对话步骤的推理 294
8.10 证明责任以及仲裁者的作用 296
8.11 中介系统 298
8.12 总结性评论 301
第9章 法律推理与法律整合 305
9.1 导论 305
9.2 谋杀配偶案 306
9.3 法作为一个开放的体系 310
9.4 理由及其逻辑 311
9.5 规则推理的涵摄模型 316
9.6 规则应用的“理由模型” 318
9.7 法的双层模型 321
9.8 规则应用之理由模型和法的开放性本质 324
9.9 案例推理的“理由模型” 328
9.10 案例推理和规则推理的对比 333
9.11 再议谋杀配偶案 336
9.12 可能与现实 339
9.13 结论 340
参考文献 342
索引 359