以四种不同方式提出的问题

问一位四世纪的雅典人什么使一个论证变得优秀，你会得到关于<em>形式</em>的回答：结论是否从前提中得出，无论前提是什么。问一位尼耶哲学家，你会得到关于<em>知识</em>的回答：一个认知是通过什么过程被认为是已知的。问一位墨子学者，你会得到关于<em>命名</em>的回答：这个术语是否正确地适用于这个事物，以及哪种相似性表明如此。问一位十四世纪撒马尔罕的法学家，你会得到关于<em>程序和行为</em>的回答：轮到谁了，什么可以被反对，什么已经被承认，以及你是否像一个寻求真理的人或一个寻求胜利的人那样行事。

四个答案，都是正确的，几乎没有重叠。这是本系列的基础发现，比起通常关于谁最早发明逻辑的故事，更加有用。

因为如果你曾经参加过一次进展不顺的会议，你就会知道诊断很少是正式的。没有人确认结果。发生的事情是，大家都接受的前提从未被审视，或者与上个季度的类比不成立，或者两个人用同一个词指代不同的事物，或者争论根本没有结束——没有人对被回答意味着什么有共同的理解。这四种失败模式中有三种对希腊工具包是不可见的，而它们每一种都在其他地方被命名、分析和教授。

这篇文章是推理的根源系列的中心。它概述了四大传统及其各自的贡献。相关的帖子深入探讨：印度逻辑，墨家逻辑，亚里士多德的逻辑，伊斯兰辩证法，以及对五种论证结构的比较分析。

每个传统实际上系统化了什么

印度：推理作为知识获取和规范竞争

印度传统可能是与希腊逻辑最清晰的大规模独立对应物——而且对西方读者来说是最不熟悉的。公共和法庭赞助的辩论在现存手册之前就已经存在；到公元前三世纪和二世纪，僧侣和婆罗门被期望接受辩论训练。

起始问题不是“这是否符合？”而是认知通过什么过程算作知识？尼耶亚（Nyāya）承认四种pramāṇas——感知、推理、比较和来自合格发言者的证言。其他学派对这个列表进行了调整。结果是逻辑位于认识论之内：推理不是句子的排列，而是一个人从已知转向未知的过程。

广泛教授的论证形式有五个组成部分：论题（山上有火），理由（因为有烟），例子或一般规则（无论哪里有烟，就哪里有火——就像在厨房里），应用（山上有那种烟），结论（因此有火）。它最早的存世表述之一出现在《查拉卡·萨姆希塔》中，这是一部医学文本——辩论训练是医生教育的一部分。

这并不是一个不必要的冗长三段论。额外的部分起到对话的作用：宣布争议的主张，给出理由，提供一个达成一致的案例，将其与主题联系起来，重申已建立的内容。最初，这种形式是强烈类比的；后来的作者使普遍联系变得越来越明确和严格。

然后是没有希腊对应的部分。Nyāya 根据目的对辩论进行了分类——vāda（合作寻求真理）、jalpa（竞争性）、vitaṇḍā（攻击而不为自己的论点辩护）——并且不仅列出了伪理由，还列出了nigraha-sthānas，即失败的理由。Nyāya-sūtra 列出了 22 种，混合了逻辑错误和程序违规：改变论点、单纯重复、沉默、逃避、让步并继续争论。失败是一个明确的、可观察的事件。

佛教作者精炼了证据方面的内容。迪格纳将自我推理与他人论证区分开来，并要求在主题中存在有效理由，在类似案例中存在，而在所有不同的案例中缺失——然后将可能性排列在一个九格矩阵中，只有两个能产生有效推理。佛教的prasaṅga揭示了对手观点的不可接受后果，而catuṣkoṭi则在四个选项下审视一个主张——是、不是、两者、都不是——作为一种辩证技巧，其确切的逻辑解释仍然存在争议。耆那哲学家增加了anekāntavāda，多面性，以及七重syādvāda：说明你的主张成立的方面，因此部分描述不能作为全面描述。完整故事：印度逻辑：从Nyāya到佛教辩论的2500年传统。

中国：作为区别的论证、语义适配和类比扩展

早期的中国辩论大致与亚里士多德同时出现，并且是独立发展的。在战国时期，墨家、儒家、道家以及后来归入名家学派的思想家们参与了<strong>辩</strong> — 辩论，但更字面地说是<em>区分</em>。

中心问题通常不是“这个结论是否成立？”而是：这个名称、类别或规定是否正确适用于这个对象或情况？ 一方称之为“牛”，另一方称之为“非牛”；它们不能同时适用，因此其中一个不适用。

墨家思想家从法 — 模型、标准、典范出发进行推理。你通过将案例与可靠的模型进行比较，确定哪些相似之处是相关的，从而识别出一头牛、公正的行为或有益的政策。早期墨家的论证依赖于三个标准：典范统治者设定的先例、来自普通经验的证据，以及对社会利益的后果。

小型选择列出了四种争论技巧，但它们常常被误解，以下是正确的：

• 比 — 类比：引入另一个案例以澄清当前的案例
• 谋 — 并列: 将结构相似的表达并排放置
• 元 — 拉动：引用对手已经接受的内容，并询问为什么当前案例应该被视为不同。
• 推 — 推动：将一个已接受的判断扩展到一个相关相似的案例

有效的拉动将负担转移到对手身上，让他们识别相关的不相似之处；推动则依赖于与他们之前承诺的一致性。它们是一种曲目，而不是固定的顺序。墨家将它们与一个明确的公平原则相结合——我们在自己的案例中接受的，不会在对手的案例中拒绝——并附上一个来之不易的警告：表达之间的相似之处仅在某种程度上是正确的。

他们还承认类似于非矛盾和排中律的原则，但以语义的方式表述——“牛”和“非牛”不能在同一争论中同时适用于同一对象——将重点放在术语和分类上，而不是抽象的命题演算。他们将审议描述为权衡利益和伤害：在所有选项都涉及伤害的情况下，选择最小的伤害。完整内容：墨子逻辑：区分的中国艺术。

希腊：逻辑作为形式有效性

希腊传统是大多数读者已经熟悉的，因此可以简要介绍。它源于公元前508年至322年间的雅典民主，在那里，议会、议事会和法庭通过辩论和投票解决事务——使得有说服力的演讲直接变得有价值，并创造了智者通过收费教授这一技能的市场。

柏拉图提倡辩证法：一种结构化的问答方式，提问者提取论题并试图强迫其矛盾，而回答者的唯一任务是在固定时间内保持不被反驳。亚里士多德的话题和诡辩反驳是这一实践的首次系统化——论证运动的第一本书面规则手册。

亚里士多德（公元前384–322年）随后构建了其他人未曾构建的东西。工具涵盖了范畴、命题、三段论、证明、辩证法和谬误，其核心创新是范畴三段论：有效性作为结构的属性，与内容无关。将任何术语替换到有效形式中，它仍然保持有效。这个抽象确实是独一无二的，坦率地说出这一点使得这次比较的其余部分诚实而非防御。

修辞学增加了三种诉求——伦理、情感、逻辑——以及省略论证，即留给观众补充前提的三段论。话题为辩证法编纂了论证模式，辩证法是现代论证方案的直接祖先。在亚里士多德之后，斯多卡学派发展了命题逻辑，用数字表示完整命题的肯定前提；这更接近现代符号逻辑的基础，但传播不畅，因此三段论在课程中占据主导地位，直到弗雷格。详细信息：亚里士多德的逻辑：西方论证的地中海基础。

伊斯兰文化世界：三种交叉的传统

这个案例必须仔细划分，首先有一个让步：阿拉伯形式逻辑并不是独立于亚里士多德的。 Mantiq 从八世纪开始翻译希腊逻辑著作。阿尔法拉比将逻辑视为一组分级的工具，用于演示、辩证法、修辞和诗学；伊本·西那 随后对继承的传统进行了广泛的重构，以至于后来的阿拉伯逻辑更接近阿维森纳而非亚里士多德，尤其在模态、假设和析取命题以及演示方面有重大创新。这是接受加上彻底重建——而不是独立发明。

但这里还有两种传统是实质上本土产生的。卡拉姆，理性神学，产生了被称为贾达尔的辩证实践，其最早的系统形式是在九世纪到十世纪之交的神学争论中发展起来的，最初与哲学家的希腊派生逻辑分开。他们的论文规定了哪个方提出问题，哪个方回答，如何表述主张，什么算作相关的反对意见，矛盾和让步如何运作，行为规则，以及参与者被击败的迹象。法学家随后将这些机制适应于法律争议。

法理学，法律理论，系统化的类比，包含四个命名元素：根本案例（aṣl）、分支案例（farʿ）、法律适用原因（ʿilla），以及从根本案例转移到分支案例的裁决（ḥukm）。对一种麻醉品的禁止适用于另一种，因为醉酒被认定为适用原因。这比松散的相似性更有结构：困难的步骤不是注意到相似性，而是证明为什么这种相似性在法律上是适用的，而其他的则不是——并且要对抗反例和相互矛盾的文本进行辩护。

从十三世纪末开始，ādāb al-baḥth wa-l-munāẓara 成为一门独特的学科——探究和争论的规则与礼仪。角色是不对称的：主张者陈述并支持一个论点；回应者测试论点、其证据及二者之间的联系。声明的目标是揭示真理，而非胜利，这门学科规范参与者的品格以及他们的举动——相关性、公平性、避免争吵、愿意批评、愿意让步。它与逻辑和语言科学一起在宗教学校教授。完整故事：伊斯兰辩证法：从神学辩论到争论科学。

每个传统所看到的（和错过的）

并排放置的对比是有启发性的：

没有任何传统是完整的，缺口也并不对称。印度逻辑将推理与认识论紧密相连——当你关心前提为何可信时，这是一个优势；而当你只需要检查形式时，这就是一个成本。希腊逻辑则从内容中抽象出来——这对形式证明至关重要，但在前提本身受到质疑时却沉默不语。中国逻辑在类比和命名方面的处理方式是西方大体上忽略的，并且从未建立起连锁推理的机制。伊斯兰辩论理论增加了程序和伦理，并假设了希腊的形式体系。

逐结构比较——五成员的Nyāya形式、三成员的三段论、墨子技巧、qiyās和四难题——在五个三段论：跨文明比较论证结构中。

为什么这现在很重要

现代论证理论、计算论证和人工智能推理常常在不知不觉中依赖于这些。

论证模式（Walton, Reed, Macagno）列出了诸如专家意见论证、类比论证、因果论证等反复出现的模式，每种模式都有关键问题来进行检验。这是亚里士多德的话题与墨子类比分析的结合，带有jadal的程序意识层面。

抽象论证框架（Dung, 1995）将论证表示为具有攻击关系的节点，并计算哪些集合可以合理地一起被接受。根本问题——哪些论证能够存活？——是图论中的关键问题。

论证映射和图尔敏模型使结构变得明确：主张、依据、担保、支持、反驳、限定。图尔敏与亚里士多德的隐含论证直接对话；对明确支持的坚持呼应了Nyāya的udāharaṇa；而限定则是现代形式的syādvāda的“在某种程度上”。

和集体智能研究项目——从孔多塞的陪审团定理到c因子研究——不断证实辩论传统早已知道的事实：结构决定了群体是否变得更聪明。独立的输入、明确的聚合、程序的公正、推理的记录。这些是条件，而这些正是Argumentree在决策过程中所构建的。

最大的比较教训是整个系列存在的原因：“逻辑”只是结构化论证的一部分。 在现代论证理论出现之前，这些传统同时将推理视为一种认知过程、一种语言表现、一种社会互动、一种伦理学科和一种制度实践。他们并不是在构建好奇心，而是在构建理性共识的机制——这是对强制、传统和偶然的替代。二十五个世纪后，这一项目仍在继续。

推理的根源系列

这篇文章是中心。辐条深入：