川新广审批准字（2016）301号 在法哲学领域，法律论证已经成为一个重要的研究课题。本书对论证逻辑下了一个新的定义，认为论证逻辑不是一种独立的逻辑，而是当代论证理论和可计算论辩理论的概括性统称，或者说更像是一种应用逻辑。本书的贡献在于将两种研究进路结合在一起，一方面，本书研究了可计算论辩模型对于当代论证理论的形式化理论；另一方面，本书还讨论了当代论证理论对可计算论辩模型的启发。本书还重点梳理了这两种进路如何结合在一起，用于发掘法律论证理论更多的研究价值。

魏斌，男，江西南昌人，中山大学逻辑学博士，格罗宁根大学法学院联合培养博士（2011-2012年国家留学基金委项目），西南政法大学行政法学院讲师。主要研究兴趣有人工智能与法、法律逻辑、法律方法论和可计算论辩理论。曾在《哲学研究》《学术研究》《自然辩证法研究》《中山大学学报》《Journal of Argument and Computation》等靠前外期刊发表论文若干篇，另有若干篇文章收录于“人工智能与法靠前会议”（ICAIL2015）、“法律知识与信息系统靠前会议”（JURIX2012）和“自然论证的可计算建模靠前会议”（CMNA2012）的出版论文集。

章 法哲学、 法律论证与逻辑 ／ １节 法律论证的法哲学进路 ／ １ 一、 哈贝马斯的交往理性理论 ／ ２ 二、 阿列克西的法律论证理论 ／ ５ 三、 麦考密克的法律论证理论 ／ ２０第二节 法律论证和逻辑 ／ ２８ 一、 法哲学进路中的逻辑 ／ ２８ 二、 法律论证的逻辑特征 ／ ３１第三节 何种法律论证的逻辑 ／ ３３第二章 法律论证适用的论证逻辑 ／ ３８节 逻辑之于法律概观 ／ ３８第二节 论证逻辑——一种天然的法律逻辑 ／ ４１第三节 论证逻辑之于法律 ／ ４６第三章 基于非形式逻辑的法律论证理论 ／ ５３节 新论辩术与法律论证理论 ／ ５４ 一、 新论辩术 ／ ５４ 二、 法律论证理论之新论辩术之维 ／ ６５第二节 语用论辩术与法律论证理论 ／ ６７ 一、 语用论辩术 ／ ６７ 二、 法律论证理论之语用论辩术之维 ／ ７２第三节 约翰逊的论证理论与法律论证理论 ／ ７７ 一、 语用论证理论 ／ ７７ 二、 法律论证理论之语用论证理论之维 ／ ８１第四节 非形式逻辑的比较 ／ ８４ 一、 多维路径的相似点 ／ ８４ 二、 多维路径的差异 ／ ８５第四章 基于可计算论辩理论的法律论证理论 ／ ８８节 Ｄｕｎｇ 氏抽象论辩模型 ／ ８９ 一、 论辩的扩充语义 ／ ８９ 二、 论辩的标记语义 ／ ９２ 三、 抽象论辩理论的证明论 ／ ９５第二节 可废止和结构化论辩框架 ／ ９８ 一、 可废止论辩框架 ／ ９８ 二、 结构化论辩框架 ／ １００ 三、 应用分析 ／ １０３第三节 论证与故事的混合模型 ／ １０７ 一、 论辩的形式理论 ／ １０８ 二、 解释的形式理论 ／ １１２ 三、 论辩和解释的混合理论 ／ １１５第四节 可计算论辩的应用系统 ／ １２３ 一、 基于对话或论辩的形式系统 ／ １２３ 二、 基于先例的形式系统 ／ １２４ 三、 基于规则的专家系统 ／ １２６ 四、 构造论辩系统 ／ １２６第五节 可计算论辩理论的优缺点 ／ １２７第五章 非形式逻辑的形式化 ／ １３０节 非形式概念的形式化 ／ １３０ 一、 论证概念的表达 ／ １３１ 二、 攻击类型和击败关系的定义 ／ １３２ 三、 图解方法和论证结构的形式化 ／ １３３ 四、 论证图式的形式化 ／ １３５ 五、 论证评估理论的构建 ／ １３６ 六、 动态性和程序性的建模 ／ １３７第二节 新论辩术和语用论辩术的形式化 ／ １３９第三节 约翰逊的论证理论的形式化 ／ １４３ 一、 推论性核心框架 ＩＣ ／ １４３ 二、 论辩性外层框架 ＤＴ ／ １４５第四节 诉诸专家的论辩模型 ／ １４７ 一、 诉诸专家的论辩框架 ／ １４７ 二、 诉诸专家的论辩 （扩充） 语义 ／ １５２ 三、 诉诸专家的论辩 （标记） 语义 ／ １５５第五节 未被超越的非形式逻辑 ／ １６１第六章 面向综合的研究进路 ／ １６３节 综合的研究方法 ／ １６３第二节 案例分析 ／ １６８第七章 结语与展望 ／ １８２参考文献 ／ １９２