章 法哲学、 法律论证与逻辑 / 1节 法律论证的法哲学进路 / 1 一、 哈贝马斯的交往理性理论 / 2 二、 阿列克西的法律论证理论 / 5 三、 麦考密克的法律论证理论 / 20第二节 法律论证和逻辑 / 28 一、 法哲学进路中的逻辑 / 28 二、 法律论证的逻辑特征 / 31第三节 何种法律论证的逻辑 / 33第二章 法律论证适用的论证逻辑 / 38节 逻辑之于法律概观 / 38第二节 论证逻辑——一种天然的法律逻辑 / 41第三节 论证逻辑之于法律 / 46第三章 基于非形式逻辑的法律论证理论 / 53节 新论辩术与法律论证理论 / 54 一、 新论辩术 / 54 二、 法律论证理论之新论辩术之维 / 65第二节 语用论辩术与法律论证理论 / 67 一、 语用论辩术 / 67 二、 法律论证理论之语用论辩术之维 / 72第三节 约翰逊的论证理论与法律论证理论 / 77 一、 语用论证理论 / 77 二、 法律论证理论之语用论证理论之维 / 81第四节 非形式逻辑的比较 / 84 一、 多维路径的相似点 / 84 二、 多维路径的差异 / 85第四章 基于可计算论辩理论的法律论证理论 / 88节 Dung 氏抽象论辩模型 / 89 一、 论辩的扩充语义 / 89 二、 论辩的标记语义 / 92 三、 抽象论辩理论的证明论 / 95第二节 可废止和结构化论辩框架 / 98 一、 可废止论辩框架 / 98 二、 结构化论辩框架 / 100 三、 应用分析 / 103第三节 论证与故事的混合模型 / 107 一、 论辩的形式理论 / 108 二、 解释的形式理论 / 112 三、 论辩和解释的混合理论 / 115第四节 可计算论辩的应用系统 / 123 一、 基于对话或论辩的形式系统 / 123 二、 基于先例的形式系统 / 124 三、 基于规则的专家系统 / 126 四、 构造论辩系统 / 126第五节 可计算论辩理论的优缺点 / 127第五章 非形式逻辑的形式化 / 130节 非形式概念的形式化 / 130 一、 论证概念的表达 / 131 二、 攻击类型和击败关系的定义 / 132 三、 图解方法和论证结构的形式化 / 133 四、 论证图式的形式化 / 135 五、 论证评估理论的构建 / 136 六、 动态性和程序性的建模 / 137第二节 新论辩术和语用论辩术的形式化 / 139第三节 约翰逊的论证理论的形式化 / 143 一、 推论性核心框架 IC / 143 二、 论辩性外层框架 DT / 145第四节 诉诸专家的论辩模型 / 147 一、 诉诸专家的论辩框架 / 147 二、 诉诸专家的论辩 (扩充) 语义 / 152 三、 诉诸专家的论辩 (标记) 语义 / 155第五节 未被超越的非形式逻辑 / 161第六章 面向综合的研究进路 / 163节 综合的研究方法 / 163第二节 案例分析 / 168第七章 结语与展望 / 182参考文献 / 192