亚里士多德
只有这些思想家的作品片段与现在被认为是逻辑。系统研究的逻辑似乎是首先进行亚里士多德。尽管柏拉图使用辩证法作为的论证方法和哲学训练的一种手段,亚里士多德建立了一个系统的规则和策略这样的推理。他的最后诡辩的驳斥,他承认他的新奇企业。他说,在大多数情况下,发现被别人依靠以前的劳动。然后他补充道:
目前的调查,另一方面,它并非如此,工作已经彻底完成之前的一部分,而部分没有。不存在…。[O] n的主题扣除我们绝对没有其他更早提,但在工作中保持很长一段时间在实验研究。
(从亚里士多德的全集:修订后的牛津翻译乔纳森•巴恩斯。1984年,牛津大学出版社的许可)。
亚里士多德的逻辑的作品组成六个工作,统称为推理法(“工具”)。这个名字的意义是,逻辑,对亚里士多德而言,并不是一个科学的理论。这些都是物理、数学、和形而上学。相反,逻辑是一个所有的科学使用的工具。(说逻辑并不是一个科学在这个意义上是没有办法否认这是一个严格的纪律。科学的概念是一个非常特殊的一个亚里士多德,他最充分发展后分析。)
亚里士多德的逻辑,传统但不顺序,有:
-
De interpretatione(在解释),它包含一个声明,亚里士多德的语义,以及研究结构的某些命题的基本类型及其相互关系。
-
诡辩的驳斥,讨论各种各样的谬论。这本书原本是九分之一主题。
这些作品的最后两个疑问亚里士多德的理论技术知识寻求作为一个普遍的方法。这样的技术在亚里士多德的时代的做法实际上是竞争力,和亚里士多德是特别感兴趣的策略,可以用来“赢”这样的“游戏。”当然,预测“答案”,一定的质疑,将产生在这样的比赛中代表一个重要的优势。亚里士多德注意到,在某些情况下,答案是完全predictable-viz。当它(在现代术语)早些时候的逻辑结果的答案。因此,他领导的研究疑问技术研究的主题狭窄的意义上,是逻辑上的矛盾,关系的逻辑后果。这些关系的四个其他的书的主题推理法。亚里士多德不过继续怀孕的逻辑推理是一个疑问的框架内进行。
这对亚里士多德的逻辑背景有助于解释为什么推论心理上是必要的。根据他的说法,当前提一个推理如“形成一个意见”,“灵魂必须…肯定结论。“理性的人,换句话说,忍不住采用论点的结论。这概念亚里士多德的逻辑从现代逻辑,大幅的规则推理被认为是允许的reasoner得出某种结论,但心理上引人注目的他这样做。
亚里士多德的逻辑术语逻辑,在接下来的意义。考虑模式:“如果每一个β是一个α和γ是β,然后每一个γ是α。”“α”、“β”和“γvariables-i.e。占位符。任何符合这种模式的论点是一个有效的三段论,事实上,一个三段论被称为芭芭拉(在这个术语,见下文三段论)。
的变量这里作为占位符术语或名称。因此,取代“α”由“物质”“β”“动物”和“γ”模式中“狗”的收益率:“如果每一个动物是一种物质和狗是一种动物,狗是一种物质,”芭芭拉的三段论。亚里士多德的逻辑术语逻辑因为它关注逻辑关系等方面有效的推论。
亚里士多德是第一个逻辑学家使用变量。这创新是非常重要的,因为没有它们,这对他来说是不可能达到的普遍性和抽象级别。
分类形式
亚里士多德的逻辑关注某些种类的命题可以分析通常包括(1)量词(“每一个”、“一些”,或普遍的消极的量词“不”),(2)一个主题,(3)连系动词,(4)否定(“不”),(5)谓词。命题可分析的用这种方法后来被称为直言命题分为一个或另一个下面的形式:
-
通用 肯定的:“每一个βα。”
-
通用消极的:“每一个β不是一个α,”或者说“不β是一个α。”
-
特定的肯定的:“有些βα。”
-
特别消极的:“有些β不是一个α。”
-
不定肯定:“βα。”
-
不定负面:“β不是一个α。”
-
单数肯定的:“x是一种α”,“x”是指只有一个个人(例如,“苏格拉底是动物”)。
-
奇异的负面:“x不是一个α,”与“x“和以前一样。
有时候,和经常之前的分析,亚里士多德采用替代但相同的配方。而不是说,例如,“每一个βα,”他会说,“属于每一个βα”或“α建立每一个β。”
在三段论法的奇异命题(积极或消极)通常被忽视,和不确定的affirmatives和底片被视为等同于相应的特定的肯定与否定。在中世纪,命题形式的类型1 - 4被认为是A, E, I, O,分别。下面将使用这个符号。
在De interpretatione亚里士多德讨论方式肯定的和消极的主题和相同的命题谓词可以反对。他观察到,当两种等相关命题形式和E,他们不能真正的在一起,但可以一起是错误的。这样对亚里士多德称为原料中的杂质。当两个相关命题形式和O或形式E和我或积极的和消极的奇异命题,那么它必须是一个是真实的,另一个错误。这些亚里士多德称为对立面。他没有特别的名词,指对相关表单我和O,尽管他们后来被称为小反对关系的。一起小反对命题不能是假的,虽然,正如亚里士多德所说,他们可能真的在一起。这个方法同样适用于不定肯定与否定,视为等价于相应的特殊形式。注意,如果一个普遍命题(积极或消极)是正确的,其矛盾是假的,所以矛盾的小反对命题是正确的。因此,命题形式意味着相应的命题形式的我,和那些表格E暗示形式后来被称为o .过去的关系次等公民,特定的命题(积极或消极)据说subalternate到相应的普遍的命题。
附近的开始之前的分析,亚里士多德制定一些规则后统称为理论转换。“转换”命题在这个意义上是其主题和交换谓词。亚里士多德发现命题形式E,我可以以这种方式有效转换:如果没有一个α,β然后也没有αβ,然后如果一些βα,也有些αβ。在以后的术语,据说这样的命题转换“简单的”(绝对地)。但命题形式不能以这种方式转换;如果每个βα,它并不意味着每个αβ。然而,它遵循一些αβ。这样的命题,可以提供的,不仅是他们的主题和转换谓词交换也全称量词是削弱了一个特定的量词“,”后来说要转换“意外”(每accidens)。命题形式O不能转换;从一些动物不是一只狗,它不遵循一些狗不是一个动物。亚里士多德使用这些法律的转换在以后的章节之前的分析减少其他三段论三段论在第一图,如下所述。