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

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

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