本书致力于非形式逻辑研究的论证型式类型化，致力于探索论证的型式、类型及其构成；从微观上区分、分析、形构、取舍、依赖和平衡不同的具体论辩情境要素；从宏观上引导、归类、容纳和统摄各异的系统论辩型式序列；探究单个论证型式以及论证型式之间的划分标准、评价标准以及实现论证类型的层次化和系统化。

杨宁芳，中国计量大学教授，硕士生导师。主要研究方向为逻辑哲学、非形式逻辑、法律逻辑。主要学术兼职有：中国自然辩证法研究会会员、浙江省逻辑学学会理事、浙江省伦理学学会理事、浙江省马克思主义基本原理概论学会常务理事。发表学术论文30多篇，多篇文章被引用。在权威期刊《哲学研究》发表论文两篇，C刊及其他核心期刊发表论文近10篇，人大复印资料全文转载一篇。

导论
一、问题的缘起与选题的意义
二、论证型式类型化研究的学术综述
三、基本思路、主要方法与内容概述
四、本书研究的创新之处
第一章 论证型式的型式化方法——面向人工智能时代的论证型式
第一节 论证型式及其功能
一、论证型式的界定
二、论证型式的特征
三、论证型式的主要功能
第二节 论证型式的智能化——面向人工智能时代的型式化
一、论证型式的类型
二、关键问题的界定
三、自然语言生成中的论证型式
四、教育学中的应用
五、代理间通信的应用
第三节 走向认知转向的行动描述法
一、非形式推理的行动描述
二、SMART认知架构
三、SMART Net基块的构建
四、SMART中的推理
第四节 走向实践转向的模块法
一、协商论证中的实践推理
二、理论模型：BDI模型和承诺模型
三、工具性实践推理的论证型式
四、基于价值的实践推理
五、评估选择
六、分类论证
七、实践推理的模块化方法
八、应用模块化方法
第二章 论证型式的类型化
第一节 自然语言论证型式及其分类
一、对论证型式进行分类
二、型式及其实施
三、型式和分类
四、论证的类型和推理的类型
五、黑斯廷斯通过区分来改进图尔敏的论证型式
六、古老的推理主题和所谓的后果
七、不完美的桥梁
八、其他关键的论证型式
……
第三章 非形式逻辑的论证型式研究
第四章 论证型式的建模
第五章 可废止论证型式研究
第六章 证据的论证型式研究
第七章 解释性论证的类型化与型式化
第八章 语用论辩的型式及应用
第九章 论证型式在人工智能中的运用研究
第十章 论证型式在政经与教育领域的应用
参考文献