IBN新浪的逻辑（四）

另一方面，如果肯定前提是一个暗示，这种组合将是生产性的“（Qiyāsvi.1,300.9-10），无论处于负面的前提。

根据avicenna，可以通过转换房屋之一或通过突出的验证的类似物（在双孔的情况下，根据Avicenna来证明所有上述情绪。

第三个数字

羟脯氨酸。 达拉特蒂C-C-C。（a-c）rq; （一个-c）rp⊢（我-c）pq

羟脯氨酸。 Felapton C-C-C。（e-c）rq; （一个-c）rp⊢（o-c）pq

羟脯氨酸。 Datisi C-C-C。（a-c）rq; （我-c）rp⊢（我-c）pq

羟脯氨酸。 isamis c-c-c。（i-c）rq; （一个-c）rp⊢（我-c）pq

羟脯氨酸。 Bocardo C-C-C。（o-c）rq; （一个-c）rp⊢（o-c）pq

羟脯氨酸。 Ferison C-C-C。（e-c）rq; （我-c）rp⊢（o-c）pq

就像在第一和第二个数字一样，这些情绪通常通过转化或通过还原来证明。

2型：假设的三段论，条件和脱皮前提（Qiyāsvi.2）

由条件和分离前提包括的假设三段论是在复杂性方面的第二种，仅适用于条件和分类的组合（下面的类型4）。 除了上面看的标准方法外，生产情绪的证明通常涉及将条件前提变为分解前提，反之亦然（对这些推论关系的分析占据Qiyāsvii.1-2中的Avicenna，但他使用它们在齐亚斯六世的自由，在明确地讨论随后的论文之前）。 同样地，在表明某种类型的假设结论之后，avicenna经常表明它还产生了另一种的假设结论，无论是逻辑上等同的还是简单地暗示。

一般来说，对于这种类型的场所，参数的分类依赖于以下标准：哪些前提或次要的是有条件的，它是沉浸的; 是否共享部分（这里总是一个命题）是疾病或条件的后果; [18]脱位是真实的还是不是; 分离的部分是肯定还是负; 是否有条件是一种意思。[19]

avicenna讨论了三段论的各种组合（ta'līfāt），首先在其主要和次要房地的基础上确定，然后根据其他参数进行差异化。 以类别与分类在一起的个人情绪是以其（假设的）房屋的质量和数量的函数来确定的。 因此，组合被分发成两个主要组。 在第一个组中，三段论有一个沉浸的专业和有条件的次要。 在第二组中，三段论有一个有条件的主要和解体未成年人。

第1组（分离专业，条件小组）

案例1：分离是真实的，共享部分是条件的结果

案例2：分离是虚幻的，共享部分是条件的结果

案例3：脱位是真实的，共享部分是条件的前一种

案例4.1：分离是虚幻的，共享部分是条件的前驱，是肯定的

案例4.2：分离是虚幻的，共享部分是条件的前驱，是消极的

第2组（有条件的主要，分离的未成年人）

案例5：分离是真实的，共享部分是条件的前一种

案例6.1：分离部分是虚幻的，共享部分是条件的前驱，是肯定的

案例6.2：分离是虚幻的，共享部分是条件的前驱，是消极的

案例7：分离是真实的，共享部分是条件的结果

案例8：分离是虚幻的，共享部分是条件的结果

来自第一组的案例1的示例是以下（Qiyāsvi.2,305.8-10）：

（一个-d1的）rq;（一个-c）pr⊢（一个-c）p¬q

总是，c是d或a是b; 总是，如果h是z，则c是d⊢始终，如果h是z，则a不是b

但也（nağāt，xix）

（一个-d1的）rq;（一个-c）pr⊢a-d1的）pq

总是，c是d或a是b; 总是，如果h是z，则c是d⊢始终，h是z或a是b

除了其内在的逻辑效果之外，阿维肯纳的讨论是由几个例子（特别是对体内的反例，表明某些情绪没有富有成效）取自物理和形而上学域。

3型：假设三段论与两个分解场所（Qiyāsvi.3）

相比之下，第三种假想的三段论是最简单的。 它涉及具有两个障碍的前提对。 Avicenna指出，由于实际剖钉的状态，这既独有又穷举，也可以没有涉及两个这样的场所的组合。 该索赔证明涉及关于在Qiyāsv.5（特定疾病表达非详尽替代品）的疾病已经提出的障碍的情况下的量化意义的有趣点。

此外，这种类型没有排列在图中，因为对称（mutakāfi'），与前所未有的，这也意味着在主要和次要前提下没有区别（所有排列等同于，因为它们对订单不敏感）。

在这种情况下考虑的组合至少涉及至少一个虚幻分离，这可以与真实的分离，对真正的脱位的否定或与共享部分可以是肯定的或负的另一个虚幻分离的否定。

第一种情绪，两个房屋既是肯定的，一个有负部分，如下（Qiyāsvi.3,321.4-5）

（一个-维生素d3）r¬q;（一个-d1的）pr⊢（一个-d1的/ 3）¬p¬q

证据是基于将两个析出场所转换为逻辑上遵循它们的条件陈述，即（A-D3）r¬q∈（a-c）¬r¬q（a-c）p -r。 从这种条件场所来看，可以容易地得出条件结论（A-C）P¬Q，这反过来需要析取命题（A-D1 / 3）¬P¬Q。

具有肯定的普遍虚幻探测处所的一个例子，分享负部分如下（Qiyāsvi.3,323.14-324.5）

（一个-维生素d3）¬rq;（一个-维生素d3）p¬r⊢（o-维生素d3）pq

这相当于以下三段论

（一个-c）rq;（一个-c）rp⊢（我-c）pq

凭借在障碍和条件中持有的推崇关系。[20]

4型：具有条件和分类前提的假设三段论（Qiyāsvi.4-5）

前三种类型是纯假设的三段论。 第四个和第五个是混合假设的三段论，由与分类相结合的假设前提。

由条件和分类前提包括的假设三段论是Qiyās广泛处理中最突出的案例。 分析占据了两章，其顺序顺序似乎都是偶然的。 参数的分类遵循熟悉的标准，但在这种情况下，优先级的顺序是不同的。 第一个参数取决于共享部分是什么。 根据主要和次要前提是在随后的（Qiyāsvi.4）或条件前提（Qiyāsvi.5）的前提中获得的主要类型是两种主要类型。 第二个参数取决于主要是分类的还是条件。

在这种情况下共享的是一个术语，该术语与另一个分类，即传感前提或条件前提的后果连接。 这需要这种类型的三段论实际上是“包含”一个分类的三段论，其结论是由其暗示的或意味着另一个命题。 这也许是主要划分的原因在于，在前所未有的（i）中的共享（i），以及前案件被认为更相关的原因（或至少更为普遍）。 对于（i）的情况下，所有三段论将产生相应的分类三段论的结论，而是作为条件的结果; 然而，在（ii）（ii）条件的定量和前进的量化之间的相互作用产生的情绪产生的情绪，只会与标准的分类情绪相反，并且受到各种资格的影响。

两种考虑因素 - 关于某些推理模式的更自然的性质以及对科学的适用性（Qiyāsv.1，nağāt） - 暗示假设的三段论是阿维森纳理论的一个组成部分哲学与科学话语的实践。

最后，两种类型的混合假设三段论是唯一一个唯一的案例，其中avicenna系统地调查量化的原子命题（这一事实的明显后果，即他正在观察有条件形式的推理，非常类似于分析的那些分类三段论）。

在Qiyāsvi.4中，通常处理分享在条件前提下发生的分享的三段论组，Avicenna调查了两种情况：第一个具有分类专业和条件未成年人，第二个具有条件主要和一个分类的未成年人。 在共享项的位置，不难看出如何自然地产生熟悉的人物和情绪的条件版本。

在每种情况下，Avicenna也根据条件前提和条件结论所涉及的量化条件的类型区分情绪。

案例1：分类主要，条件次要，条件下的共享; 三个数字（Qiyāsvi.4,325.2-331.9）

第一图：谓词的条件=分类专业的主题

通用肯定条件前提

羟脯氨酸。 Barbara Cat-（A-C） - （A-C）BAC; （一个-c）p-aab⊢（一个-c）p-的AAC

每一个b都是c; 总是，如果h是z，那么每一个是b∈总是，如果h是z，那么每一个是c（其中p代表“h是z”）

羟脯氨酸。 Celarent Cat-（A-C） - （A-C）bec; （一个-c）p-aab⊢（一个-c）p-回声消除

羟脯氨酸。 Darii Cat-（A-C） - （A-C）BAC; （一个-c）p-aib⊢（一个-c）p-aic

羟脯氨酸。 FERIO CAT-（A-C） - （A-C）bec; （一个-c）p-aib⊢（一个-c）p抗氧化能力

特定的肯定条件前提：avicenna只是指出有四种生产性情绪，大概是上述内容的模拟，次要前提和结论是我条件。

普遍负条件前提是：在这种情况下，条件前提是负面影响的事实会影响分类，这在所有时间和所有情况下都被拒绝。 阿维肯娜呈现出三种情绪，实际上是相当于Qiyāsvii.1中讨论的相互含义的关系，提出了三种情况（a）（他没有明确讨论Belarent的假设等同物，也是如此通过相应的FERIO生产）：

羟脯氨酸。 Barbara * Cat-（E-C） - （E-C）BAC; （e-c）p-aob⊢（e-c）p抗氧化能力[21]

[羟脯氨酸。 Celarent * Cat-（E-C） - （E-C）bec; （e-c）p-aob⊢（e-c）p-aic]

羟脯氨酸。 Darii * Cat-（E-C） - （E-C）BAC; （e-c）p-aeb⊢（e-c）p-回声消除

羟脯氨酸。 FERIO * CAT-（E-C） - （E-C）bec; （e-c）p-aeb⊢（e-c）p-的AAC

特别是负面条件前提：avicenna指出，如果我们用BEC的对应物补充后者，那么有四种生产性情绪，必须是之前情况的特殊版本; （e-c）p-aobaob⊢（e-c）p-aic（阿维纳没有明确讨论这种情绪，但它与他采取的生产率的一般标准兼容，即分类专业应该是普遍的，因此条件负面）。

第二图：谓词的条件=分类专业的谓词

通用肯定条件前提

羟脯氨酸。 Cesare Cat-（A-C） - （A-C）CEB; （一个-c）p-aab⊢（一个-c）p-回声消除

羟脯氨酸。 骆：猫 - （a-c） - （a-c）驾驶室; （一个-c）p-aeb⊢（一个-c）p-回声消除

羟脯氨酸。 Festino Cat-（A-C） - （A-C）CEB; （一个-c）p-aib⊢（一个-c）p抗氧化能力

羟脯氨酸。 Baroco Cat-（A-C） - （A-C）驾驶室; （一个-c）p-aob⊢（一个-c）p抗氧化能力

当条件是特别的时候，阿维西纳争辩说有四种额外的情绪。 否定（普遍）以一般而言：他们的生产力标准要求分类主要和条件次要的结果是肯定的或负面的，以及分类的普遍性。 例如，

羟脯氨酸。 cesare * cat-（e-c） - （a-c）CEB; （e-c）p-aob⊢（e-c）p-aic

凭借熟悉的转型规则是有效的。[22]

第三个数字：条件后果的主题=分类专业的主题

通用肯定条件前提

羟脯氨酸。 达拉特蒂猫 - （A-C） - （A-C）BAC; （一个-c）p-baa⊢（一个-c）p-aic

羟脯氨酸。 Felapton Cat-（A-C） - （A-C）bec; （一个-c）p-baa⊢（一个-c）p抗氧化能力

羟脯氨酸。 Datisi Cat-（A-C） - （A-C）BAC; （一个-c）p-bia⊢（一个-c）p-aic

羟脯氨酸。 isamis cat-（a-c） - （a-c）BIC; （一个-c）p-baa⊢（一个-c）p-aic

羟脯氨酸。 Bocardo Cat-（A-C） - （A-C）BOC; （一个-c）p-baa⊢（一个-c）p抗氧化能力

羟脯氨酸。 Ferison Cat-（A-C） - （A-C）bec; （一个-c）p-bia⊢（一个-c）p抗氧化能力

当条件前提是不同的时，心情将是上述情况的修订形式，就像在第一和第二数字的情况一样。

案例2：条件主要，分类次要，在条件的随后分享; 在三个数字（Qiyāsvi.4,331.10-336.8）。

第一个数字：条件结果的主题=分类次要的谓词

通用肯定条件前提

羟脯氨酸。 芭芭拉（A-C）-CAT-（A-C）（a-c）p-bac; aab⊢（一个-c）p-的AAC [23]

总是，如果h是z，那么每b都是c; 每一个都是b⊢，如果h是z，那么每一个都是c

羟脯氨酸。 Celarent（A-C）-CAT-（A-C）（A-C）P-BEC; aab⊢（一个-c）p-回声消除

羟脯氨酸。 Darii（A-C）-CAT-（A-C）（a-c）p-bac; aib⊢（一个-c）p-aic

羟脯氨酸。 FERIO（A-C）-CAT-（A-C）（A-C）P-BEC; aib⊢（一个-c）p抗氧化能力

当条件前提是（E-C），（I-C）或（O-C）时，每种情况都有四个，因为规范等效性。

第二和第三个数字：

第二个图的四个条件情绪（条件的后果的谓词是分类次要的谓词）和第三个数字的六种条件情绪（其中条件的受试者是分类次要的主题）在一个类似的方式。 在这两种情况下，情绪对应于相关分类数字的那些，在每种情况下，根据条件专业的质量和数量，每种情况都有四种变化。 变换与上述相同。 Avicenna偶尔会概述生产力的条件（例如，在条件前提是普遍负面的第二种情绪中，因此必须特别且具有与分类前提相同的质量）而没有分析特定条件前提的情况明确。

最后，值得注意的是，Avicenna明确地表征了具有肯定条件主要的假设的三段论，在分类的结果中，分类的次要和共享术语，作为生产力条件的那些是分类和的条件的结果应以与第一数图分类三段的连接（IQTirānāt）相同的方式相关。 在这种情况下，

结论是一个条件命题，其后果将是两种分类[命题]的结论[所产生的]，它们是以隔离的[I.E.，而不是假设三段论的一部分。 （Qiyāsvi.4,331.13）

出于类似的原因，相同的情况适用于之前的情况（分类主要和条件次要的组合）。 在这方面，阿维森娜指出，与这些特征的分类三段论和假设三段论之间唯一的区别在于，在前者的结论中，在没有资格的情况下，如果有所作为，那么如果有所作为“（QiyāsVI.4,325.14-5）。

当共享发生在前进状态时，由条件和分类前提组成的假设三段论的第二主要分裂。 对这些三段论的分析是Qiyāsvi.5的主题，这是唯一一个明确对待的语料库中的地方。 其他地方（例如，nağāt），据说这种假设的三段论在科学中较少使用。 尽管对上述案例的结构性类似（结论仍然是一个有条件的命题，即使这里的分类“片段”占据前所未有的地点），条件的量化和止冲性相互作用的量化方式生成通常不镜像分类三段的结果。 分类与之前的情况平行，由两个主要组组成：第一个具有条件主要和分类次要，第二个具有分类专业和条件小组。 每组分为三个数字，如上所述，并且通过尊重条件前提的质量和数量的四种组合来分析每个数字的情绪。

5型：假设的三段论，具有析取和分类前提（Qiyāsvi.6）

第二种混合假设的三段论由分离和分类前提（或几个分类处所）组成。 在所有阿维西纳人的逻辑作品中至少提到过，在齐亚斯VI.6,349.1-354.12中获得更广泛的待遇。 与上面讨论的一些类型一样，这种假设的三段论被间接被承认在正式逻辑领域之外的应用，因为阿维森纳与某些资格表达了类似于方法所涉及的推理方式诱导（Qiyāsvi.6，Burhāni.7）。 当这种类型的假设三段论表达完整的划分时，预测是真实的（ḥaqīqī），主题是析出命题的主题，在这种情况下，它被称为“划分的三段论”（Qiyāsmuqassam）。

阿维肯依次探讨了不同的可能性。 借助于nağāt的较短治疗，可以识别底层结构，其中顺序相对于材料布置在Qiyās中的方式。 他区分了两个主要的三段论群体，其中一个（i），其中分类前提只是一个; 涉及多个分类的另一（ii）。

在第一种情况下，最自然的安排是当未成年人是肯定的分类，其谓词是析出专业的主题。 在Naëāt82，xvi上的例子“可爱的一切都是偶数或奇数; 每一个大量都可数; 因此，每一个大量都是偶数或奇数“总是与一般方案”一致“总是，每B都是H或Z; 每一个c是b; 因此，总是，每一个C是H或Z“在Qiyāsvi.6,353.8-9上给出。 在Naïātivicenna断言，这种安排有四种组合，而且在Qiyās和nağāt中，他指的是上述第一图的（心情）。 可接受的变异似乎是那些涉及特定主要和次要的人，或普遍负面主要的（或肯定负零件）。 第二个数字被认为是非生产性的（并且在nağāt中始终没有提及），而第三个数字被认为通过转换结论但不再进一步讨论。

在第二个案例中，主要是分类和次要分析，主要是多个分类，它必须与分离的部分一样多的数量（以确保正确的连接）。 每个分数和每个分散的都是由一个术语连接的; 和分离的所有部分都有一个术语。[24] 这产生了两个基本子例，每个基本情况下都排列在图中。 与完整感应的概念相关的第一图的架构是“每个C和H和Z是一个; 每b都是c或h或z; 因此，每一个B都是“。 它由该示例说明

每只动物都是身体，每种植物都是身体，每一个矿物都是一个身体; 移动的一切都是动物或植物或矿物质; 因此，移动的一切都是一个身体。 （nağāt，十八世）