亚里士多德的逻辑

亚里士多德的逻辑，特别是他的三段论理论，对西方思想的历史有着无与伦比的影响。 它并不总是保持这个职位：在地狱般的时期，坚忍的逻辑，特别是克莱斯普斯的工作，骄傲。 但是，在亚里士多姐评论者的工作之后，亚里士多德的逻辑成为主导，亚里士多德逻辑是传播给阿拉伯语和拉丁文中世纪传统的逻辑，而克莱斯普斯的作品没有幸存下来。

这种独特的历史地位并不总是有助于了解亚里士多德的逻辑作品。 康德认为亚里士多德已经发现了关于逻辑的所有了解，逻辑Prantl的历史学家都画出了任何逻辑师在亚里士多德后谁说，那些新的东西被困惑，愚蠢或不断困惑。 在弗雷格和北京现代正式逻辑的兴起期间，传统逻辑的追随者（被视为亚里士多特逻辑的后裔）和新的数学逻辑倾向于彼此相互看，逻辑概念不相容。 最近的奖学金经常将数学逻辑技术应用于亚里士多德的理论，揭示（在许多人的意见中）许多相似性和亚里士多德和现代逻辑学之间的兴趣。

本文是用后者的观点写的。 因此，它是关于亚里士多德的逻辑，这与被称为“aristotelian”逻辑的逻辑并不总是同样的事情。

1.简介

2.亚里士多德的逻辑作品：有机乐

3.逻辑主题：“三丽丽”

3.1诱导和扣除

3.2亚里士多德扣除和现代有效争论

4.场所：断言的结构

4.1条款

4.2肯定，否认和矛盾

4.3所有，一些，没有

5.三段论

5.1数字

5.2证明方法：“完美”扣除，转换，减少

5.3防范：Conterexamples和术语

5.4数字中的扣除（“情绪”）

5.5传言结果

5.6标有模式的三段论

6.示范和证明科学

6.1亚里士多德科学

6.2回归问题

6.3亚里士多德的解决方案：“它最终停止了”

6.4第一原则的知识：别

7.定义

7.1定义和精华

7.2种，属，不同

7.3类别

7.4分裂方法

7.5定义和演示

8.辩证论点和辩证法的艺术

8.1辩证处所：Endoxos的含义

8.2辩证法艺术的两个元素

8.3辩证法和辩证论的用途

9.辩证和修辞

10.秘密辩论

11.非矛盾和形而上学

12.时间和必要性：海运

13.亚里士多德术语词汇表

参考书目

学术工具

其他互联网资源

相关条目

1.简介

亚里士多德的逻辑作品包含了我们拥有的最早正式的逻辑研究。 因此，它们包括一个高度发达的逻辑理论，能够掌握大量尊重的高度发达的逻辑理论：康德，从亚里士多德的遥远，康斯特比我们来自他，甚至认为没有任何重要意义的意见在介入两千年。

在上个世纪，亚里士多德作为逻辑师的声誉经历了两个非凡的逆转。 弗雷格和罗素工作后现代正式逻辑的兴起带来了一个认可亚里士多德逻辑的许多严重局限; 今天，很少有人会尽力保持它足以作为了解科学，数学，甚至日常推理的基础。 与此同时，以现代形式技术训练的学者已经到来，以新的尊重来看亚里士多德，而不是他的结果的正确性，因为他的大部分工作与现代逻辑之间的精神显着相似。 正如Jonathan Lear所说，“亚里士多德股份与现代逻辑书股份对美联化的根本兴趣”：他的主要目标不是提供辩论的实用指南，而是研究推理系统本身的财产。

2.亚里士多德的逻辑作品：有机乐

古代评论员将亚里士多德的几个论文分组在标题有关（“仪器”）下，并将其视为包括他的逻辑作品：

类别

论解释

先前的分析

后分析

题目

论起草污水

事实上，标题有机体反映了一个稍后的争论，了解逻辑是否是哲学的一部分（作为维持的Stoics）或仅仅是哲学使用的工具（作为后来的围岩思想）; 致电逻辑作品“仪器”是一种在这一点上同行的方式。 亚里士多德本人从未使用过这个术语，他也不令人满意的表明这些特定的论文形成某种组，尽管主题与分析之间经常交叉引用。 另一方面，亚里士多德将前后分析视为一项工作，并且在Sophyment etuptatiach是一个最终部分或附录到主题）。 对于这些作品，应该增加修辞，这明确宣布其对主题的依赖。

3.逻辑主题：“三丽丽”

所有aristotle的逻辑围绕一个概念：扣除（Sullogismos）。 对扣除的彻底解释是什么，以及它们由此组成，必然会引导我们整个理论。 那么，是什么扣除？ 亚里士多德说：

扣除是语音（徽标），其中，某些事情被认为是不同的东西，与他们所在的必要性结果不同。 （先前的分析I.2,24B18-20）

每个“应该”的“应该”是论证的前提（Protasis），以及“必要性的结果”是结论（Sumperasma）。

这个定义的核心是“导致必要性”的概念（exanankêssumbainein）。 这对应于逻辑后果的现代概念：x y和z的必要性结果如果x为false，则x为false是false。 因此，我们可以这是对“有效论证”的一般定义。

3.1诱导和扣除

扣除是亚里士多德认可的两个论点之一。 另一种物种是诱导（EPAGREAGE）。 他对此而不是扣除，这比扣除的程度更少，而不是把它表征为“来自普遍的争论”。 然而，归纳（或者是非常喜欢的东西）在后部分析中的科学知识理论中起着至关重要的作用：它是诱导，或者在任何速度下，从细节移动到他们的概括，这是知识的基础陌生人的第一个科学原则。

3.2亚里士多德扣除和现代有效争论

尽管其普遍性普遍性，但亚里士多德的扣除定义并不是一个精确的有效性定义的精确匹配。 一些差异可能具有重要的影响：

亚里士多德明确地说，必要性的结果必须与假定的结果不同。 这将排除争论，其中结论与其中一个房屋相同。 现代有效性的概念将这些论点视为有效的，尽管差异化。

一些古老的评论员通过一些古代评论员拍摄的复数“一定的事情”是由只有一个前提的定义论点排除，并且亚里士多德本人在一些地方说，只有一个前提下没有任何新的事情。

资格的力量“因为他们所以”有时被视为裁决结论对房屋没有“相关”的论据，例如，房屋不一致的论点，与任何前提下的结论争论无论如何或多余地区的争论。

在这三种可能的限制中，最有趣的是第三个。 这可能是（并且已经）被解释为将亚里士多德提交给类似相关逻辑的东西。 事实上，有似乎证实了这一点的段落。 但是，这太复杂了，这里讨论。

但是，解释了定义，很明显亚里士多德并不意味着仅限于有效参数的子集。 这就是为什么我用'扣除'而不是英语同源翻译Sullogismos。 在现代使用情况下，“三段论”意味着一种非常具体的表现。 此外，现代使用区别于有效的三段论（从房舍遵循的结论）和无效的三段论（其结论不遵循其场所）。 其中的第二个与亚里士多德的使用不一致：因为他将Sullogismos定义为一个论据，其中结论来自房屋的必要性的结论结果，“无效的Sullogismos”是一种矛盾。 第一个也是至少高度误导，因为亚里士多德似乎没有认为Sullogismoi只是有效参数的有趣子集。 此外（见下文），亚里士多德共计努力，争辩说，在广泛的意义上，可以“减少”对论证或一系列论点，或者在传统上称为三段论的形式之一。 如果我们将Sullogismos翻译为“三段论”，这成为琐碎的索赔“每个三段论是三段论”，

4.场所：断言的结构

三段论是句子的结构，每个句子都可以有意义地称为真或假：断言（披露），在亚里士多德术语中。 根据亚里士多德的说法，每个这样的句子都必须具有相同的结构：它必须包含一个主题（HPPOKOKEIMENON）和谓词，必须肯定或否认受试者的谓词。 因此，每个断言都是单一主题的单一谓词的肯定基因族或拒绝（剥离）。

在解释中，亚里士多德辩称，单个断言必须始终确认或拒绝单个主题的单个谓词。 因此，他不承认句子化合物，例如连体和障碍，作为单一断言。 这似乎是他的故意选择：例如，他认为，即结合只是一个断言的集合，没有比冗长账户中的句子的序列（例如整个Iliad的句子的内在统一，并且自己的例子）。 由于他还将拒绝作为两个基本的断言之一，因此他并没有将否定视为句子化合物。 他对有条件句子和障碍的待遇更难以评价，但它无论如何，亚里士多德没有努力制定一个句子逻辑。 他对其示范理论的一些后果很重要。

4.1条款

受试者和断言的谓词是条款。 术语（Horos）可以是个人，例如个人 苏格拉底，柏拉图或普选，例如 人，马，动物，白色。 受试者可能是个人或普遍的，但谓词只能是普遍性：苏格拉底是人类，柏拉图不是一匹马，马是动物，人类不是马。

普遍（katholou）这个词似乎是亚里士多德的币。 从字面上，这意味着“整体”; 它相反是“特定”（Kath'Hekaston）。 普遍术语是可以恰当地用作谓词的普遍术语，而特定的术语是那些不能。

这种区别不仅仅是语法功能问题。 我们可以容易地建立一个与“苏格拉底”的句子作为其语法谓词：“坐下的人是苏格拉底”。 然而，亚里士多德不认为这是真正的预测。 他代表它代替仅仅是偶然的或偶然的（KataSumbebêkoS）预测。 对于他而言，这些句子依赖于他们对其他真正捕食的真相值（在这种情况下，“苏格拉底坐下”）。

因此，亚里士多德的预测是一种形而上学作为语法问题的问题。 苏格拉底术语是一个个别术语而不是普遍的原因是它指定的实体是个人，而不是普遍的。 什么使白和人类普遍术语是他们指定普遍性。

在亚里士多德的形而上学的条目中可以进一步讨论这些问题。

4.2肯定，否认和矛盾

亚里士多德在解释中占据了一些痛苦，以争辩到每一个肯定，恰恰否认，否认否认确认是什么肯定的。 由肯定及其相应的拒绝组成的对是一个矛盾（抗斑）。 通常，亚里士多德持有，恰好是任何矛盾的成员是真实的，一个假：它们不能既是真的，而且它们都不是假的。 但是，他似乎是关于未来事件的命题的例外情况，但口译员已经广泛争论了这个例外可能是什么（见下面的进一步讨论）。 矛盾不能既有真实的原则在亚里士多德的形而上学中具有根本重要性（见下面的进一步讨论）。

4.3所有，一些，没有

亚里士多德对预测和现代（即，Feegean）逻辑之间的一个主要区别是亚里士多德以逻辑形式治疗个体孕目和一般性预测：他给“苏格拉底是一种动物”和“人类是动物的”。 但是，他指出，当主题是一个普遍的时，预测需要两种形式：它可以是普遍的或特定的。 这些表达式与亚里士多德区分普遍和特定术语的表达式并行，并且亚里士多德意识到这一点，明确地区分术语是一个通用的概述，并且术语普遍地预测另一个术语。

誓词否认

普遍。P肯定了所有S.每一个都是p，

所有s都是（是）p。P否认了所有的。没有s是p

特别是。p肯定了一些s。有些是（是）p。p否认了一些s。有些人不是p，

不是每一个都是p

无限期。p肯定了s。s是p。P否认了。s不是p

无论是肯定或否认普遍主题，可能会普遍肯定或否认它它（Katholou或“的所有”，Kata Pantos），部分（Kata Meros，En Merei），或无限期地（Adihoristos）。

4.3.1“反对派的平方”

在解释中，亚里士多德阐明了与普遍科目的判决矛盾的关系，如下所示：

肯定拒绝

普遍。每一个是b。没有a是b

特别是。有些是b。不是每一个是b

出现简单，此表提出了解释的重要困难（对于彻底的讨论，请参阅反对派广场的条目）。

在先前的分析中，亚里士多德采用了一种表达预测的一种人工方法：而不是说“x被追求”，他说“x属于（huparchei）到y”。 这应该真正被视为技术表达。 动词Huparchein通常意味着“开始”或“存在，存在”，亚里士多德的使用似乎是后一种使用的发展。

4.3.2一些方便的缩写

为清晰度和简洁，我将使用以下半传统的缩写为aristotelian分类句子（请注意，谓词术语是第一个和主题术语第二个）：

缩写句话

aab。a属于所有b（每b都是a）

EAB。a属于没有b（没有b是a）

IAB。a属于一些b（有些b是a）

oab。a不属于所有b（有些b不是a）

5.三段论

亚里士多德作为逻辑师的最着名的成就是他的推理理论，传统上称为三段论（虽然不是亚里士多德）。 这一理论实际上是一种非常具体的排序的推论理论：两个场所的推论，每个场所都是一个分类的句子，具有一个常见的一个术语，并且由于结论是一个分类的句子，其条款仅仅是由房屋不分享的那些术语。 亚里士多德呼吁由处于中期（MESON）的前提（MESON）和房屋中的每一个都是极端（阿克伦）的各个两个术语。 中期必须是每个前提的主题或谓词，这可能以三种方式发生：中期可以是一个前提的主题和另一个前提的谓词，谓词的谓词，两个房屋的谓词或两个场所的主题。 亚里士多德是指这些术语安排作为数字（Schêmata）：

5.1数字

第一个数字。第二个数字。第三个数字

谓词主题谓词主题谓词主题

前提下一个b一个b一个c

前提下b c一个c b c

结论一个c b c一个b

亚里士多德呼吁该术语是谓词的结论，是一个次要术语的结论主题的术语。 含有主要期限的前提是主要前提，含有次要期限的前提是次要前提。

然后，亚里士多德系统地调查三个数字中的每一个中的两个场所的所有可能组合。 对于每个组合，他要么表明，一些结论必然需要遵循或表明无结论。 他所说的结果是正确的。

5.2证明方法：“完美”扣除，转换，减少

亚里士多德的证据可以分为两类，基于他在“完美”或“完整”（射线）扣除和“不完全”或“不完整”（Atelês）扣除之间进行的区别。 如果它“不需要外部术语，以显示必要的结果”（24b23-24），则扣除是完美的，如果它是“需要一个或多个，这是必要的，这是不需要的，这是由于所谓的属于房屋（24b24-25）。 对这种区别的确切解释是值得不讨论的，但它是任何速度明确，亚里士多德都认为完美的扣除在某种意义上不需要证据。 对于不完美的扣除，亚里士多德确实给出了证据，这总是取决于完美的扣除。 因此，通过一些预订，我们可能会将完美的扣除与演绎系统的原始规则进行比较。

在不完美扣除的证据中，亚里士多德说他“将”（anagein）减少到一个完美的形式之一，从而“完成”或“完善”。 这些完成是概述（Deiktikos：现代翻译可能是“直接”）或通过不可能的（DIADANATON）。

直接扣除是一系列步骤，从属于结论，每个步骤是前一步的转换或来自两个先前步骤的推断，依赖于第一数字扣除。 反过来，转换从另一个提议推断出对象和谓词互换。 具体来说，亚里士多德争辩说，三个这样的转换是声音：

eab→eba

iab→伊巴

aab→伊巴

他承诺在一方证明这些证明。 pr。 i.2。 从现代的角度来看，第三个有时候被怀疑。 使用它我们可以获得一些怪物是从显然真正的嵌入式烟草怪都是怪物都是怪物; 但前者通常被解释为依然依赖，有些东西是怪物和嵌合体，因此有怪物，有嵌合体。 事实上，这简单地指出了关于亚里士多德的系统的东西：亚里士多德有效地认为，三段论的所有术语都是非空的。 （有关此时的进一步讨论，请参阅反对派方形的条目）。

作为该程序的示例，我们可能会采取亚里士多德的猫证明。 他说：

如果m属于每个n，而是no x，那么它也不会属于任何x。如果m属于no x，则x也不属于任何m; 但是m属于每一个n; 因此，x将属于no n（对于第一个数字已经到来）。 自私募转换以来，N将属于任何X.（AN。PR。I.5,27A9-12）

根据本文，我们可以提取确切的正式证明，如下所示：

一步。理由。亚里士多德的文字

1.人。如果m属于每一个

2. mex。但是没有x，

证明：

nex。那么N既不会属于任何X.

3. MEX。（2，前提）因为如果m属于no x，

4. XEM。（3，转换e）然后x都不属于任何m;

5.男人。（1，前提）但是m属于每一个n;

6. Xen。（4,5，Celarent）因此，x将属于no n（对于第一个数字已经到来）。

7. NEX。（6，转换e）并且由于私募转换，因此N将属于任何X.

完成或证明“通过不可能的”表明，通过假设作为第三个前提是拒绝该结论并从中扣除的第三个前提，从IT和原始场所，另一个房屋中的一个。 这是扣除“不可能”的扣除，而亚里士多德的证明在那一点上结束。 一个例子是他在27A36-B1中的巴罗科的证据：

一步。理由。亚里士多德的文字

1.人。接下来，如果m属于每一个，

2. MOX。但不属于一些x，

证明：nox。那么N是必要的，不属于某些x

3.纳克斯。所需结论的矛盾。因为它属于所有，

男人。重复前提1。并且m是每个n的预测，

5.最大。（3,4，Barbara）那么M必须属于每个X.

6. MOX。（5是2的矛盾但是假设不属于一些。

5.3防范：Conterexamples和术语

亚里士多德通过构建反例来证明无效。 这在现代逻辑理论的精神中非常重要：表明某种形式无效所需要的是，这表格的单一实例，具有真正的房屋和错误的结论。 然而，亚里士多德州不是通过说某些前提结论组合无效，而是通过说某些前提对不“三丽”：即，鉴于该对，可以构建该形式的属性，并且结论是正确的四种可能的表单中的任何一个是假的。

尽可能通过聪明和经济的方法做到这一点：他给出了两个三重术语，其中一个是真实的，普遍肯定的“结论”是真实的，另一个使房地为真实和普遍的负面“结论”。 第一个是具有e或o结论的参数的反例，第二个是一个对A或AN结论的参数的反例。