伊斯兰辩证法：从神学辩论到争论科学 | Argumentree
伊斯兰世界产生了三种相互交织的论证传统，必须加以区分。阿拉伯形式逻辑（mantiq）始于八世纪对亚里士多德《工具论》的翻译，并且并不独立于希腊；阿尔法拉比对整个《工具论》进行了评论，而伊本西那则对继承的传统进行了广泛的重构，以至于后来的阿拉伯逻辑变得更像阿维森纳的而非亚里士多德的，尤其在模态、假设和析取命题以及证明方面有了重大创新。卡拉姆（Kalām），即伊斯兰理性神学，在九世纪和十世纪发展了称为jadal的辩证实践，最初与希腊派生的逻辑分开，撰写了专门阐明谁提问、谁回答、什么算作相关反对意见、矛盾和让步如何运作以及什么信号表示失败的论文。伊斯兰法律理论（uṣūl al-fiqh）系统化了qiyās，即类比推理，包含四个命名元素：根本案例（aṣl）、分支案例（farʿ）、法律有效原因（ʿilla）和从根本案例转移到分支案例的裁决（ḥukm）。从十三世纪末开始，ādāb al-baḥth wa-l-munāẓara作为独立学科出现，专注于探究和争论的规则和礼仪，尤其与沙姆斯·阿尔·丁·阿尔·萨马尔坎迪相关。它分配了不对称的角色——主张者陈述并支持一个论点，回应者测试该论点、其证据及其之间的联系——并宣称目标是揭示真理而非胜利，规范参与者的品格以及他们的举动。
伊斯兰文化的案例必须小心划分，因为真实的故事比恭维的故事更有趣。阿拉伯的形式逻辑是从亚里士多德那里继承而来，然后进行了彻底的重建。阿拉伯的辩证法在很大程度上是本土发展的——它产生了希腊从未拥有的东西：一种根据你的行为进行评分的争论学科。
- 简单地说：阿拉伯形式逻辑（mantiq）并不是一个独立的发明。它始于翻译——然后伊本·西那彻底重建了它，以至于后来的阿拉伯逻辑更具阿维罗伊主义而非亚里士多德主义。
- 贾达尔在很大程度上是土著的：神学辩论在希腊逻辑完全被吸收之前，发展出了自己的一套角色、反对、让步和失败的规则。
- Qiyās: 法律类比，包含四个命名部分——根本案例、分支案例、操作原因、转移裁决。困难的步骤在于证明 哪种 相似性在法律上是有效的。
- ʿIlm al-munāẓara: 从13世纪末开始，作为一种独立的辩论学科 — 不对称的角色、负担、可接受的反对意见、明确的失败
- 以及伦理：声明的目标是真理的显现，而不是胜利。该学科评判相关性、公平性以及你愿意让步的程度。
亚里士多德既不是第一个也不是唯一一个系统化论证的思想家。六篇相关的文章探讨了构建理性分歧解剖学的传统——以及每个传统所看到的其他传统所忽视的内容。
- 1.The Global Roots of Reasoned Argument: How Three Civilizations Invented Logic
- 2.Indian Logic: The 2,500-Year Tradition from Nyāya to Buddhist Debate
- 3.Mohist Logic: The Chinese Art of Drawing Distinctions
- 4.Aristotle's Logic: The Mediterranean Foundation of Western Argument
- 5.Islamic Dialectics: From Theological Debate to the Science of Disputation您在这里
- 6.Five Syllogisms: Comparing Argument Structures Across Civilizations
一种以良好失利为标准的学科
到十四世纪，伊斯兰世界各地的宗教学校学生正在学习一种叫做ādāb al-baḥth wa-l-munāẓara的学科——大致上是探究和辩论的规则和礼仪。它与逻辑和语法一起列入课程，通过简明的手册教授，辅以注释，并在现场辩论中实践。
标题中的<em>ādāb</em>所承载的意义远超过“规则”所暗示的。该学科规范了逻辑推理的步骤——什么算作相关的反对意见，何时责任转移，什么构成失败——并且它也规范了争论者。相关性。公平性。不争吵。愿意批评自己的立场。愿意在被反驳时让步。声明的目标是揭示真理，而不是胜利，逃避而获胜的参与者并不被视为真正的胜利者。
想想这有多不寻常。今天我们有很多机构教人们如何辩论——法学院、辩论俱乐部、普通的领导力外训——几乎没有任何机构正式评估你是否优雅地让步。问问自己，上一次在会议上看到有人公开改变立场，并被视为做了一件熟练的事情而不是尴尬的事情是什么时候。这种传统将评估内化了。
本文是关于世界论证传统的推理根源系列的一部分。
三种传统，而不是一种——以及一个诚实的让步
流行的说法将所有伊斯兰文化的内容简化为一种“伊斯兰逻辑”，通常是为了提出两个论点之一：阿拉伯学者只是为欧洲储存了亚里士多德，或者他们重新发明了逻辑。这两种说法都是错误的，原因在于这里有<em>三</em>种不同的传统，起源各异。
<strong>阿拉伯形式逻辑（<em>mantiq</em>）并不是独立于亚里士多德的。</strong> 它始于八世纪对希腊逻辑著作的翻译和研究。这是一个接受和激进创造性重构的历史——而不是独立发明——明确这样说是被认真对待其他一切的代价。
卡拉姆及其辩论在很大程度上是本土的。 最早的神学争论的系统理论出现在九世纪到十世纪之交，最初与哲学家们的希腊派逻辑相对独立。直到大约十一世纪，两者之间几乎没有交叉影响。
法律推理再次成为其自身的传统。 乌苏尔·法基赫（Uṣūl al-fiqh）根据推导裁决的实际需求系统化了类比（qiyās），并就类比何时成立进行了自己的辩论——这些辩论并没有等待亚里士多德。
因此，成熟的系统是混合的：希腊的形式工具被本土的神学和法律辩证法吸收并重塑。这种混合性是其成就所在。这也是为什么伊斯兰文化对论证理论的贡献在希腊逻辑最薄弱的地方——在程序和行为方面——最大。
卡拉姆：翻译之前的辩证法
卡拉姆 — 字面意思是“言语”或“论述” — 是伊斯兰理性神学，从八世纪开始，它在具有实际利害关系的问题上展开了结构化的论证：古兰经是被创造的还是永恒的，人类是否拥有真正的能动性，将属性归于上帝意味着什么。
穆塔齐利派（8世纪至10世纪）是第一个主要学派，他们坚持教义必须通过论证而非单靠权威来辩护。他们的争论产生了标准的步骤：陈述论点，提供证据，预见反对意见，回答反对意见。来自10世纪的阿什阿里派在保持方法的同时调和了教义——阿什阿里曾是穆塔齐利派成员，并带来了辩证训练。
展品是阿尔-加扎利（1058–1111），他的《哲学家无 coherence》（The Incoherence of the Philosophers）利用哲学家的逻辑工具攻击他们。伊本·鲁什德的回应《无 coherence 的无 coherence》（The Incoherence of the Incoherence）是历史上伟大的持续反驳之一——这两部作品一起构成了前现代世界中完全以书面形式进行的正式结构化公共争论的接近。
理论化这一实践的论文正是现代对话协议所涉及的内容：哪一方提问，哪一方回答；主张必须如何表述；什么算作相关的反对意见；反对意见和回应如何运作；如何处理矛盾和让步；行为规则；以及参与者被击败的迹象。神学争辩随后被法学家们调整用于法律解释的分歧。
Qiyās：具有四个命名部分的法律类比
伊斯兰法学面临一个永久性的实际问题：经典和先知的先例并未涵盖所有出现的情况。法理学，法律理论，系统化了推导裁决的方法——其核心是类比推理。
一个经典的 qiyās 论证列出了四个要素：
- Aṣl — 已确立的或“根本”案例，具有已知裁决
- Farʿ — 新的“分支”案例，要求一个
- ʿIlla — 法律相关的原因或特征，双方共同拥有
- Ḥukm — 从根到枝的统治转移
股票插图：对一种麻醉物质的禁令扩展到另一种，因为醉酒被认定为操作原因。这样说听起来像是一个松散的相似性论证。其实不是，原因在于这一学科的核心要点。
困难的步骤是从未注意到两个案例是相似的。任何两个案例在无限多的方面都是相似的。困难的步骤是证明为什么一个特定的相似性在法律上是有效的，而所有其他相似性都是无关的——然后抵御四种攻击。法学家们争论ʿilla是如何被发现的，是否表述得足够清晰和普遍，是否反例会否定它，以及所提议的扩展是否与权威文本相冲突。
这是一个成熟的类比论证理论，附带明确的负担，这也是墨家在其模型和关于“野生呈现”的警告中所环绕的问题，以及奈耶派例子（udāharaṇa）存在以解决的同样问题。三个传统独立得出结论，类比是论证实际生死所在。
诊断问题
下次有人用“这和上次的情况一样”来为一个决定辩护时，问他们能否指出ʿilla——那个实际上使裁决适用的特征。然后问如果类比失败，必须有什么不同。如果他们能回答这两个问题，那就是一个论点。如果他们只能回答第一个，那就是伪装成理由的相似性。
翻译运动
阿拔斯王朝（750–1258）赞助了从八世纪开始将希腊哲学和科学著作系统性地翻译成阿拉伯语的工作，最终在巴格达的阿尔-金迪圈子中达到顶峰，与智慧之屋相关联。
逻辑的中心人物是Ḥunayn ibn Isḥāq（809–873）及其圈子，他们翻译了大部分的工具论 — 范畴、解释论、前分析和后分析、论题、诡辩反驳 — 以及波尔菲里的引论和希腊评论家。
翻译从来不是被动的。它需要在阿拉伯语中创造一个哲学词汇，而这些选择被固定下来：qiyās 代表三段论，muqaddima 代表前提，natīja 代表结论。注意其中第一个。阿拉伯逻辑学家用来表示希腊三段论的词与法学家用来表示法律类比的词是相同的——这个小的词汇事实悄然保证了这两种传统必须彼此相关。
关键是，阿拉伯传统继承了亚里士多德的全部范围，而不仅仅是前分析。阿尔法拉比将《工具论》视为一套分级的工具——用于确定性的证明、用于辩论的辩证法、用于说服的修辞、用于想象的诗学——每种工具都有其适当的领域。这种框架使人们自然地问希腊的工具与卡拉姆和法基赫之间的关系，而不是将其视为对它们的替代。
伊本·西纳重建遗产
阿尔法拉比（约872–950年），被称为“第二位老师”，在亚里士多德之后，评论了整个《工具论》，并撰写了科学分类，为几个世纪的学科组织奠定了基础。但这种转变属于伊本·西那（约980–1037年），拉丁文名阿维森纳。
伊本·西那并没有注释亚里士多德。他对继承的传统进行了广泛的重构，以至于后来的阿拉伯逻辑更准确地被描述为阿维森纳式而非亚里士多德式——这一说法现在已成为阿拉伯逻辑历史学家的标准观点，并且应该彻底结束“保存”叙事。
- 模态：对必要性、可能性和不可能性的更为深入的处理，区分了亚里士多德混合在一起的模态类型
- 假设性和析取命题：对如果–那么和要么–要么推理的系统处理，远超出范畴三段论
- 命题的解释和证明：对命题的阅读方式以及什么使得证明产生确定性的重新阐述
- 一个认识论的转向：逻辑重新围绕概念形成和判断——心理行为——而不是亚里士多德更侧重于语言和辩证法的强调
最后一个结果值得一提，因为它与本文的主题相悖。通过将逻辑拉向认识论而远离辩证法，伊本·西那帮助将mantiq与jadal分开。逻辑成为研究思维如何达到确定性的学科；争论则发展成为一个独立的学科。亚里士多德在《工具论》中保持相邻的两条线分开了——这正是为什么几世纪后必须创造出独立的领域ādāb al-baḥth的原因。
当十二世纪的托莱多和西西里岛的拉丁学者翻译这些作品时，跨越比利牛斯山的是这样的内容：不是原版的亚里士多德，而是重构后的亚里士多德。伊本·鲁世德（1126–1198），阿维罗伊，他的评论常常更接近希腊文本，随之而来，并引发了最终导致1277年巴黎谴责的争斗。经院逻辑既是这种传承的产物，也是希腊原作的产物。
ʿIlm al-Munāẓara: 辩论成为一个领域
从十三世纪晚期开始，ādāb al-baḥth wa-l-munāẓara 逐渐形成了一门独立的学科，拥有自己的手册、评论和注释文献。创始文本是Shams al-Dīn al-Samarqandī（约1250年 – 约1310年）的Risāla fī ādāb al-baḥth，他是一位来自撒马尔罕的逻辑学家和哈乃斐法学家，这一领域在接下来的六百年中产生了大量的论文。
它的结构确实是程序化的，而——这通常被忽视的部分——角色是不对称的：
- 索赔人陈述一个论点并必须支持它。责任从这里开始，并不会默默转移。
- 被告并不辩护反论。他们的工作是测试三个独立的内容：论点、为其提供的证据，以及两者之间的联系。
- 反对意见已被输入。 否定一个前提、要求提供证据和质疑推理是不同的举动，附带不同的义务。
- 让步是一个记录在案的事件。 已经授予的让步将保持有效，争辩好像它没有被授予本身就是一个错误。
- 失败被定义。 交易在规定的条件下结束，而不是在于谁还在说话。
不对称是复杂的部分。将受访者的任务分配为测试证据与主张之间的<em>联系</em>——这与质疑证据是一个不同的举动——正是图尔敏在1958年重新引入的区别，当时他将担保与依据分开，而沃尔顿的关键问题则通过不同的方案进行操作。这在撒马尔罕的课程大纲中有提到。
并且它被教授。不是出版后搁置，而是在宗教学校中教授，和逻辑学及语言科学一起，通过简短的手册和实践辩论。论证被视为一种可训练的技能，具有可考核的标准，这比大多数现代组织在其决策实际依赖的单一活动上所能做到的要多。这个发现与集体智能研究不断重新发现的结果相同：结构决定了群体是否变得更聪明。
但这不就是阿里士多德的阿拉伯语版本吗？
这个反对意见值得一个直接的回答，而其中一半是正确的。对于形式逻辑来说，是的：三段论源自希腊文本，任何热情都无法改变这一点。任何声称阿拉伯逻辑独立发明了三段论的人都是在夸大其词，而这种夸大正是导致真正成就被低估的原因。
但这个反对意见默默地假设形式逻辑就是论证的全部，而这个假设正是整个系列存在的目的。 在程序和伦理方面，债务则是相反的。亚里士多德的《话题》勾勒了辩证实践；它并没有给你类型化的反对意见、不对称的负担结构、记录的让步、定义的失败条件和可检验的行为规范。卡拉姆辩论出于神学的必要性构建了这些，法学家们将其适应于法律争议，而《研究的礼仪》则将其转变为一门教授的学科。
所以准确的总结是，这并不光鲜，但比任何神话都更有用：借用了微积分，进行了实质性的重建，并独立开发了微积分从未涵盖的协议层。
伊斯兰文化传统今天提供的内容
四件事情或多或少保持不变：
- 说明操作原因。 Qiyās 要求你识别 ʿilla —— 从旧案例到新案例所携带的一个特征 —— 并对其进行反驳反例的辩护。这是大多数基于先例的组织推理中缺失的学科。
- 故意使负担不对称。 一个必须同时辩护对立论点的挑战者是一个较弱的挑战者。让回应者攻击主张、证据及其之间的联系，而不拥有反对立场，会产生更严谨的测试。
- 攻击链接，而不仅仅是证据。 三方分裂——论点、证据、联系——是这里最具可移植性的想法，也是论证映射在页面上所展示的内容。
- 评估行为，而不仅仅是案件。 相关性、公平性、不争吵、愿意让步。将这些视为标准的一部分，争议就不再是对房间的威胁。
最后一个是最难导入的，也是最有价值的。每个组织都说它希望人们在证据变化时改变想法。然而几乎没有一个组织能够识别出当某人确实改变了想法时。Ādāb al-baḥth 的回答是将其写入评估中：声明的目的是真理的体现，而一个不能让步的辩手不是一个好的辩手，无论他们经历了多少次辩论。
推理的根源系列
本文是探索世界论证传统系列的一部分：
来源与进一步阅读
这里使用的框架：三种交叉的伊斯兰传统，阿拉伯形式逻辑并不独立于亚里士多德的谨慎，以及14世纪作为一个独立学科的ādāb al-baḥth的出现。
mantiq的参考调查、翻译运动以及教授逻辑和辩论的宗教学校课程。
阿维森纳对继承传统的重建——模态、假设命题，以及将逻辑与辩证法分开的认识论重定向。
对jadal的书本长度的处理，从其神学起源到法理辩证，再到ādāb al-baḥth；这是该学科分期的来源。
法律争议在实践中是如何运作的，以及异议和回应的反复交锋如何塑造了伊斯兰法的实质。
对阿维罗伊之后阿拉伯逻辑衰退的说法的标准纠正——以及后古典马德拉萨逻辑课程的参考。
争论科学的创始论著，产生了跨越伊斯兰世界几个世纪的评论和注释。
常见问题解答
阿拉伯逻辑是否独立于亚里士多德？
不，这一点值得明确说明。阿拉伯形式逻辑（mantiq）始于八世纪对希腊逻辑著作的翻译和研究——这是一个接受和重大创造性重构的历史，而非独立发明。实质上独立的是辩证方面：kalām jadal 和法律 qiyās 是从神学和法律实践中发展而来的，具有自己的起源，而成熟的系统则是这两种血统的混合体。
什么是卡拉姆？
卡拉姆，字面意思是“言语”或“论述”，是伊斯兰理性神学。从八世纪开始，其从业者在诸如《古兰经》是被创造的还是永恒的，以及人类是否拥有真正的能动性等问题上使用结构化的论证。穆阿塔齐利派是第一个主要学派，坚决主张教义应通过论证而非权威来辩护；阿什阿里派在保持方法的同时对教义进行了调和。卡拉姆在希腊逻辑完全被吸收之前发展了一种论证文化。
在伊斯兰法学中，qiyās是什么？
Qiyās 是从一个已建立案例到一个新案例的类比扩展，包含四个命名元素：已知裁决的 aṣl 或根本案例、需要裁决的 farʿ 或分支案例、两者共享的法律相关原因 ʿilla，以及从根本案例转移到分支案例的 ḥukm 或裁决。经典的例子是将对一种麻醉品的禁令扩展到另一种，因为麻醉是起作用的原因。困难的步骤不是注意到相似性，而是证明为什么某一特定的相似性在法律上是有效的，而其他的则不是。
什么是jadal？
贾达尔是阿拉伯语中辩证或争论的术语——既指结构化辩论的实践，也指理论化这一实践的学科。其最早的系统形式是在九世纪到十世纪之交的神学争论中发展起来的，最初与哲学家们的希腊派生逻辑分开。论文讨论了哪个方提出问题，哪个方回答，如何陈述主张，什么算作相关的反对意见，矛盾和让步如何运作，行为规则，以及参与者被击败的迹象。法学家们后来将其适用于法律争议。
ʿilm al-munāẓara / ādāb al-baḥth 是什么？
从十三世纪晚期开始，ādāb al-baḥth wa-l-munāẓara — 询问和争论的规则与礼仪 — 成为一门独立的学科，主要与 Shams al-Dīn al-Samarqandī（约1250年 – 约1310年）及其《Risāla fī ādāb al-baḥth》相关。它分配了不对称的角色：主张者陈述并支持一个论点，而回应者则测试该论点、其证据及二者之间的联系。声明的目标是揭示真理而非胜利，这门学科规范参与者的行为 — 相关性、公平性和愿意让步 — 以及逻辑推理的步骤。
阿尔法拉比和伊本西那是谁？
阿尔法拉比（约872–950年），被称为“第二位老师”，在整个《工具论》上进行了评论，并将逻辑视为一套分级的工具，用于演示、辩证法、修辞和诗学。伊本·西那（约980–1037年），拉丁文名阿维森纳，广泛重构了继承的传统，以至于后来的阿拉伯逻辑变得更像阿维森纳的而非亚里士多德的，主要在模态、假设和析取命题以及演示方面进行了重大创新，并在认识论上进行了重新定位，使逻辑脱离了辩证法。
伊斯兰学者是如何将希腊逻辑传递到欧洲的？
阿拔斯王朝的翻译运动从八世纪开始将亚里士多德的《工具论》翻译成阿拉伯语，最终在大约830年时在阿基因德的圈子中达到顶峰。伊斯兰哲学家随后对其进行了扩展和重建。在十二世纪，托莱多和西西里的翻译者将阿拉伯作品翻译成拉丁语。因此，欧洲所接收到的是由伊斯兰哲学重建的希腊逻辑——模态区分、认识论框架、逻辑与修辞的分离——这就是为什么经院逻辑既是这种传承的产物，也是希腊原作的产物。
现代论证理论可以从伊斯兰辩证法中学到什么？
四个事物直接转移：qiyās作为一种类比模型，具有明确的操作理由和辩护负担；不对称的角色分配，回应者测试一个主张而不必辩护一个对立的主张；攻击论点、其证据及二者之间联系的三方分裂，这预示着图尔敏将依据与担保分开的观点；以及将行为视为标准的一部分，包括愿意让步——几乎没有现代机构对此进行评估的标准。
Argumentree Team
Decision Science
The Argumentree team explores the science of better decisions—from ancient philosophy to modern AI.
继续阅读系列
四个更多的传统，四个更多的工具包——以及对每个工具包能做和不能做的并排比较。