同样的山，同样的火，五种不同的论点

这里有一个论点：那座山上有火，因为有烟。本文的所有参与者都认为这是一个好的论点。几乎没有人同意<em>为什么</em>。

一个亚里士多德主义者会告诉你，这是好的，因为形式是有效的——把“烟”和“火”替换成你喜欢的任何东西，结构依然成立。一个尼耶亚逻辑学家会告诉你，形式并不重要：这是好的，因为烟被火所弥漫，所以推理实际上提供了知识，而不仅仅是保持真理。一个墨子学派的人会问你在将这座山与哪个模型进行比较，以及你认为哪个相似性在发挥作用。一个受过qiyās训练的法学家会要求你指出操作特征，然后为其在失效情况下辩护。而一个中观佛教徒可能会拒绝这个问题，并问你假设了什么，才会将“山”和“火”视为在固定关系中存在的事物。

五种传统，一个无可争议的推论，五种不兼容的论述来解释其运作方式。这并不是丑闻。这是论证比较研究中最有用的事实——因为每种论述都指出了论证在实践中失败的方式，而这些失败模式是不同的。大多数糟糕的会议并不是因为有人犯了形式谬误而糟糕。它们糟糕是因为没有人检查论据的依据、类比或框架。

本文是推理根源系列的比较总结。它将五种结构并排放置——不是为了选出赢家，而是为了展示每种结构所捕捉到的内容和所放过的内容。

五种结构一览

印度五人论证（Nyāya）

Nyāya 形式 有五个成员（avayava）：

• 1. Pratijñā (论点): "山上有火。"
• 2. Hetu (原因): "因为有烟。"
• 3. Udāharaṇa (例子 / 一般规则): "哪里有烟，哪里就有火 — 就像在厨房里一样。"
• 4. Upanaya (应用): "那座山有那种烟。"
• 5. Nigamana (结论): "因此山上有火。"

为什么是五个？因为这个形式是为一个活生生的对手和观众而构建的。论点宣布了争议的内容。例子提供了一个双方都已认可的案例，这就是如何建立而不是假设共同基础。应用将这个已认可的案例与有争议的案例联系起来。结论为正在听而不是阅读的人重申了结果。额外的部分是对话性的工作，而不是逻辑上的冗余。

它所捕捉到的：认识论问题。Nyāya 不会将“它有效吗？”与“它是否提供知识？”分开，而vyāpti——不变的伴随关系——是必须在世界中实际存在的关系。Dharmakīrti 更进一步，要求这种关系必须基于因果关系或本质的同一性，而不是偶然的相关性。用现代术语来说：提供一个机制，而不是散点图。

它允许通过的：没什么太多，但这会让你付出代价。五个成员在正式场合上显得冗长，而Dignāga和Dharmakīrti本人也认为三个就足够了。无论如何，这种形式保持标准，因为教人们争论与教他们证明是不同的。

希腊三段论（亚里士多德）

亚里士多德三段论 有三个：

• 1. 主要前提： "所有人都是凡人。"
• 2. 小前提： "所有希腊人都是人类。"
• 3. 结论： "因此所有希腊人都是凡人。"

为什么是三个？因为三个是展示逻辑关系的最小数量：一个主要项、一个次要项和一个将它们联系起来的中项。亚里士多德将可能性分类为图形和情态，识别出有效的情态，并证明其余的无效。

它所捕捉到的：形式，仅仅是形式——这正是其成就所在。将任何术语替换为巴巴拉，效力依然存在。这是本页上其他传统所没有的唯一事物，假装不是这样对比较没有任何好处。

它允许通过的内容： 很多。命题连接词（斯多噶学派必须添加这些）、量词范围（“每个男人爱某个女人”有两个阅读，三段论无法区分）、类比（被承认，但从未形式化），以及——对实际论证最重要的是——前提的认知状态。一个基于错误前提的有效三段论仍然是一个有效的三段论，而亚里士多德认为这是一个特征。尼耶亚则认为这是一个忏悔。

中国四术（墨家）

墨家 并没有建立三段论。小选 提供的是四个命名的策略——常常被误解，因此这里按照文本的描述：

• Pì (譬) — 类比：提出另一个案例以澄清争议中的问题。
• Móu (侔) — 并列: 将结构相似的表达并排放置，以便接受某些压力，从而接受其余部分。
• Yuán (援) — 拉动： "你是如此，我怎么就不能如此呢？" 引用对手自己接受的案例，让他们找出差异。
• 推 (Tuī) — 推理：将对手已经接受的判断扩展到他们未接受的相关相似案例。

为什么是技术而不是形式？因为墨子的问法是一个名称是否适合一个事物。你通过将案例与一个模型（法）进行比较，并争论哪些相似性是相关的来解决这个问题——而不是通过从前提推导。

它捕捉到的：两件事，这个页面上没有其他东西能捕捉到。首先，承诺：拉和推都从对手已经给予的内容进行辩论，这正是形式对话系统在1990年代必须重新发明的机制。其次，语法的背叛。墨子学派肯定“白马是马，骑白马就是骑马”——并否定“车是木头，因此骑车就是骑木头”。相同的句法，截然相反的判决。他们在文本中所述的结论是，表达之间的相似性只有在一定程度上是正确的，当类比被过度延伸时就会失败。

它允许通过的：链式推理。这里没有将推理堆叠成扩展证明的微积分。对于正式工作来说，这是一个真正的缺口；对于法律、政策和日常论证来说，这可以说是更适用的工具包。

伊斯兰四要素类比（Qiyās）

伊斯兰法律理论 指出四个要素：

• 1. Aṣl（根本案例）：一个已建立的案例，具有已知的裁决。
• 2. Farʿ（分支案例）： 需要一个的新案例。
• 3. ʿIlla（操作原因）：法律上相关的特征，两者共享——例如，醉酒。
• 4. Ḥukm (裁决): 裁决从根源转移到分支，因为它们共享ʿilla。

为什么是四个？ 因为单独命名ʿilla才是关键。任何两个案例在无限多的方面上都相似；这个论点只有在你能说出哪种相似性承载了规则时才有效——然后再为这个选择辩护。

它所捕捉到的：类比的负担。法学家们争论如何发现ʿilla，是否表述得足够清晰和普遍，反例是否会击败它，以及扩展是否与权威文本相冲突。这是对单一类比步骤的四个不同攻击面——比大多数组织先例推理在其生命周期中所受到的审查还要多。

它允许通过的：它扩展权威而不是建立权威。Qiyās假设有一套被接受的先例，并且只能从中推理。对于理论探究来说，这是一种限制；对于法律和政策来说，这准确描述了决策是如何实际积累的。

佛教四角审查 (Catuṣkoṭi)

四难命题，主要与龙树（约公元2世纪）相关，考察一个命题的四种选择：

• 1. 是的。
• 2. 不是。
• 3. 它既是又不是。
• 4. 它既是又不是。

为什么是四个角落？ 在这里，流行的说法通常是错误的，因此值得小心。这并不是简单的四值真值表，只有一个正确的单元可以选择。在其特有的中观派用法中，论证者通过所有四个角落进行推理并逐一否定——以表明产生问题的概念前提是有缺陷的。目标是问题，而不是答案。精确的逻辑解释在专家之间仍然存在争议，有悖论一致性、前提失败和纯粹辩证的解读都得到了严肃的辩护。

<strong>它捕捉到的：</strong>破碎的框架。每个团队都经历过这样的争论：无论是肯定还是否定的观点都感觉不对——是构建还是购买，是集中还是联邦，是发货还是等待。四难命题的实际指导是，当所有可用的答案都令人不满意时，问题的根源在于提问的方式。

它允许通过的：建设。它是一种溶剂，而不是支架。它可以拆除糟糕的框架，但不会为你建造一个好的框架；为此你需要其他四个。

第六件事：耆那教资格

本页上的一个传统不是一个竞争结构，而是一个适用于所有结构的修饰符。耆那教anekāntavāda——多面性——认为复杂的现实无法从任何单一的无条件立场进行详尽描述。其syādvāda学说将其转化为一种言语规则：一种七重条件断言的模式，每种形式前缀为syāt，“在某种方面”。

在某种程度上是；在某种程度上不是；在某种程度上两者都是；在某种程度上无法表达；再加上与前三者结合的三种无法表达的组合。

这被错误地归类为相对主义，而实际上更接近于相反的观点：一种陈述范围的义务。你不能将部分描述作为全面描述来呈现。请说明你指的是哪个方面。

应用于其他五个方面，这是一种普遍的前提。一个Nyāya论点，一个亚里士多德的前提，一个墨子的名称，一个法理的ʿilla——每一个只有在你知道它被断言的方面时才能进行评估。“迁移是有风险的”还不是一个主张。是时间表上的风险、成本上的风险、安全上的风险，还是士气上的风险？强迫进行限定，令人惊讶的是，许多僵局中的分歧实际上是两个人在描述同一事物的不同面向。

每个传统所看到的

并排而立，模式是每个结构对其他结构模糊之处的确切说明：

没有任何传统是完整的，而这种不完整性并不对称。希腊逻辑在其擅长的领域无与伦比，但在其他方面则大多沉默。印度逻辑涵盖了依据和程序，但在冗长中付出了代价。墨子分析拥有类比和承诺，但从未达到证明的标准。类比法是任何人所提出的对先例的最严格处理，但无法产生权威。四难命题是唯一一个会质疑问题本身的。

所以诚实的比较说法并不是西方错了，而是西方只对某一部分是正确的，保留了那部分，并在整个二十世纪以新名称重建了其余部分。

这不就是带有更好脚注的相对主义吗？

这个反对意见值得回答，因为这是合理的担忧。如果每个传统都有自己的标准，那么“好的论证”不就是你所在文化所说的那样吗？而庆祝五种不兼容的标准难道不是在回避一个事实，即其中一种产生了现代数学，而其他的则没有吗？

不，两者都不是。这些传统并不是在对一个问题提供相互竞争的答案；它们是在对不同的问题提供答案，而这些问题并不是文化上任意的——它们是论证的实际关节。结论是否成立，前提是否有根据，类比是否相关，框架是否合理，范围是否明确：这五种方式都是论证可能存在缺陷的真正不同的方式，并且在任何语言中都保持独立。

这种不对称是真实的，应该被指出。形式有效性作为一种与内容无关的属性是希腊的成就，其他地方没有与之匹敌，它是从谓词逻辑到你正在阅读此内容的机器的一切基础。坦率地承认这一点使得其余的比较更具可信性，而不是防御性。

不意味着形式有效性就是论证的<em>全部</em>。它是五个检查中的一个，在普通的组织生活中，它是最少出错的检查。没有人的产品策略因为他们肯定了后果而崩溃。它们崩溃是因为与上一次发布的类比不成立，或者大家接受的前提从未被审视，或者问题本身就是错误的。

现代论证重建了这一切

这些是真正的关节，而不是文化特征的最有力证据是，二十世纪的论证理论独立地重建了每一个关节，而且大多数情况下并不知道这一点：

• 论证模式（Walton, Reed, Macagno）列出了反复出现的模式——从专家意见、从因果关系、从类比——每种模式都有关键问题来检验其在此时是否成立。这就是墨家和类比推理的项目，附有参考书目。
• 抽象论证框架（Dung，1995）将论证建模为具有攻击关系的节点，并计算哪些集合可以共同存活。“哪些论证能够存活？”是图论中呈现的jadal 问题。
• 可撤销和非单调逻辑处理在新信息到达时必须撤回的结论——这是一个适合于不保持真理但仍然良好的推理的正式领域，而这正是大多数推理的特征。
• 图尔敏模型（主张、依据、担保、支持、反驳、限定词）将担保与依据分开——这是其角色结构中内置的ādāb al-baḥth的区别，而限定词则是syādvāda的“在某种程度上”穿着实验室外套。
• 语用辩证法和对话游戏 指定了批判性讨论的阶段、角色、负担和规则——重新发现的 nigraha-sthāna 列表和 munāẓara 协议。

阅读上表旁边的列表，得出的结论很难避免：论证的结构大致是固定的，大部分在1400年前就已被映射，而二十世纪的贡献更多是形式化而非发现。

推理的根源系列

本文完成了探索世界论证传统的系列。