由阿尔诺·R.洛德*的《对话法律(法律证成和论证的对话模型)》的目标是建模一种刻画法律证成的对话式模型，作者将它称为对话法律。本书从证成的结果和过程的哲学讨论开始，认为作为结果的证成难以刻画法律证成的可废止性和法律的开放性，也无法绕开明希豪森三重困境，因而必须要转向对话的视角来研究作为过程的法律证成。对话法律的理论模型包括两个部分：一是对话框架和一般规则；二是在此基础上添加的富有法律意味的交流的特殊规则?br/>在作者看来，对话法律综合了理性论辩和对话式理性论辩两种进路，它具备两重功能：作为分析性模型，它有助于一般意义上*好地洞察法律证成；作为规范性模型，它为人们应当如何进行法律证成提供指引?br/>
值得强调的是，本书的研究与其他人工智能与法研究不同的是，它在建构一种对话法律的模型基础上，还应用逻辑程序语言(Prolog)实现了这种模型，增强了对话法律运用于真实案例的可实现性。本书与法律方法论、法律逻辑、人工智能与法以及法律信息学相关，适合这些领域的目标读者。同时，本书还适用于对逻辑程序及其应用感兴趣的读者?br/>
出版说明
总序
译者引言
中文版序占
英文版序言
第1章 引论
1.1 人工智能与法
1.2 法律证成
1.3 本书大纲
第2章 从法律到对话法律：为什么法律证成应当被对话式建模
2.1 证成的结果和过程
2.2 作为结果的证成
2.3 法律证成的可废止性
2.3.1 规则的例外
2.3.2 冲突的规范
2.4 法律的开放性
2.4.1 无适用规范的案例
2.4.2 模糊的法律语言
2.5 明希豪森三重困境
2.6 作为过程的证成：一个对话模型
2.7 在对话模型中处理可废止性、开放性与明希豪森三重困境
2.8 对话规则和变更协议的证成
2.9 法律证成的程序有多纯粹？
2.10 结语
第3章 对话法律框架和一般规则
3 。1 对话法律中的证成
3.2 对话法律的基本概念
3.2.1 参与者
3.2.2 博弈的行动
3.2.3 明责任
3.2.4 承诺
3.2.5 对话规则
3.2.6 对话的层次
3.3 对话法律的对话框架
3.3.1 语言
3.3.2 对话行动
3.3.3 承诺库
3.3.4 对话
3.3.5 对话树
3.4 交流的一般规则
3.4.1 主线中的互动
3.4.2 承诺的起源
3.4.3 一般条件
3.4.4 主张后的行动
3.4.5 质疑后的行动
3.4.6 接受和收回后的行动
3.5 走向法律证成
第4章 对话法律交流的特殊规则
4.1 特殊语言要素
4.1.1 对话法律中的理由逻辑引介
4.1.2 特殊语言要素的形式化特征
4.2 交流的特殊语言法律工具和受迫承诺
4.2.1 妻用规则的理由
4.2.2 关于应用、理由以及排除
4.2.3 关于胜过和理由
4.2.4 关于无效一主张
4.3 结束语
第5 案实践中的对话法律
5.1 泰利尔案例
5.2 夏博特案
5.2.1 适用规则的理由
5.2.2 关于适用、理由和排除
5.2.3 关于理由和胜过
5.3 结束语
第6章 论辩的对话模型
6.1 模型的目的
6.2 一个简短的对话样本
6.3 麦肯齐的DC博弈和汉布林的H博弈
6.3.1 行动
6.3.2 承诺
6.3.3 结语
6.4 雷斯彻的论辩术和布鲁卡的形式化理论
6.4.1 行动
6.4.2 对话规则
6.4.3 承诺
6.4.4 结束语
6.5 戈登的诉答博弈
6.5.1 诉答博弈的形式化描述
6.5.2 行动
6.5.3 对话规则
6.5.4 相关性和问题
6.5.5 承诺
6.5.6 建议和结束语
6.6 行动和承诺的研究
6.6.1 行动
6.6.2 承诺
6.7 其他相关研究
6.7.1 范爱默伦和格罗顿道斯特
6.7.2 弗雷斯维克的基于论证的论辩术
6.7.3 HELIC系统
6.7.4 路易：协议和原理
6.7.5 法利和弗里曼的证明责任层次
6.8 结论
第7章 什么是论证？论辩的程序模艘的性质
7.1 论辩：两个视角
7.1.1 逻辑视角
7.1.2 心理视角
7.2 论辩：两种类型
7.2.1 理性和对话式理性论辩
7.2.2 判例法中的对话式论辩
7.3 面向进路的整合
7.4 对话法律：理性和对话式理性论辩
7.5 程序化和结构化论证
7.6 法律论证模型中的层次
7.7 结论
第8 案结论
8.1 关于法律证成
8.2 回答
8.2.1 如何判定法律命题是被证成的？为了证成法律命题，是否存在必须要满足的标准？
8.2.2 法律证成的何种模型是令人满意的？是否可能界定和实现这种模型？
8.2.3 可比较的模型如何表达论辩？
8.2.4 对于法律证成中的论证，什么是可接受的？
8.3 未来：面向自然对话
8.4 结束语
附录 对话法律的逻辑程序代码
参考文献
人名索引
关键词索引
书单推荐
