IBN新浪的逻辑（五）

假设分享不完整部分的三段论（两个障碍）（Qiyāsvi.6,354.13-356.6）

假设的三段论其房屋分享不完全部分的可能最好了解在反对上面讨论的两种纯粹假设的三段论，即那些由一对分离的房屋和由分离的人组成的那些和有条件的前提。 在这两种情况下，共享部分是一个整体命题。 涉及共享不完整部分的假设的三段论是后者的变化，由共享元素是一个术语而不是整个命题的事实决定。 它们可能涉及（i）两个分离的房屋或（ii）条件和一个孤立前提，其中一个术语共同（在后一种情况下，有条件的次要）。 一个例子是在Naëāt82，xx上给出。

Avicenna对这种情况的奇妙处理可能是在分析Pher-apiCennan逻辑中的这类假设三段中的更具精细开发的起源，从Kaššć（El-Rouayheb 2010）开始。

5.2重复三段论

重复（istiṯnā'ī）三段论涵盖推理模式，如Modus Ponens和Modus Tollens（在其有条件和分离的变体中）。 它构成了三段论的另一个主要划分，以及结缔组织（IQTirānī）三段论，似乎被Avicenna视为以某种方式依赖于它（对后者的可还原性的系统讨论QiyāsIX.1，其中Avicenna在其他事情中讨论了Modus Ponens的主要前提的想法可能是冗余的思想。

重复的三段论由（i）含有结论或否定的假设前提（条件或分析），作为其部分的结论或否定，（ii）另一个处于置信或否认（从而重复“）部分假设的前提前提。 此类值得注意的论证形式的示例是以下

P→Q，p。⊢q。（Modus Ponens）

p→q，¬q。⊢¬p。（Modus Tollens）

如果假设的前提是条件（Avicenna也认为双条件的情况），和

p∨1q，¬p⊢q

p∨1q，p⊢¬q

p∨3q，¬p。⊢q。（析出三段论）

假设前提是一个分离（真实或虚幻）。

5.3索赔（Qiyāsal-ḫalf）

Avicenna对Roductio的说明是一个有趣的案例，其中他的几个技术差异都发挥作用。 还原是一种复合三段主义（QiyāsMurakkab）-i.e，由三段论的串扰 - 由结缔组织的三段论和重复的三段论组成。 可以通过减少来证明分类和假设命题。

在Naïāt91，i，Avicenna在分类三段论驾驶室中的AAB减少证明的直接示例; AAC⊢AAB，其中（1）是结缔组织的三段论（有条件的次要）和（2）重复三段论（Modus Tollens的一个例子）：

驾驶室; 如果¬aab，那么aob⊢如果¬aab，那么aoc

如果¬aab，那么aoc; aac⊢aab

第一次三段论（结缔组织的4型，有条件的次要）

我。 驾驶室。（初级三段的主要前提= 1的主要前提）

二。 如果¬aab，那么aob。（基于A / O矛盾的次要前提是1）

三。 如果¬aab，那么aoc。（I，II，HYP.AROCO CAT-（A-C） - （A-C），QiyāsVI.4,328）。

第二个三段论（重复）

iv。 如果¬aab，那么aoc。（结论为1 = 2的主要前提）

v。AAC。（初级三段论的次要前提= 2的次要前提）

vi。 aab。（IV，V，Modus Tollens）QED

在Qiyāsviii.3 avicenna讨论了一个版本的索引，其中旨在的结论是一个假设（条件）主张：

假设案例：（a-c）qr; （O-C）PR⊢（O-C）PQ

（一个-c）qr; 如果¬（o-c）pq，那么（a-c）pq⊢如果¬（o-c）pq，那么（a-c）pr

如果¬（o-c）pq，则（a-c）pr; （O-C）PR⊢（O-C）PQ

最近分析了阿维尼纳减少逻辑性质及其一般意义，见（2017年Hodges 2017）。

6.演示

示威理论不仅是逻辑的重要组成部分，而且是其真正的高潮。 它的核心问题是（i）在科学纪律的背景下，可以获得确定性（yaqīn）的条件，并在概念过程中确定（ii）的识别条件形成导致定义。 这决定了各种科学所假设的原则的性质，以获得自己定理的推导，界定界限的界限，更普遍是科学知识的整体架构。

Avicenna在这一领域的原始贡献包括：（1）根据构思和断言的两个基本概念（Strobino 2010和2015b）的两个基本概念重新施放后分析模型（2）更系统，最终简化，治疗四个亚里罗特典的问题（如果，那是什么，为什么）（Strobino 2015b）; （3）鉴于Avicenna自身区分参考/实质和描述阅读（Strobino 2015A）的思想，对必要性概念的特殊解; （4）本身的复杂账户，与预测的理论相连（Strobino 2016b）; （5）科学分类的详细模型（Strobino 2017）; （6）创新的分类 - 以及为什么 - 示范（Strobino即将到来）; （7）对整个科学话语的正式逻辑适用的承诺，例如通过明确确认证明论证的原则和结论可能是分类和假设的命题，以及那种分类以及假设（和重复）三段论在科学中发挥作用。

在这个领域，阿维森纳的工作反映了不仅是基于al-fārābī的复杂方式，而且还反映了希腊评论传统，特别是主人和腓高，其在后卫分析上的卓越作用，现已丢失在阿拉伯语中，可供选择avicenna。 这一点通过对评论员（Mufassirën）的隐含或明确的引用来说尤为明显（tafāsīr,Šurō）在他自己的Kitābal-Burhān传播（Eichner 2010，Strobino 2012，即将到来）。

6.1。 构想和断言

概念（Tağawwur）和断言之间的区别以近几岁的科学话语逻辑发挥了多种关键方式。

证明论证的独特标志 - 确定性的特征在于断言。 如果只有一个人持有（i）P和（ii）P和（i）所以P不能另有规定的信念，则肯定是肯定的 一个示范性论证是肯定地从场所转移到结论的论点。 Avicenna在更广泛分类的框架中明确识别了示范性主张，其各种类症的框架下降了对认知强度（某些，内毒，假定，谬误）的各种类型的断言，这反过来与典型分类有关逻辑学科（示范，辩证法，修辞，诡辩）（Gutas 2012;哈斯纳瓦2013;黑色1990）。

此外，Avicenna的aristotelian基础派的味道，即，在每个科学中的观点都有第一个原则，其中一切都取决于哪些原则，而不是依赖于其他任何事情，以（i）立即断言表示（taṣdīqāt）没有接地的主要断言和（ii）是原始概念的概念（Taëawurāt）。

概念的概念对于Avicenna的本身理论也至关重要，其中科学谓词类型之间的基本区别取决于它们是否在概念上与他们的主题（Strobino 2016B）密不可分。

6.2问题

四个aristotelian问题 - 如果在后分析B1-2中讨论的那种，那么，以及在AvicennaBurhāni.5和IV中的更系统的分析。 在Burhāni.5中，特别是它们分为三对，其中包括几个内部细分：（i）关于名称的含义或关于本质的意义（mā）; （ii）为什么（Limā），关于不合格的存在或在特定国家的存在方面; （iii）如果（HAL）/那（Anna），再次相对于不合格的存在或关于给定国家的存在。 （ii）和（iii）中存在的存在概念分别在其因果和事实版本中封装了属性归属的情况。 这三对问题可能适用于科学陈述的主题和谓词。

阿维肯娜探讨了各种关系，结论是，在一些悬念的情况下，有什么问题和if问题在某些情况下是更为根本的性格，因为为什么问题最终减少了关于某事物的本质的问题，而且IF问题表达了任何科学的至关重要的条件，即其域中基本实体的存在以及对它们的某些基本令人预测索赔的假设。

问题的分类是通过将它们减少到科学知识的两个基本路径的想法：构想和断言及其话语对应，定义和三段论（Strobino 2015b）。

6.3必要性

Aristotelian模型的最重要的理论修订之一涉及必要的概念（ḍarūra），其实际上是以多种不同方式在阿维森纳系统中的新角色。 在一般水平，与上述确定性的想法有关的认识概念; 然后涉及阿维森纳对必要性陈述的技术意义（这是不挑剔的科学理论的主要成分）; 最后存在与科学预测相关的必要性的概念，这在某种程度上是最重要的。

将“三角形”作为预测的主题，并考虑以下两组属性：（i）“作为三条直线包围的平面图”或简单地“是平面图”，（ii）“具有三角”或“具有等于两个右侧的内部角度的总和”。角度“。 所有这些属性都必须为“三角形”真实，但根据avicenna的说法，他们必须以两种方式以两种方式对其主题为真实。 前两个属性“是一个平面图”和“被三条直线包围的平面图”是“三角形”的基本属性（前者是它的属，后者是它的定义）; 它们是它的本构规则，即其他属性不是。 此外，“作为一个数字”在概念上与“三角形”密不可分，并且在其定义中包含在意义上，我们无法正确定义“三角形”，在其真实的本质上，而不吸引该概念。 通过对比度“具有等于两个直角的内部角度”的比较不需要定义“三角形”，即使它必须由它暗示，并且实际上是我们通常证明其主题的属性。 第一种的基本属性由定义捕获，并且通常对另一类属性具有解释作用。 他们解释了另一个对象的属性的事实。 在亚里士多德的科学理论中，这两种类型的属性通常由技术术语“本身”指定。

阿维肯纳还最初在他的科学理论中使用了引用/实质性和描述阅读之间的区别。 以上两种类型的必要性（必要和非必要的）可以保持在任何一种阅读。 特别是描述读数，其中avicenna是科学话语中的默认必需感，允许我们研究某种类型（青铜三角形Qua三角形）的给定对象Qua对象的属性，并使其成为真实，必要的预测只要它是三角形（但没有，只要它存在，因为青铜三角形可以被重新铸造成不同的形状并丢失一定的属性，必须掌握Qua三角形）（Strobino 2015a）。

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

Avicenna的详细说明对aristotelian模型内部的技术区别的作用提升，并将其分配了一个更大且系统的理论相关性，其中三个级别的话语是以原始的方式联系起来的：（i）每个人的理论SE本身，（ii）由遏制（taḍammun）的概念和必要的含义（Iltizām）的概念捕获的不同强度的类型之间的区别，并且（iii）在可分离性类型之间区分，这是其他两个。 所有三个层面以不同的方式表达了必要和非必要必需品的二分法（Strobino 2016B，即将到来）。

（i）本身属性的概念最终与科学理论中的想法相关联，可允许的术语是调查中对象的显着性质。 Avicenna认为，只有通过这种团制的概念词汇表，可以通过理论来满足两个科学知识（必要性和解释性）的两个定义条件。 在这样做时，他提供了一个系统的系统账户，其阐述了后分析A4和A22中的亚里士多德的练习卓言论。 本身的亚里士敦分析是基于“成为定义的一部分，即某事物的一部分”：术语A是根据另一个术语B的本身1，如果A是B的定义的一部分，则是术语A的部分尊重另一个术语B如果只有B是A的定义的一部分。

Avicenna通过组成（Muqawwim）的概念连接定义和分类 - 本身的概念 - 本身的对应物1 - 并牵引（Lāzim） - 每个SE 2-两个特征概念的对应物他的系统与不同类型的形而上学必需品相关。

（ii）这些不同类型的形而上学必需品是两种类型的征服，Avicenna呼叫遏制和必要的含义，并表达了术语之间不同实力的必要联系。 遏制是概念和其密集部分之间的关系（即其定义的成分，在本质上是本质的本质上的一部分）。 必要的暗示是一种较弱的必要性，其两个概念之间仅仅是不可分割的。

（iii）上述对（本身1和2，以及容纳和必要的含义）与两种类型的不可透明性之间的进一步区别相关。 主题是由avicenna开发的，特别是与isagoge有关，最值得注意的是Madžali.5，i.6和i.8。 第一种类型是概念性不可分割性（本身1的对应物1和遏制）; 第二种类型是在想象中的不可透明性（本身的同次和必要的含义）（Strobino 2016B）。

Avicenna本身的另一个有趣特征是企图系统地开发亚里士多州标准，并确定对科学话语的给定种类或领域相关的本身谓词。 这对科学间的各种类系统分类产生了重大影响。

6.5科学部门

Avicenna的分类（或部门）的科学是他对本身的待遇的自然补充，也是最具创新性的尝试之一，这些企图系统地开发的材料在后分析A7，A9和A13中的科学学科从属化。 它对历史原因也很重要。 Avicenna对科学司的叙述实际上是他Burhān的唯一部分，其实际上对西拉丁传统产生了直接影响。

Avicenna分类的来源是他Burhān的一章，他的Burhān是由十二世纪托利丹哲学家和翻译Dominicus Gundissalinus（CA.1110-1190）的秘密翻译和封装在他的de dispersee哲学。 在第一部分中，基于其底层科目之间的相应关系，Avicenna提出了各对科学对之间的分层关系类型的基本分类。 在该部门的根源中是区别不同的，因为（a）他们有两个不同的主题或（b），因为它们以不同的方式对待一个和同一个主体。 他完全阐明了科学域的主要部门，提供了分析和分类的基本关系和依赖性（最值得注意的是，上下奏和从属）。 在第二部分中，Avicenna开发了对科学专注于科学可能具有共同元素的方式的科学标准的互补分类和截然不同。 在这种情况下，他从不同的角度解决了这个问题 - 亚里士多士科学的规范三个要素 - 不仅包括科学的三个要素 - 也是科学原则和问题（Masā'il），即科学的结论三段论（科学的定理）。

使用三个基本标准 - 主题/属（mawḍū'/ğins），原则（mabādi'）和per se属性（'awāriḍ） - 确定身份，重叠或科学探究域之间的明显与亚里士多德正统符合。 但是，阿比纳将标准带到整个不同的水平，并阐明了一个复杂的上乘和从属关系网络，从而在体层结构中严格组织了科学知识，反映了其对象和属性之间的本体论关系。 有关详细帐户，请参阅（Hugonnard-Roche 1988）和（Strobino 2017）。

6.6为什么 - 和那个演示

Avicenna重新解释了一个示范之间的区别，案件和示范是这种情况，为什么某些东西是相关的（i）对本身的分类，即，即说明性参数中使用的谓词类型，以及（ii）科学司（Strobino即将到来）。

avicenna在涉及的谓词类型的功能中区分了两种主要的演示（在第一类分类的三段论中）：（a）中间术语表达了未成年人的2个属性的那些，在这种情况下，主要可能是（aa））中间或（ab）的每个SE 2属性是中间的1个属性; （b）中期表达的那些次要的次要的1个属性，在这种情况下，主要是在大多数情况下（Ba）的中间的2个属性，只有在两个特殊情况下（BB）是中间的1个属性（原因是通常示威活动并不旨在证明本身的一个属性持有他们的主题，这些关系是不言而喻的，定义是不言而喻的。

在进行断言的同时，示范可能仅提供它的推论理由，或者除此之外，还有因果解释为什么事情的方式也是如此。 所有第一批示范都是那样的演示; 第二种示范的所有示威都是为什么 - 示范。

为什么 - 示范可能表达为什么（i）某种属性保存主题或（ii）为什么它持有该主题以及它为什么存在。 在这方面，阿维森纳旨在区分两种不同的解释。 具有等于右角的内部角度的属性的事实是它们是三角形的两个直角，因为它们是第一个类型的示例：由于它的某种属性是真的，因为它是满熟的1属性（在这种情况下它那件事的属。 葡萄藤是落叶的事实，因为它们是宽阔的，是第二种的例子。 区分与应用参数与主题归属示范之间的亚里士多德（McKirahan 1992）之间提出的区别是平行的。 Avicenna对本身的叙述整齐地拟合进入该方案，其中（AA）对应于类型（II）的原因和案例（BA）对应于类型（I）（STROBININ即将到来）的原因。

该演示也被分为两种类型，具体取决于上下文是否是（iii）对象和谓词之间的因果关系或（iv）而不是。 案例（iii）是最常见的那种演示类型，通常在中期（第一图中）是当前阶段的效果而不是其原因（与（ii）的对面 - 为什么 - 示范）。 案例（iv）是一个特殊的那种 - Avicenna包括用于立即追踪的案例，其中包括直接在没有调解的情况下直接追踪的，从某种东西的本质中，这是唯一一个唯一的案例，即该演示可能与确定性相关联; 或者对于两种属性的两个属性用于证明对象（Strobino 2016a，即将到来）的彼此的另一个属性进行证明。

6.7逻辑形式的房屋和结论

Al-fārābō（Strobino 2017）的avicenna借用的一点是确认科学陈述的逻辑形式（房屋或结论）包括分类和假设主张以及那种演示参数可能是分类和假设的（甚至重复的）三段论。 什么可能看起来像一个少数的技术点实际上，为了更好地了解Avicenna在开发正式逻辑方面的动机方面的巨大意义。