IBN新浪的逻辑（一）

IBNSōnā[以下版本：avicenna]（980-1037 CE）是直接或间接 - 阿拉伯传统中最具影响力的逻辑师。 他的作品是重新定义一个来自古老和晚期古老逻辑，特别是亚里士多德和围岩传统的一个问题和教义的核心。 虽然一般而言，阿维森娜正好成为一种逻辑传统，它是合理的，它是aristotelian的表征，他介绍的创新的格式建立他是一个真正的新规范人物。 在这个传统中，每个后来的逻辑师都面对他，要么是批评者或作为追随者，在很少有例外，亚里士多德和围岩传统几乎完全从现场消失了。 阿拉伯语逻辑相应地分为两个地区和时期：预先是avicennan和aigiCennan（2004年街）。[1]

阿维卡纳引入的创新包括系统和技术要点：从逻辑划分到其主要领域，以阅读命题和对模态的理解; 从一个新的假设命题对他的示威理论的叙述。

此条目的旨在提供阿维肯纳逻辑的一些最具代表性特征的账户，没有任何借口。 阿拉伯传统中aristotelian obsonon的作品和内容的标准分类（包括斑岩的isagoge，以及亚里士多德的言论和诗学）将逻辑的研究划分为聚焦的两个主要领域（我）正式方面（例如，关于主张的真实条件，推理和论证结构的分析）或（ii）关于物质方面的（例如，关于与其条款和场所的论据分类，其覆盖标准逻辑分工五个方面：示范，辩证法，诡辩，言论和诗学）。 该条目主要关注（i）并限制（ii）对示范和谬误的待遇。

1.阿维肯纳的逻辑作品及其来源

2.逻辑的定义和主题

3.命题

3.1分类命题

3.1.1模态和读数：参考/实质性和描述

3.2假设命题

3.2.1假设类型

3.2.2类型以下

3.2.3冲突类型

3.2.4条件的真实条件

3.2.5不可能的前书

4.矛盾和转换

4.1分类命题的矛盾

4.2假设命题的矛盾

4.3分类命题的转换

4.4假设命题的转换

4.5假设之间的推论关系

4.5.1条件

4.5.2障碍

5.三段论

5.1连接三段

5.1.1分类三段论

5.1.2假设的三段论

5.2重复三段论

5.3索赔（Qiyāsal-ḫalf）

6.演示

6.1。 构想和断言

6.2问题

6.3必要性

6.4本身，不可分割性，遏制和含义

6.5科学部门

6.6为什么 - 和那个演示

6.7逻辑形式的房屋和结论

6.8形式逻辑和科学话语的逻辑

7.谬误

缩写

参考书目

主要来源

二次来源

学术工具

其他互联网资源

相关条目

附录A：分类命题

附录B：量化假设

附录C：分类三段论

1.阿维肯纳的逻辑作品及其来源

Avicenna的逻辑作品包括在他各种哲学综合询问中不均匀分布的大量材料。 到目前为止，逻辑最全面的逻辑待遇是从1020年代到Šifā'（治疗）的纪念性治疗，其中Avicenna广泛地从事系统分析以及与围岩传统的解释性辩论。 在频谱的另一端是išārātwa-tanbīhāt（指针和提醒），最短和最近的最新（来自1030年代），其中avicenna以原始的方式组织材料，该原始方式形成了逻辑方法的方法在后期的传统中。 在（不是按时间顺序上，随着工作在很大程度上反映了Avicenna从大约1014年的早期观点）在于Naïāt（救赎）中开发的逻辑的叙述。 虽然提供了许多简陋的治疗（并完全遗漏了辩证法，修辞和诗学），但后者在方法上更接近固化，而不是指向指导和提醒，但远远不那么笨拙，并提供了一个很好的访问点Avicenna整体的逻辑。

鉴于他们在语料库中的相对位置，细节和展示性的平衡，以及在治愈和指针的情况下 - 他们在后期传统上施加的相对影响，我选择了在本入口处，几乎完全关注这三种来源，这也恰好恰好在可用版本方面处于更好的形状。

逻辑的其他治疗包括在Dānebāme-ye'alā'ō（alā''d-dawla）的账户，在波斯语中，或由部分现存的人保存的账户mašriqiyyūn（东部的人）反映了一种方法，不再致力于亚里士多姐传统的术语和索引问题，因为它反对（西部）baġdadi的方法和学说亚里士多德人（2004年街）。

最后，还可以从额外的异构来源收集有趣的某些逻辑领域的见解，例如Avicenna的通讯（2010A街）和不直接处理逻辑的文本，最值得注意的是Ilāhiyyāt（特别是书籍v），这是他在形而上学的主要工作。

Avicenna的逻辑首先被债务首先感谢，而且最重要的是亚里士多德 - 第一位老师（Al-Mu'allim Al-Awwal） - 和毒品的作品：关于解释（'ibāra）的类别（Maqūlāt），先前的分析（anūlūṭīqā或qiyās），后部分析（anūlūṭīqā或burhān），主题（ṭūbīqā或ğadal），以及Sophy统治（sūfisṭīqā或muġālaṭa）。 如上所述，阿拉伯语有机株包括斑岩的isagoge（īsāġūğī或疯狂）以及亚里士多德的言辞（ḫiṭāba）和诗学（Ši'r）。

除了亚里士多德之外，我们遇到的历史逻辑作品 - 无论是姓名，明确的描述还是学说，是柏拉图，特罗德罗斯，戊林，胶林来自希腊传统的斑岩，主题和腓多尼; 来自阿拉伯传统的al-fārābī和其他baġdādīaristotelians（各种各样地参与了重点努力，专注于有机诺的书籍，其中痕迹在彩色稿件中生存到着名的稿件巴黎BNF，保留其阿拉伯语翻译的蔓藤草原2346）。 他们的存在因替代解释的明确审查而异（例如，在解释绝对命题的情况下）拒绝竞争账户（“广泛观点”（Al-mašhūr）和“真相之间的对比”“（al-ḥaqq）是Avicenna的争论风格的标准设备）; 从默契采用系统的区别和概念（特别是关于al-fārābī，谁很少被承认）到微小的索引点。

在下文中，我通过来自Cairo Edition的所有作品的所有作品的所有作品指的所有作品引用Avicenna的作品 来自忘记伊什托·沃尔卡特的版本，来自dānešpažūh的纳捷尔版。

2.逻辑的定义和主题

亚里士多德的古希腊评论的标准特征是亚里士多德的个人作品，首先始于Properegoomena处理某个学科的目的和利益，确定其主题和在系统内排名。 类似的问题会影响Avicenna对逻辑性质问题的方法以及它作为纪律的目标。

逻辑是一个理论学科，提供了避免推理时出错所需的工具和方法，其中推理意味着从已知（ma'lūm）开始的新知识（mağhūl）的新知识（概念或命题），并达到最佳认识状态与人类认知的各个领域合法地关联，在科学话语（'ilm）和辩证和修辞环境中的劝说（Iqnā'）中的各种领域。

因此，逻辑有一个双重性质：它同时（i）根据指针和提醒的定义，关于任何其他学科的定义，以及（ii）哲学的一部分，即哲学的一部分，即是一个拥有自己的内部结构的亚里士多德科学，预先揭示了一个明确的主题。

如果逻辑的目的和好处是从知名所知的情况下，例如从房屋在一个有效的论点中得出结论，那么逻辑的有效参数，逻辑的主题（mawḍū'）的逻辑的叙述是无可可分割的在阿拉伯语逻辑中的区别，可以至少追溯到al-fārābō之间的两种主要方式，其中知识可供人体思想：概念（taṣawwur）和断言（taṣdīq）。

概念和断言之间的区别标志着收购或拥有个人概念或概念之间的边界，以及对陈述或判断的真理归属。 它提供了阿维肯纳的逻辑（以及他的认识论的基础），并确定一方面与（i）概念形成和定义域（ḥadd）和描述（rasm）的两个不同的知识模式，以及另一方面（ii）真相和推理（示范和非演示三段论（QIYās），取决于所涉及的断言的认知力量）。

终极构建 - 定义（直接）和三段论（间接）是可理解的概念（Ma'āninma'Qla）。 逻辑涉及特殊可理解的概念，其中在Ilāhiyyāt中被特征为二阶可理解的概念（ma'qulāt）（Ilāhiyyāti2,111）。 假设一阶概念是“人类”，“理性”，“白度”或“石头”，二阶（或更普遍，高阶）概念是真正截然不同的概念，例如“主题”，“谓词”，“属”，“属”，“命题”和“三段论”或者在较弱的阅读中，归类二阶属性的方式（例如是一阶概念的二阶属性（例如是一个普遍或属性）。 逻辑调查持有二阶概念的突出性质，例如作为属的属性，命题的特征及其术语，预测类型（必要和偶然），命题的真实条件，论证有效的条件，其中有效的条件以及其中的条件似乎有效的论点不是。 关于次级智能的识别与逻辑主题，见（2013年街）和（Sabra 1980）。

此外，逻辑娱乐两级分析，解决通常被称为正式和材料的不同考虑因素。 正式特征是一个命题的数量和质量或争论中的术语安排，以及一般的一般所有必要和足以在没有错误的情况下进行。

逻辑的材料方面涉及相对于主张和论据中使用的术语类型以及条款之间的关系的考虑。 因此，例如，问题是一个论证是否证明或不是一个问题，通常是一个问题，不仅涉及其形式（一个演示论点必须有效并且由良好的命题组成），也是其问题，即其术语是否充分表达了正确的必要和解释性关系。

这个问题逻辑主题是在以后的阿拉伯语逻辑中按下的是，因为ilāhiyyāt的明确言论被采取了太狭隘的主题，并且概念和断言获得了牵引的牵引力，更普遍二阶概念的替代方案（El-Rouayheb 2012）。

关于逻辑与仪器与科学逻辑之间的关系，见Qiyāsi.2，Madžali.3和一般讨论（Sabra 1980）。

3.命题

avicenna认识到两种基本类型的命题（qaḍiyya）：（1）分类（ḥamliyyāt），原子对象谓词主题，以各种方式合格; （2）假设（Šarřiyyāt），由主要结缔组织治理的分子命题，其可以表达赋予条件（muttaṣil）或以零部额分类而脱掉（munfaṣil）陈述，假设或其组合。

3.1分类命题

分类命题是受试者（mawḍū'） - 在术语之间表达关系（NISBA）或判断（ḥukm）的主题。 它们通常根据许多区别和读数进行分类。

第一层分析涉及它们的质量（Kayfiyya）和数量（Kammiyya）。 avicennan分类是（a）确定（muḥaṣṣala），这意味着它反过来是量化（maḥṣūra）或单数（šaḫsiyya）命题（也就是说一个，e-，我 - 或者O-命题或作为其受试者的统称或其受试者的一个主张）或（b）不确定（muhmala），既不是量化也不是单数。 如果一个命题包含至少一个负项，则称为Metathetic（ma'dūla）。

第二层分析涉及考虑分类命题的逻辑形式，而不是其表面表达。 Avicenna引入了三角岩（ṯunā'iyya），三方（ṯulāṯiyya）和四边形（Rubā'iyya）主张之间的区别。 在第一种情况下，Copula不明确，这是在阿拉伯语中的语法，如在某些情况下，两个术语的并置可能足以产生预测陈述（A B）; 在第二种情况下，Copula是显式的，但命题没有明确定义（a是b）; 在第三种情况下，Copula是显式的，并且命题明确模态（a必然是b或a可能b）。[2]

第三层分析涉及模态，无论是隐含还是明确。 分类命题是不合格的（muṭlaqa，通常被翻译为“绝对”）或由特定的方式（munawwa'a）合格。 后者通常被区别为三种主要类型：必要，可能和不可能的主张。

当他说，偶然在治疗假设命题时，这会产生八倍的分类，例如在假设命题，嵌入在其中的分类可能是上述八个（Qiyāsvii.1，361.1-362.4）。

3.1.1模态和读数：参考/实质性和描述

阿比涅纳可能被认为是在围岩传统分析命题形式的最重要改革之一。 他新的主题谓词命题目录，他们的矛盾关系，次级交换和转换，成为逻辑传统的重心。

Avicenna在Aristotelian的命题分析中引入了两个激进的创新。

时间和致法模式：无论是明确还是明确的每个分类命题都是模拟的。 模态可以是时间（例如，有时，总是），含有（例如，必然，可能）或两者的组合。 这对传统的亚里士多州广场具有重要的反对派的反对，因为我们将在下面看到，以及转换的账户。

参考/实质性和描述阅读：每个分类命题都有额外的阅读，具体取决于提出是否采取了主题来表达谓词与主题所挑选的关系，（a）只要受试者存在的东西（māmawğūd-ḏāt）或（b）只要它是合格的或“描述”（mawṣūf） - 这些主题。 此移动量要添加识别两个不同时间帧的时间参数：主题项挑选的项目的继续存在（其中使用主题项，因为它只是为了修复指点），以及此类项目实际上的时间实际限制主题项。 对应于两次读数的命令是在后宿期间的“参考/实质”（ḏātī）和“描述”（waṣfī）中调用的。[3]

这两个参数共同产生各种类型的模态命题，一个规范列表在十三世纪成为标准。 以下是一些可观的物品，可以在Avicenna的作品中以各种形式找到，并从rāzī开始结晶（2013年街; CF.Strobino＆Thom 2016）。[4] 这些命题的更深层次的语法是争议的主题（2015年霍奇斯2015）。

时间

一个。参考持续（Dā'ima）

x1。参考单面绝对（muṭlaqa）

x2。参考双面绝对（muṭlaqa，wuğūdiyyalāii'ima）

AD1。描述不受限制的永久性（'urfiyya'āmma）

XD1。描述的单面绝对（ḥiniyyamuəlaqa）

alethic

湖参考必要性（ḍarūriyya）

M1。参考单面可能性（Mumkina'āmma）

M2。参考双面可能性（mumkina）

LD1。描述不受限制的必要性（mašrūṭa）

MD1。描述片面可能性（ḥiniyyamumkina）

混合静态和时间

t。参考时间确定（WAQTIYYA）

你。参考时间不确定（Muntašira）

x3。参考非必要的绝对（wuğūdiyyaḍarūriyya）

LD2。描述限制必要性（mašrūṭa）

AD2。描述受限制的永久性（'urfiyyaḫāṣṣa）

对于A-，E-，I-和O-Printions的完整列表，请参阅附录A.

3.2假设命题

假设包括两个主要子类型，具体取决于组件句子是否有连接（ittiṣāl）或冲突（'inād）。 在第一种情况下，就前后（Muqaddam）与随后的（Tālin）之间的关系（Ittibā'）的关系来分析连接。[5] 在第二个案例中，根据命题（或零件，ağzā'）的分离而表示冲突。

得到的命题类型是有条件（muttaṣilāt）和障碍（munfaṣilāt）。 Avicenna针对基本逻辑关系调查它们 - 例如矛盾，次级交换，相互含义或转换 - 以及三段程度推断的背景下。

Avicenna对假设命题分析的独特特征是量化的。 前所未有的条件和随后的条件相关的条件以及脱位的部分之间的冲突关系嵌入在量化的范围内，该量级可以表达普遍肯定，普遍的负面，特定肯定或特定的负面假设主张。

关于有条件和分析陈述的问题可能引出不同的答案。 在条件陈述的情况下，阿维纳表示应该理解的量化适用于所吸引的次数以及可能与之相关的州或条件（简称，附加假设）。 该问题例如由（Rescher 1963b），（Moveaher 2009）和（Hodges 2013）。 当随后在暂时遵循前所不应的行进者和可能合法地被添加到先行的所有国家时，普遍肯定的条件声明是正确的：[6]

If the connection(ittiṣāl)is asserted under any condition and circumstance (ʿalā kullištirāṭwa-waḍʿ) [at which the antecedent] is posited, then the hypothetical conditional proposition is universal; （Qiyāsv.4,263.1-264.2）

在“总是，如果c是b，那么h是z”单词“总是，如果”不仅意味着覆盖[明确]的意图（al-murād）[通过这个命题]，就像它就好像一个人要说“每次C是b，h是z”。 相反，[始终是“]也意味着覆盖可以覆盖可以添加到语句的每个状态（ḥāl）”每c是b“，以这样的方式（ḥāl）或条件（šarṭ），这使得c为b如果添加到z，则添加到[前进的”c是b“时。 （Qiyās，V.4,265.1-5）[7]

在QiyāsV.3开始时给出假设命题的分类，其中avicenna明确列出了第一组排列并用示例说明它们。 似乎没有主要原因是认为avicenna不会享受更复杂的迭代的可能性（例如，条件的前驱本身是一个条件，其前所未有的条件是条件的条件的分离由分类组成）。 在这个方向上提示是他准备招待可能无限障碍的概念。