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