IBN新浪的逻辑（三）_数学联邦政治世界观

因此，一个独家和详尽的普遍肯定的脱位需要一个提出，表达普遍存在于其中一个分散的矛盾和另一个（“来自'的矛盾（”来自“的矛盾，或者每一个都是B或每个C是D'Ine可以推断'永远不是每一个b或每c是d'，'永远不是每个c是d或每一个是b'”，qiyāsvii.2,380.1-4）。匡威通常不是真的，因为凭借不可能与另一个不可行的分散的负面分离可能是真的（根据在Qiyāsv.5中讨论的负面障碍的语义）的不可能分散。（I-D1）和（O-D1）命题相同的保留。

来自现代逻辑的角度的障碍和条件的关系，从现代逻辑的角度，反映了上述区别的复杂性。 Avicenna调查关系，例如（A-D），（A-C）和（E-D）命题（QiyāsVII.2,381.11-17）之间的三角测量：

（a - \（\ mathbb {d} \）^ 1）PQ，带箭头指向（e - \（\ mathbb {d} \）^ 1）¬pq和to（a - \ mathbb {c} \）^ l）¬pq，也是一个箭头指向最后一个项目到最后一项

这只是一个更复杂的推理关系网络的示例，这应该被补充，应与详尽的列表辅成，并准确地分析用于治疗三段论的推论，特别是在Qiyāsvi中。

5.三段论

Avicenna的正式逻辑的高潮是制定一个制定的三段论理论，这些理论从古老和晚古代逻辑中汇集了各种股线，通过围岩镜片过滤，并产生了一种新的和原始的系统。

在其主要部门的三段论（Qiyās）的理论占据阿维施尼的所有逻辑作品中突出的一部分。尽管材料重新安排了材料，但特别是在išārāt。在中期的作品中，特别是nağāt和Qiyās的广泛治疗，Avicenna遵循先前分析的路径。[13]

三段论的类型：结缔组织

在若干创新中，Avicenna可能会被认为是规范划分的编纂，在古代古老的逻辑中酝酿的区别，在许多类别中成为后来阿拉伯语逻辑的标准概念词汇。

三段论分为两种主要类型：（1）结缔组织（iqtirānī）和（2）重复的三段论（istiṯnā'ī）。

结缔组织被定义为既不结论也不是其矛盾的那些明确的部分地点，因此作为那些结论只有在房地内含有的三段论。结缔组织的特征在于部分重叠或分享场所（中期或在结论中排出的命题）之间的分享。

重复的三段论被定义为结论或其矛盾的结论是明确的一部分。

关于三段论论据的进一步讨论包括（i）复合三段（QiyāsMurakkab），它涉及多个三段论，使得三段论的结论是下一个三段论的前提，无论是明确的级联（mawṣūl）或隐含的一个（mufaṣṣal），以及在后期的阿拉伯语（lawāḥiqal-qiyās）的标题下，以后讨论的其他形式。这些各种各样地连接到先前分析的章节，包括：（ii）通过不可能或减少adsurdum（qiyāsal-ḫalf或kalāmilāl-muḥāl）的证明，其中在avicenna是有趣地分析了结缔组织和重复的三段论的组合，（iii）转型（'aks al-qiyās），（iv）来自对立的三段论（QiyāsātMu'Allafa MinMuqaddamātumāqabila），和（v）循环证明（Bayānad-dawr）。

5.1连接三段

连接三段论分为两种主要类型：（1）分类（ḥamlī）和（2）假设（šarṭī）三段论。

（1）分类三段论是那些房屋和结论的人都是只有分类命题的那些。他们的治疗构成了阿维肯纳最原始的贡献之一。它遵循亚里士多菜传统熟悉的路径和采用技术，但是由此产生的系统是原始的，并且基于独特的直觉，主要是由于对分析在命题分析中的模态的复杂理解。

（2）假设的三段论是一种新的发展，至少相对于亚里士多德。虽然该模型可能感谢古希腊人来源，但其成分元素的真正创新性质（量化的假设命题）将这一领域转变为与其最自然的希腊语（Galen）或拉丁语（最符合标准的Boethius）的某些不同的东西比较，甚至撇开其他差异。

假设的三段论调查其中至少一个房屋是一个假设命题（类型（i），即它们自己是分类的一个假设的命题，尽管Avicenna似乎没有对更复杂的参数表单进行任何限制）。纯粹假设的三段论是那些房屋的组合仅涉及假设（条件条件;条件 - 分离;分离 - 分离）的组合。混合假设的三段论是那些房屋组合涉及假设（条件或分离）和分类的那些。

假设的三段论在阿维森纳的各种逻辑作业中对待的程度显着各异。与Qiyās中提供的广泛分析相比，避免了大量材料（例如在nağāt和išārāt）中（例如，承诺但从未交付 - 据我们所知道的经常宣布）附录的书籍Kitābal-lawāiqiq）。选择的标准不仅仅是务实的（假设的三段论显着复杂，如果只是通过额外的量化层产生的复合效果），而且还基于一些组合更自然的想法（也许更直观）其他人。

Avicenna的结缔组织的整个大厦都在假设某些论点形式是自我明显的富有成效（Bayyina，Bayyina Bi-Anfusihā，Bayyinat Al-intāğ）或完美（Kāmila）和那个通过标准证明方法可以减少（ruğū'）来减少（ruğū'）。后者包括（i）基于转换（'aks）的证明（以及其他类型的房屋或结论转为逻辑上等同的房屋或结论，在假设的三段论的情况下），（ii）基于术语的证据（iftirāḍ） - 亚里士多德概念的对手，（iii）通过不可能的（或减少ad absurdum，qiyāsal-ḫalf）的证明。根据情况，可以使用一个，两个或所有三种方法来证明生产率。

5.1.1分类三段论

Categorical syllogisms are argument forms consisting of triplets of terms(ḥudūd)arranged in two premises(muqaddamāt)and a conclusion(natīğaor, insofar as it is implicitly contained in or aimed at by the premises,maṭlūb）。这两个场所彼此分享一个术语，每一个都结束，例如“每B是C; 每一个都是b; 因此，每一个是c“（bac，aab⊢aac）。由处所共享的术语被称为中期（ḥaddawsaṭ）。结论的主题被称为次要术语（ḥadd），结论的谓词称为主要术语（ḥaddakbar）。股票结论的前提是次要术语被称为次要前提（muqaddama）。股份得出的前提是主要学期称为主要前提（MuqaddamaKubrā）。

数字和情绪

中期可能是（i）次要前提的主要前提和谓词的主题; （ii）两者的谓词; 或（iii）对象。所得到的配置称为（i）第一图（Šaklarwwal），（ii）第二图（šakl）和（iii）第三个数字（ṯāliṯ）。像亚里士多德一样，阿维森娜不考虑第四个数字。[14] 每个数字都包含许多有效的情绪（ḍurūb），由房屋的数量，质量和模数标识到。为简单起见，我使用标准词汇来治疗亚里士多特利语义（特别是在拉丁中世纪开发的助记符标签列表，以识别情绪）。[15] 第一个数字的情绪是芭芭拉，Celarent，Darii，Ferio。第二个数字的情绪是CESARE，Camestres，Festino，Baroco。第三个数字的情绪是达拉拉图，费拉巴顿，Datisi，isisamis，Bocardo和Ferison。以上所以每种组合都会富有成种模态房屋，而不是与他人的组合。

Qiyās和Naëāt的生产情绪讨论遵循先前分析的顺序和方法，并侧重于不同的模态混合（iḫtilāṭāt），然后由图（例如，LX或LX或LX或LX）分类第一个，第二和第三个数字中的LM组合）。在išārātavicenna中选择了一种不同的方法，并通过混合来讨论数字的生产力。这使他能够更有效地展示各个数字的推论的许多一般原则，以及最重要的是对第一个数字（街道即将到来）的专业的所谓规则进行修改。主要的统治告诉我们，第一节三段论结论的态度遵循主要前提的模当，除了下面将讨论的两种情况（LD1LL和XMM）。鉴于Avicenna归功于第一个数字，这一举动代表了简单性方面的显着增益。

以下是每个数字中的模态房屋的生产组合的示意性摘要（方括号中的组合是生产的，但并不总是通过avicenna明确识别）。

xx将lx毫米mx ml

首先

图的XXX

[xxm] lll

[法学硕士] lxl

xlx

ld1ll嗯mxm

xmm

[xmx]

[mxx] lml

传销

[lmm]

第二

图。只有

x转换为自己。lll。LXL

xll。没有情绪。只有

x转换为自己。LML

mll

[lmm]

[传销]

第三

图的XXX

[xxm] lll lxl

xlx嗯mxm

xmm

[xmx]

[xxm]

[mxx] lml

传销

[lmm]

在第一图中，根据išārāt中提供的简洁账户，如果次要前提是一个现实命题（x或l），则结论遵循主要（x，l或m）的模态。然而，有两个例外情况，结论遵循次要前提的方式。第一个例外是LD1LL，其中主要是描述必要性主张，结论，如未成年人，是一个l-命题（比主要）更强。第二个例外是XMM，其中主要是绝对的命题，结论，如未成年人，是一个M-命题命题（弱于专业）。在剩下的两种情况下，未成年人是M-命题，即MMM和LML，主要适用。

第一图中的MMM和MLM情绪是完美的（QiyāsIV.1,181.2-4,184.3-6和IV.3,199.5-6，后者被明确地称为maqūl的情况kull或dictum de omni）。相比之下，LML情绪要求证明。

Avicenna的模态逻辑的一些最有趣（和有问题）方面出现了与用于建立某些显着情绪的生产率的证据相关。例如，在有争议的想法是可能的可能会假定是真实的背景下一个反证法证明（以及在证明e转换的必要性命题）是合理的直觉有引发了激烈争论中后avicennan传统（类似的问题出现在希腊传统;为一个哲学解释这种技术，请参阅malink＆罗森2013）。另一个问题是Barbara LML证明的潜在循环，即使我们抛开假设可能是实际的问题，似乎在Baroco LXL上依赖于Barbara LML（2002年街道）。

位于阿维施纳对核心核心的核心的重要直觉与上面引入的不同读数（参考/实质和描述）有关。如果属性必须在参考/实质性阅读下持有某些东西（由中期挑选），那么它也必然持有中期可能的情况：

总而言之，请注意，这是必须有必要的事实，这总是必要的（ḍarūriyyanfa-ḍarūriyyundā'iman），并且它可能会[也是可能的在更一般的意义上（Wa-amkanahū-imkānal-a'āmm）。（QiyāsIV.3,203.4-5）

类似的推理符合LXL情绪（QiyāsIV.3,202，nağāt）和Mutatis Mutandis的情况适用于LD1LL的次要前提。

Avicenna在QiyāsIV.1，184.3-5中明确地制定了Dictum de Omni的广义模态版本：

可能持有可能持有[某种东西]以明显的方式持有[那个东西]（Mumkin Al-Mumkinẓāhiral-imkān），就像必然拥有必然持有的[某事]必然持有[某事物]（ḍarūrī-ḍarūrī）以及持有[某事物]的持有[某些东西]（mawīd[wuğūd] al-mawğūdmawğūd）。

也许Avicenna系统最引人注目的特点是一部分具有次要前提的第一尺年级的生产力（和基本角色），传统上被认为是众多阿维迪纳的评论员有问题。支持这一观点的案例主要是在某种程度上讨论术语和可能性主张在概念或精华之间表达兼容性（或可分离性）关系的术语，其中百年人经常在当然（主题和谓语）方面阐明（Thom 2008,2012）。

第二个数字的值得注意的财产是，由于Avicenna对他自己的一般绝对的aristotelian assertoric的替代，严格来说，两个绝对处所没有生产性情绪，因为他们没有像自己皈依（街道2002）。然而，当在合格的意义上采用绝对的意义时，宣传熟悉的四种情绪的生产率，即它作为自身转换为其本身，即当它至少与LD1-printion（相同适用于第二次）时图XM情绪）。 Avicenna始终如一地讨论他的逻辑作品中的这一基本要求，通常与这种合格的阅读是默认的电子命题的默认感，以及科学（Strobino即将到来）的默认感。

最近（THOM 2012）最近提供了对这种排序的考虑和旨在查看其与Avicenna的形而上学的逻辑属性影响的Avicenna的莫代尼语义的陈述。（THOM 2012）。该项目的灵感来自原则，类似于基于亚里士多德莫代利纲的解释中最重要的最重要发展的原则（Malink 2013）。一种模型，其强调了阿维森纳逻辑的二维特征，并读取阿联纳，因为（Hodges和Johnston 2017）已经提出了降低时间方式的含量模型。

5.1.2假设的三段论

上面讨论的假设命题可用作三段论论据的场所和结论。

假设三段论的类型

Avicenna调查五种主要类型的假设三段论（进一步的内部部门）。前三个是两个条件前提（1型），条件前提和分离前提（2型）的组合，或两个脱血前提（3型），并且称为纯（ṣirfa）假设的三段论。最后两个是条件和分类前提的组合（类型4，细分为两个类），或分离和分类前提（类型5），并且称为混合（muḫtalaṭa）假设三段论。[16]

一般来说，有一些需要牢记的结构特征，同时看看avicenna的逻辑的这一部分。假设的三段论是结缔组织（iqtirānī）三段论，正如我们上面所见的那样，这意味着根据定义，该处所通过共享元素连接。后者可以是（i）一个术语（类型4和5，其中分享在分类前提的术语与假设（条件或腐殖液）前提的组成命题之一中的术语）或（ii）一个命题（类型1,2和3）。在某些情况下，该布置使得可以以类似于分类三段的方式识别三个图，是否共享部分是术语（再次类型4和5）或命题（类型1）。在其他情况下，没有出现这样的分区，特别是在没有部件的内在顺序（3型）的情况下。

Avicenna讨论的另一个标准特征，特别是在不同种类（第2型，4,4和5）的情况下，参数分类为（i）的功能，是主要的，这是一个小的; （ii）共享哪些部分（对于条件，是否是前所未有的一部分或因此;对于剖宫不容，分离是真实的还是虚幻的，以及共享部分是否是肯定的或负面的。

在几次 - 最常见的情况下，但在删节治疗的背景下，Avicenna简化了分析，并通过提供了根据这些不同参数确定的一般标准来避免对个体生产能力的详细讨论。同样，这种方法在结构上类似于用于治疗分类三段论的人，但由于在与假设的额外变量下，复杂性更高。值得注意的是，在avicennan avicennan宁南逻辑中，特别是用ḫūnağī开始，从大义纳的系统的这一部分支付了相当大的关注，并且发现额外情绪以及厌恶阿维肯接受的情绪往往与a相关联这些标准的批评和修订（El-Rouayheb 2010）。

类型1：具有两个条件场所的假设三段论（Qiyāsvi.1）

在两个有条件的房屋的假设三段中，共享部分是一个命题，其在分类三段中的中期扮演相同的角色。根据是否是（i）的主要前提和未成年人的前提，（ii）两者或（iii）两者的后果，这两种熟悉的人物的争论将属于三个熟悉的数字之一。这里的情绪在这里确定了条件前提和结论的质量和数量，与涉及分类和条件的组合的情况不同，因为我们将在下面看到的数字和情绪，由分类前提和另一个分类命题，即其他（条件）前提的结果或前提。

下面呈现的情绪并不毫无限量富有成效。在几种情况下，他们的生产率取决于条件是难以怎（luzūmī）还是巧合（ittifāqī）。一旦增加所需资格，我列出了无效的心情，但由于所需的资格，但为了简单，后者在符号中没有表达后者。

第一图包括四种特征情绪，其被描述为完美（Kāmil）。 avicenna在某些长度上讨论了这个数字的状态，了解它表达的条件是否是luzūmī或ittifāqī。

第一个数字

羟脯氨酸。芭芭拉c-c-c。（a-c）rq; （一个-c）pr⊢（一个-c）pq [17]

羟脯氨酸。 celarent c-c-c。（e-c）rq; （一个-c）pr⊢（e-c）pq

羟脯氨酸。达利C-C-C。（a-c）rq; （我-c）pr⊢（我-c）pq

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

第二个数字

羟脯氨酸。 cesare c-c-c。（E-C）QR; （一个-c）pr⊢（e-c）pq

羟脯氨酸。骆：C-C-C。（A-C）QR; （e-c）pr⊢（e-c）pq

羟脯氨酸。 Baroco C-C-C。（A-C）QR; （o-c）pr⊢（o-c）pq

羟脯氨酸。 Festino C-C-C。（E-C）QR; （我-c）pr⊢（o-c）pq