建模法律论证的逻辑工具：法律可废止推理研究 [Logical Tools for Modelling Legal Argumen:A Study of Defeasible Reasoning in Law]

　　出版说明
　　总序
　　译者引言
　　中文版序言
　　英文版序言
　　第1章 引论
　　1.1 人工智能、逻辑与法律推理：一般性评论
　　1.2 研究焦点
　　1.3 逻辑与人工智能
　　1.4 出发点
　查看完整　　

　　亨利·帕肯男，1960年生，荷兰乌得勒支大学信息与计算机科学系讲师，格罗宁根大学法学院和人工智能系教授。1985年和1988年分别在格罗宁根大学获得法学硕士学位和哲学硕士学位，1993年在阿姆斯特丹自由大学获得哲学博士学位，其博士学位论文标题是《建模法律论证的逻辑工具》。其主要研究领域有：计算论证、非单调逻辑、人工智能与法、论证理论、计算机科学等。2008～2009年任国际人工智能与法协会（IAAIL）主席，现任论证计算模型协会（COMMA）执行委员会主席，荷兰法律知识与信息系统基金会（JURIX）主席，《人工智能与法》、《论证与计算》以及《逻辑与计算》杂志编委会成员。
　　熊明辉，男，哲学博士，1968年生于贵州省务川仡佬族苗族自治县，广东省“珠江学者”特聘教授，教育部新世纪优秀人才支持计划入选者，现任中山大学哲学系教授和逻辑学专业博士生导师，中山大学法学院法学理论专业博士生导师，教育部普通学校人文社会科学重点研究…
　查看完整　　

　　《建模法律论证的逻辑工具：法律可废止推理研究》是作者1993年著名博士学位论文之完全扩充修改版。为了为人工智能的法律应用提供哲学基础，它研究了法律推理的逻辑方面。它尊重法律推理常常发生在争论背景之下，注意到了法律给出不一致以足够空间，这意味着律师的推理是在有例外可能性之下进行的，并且伴有矛盾的法源，在没有非演绎推理如类比推理前的情况下是无法进行时推理的。《建模法律论证的逻辑工具：法律可废止推理研究》表明，与通常所说的相反，如果使用在逻辑与人工智能领域中关于所谓非单调推理和可废止论证的最新进展，并且如果逻辑被认为是一种工具而不是法律论证的模型，那么这些特征逃脱不了逻辑分析。《建模法律论证的逻辑工具：法律可废止推理研究》与法哲学、人工智能、逻辑以及论证理论领域的学者相关，并且也能作为人工智能与法、非单调推理和法律论证的研究生课程教科书。

　　出版说明
　　总序
　　译者引言
　　中文版序言
　　英文版序言
　　第1章 引论
　　1.1 人工智能、逻辑与法律推理：一般性评论
　　1.2 研究焦点
　　1.3 逻辑与人工智能
　　1.4 出发点
　　1.5 本书的结构
　　第2章 法律推理中逻辑的作用
　　2.1 关于逻辑的三个误解
　　2.2 “演绎谬误”
　　2.3 用逻辑工具进行非推论性推理
　　2.4 规则推理与案例推理
　　2.5 小结
　　第3章 新逻辑工具的需求
　　3.1 法律的规则与例外分离
　　3.2 法律规则的可废止性
　　3.3 开放结构
　　3.4 需要何种标准技术
　　3.5 非标准特征的人工智能与法程序
　　第4章 非单调推理的逻辑
　　4.1 非单调逻辑
　　4.2 一般事项
　　4.3 对非单调逻辑的异议
　　第5章 表达显性例外
　　5.1 引言
　　5.2 缺省逻辑
　　5.3 限定逻辑
　　5.4 普尔的缺省推理框架
　　5.5 逻辑编程的失败性否定
　　5.6 评价
　　第6章 优先选择最具体的论证
　　6.1 引言
　　6.2 普尔：优先选择最特别解释
　　6.3 问题
　　6.4 建构和比较论证的系统
　　……
　　第7章 不一致信息推理
　　第8章 优先关系推理
　　第9章 可废止论辩系统
　　第10章 使用论证系统
　　第11章 结语
　　附录A记号、排序与术语
　　参考文_献
　　索引
^ 收 起　　

　　亨利·帕肯男，1960年生，荷兰乌得勒支大学信息与计算机科学系讲师，格罗宁根大学法学院和人工智能系教授。1985年和1988年分别在格罗宁根大学获得法学硕士学位和哲学硕士学位，1993年在阿姆斯特丹自由大学获得哲学博士学位，其博士学位论文标题是《建模法律论证的逻辑工具》。其主要研究领域有：计算论证、非单调逻辑、人工智能与法、论证理论、计算机科学等。2008～2009年任国际人工智能与法协会（IAAIL）主席，现任论证计算模型协会（COMMA）执行委员会主席，荷兰法律知识与信息系统基金会（JURIX）主席，《人工智能与法》、《论证与计算》以及《逻辑与计算》杂志编委会成员。
　　熊明辉，男，哲学博士，1968年生于贵州省务川仡佬族苗族自治县，广东省“珠江学者”特聘教授，教育部新世纪优秀人才支持计划入选者，现任中山大学哲学系教授和逻辑学专业博士生导师，中山大学法学院法学理论专业博士生导师，教育部普通学校人文社会科学重点研究基地中山大学逻辑与认知研究所副所长，中国政法大学司法文明协同创新中心教授，广东省普通学校人文社会科学重点研究基地中山大学法学理论与法律实践研究中心研究员。主要研究领域有非形式逻辑、法律逻辑、论证理论、人工智能与法、证据法学等。代表性专著是《诉讼论证》（中国政法大学出版社2010年版），代表性教材是《逻辑学导论》（复旦大学出版社2011年版），代表性论文有《论法律逻辑中的推论规则》（载《中国社会科学》2008年第3期）和《自然语言论证评价的逻辑分析》（载《哲学研究》2006年第10期），代表性项目有2006年国家社科基金一般项目“基于非形式逻辑的法律论证研究”和2013年国家社科基金重点项目“全面推进依法治国的逻辑理性根基”。
^ 收 起　　

　　《建模法律论证的逻辑工具：法律可废止推理研究》是作者1993年著名博士学位论文之完全扩充修改版。为了为人工智能的法律应用提供哲学基础，它研究了法律推理的逻辑方面。它尊重法律推理常常发生在争论背景之下，注意到了法律给出不一致以足够空间，这意味着律师的推理是在有例外可能性之下进行的，并且伴有矛盾的法源，在没有非演绎推理如类比推理前的情况下是无法进行时推理的。《建模法律论证的逻辑工具：法律可废止推理研究》表明，与通常所说的相反，如果使用在逻辑与人工智能领域中关于所谓非单调推理和可废止论证的最新进展，并且如果逻辑被认为是一种工具而不是法律论证的模型，那么这些特征逃脱不了逻辑分析。《建模法律论证的逻辑工具：法律可废止推理研究》与法哲学、人工智能、逻辑以及论证理论领域的学者相关，并且也能作为人工智能与法、非单调推理和法律论证的研究生课程教科书。