本書立足于法學(xué)和道德哲學(xué)，為論辯研發(fā)了一種形式模型，被稱為訴答博弈。訴答博弈是基于論辯研究非單調(diào)邏輯的方法的一種擴展。本書所采用的方法是先考察一些重要的法學(xué)論辯和推理理論。這能夠更好地評估規(guī)則之間的優(yōu)先性關(guān)系的類型和種類。這還有助于確認(rèn)政府的立法與司法機構(gòu)之間的真正的權(quán)力劃分，引發(fā)了關(guān)于推理和論辯的恰當(dāng)模型的研究。本書研究的訴答博弈是以當(dāng)代德國法哲學(xué)家阿列克西發(fā)展起來的法律論辯的話語理論為基礎(chǔ)的。有訴答博弈來建立模型的法律活動是民事訴訟，其中當(dāng)事雙方通過交互提出論證和相反論證來確認(rèn)爭議點，以便讓法庭進行裁決。本書還包含了對于訴答博弈調(diào)解系統(tǒng)的高層級描述，足以使之在選定的編程語言中重新得到實現(xiàn)。
作者簡介：
托馬斯·F.戈登1993年畢業(yè)于達(dá)姆施塔特科技大學(xué)計算機科學(xué)院獲得理學(xué)博士學(xué)位。2000年至今任德國弗勞恩霍夫開放通信系統(tǒng)研究所（FOKUS）高級研究員，同時兼任波茲坦大學(xué)計算機科學(xué)研究所榮譽教授。曾任德國國家計算機研究中心高級科學(xué)家、《人工智能與法》雜志的法律論辯欄目編輯、《論證與計算》雜志編委、2004~2006年度國際人工智能與法學(xué)會主席等職務(wù)。主要從事法律信息科學(xué)及相關(guān)領(lǐng)域的應(yīng)用性與跨學(xué)科研究，包括人工智能與法和論證的計算機模型等領(lǐng)域問題。
譯者簡介：
周志榮 江蘇南京人，2010年畢業(yè)于清華大學(xué)哲學(xué)系，獲邏輯學(xué)專業(yè)博士學(xué)位�，F(xiàn)為中南財經(jīng)政法大學(xué)哲學(xué)院副教授，碩士生導(dǎo)師。主要研究方向為邏輯哲學(xué)、法律邏輯、分析哲學(xué)。目前已在《哲學(xué)研究》《世界哲學(xué)》《自然辨證法研究》和《邏輯學(xué)研究》等核心期刊上發(fā)表論文十?dāng)?shù)篇，并出版專著一部（《真與意義的元語義學(xué)研究》，2006年）。分別主持國家社科基金青年項目和教育部人文社會科學(xué)研究青年基金項目各一項。
目錄：
出版說明
總序
譯者序
中文版序
前言
致謝
第1章導(dǎo)論
第2章法律論域：第九條
2.1對第九條的介紹
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對羅迪格理論的評價
3.3阿列克西的法律論辯理論
3.3.1規(guī)范性的實踐話語理論
3.3.2哈貝馬斯的話語邏輯
3.3.3埃爾朗根學(xué)派
3.3.4佩雷爾曼的新修辭學(xué)
3.3.5對阿列克西理論的評價
3.4話語博弈的維度
第4章論辯的形式化模型
4.1洛倫岑的對話邏輯
4.2普洛克的奧斯卡爾系統(tǒng)的可廢止推理模型
4.3西馬里與路易的系統(tǒng)
4.4條件推衍
4.5相關(guān)的工作
第5章訴答博弈
5.1民事訴答
5.2表達(dá)顯性例外的語言
5.3訴答博弈
5.4細(xì)節(jié)性的案例
5.5審判博弈
5.6論辯圖
5.7爭議點概念
第6章標(biāo)準(zhǔn)ML語言中的實現(xiàn)系統(tǒng)
6.1標(biāo)準(zhǔn)ML語言的模塊系統(tǒng)
6.2模塊概覽
6.3Cil子句型直覺主義邏輯的定理證明器
6.4Rules規(guī)則語言翻譯器
6.5Mrms最小理由維護系統(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常識知識
A.6謂詞符號的字典
附錄B法律術(shù)語詞匯表
參考文獻(xiàn)
索引
書單推薦
