出版說明
總序
譯者序
中文版序
前言
致謝
第1章 導論
第2章 法律論域：第九條
2.1 對第九條的介紹
2.2 第九條中的優先性規則
2.3 規則間的高階衝突
第3章 關於法律推理的哲學
3.1 哈特的分析法學
3.2 羅迪格的法律邏輯
3.2.1 公理化
3.2.2 形式化
3.2.3 對羅迪格理論的評價
3.3 阿列克西的法律論辯理論
3.3.1 規範性的實踐話語理論
3.3.2 哈貝馬斯的話語邏輯
3.3.3 埃爾朗根學派
3.3.4 佩雷爾曼的新修辭學
3.3.5 對阿列克西理論的評價
3.4 話語博弈的維度
第4章 論辯的形式化模型
4.1 洛倫岑的對話邏輯
4.2 普洛克的奧斯卡爾繫統的可廢止推理模型
4.3 西馬裡與路易的繫統
4.4 條件推衍
4.5 相關的工作
第5章 訴答博弈
5.1 民事訴答
5.2 表達顯性例外的語言
5.3 訴答博弈
5.4 細節性的案例
5.5 審判博弈
5.6 論辯圖
5.7 爭議點概念
第6章 標準ML語言巾的實現繫統
6.1 標準ML語言的模塊繫統
6.2 模塊概覽
6.3 Cil——子句型直覺主義邏輯的定理證明器
6.4 Rules——規則語言翻譯器
6.5 Mrms——*小理由維護繫統
6.6 Record——訴答博弈的博弈盤
6.7 Ce——條件推衍的定理證明器
6.8 Clerk——訴答博弈的調解人
第7章 結論
附錄A 第九條世界
A.1 A9W**條：總則