资源描述：
《亚里士多德的归纳逻辑》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、《学海》!∀亚里士多德的归纳逻辑李廉,亚里士多德以前的哲学家早#也属于可以换位的∀。在古希腊词∀名词!#但是我们,,已运用归纳法了并且建立了归纳法理论的必须把看作所有单一的东西的总和因为。“”#二。“。雏型苏格拉底的反间法。卿∃与助产归纳是通过尽数列举而进行的这样的三段”%&。。&。‘,“”∃术#拌刀∃柏拉图的上升的辩证法论是从最初的和直接的前提出发的如有中,,,#%。叮。翔∃都是归纳法的理论但系统地论词则通过中词建立三段论如没有中词则通。,述归纳推理和归纳方法的,则是被称为逻辑过归纳进行推论从某些方面来说归纳是和
2、,科学创立者的亚里士多德。他明确地规定了三段论相反的因为三段论是通过中词表明“”,,归纳的概念和术语二叮。∋刀系统地论述大词对第三词的关系而归纳则是通过第三“”“。,了两种归纳推理形式和认识一般原理#最个词表明大词对中词的关系按其性质来说初”∃的归纳方法。用中词论证的三段论是在先的而且是比较熟原理这就标志着归纳逻辑。,人类对归纳思维的认识,悉的但归纳推理对于我们则更具有说服理论体系的创立超。”,力%越前人跨进了一个新时代归纳逻辑正—,“”式诞生和由此向前发展的新时代。由此可见亚里士多德是先以既定的,,一、三段论式中潜在的归
3、纳推理式命题确定了三段论的演绎推理形式进一步,在寻求作为三段论第一格大前提从何而来在亚里士多德的逻辑思维中三段论的,,彼此时发现了潜藏在三段论式中的归纳推理形演绎思维与归纳思维是相互依存相联。的。亚里士多德在给三段论下定义时,说明三式“”,,“”段论的前提是既定的而这既定的前题特∀一#归纳的三段论∀完全归纳推理#,“归纳的三段论推理形式是潜在地包含别是被他称为完善的三段论,’#第一格∃的大。,。在三段论的形式中前提则是通过归纳推理获得的在《分析前,,,&“,我们知道三段论是演绎推理它的第一篇》中他说一切的确信都是通过三段论
4、,或归纳获得的。归纳和归纳形成的三段论,是格的符号式在现行的形式逻辑或普通逻辑,一般表示为∃关于端词之一通过另一端词与中词所建立的的教科书中,联系的三段论推论例如(是)和∗的中词,就用。竖来证明属于!这就是构成归。。现,!一纳的方式在以表示长命表示无胆,,、、。汁者表示长命的特殊动物如人马骡一,!若按上述引文的举例所说则可改写为,,那么属于所有的因为凡无胆汁者都是∀八,。一长命的但!∀无胆汁者#也属于所有的如#,果和!可以换位因而中词∀!#不超出小∃∀,,词∀#的范围那么必然属于!因为前已!。∃—%,如
5、果两个名词都属于第三个名词,而端!—,指出按照三段论的规则大前提必须全称%小,。,词∀#对其中之一有换位关系则另一个宾前提必须肯定只有大前提是全称肯定小前&∋,、提也是全称肯定才能必然得出全称肯定的只有人马和骡才是无胆汁的动物,。,&%结论这就是中世纪经院逻辑学者所称的#∗(∃于是这个三段论的前提便成为()+()+)#)))∃。,、%式然而这个八))式人马和骡是长命的#∗)∃“.34、只不过是表示三段论的原理,−/01,21只有人马和骡才是无胆汁的动物52/503”,“,%,%,−66即肯定全部就肯定部分否定#∗(∃按
6、照命题的换位规则∗(自然可以”,,&全部就否定部分也就是从大词包含中词改变为,、马和中词包含小词的关系中推导出来的并未能所有无胆汁的动物就是人骡,#%。&表示出小词是中词的原因中词是大词的原(∗∃于是三段论的)))式便形成、。,∗)#人马和骡是长命的8因要想表明中词是大词的原因就必须运用—∃、,(∗#所有无胆汁的动物就是人马完全列举的归纳方法使小词的外延与中词—,和骡8的外延相等因而在三段论第一格)))式∃!,,&()#所有无胆汁的动物都是长命中小词与中词可以换位从而必然地得出中。—。的∃于是最初所讲的三段论的第一格大前提
7、词是大词原因的全称判断这个三段论式的8&便产生了于是便知道动物的长命原因是无符号式便是。&只胆汁的这就是说是经过完全列举的归纳刀一)思“”7维∃才知道三段论第一格大前提既定的。,(∗合理性和根据可见作为必然性推理的三段&。—()论式演绎推理是建立在完全列举的归纳推理—,。,按照亚里士多德所举具体事例的内容这个基础上的从此便可以正确地理解亚里士多&&“三段论式便是德所说用中词论证的三段论是在先的而且,%8所有无胆汁的动物是长命的#()∃是比较熟悉的但归纳推理对于我们则更具。、、8”人马骡是无胆汁的动物#∗%(∃有说服力,、、
8、%。所以人马骡是长命的#∗)∃,于是我们便在亚里士多德论述三段论“”“仅仅这样地从既定的命题所有无胆汁的演绎思维的过程中,发现了亚里士多德的归”,,动物是长命的出发并无法知道为什么所有纳思维8在三段论的演绎推理式中发现了完”,无胆汁的动物是长命的即不知道为何无胆全列举的归纳推理式。这就是现行形式逻辑。&
