SCNU Center for Logic and Analytic Philosophy

---

摘要：形式论辩系统研究旨在通过对人类论辩过程的刻画，沟通人类推理和机器推理。其发展主要开端于人工智能领域，并在近几十年间迅速成为一个备受关注的跨学科研究话题，涉及逻辑学、语用学、认知科学等多个方向。当前，如何合理地对自然语言论辩进行建模，是相关形式系统实现可应用性的关键问题之一。

滑坡论证常见于法庭、伦理论辩及各类协商情境，既具有鲜明的特征，又与包含价值判断的实践推理关系密切。以沃尔顿（D.Walton）等人为代表的论证图式研究中对其特征和结构进行了细致的分析和概括。本次报告将以滑坡论证为例，借鉴相关论证图式，介绍基于形式论辩理论为论证建模方法，并试图围绕这一主题拓展，探讨几种密切相关的研究途径。