目錄：

出版說(shuō)明

總序

譯者序

中文版序

前言

致謝

第1章導(dǎo)論

第2章法律論域：第九條

2.1對(duì)第九條的介紹

2.2第九條中的優(yōu)先性規(guī)則

2.3規(guī)則間的高階沖突

第3章關(guān)于法律推理的哲學(xué)

3.1哈特的分析法學(xué)

3.2羅迪格的法律邏輯

3.2.1公理化

3.2.2形式化

3.2.3對(duì)羅迪格理論的評(píng)價(jià)

3.3阿列克西的法律論辯理論

3.3.1規(guī)范性的實(shí)踐話語(yǔ)理論

3.3.2哈貝馬斯的話語(yǔ)邏輯

3.3.3埃爾朗根學(xué)派

3.3.4佩雷爾曼的新修辭學(xué)

3.3.5對(duì)阿列克西理論的評(píng)價(jià)

3.4話語(yǔ)博弈的維度

第4章論辯的形式化模型

4.1洛倫岑的對(duì)話邏輯

4.2普洛克的奧斯卡爾系統(tǒng)的可廢止推理模型

4.3西馬里與路易的系統(tǒng)

4.4條件推衍

4.5相關(guān)的工作

第5章訴答博弈

5.1民事訴答

5.2表達(dá)顯性例外的語(yǔ)言

5.3訴答博弈

5.4細(xì)節(jié)性的案例

5.5審判博弈

5.6論辯圖

5.7爭(zhēng)議點(diǎn)概念

第6章標(biāo)準(zhǔn)ML語(yǔ)言中的實(shí)現(xiàn)系統(tǒng)

6.1標(biāo)準(zhǔn)ML語(yǔ)言的模塊系統(tǒng)

6.2模塊概覽

6.3Cil子句型直覺(jué)主義邏輯的定理證明器

6.4Rules規(guī)則語(yǔ)言翻譯器

6.5Mrms最小理由維護(hù)系統(tǒng)

6.6Record訴答博弈的博弈盤

6.7Ce條件推衍的定理證明器

6.8Clerk訴答博弈的調(diào)解人

第7章結(jié)論

附錄A第九條世界

A.1A9W第1條：總則

A.2A9W第2條：銷售

A.3A9W第9條：擔(dān)保交易

A.4法律原則

A.5常識(shí)知識(shí)

A.6謂詞符號(hào)的字典

附錄B法律術(shù)語(yǔ)詞匯表

參考文獻(xiàn)

索引