什么是论证理论？论证理论是关于如何构建、交换、评估和解决论证的跨学科研究，涵盖修辞、形式和非形式逻辑、辩证，甚至计算机论证用于人工智能
论证理论研究人们实际进行的推理，而不是抽象的逻辑。它始于苏格拉底，受到柏拉图的辩证和亚里士多德的修辞（ethos、pathos、logos）和三段论逻辑的影响，通过西塞罗和昆体良以及中世纪经院哲学的发展，并在1958年由斯蒂芬·图尔明的论证结构模型和哈伊姆·佩雷尔曼的新修辞学复兴。其主要分支是修辞（说服的艺术）、形式逻辑（有效推理）、非形式逻辑和批判性思维（评估日常论证和谬误）以及辩证（通过对话进行推理）。关键的现代框架包括图尔明模型（主张、数据、保证、支持、限定和反驳）、pragma-辩证（范埃默伦和格罗滕多斯特）、道格拉斯·沃尔顿的论证方案、詹姆斯·弗里曼的论证宏观结构模型和潘明东1995年的抽象论证框架，这使得计算机可以推理哪些论证获胜
什么是论证理论？
研究论证如何构建、交换和评估的学科——一个2400年历史的领域，从古希腊一直延伸到人工智能的推理。论证理论是论证映射和结构化决策的知识基础
上 2026-07-02
TL;DR
论证理论是关于人们如何进行推理的跨学科研究——如何支持、攻击和解决一个主张。它借鉴了修辞(说服)、逻辑(有效推理)和辩证(通过对话进行推理)，近几十年来变得更加计算化：正式的框架使软件能够表示和评估论证。实践的回报是论证映射——将理论转化为团队可以使用的利弊结构
论证理论研究什么
形式逻辑询问结论是否从前提中得出。论证理论询问一个更广泛、更复杂的问题：人们如何在不完整的信息和相互竞争的利益下共同推理？它将论证视为一个动态的过程，而不是静态的证明——可以被支持、质疑、攻击和辩护
- •如何通过证据和推理支持主张
- •如何攻击、反驳和削弱论证
- •如何区分强有力的论证和弱有力的或谬误的论证
- •如何通过结构化对话解决分歧
从苏格拉底到人工智能：简史
论证理论是最古老的持续研究领域之一。几个转折点：
苏格拉底
古希腊的第一批修辞学教师将说服视为可学习的技能——为最早的基础奠定了基础，即使柏拉图批评他们将胜利置于真理之上
柏拉图和亚里士多德
柏拉图的对话模拟了辩证——通过结构化提问追求真理。亚里士多德随后奠定了两个基础：修辞（通过ethos、pathos和logos进行说服）和器官论，它引入了三段论和形式逻辑
西塞罗和昆体良
罗马修辞学家系统化了论证的艺术，并强调了其伦理维度——说服服务于善良，而不仅仅是有效
阿贝拉尔和阿奎那
中世纪经院哲学家通过辩论——正式的“支持”和“反对”方法——完善了亚里士多德的逻辑，这是利弊结构的直接祖先
图尔明和佩雷尔曼
现代复兴。斯蒂芬·图尔明的《论证的用途》绘制了实际论证的各个部分，哈伊姆·佩雷尔曼的新修辞学将该领域从形式证明转移到人们实际说服的方式
邓和计算
潘明东的抽象论证框架为该领域提供了正式的计算核心——使人工智能系统能够推理哪些论证可以在攻击中幸存
论证理论的分支
该领域真正是跨学科的——哲学、语言学、心理学、法律和计算机科学都有贡献。其主要分支：
修辞
说服的艺术。亚里士多德的三个诉求（ethos、pathos和logos）仍然是论证如何说服观众的工作词汇
形式逻辑
结论是否从前提中有效得出：三段论、命题和谓词逻辑。独立于内容的真理保护结构
非形式逻辑和批判性思维
评估实际的日常论证——识别谬误、测试证据和判断形式逻辑无法捕捉的推理
辩证
通过对话和相反的观点进行推理，从苏格拉底方法到现代pragma-辩证。真理（或最好的答案）从结构化的分歧中产生
计算论证
使机器能够表示、提取和评估论证的正式框架和论证挖掘——连接该领域与人工智能的分支。最近的工作甚至将分层论证图直接嵌入到大型语言模型中
关键框架
几个模型正式化了论证的结构和评估。值得了解的模型：
图尔明模型
斯蒂芬·图尔明，1958将单个论证分解为六个部分——主张、数据、保证、支持、限定和反驳。单个论证的标准解剖
pragma-辩证
范埃默伦和格罗滕多斯特将论证视为规则化的批判性讨论，通过四个阶段——对抗、开场、论证和结论——以解决意见分歧为目标，并将命名的谬误视为规则的违反
罗杰斯方法
卡尔·罗杰斯建立在同理心而非战斗上的说服策略：首先公平地陈述相反的观点，找到真正的共同点，并朝着双方都能接受的立场前进。与输赢辩论相反
沃尔顿的论证方案
道格拉斯·沃尔顿大约60种日常推理的重复模式（专家意见、因果关系、类比等），每种都配有测试其是否成立的批判性问题
弗里曼模型
詹姆斯·弗里曼，1991将论证重构为支持者和反对者的交流，具有支持、反驳和削弱的关系——在复杂的实际推理中表现出色
抽象和基于价值的论证
邓，1995；本奇-卡彭，2003论证作为具有“攻击”关系的节点；正式语义决定哪些集合是可接受的。基于价值的框架添加了优先级，模拟了为什么合理的人会有不同意见。人工智能论证的正式核心
为了比较这些框架及其如何转化为视觉利弊树，请参阅论证映射。
论证出现的位置：论证类型
论证理论还对论证出现的类型进行了分类——结构化推理的有用地图。两个轴（书面与口头、独白与对话）给出了四个家族，以及一个日益增长的数字第五个：
书面独白
说服性文章、社论和意见文章、论证博客文章、科学文章、法律简报
书面对话
评论线程、论坛讨论、电子邮件辩论、在线论证
口头独白
政治演讲、法庭辩论、说服性演讲
口头对话
正式辩论、专题讨论、谈判、团队会议
数字和多媒体
播客、网络研讨会、社交媒体线程、视频评论、纪录片
无论论证在哪里提出，相同的底层结构——主张、支持和反对——都可以被提取和映射
Argumentree如何应用论证理论
Argumentree将几个世纪的理论转化为可用的工具。其利弊论证树是上述框架的实用综合，建立在论证映射之上：
主张、支持和攻击
每个论证都是一个与其支持或反对的理由相关的主张——弗里曼的支持/反驳/削弱结构，变得可见
哪一方占上风
参与者评估论证；评估聚合到树上，形成净支持分数——邓的“哪些论证幸存”的问题由团队回答，而不是逻辑学家
测试推理
显式结构化论证表面化了弱点、隐藏的假设和谬误——非形式逻辑和论证方案传统，内置于格式中
从文本到结构
人工智能提取将转录和文档转化为结构化论证——论证挖掘的分支，应用于实际会议
论证理论是论证映射、结构化决策和协作决策的基础。它是理论；做出好的决定是实践
常见问题
什么是论证理论？
论证理论是关于如何构建、交换、评估和解决论证的跨学科研究。与纯粹的形式逻辑不同，形式逻辑仅询问结论是否从前提中得出，论证理论研究人们实际进行的推理——如何支持、攻击和辩护主张。它借鉴了哲学、语言学、心理学、法律和计算机科学
谁创立了论证理论？
它没有单一的创始人。其根源在于古希腊——苏格拉底是第一批修辞学教师，柏拉图的辩证和亚里士多德的修辞（ethos、pathos、logos）和三段论逻辑是基础。西塞罗、昆体良和中世纪经院哲学家进一步发展了它。现代领域是在1958年由斯蒂芬·图尔明和哈伊姆·佩雷尔曼复兴的，并在1995年由潘明东赋予了计算形式
论证理论的主要分支是什么？
四个经典分支加上一个现代分支：修辞（说服的艺术）、形式逻辑（有效推理）、非形式逻辑和批判性思维（评估日常论证和谬误）、辩证（通过对话进行推理）和计算论证（使机器能够表示和评估论证的正式框架和论证挖掘）
修辞、逻辑和辩证有什么区别？
修辞是关于说服观众；逻辑是关于独立于观众的推理有效性；辩证是关于通过结构化对话达到真理或最好的答案。亚里士多德将这三者视为不同的艺术，论证理论研究它们如何在实际推理中协同工作
论证理论如何与论证映射相关？
论证映射是论证理论的视觉和实践应用。理论提供了模型——图尔明的论证部分、弗里曼的支持和攻击关系、邓的论证幸存问题。论证映射将这些模型转化为图表，工具如Argumentree将图表转化为带有评分和人工智能提取的工作利弊树
论证理论如何在人工智能中使用？
潘明东1995年的抽象论证框架为人工智能提供了正式的方式来表示论证为具有“攻击”关系的节点，并计算哪些论证集可以被合理接受。结合论证挖掘——从文本中提取主张和关系——这使人工智能系统能够支持决策、法律推理和谈判，并支持将文档和转录转化为结构化论证的工具
参考文献和进一步阅读
亚里士多德（公元前350年）。修辞；和器官论（前分析）
奠基之作：三个诉求（ethos、pathos、logos）和三段论逻辑
佩雷尔曼，C.，& 奥尔布雷希茨-泰特卡，L.（1958）。新修辞：论证论。诺特丹大学出版社
将论证重焦点从形式证明转移到实际说服
范埃默伦，F. H.，& 格罗滕多斯特，R.（2004）。论证的系统理论：pragma-辩证方法。剑桥大学出版社
论证作为规则化的批判性讨论；谬误作为规则的违反
杨，R. E.，贝克尔，A. L.，& 派克，K. L.（1970）。修辞：发现和变化。哈考特、布雷斯和世界
引入了罗杰斯论证——通过同理心和共同点进行说服，源自心理学家卡尔·罗杰斯
从理论到可以辩护的决定
Argumentree将2400年的论证理论付诸实践——作为团队可以构建、评估和保持的结构化利弊树。将推理转化为更好的决定
开始免费