试析亚里士多德三段论的应用

亚里士多德三段论包括实然三段论、纯必然三段论、混合三段论。证明、辩证与修辞三段论既遵从亚氏三段论普遍有效的格式,又有其特定的题材内容及论证方式。因此,探讨亚里士多德三段论的应用,对"实用逻辑"的研究具有一定的启示与借鉴作用。

对亚里士多德三段论的认识

分析了亚里士多德三段论,论述了亚里士多德三段论与传统逻辑三段论的区别及其自身的一些特点。

亚里士多德三段论系统的一种现代解释

波兰著名逻辑学家卢卡西维兹在《亚里士多德的三段论》(商务印书馆1981年版)中,从现代逻辑观点对亚氏直言三段论作了创造性的研究,开辟了用现代逻辑的工具来研究逻辑史的新道路。近年来,《哲学研究》连续刊载了蔡曙山的《一个与卢卡西维兹不同的亚里士多德三段论形式系统》(1988年第4期)和张家龙的《从现代逻辑观点看亚里士多德的三段论》(1988年第5期)。这说明我国学者在用现代逻辑的工具来研究逻辑史方面取得了新的进展。但是,亚氏理论中的一些重要问题看来还需要进一步研究。

论亚里士多德三段论格的完整性

三段论是亚里士多德对逻辑科学的重大贡献。亚里士多德在其《前分析篇》中根据中项位置的不同将三段论分成三个不同的格,即第一格、第二格、第三格。是他的直传弟子和朋友德奥弗拉斯特斯补充了第一格的五个式,后人称之为第四格。据此古今中外逻辑学界一直认为亚里士多德三段论的格不完整,并对他没有提出第四格的原因兴致很浓、众说纷坛。确实,这是一个牵涉到亚里士多德三段论体系完整性的问题,作些认真探讨是很有意义的。

一个与卢卡西维兹不同的亚里士多德三段论形式系统

30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系统(以下简称LS)。LS使用4条公理和14个断定命题(即命题逻辑的定理)。4条公理是:

词项逻辑与亚里士多德三段论——兼复王路同志

我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表后,王路同志在该刊同年第9期载文,对我所建立的AS进行了批评。批评是有益的,它促使我对AS进行更深入的思考。但批评本身也存在一些问题,值得进一步探讨。王文的主要问题是对三段论解释系统的可选择性未有认识,以及对模型和推理方法的不加区分。

论亚里士多德三段论与传统逻辑三论段的差异性

三段论不仅是亚里士多德逻辑的重要内容,也是中世纪传统逻辑的主要部分。尽管传统逻辑的三段论是对亚里士多德三段论的继承和发展,但是亚氏三段论依然存在独有的特点,二者之间在诸多方面存在差异性。

为什么中国古代哲学家没有发现三段论?——亚里士多德和中国古代哲学家的比较研究

一、三段论是由一般推知个别吗? 一位数学家讲过:“逻辑是不可战胜的,因为反对逻辑也必须使用逻辑”。形式逻辑是人类避免自己的推理思想陷于混乱的保证,是正确思维的基本规范。但研究人类是如何发现形式逻辑的,却又是一个十分困难的问题,发现逻辑在某种程度上也必须运用逻辑思维。其中关键性的一步是:“形式逻辑作为推理方法的实质是什么?”只有搞清楚这一点。

亚里士多德三段论和陈那三支论式的比较

早在两千多年前,古希腊的伟大哲学家和逻辑学家亚里士多德就概括出了相当完整和科学的逻辑学体系,成为形式逻辑(即传统逻辑)的奠基者。亚里士多德的主要功绩是提出了三段论,亚氏详尽地研究了三段论法,三段论在他的逻辑学说中占有显著的地位,也是传统逻辑中最系统的部分。在古印变,研究有关推理,论证方法的学说是因明。因明是梵文heru-vidya(醯都费陀)的意译。“因”含有理由、原因的意思,指推理的依据“明”即通常所说的“学”。世亲以前的因明称之为古因明,以五支论式为其代表论式。到公元六世纪时,陈那以其独创的见解,完善和纯化了古因明,将五支论式改为三支论式,创立了新因明,陈那的因明思想是古代印度逻辑的一个高峰。亚氏三段论和陈那三支论式在推进逻辑的发展上各自都起了举足轻重的作用,并且。

自然演绎系统:亚里士多德的“第二种逻辑”

关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。

从现代逻辑观点看亚里士多德的三段论

§0 引言亚里士多德的直言三段论在逻辑史上具有不朽的价值。国际知名学者卢卡西维兹在《亚里士多德的三段论》(商务印书馆1981年版)中,从现代逻辑观点对之作了创造性的研究,开辟了用现代逻辑的工具研究逻辑史的新道路。但是,在亚里士多德的理论中有一些重要问题需进一步研究。本文第一部分讨论这些问题,提出了与卢卡西维兹的研究结果迥然不同的新观点。第二部分根据亚里士多德的原文,重新构造了亚里士多德三段论的一个自然演绎系统,证明了一切有效式,排斥了一切无效式,并且十分简单地解决了判定问题。

亚里士多德模态三段论逻辑的形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。

文恩图解与预设存在含意的三段论

希尔伯恃曾以类演算与命题演算相结合的独特方法,重新构造了三段论系统,并且揭示了亚里士多德三段论中“暗中所做的假设”。在这一思路的启迪下,本文旨在检讨传统直言命题逻辑理论方法以及一些改革方法的基础上,探讨用文恩图解检验所有(而不是一部分)传统三段论形式有效性的可行方案。

传统三段论公理质疑

亚里士多德三段论是一公理系统，第一格的四个式或者Ｂａｒｂａｒａ与Ｃｅｌａｒｅｎｔ是其公理，而传统三段论并不是公理系统，因而不具有严格意义上的公理。而且，传统三段论的理论基础是全体的概念外延之间的关系或类与类之间的关系，传统三段论公理所讲的仅是这些关系中的一部分，因而把“曲全公论”看成是传统三段论的基础是不恰当的。

评王路著《亚里士多德的逻辑学说》

王路著《亚里士多德的逻辑学说》一书于1991年3月由中国社会科学出版社出版.本书从亚里士多德的原著出发,回答什么是亚里士多德逻辑的问题.作者认为,亚里士多德对证明的推理的论述形成了三段论学说,对辩论的推理的论述形成了四谓词理论,对强辩的推理的论述形成了关于谬误的理论.这些不同的学说形成于不同的时期。

《亚里士多德的逻辑学说》简介

青年学者王路著《亚里士多德的逻辑学说》一书,已由中国社会科学出版社出版,这是一本分析入理,内容丰富,观点新颖的亚里士多德逻辑学说的专著,很值得哲学。

修辞论辩中逻各斯的建构

从西方修辞学的角度对论辩推理中logos的构建形式,特别是以亚里士多德三段论为核心的论辩形式进行了详细的分析与阐释。在亚里士多德看来,逻各斯同言语有着紧密的联系,并从本质上成为解释与支配一切言语行为的逻辑体系。

皮尔斯回溯推理思想初探

皮尔斯是现代回溯推理理论的奠基者,针对回溯推理的研究是从创新亚里士多德三段论理论出发的,并提出新的推理分类理论。这一理论又促进了回溯推理理论的深入研究。

推理定义新探

【正】 两千多年以来,形式逻辑一直被视为比较精密的科学,素以严谨著称,按道理说,它的一些基本概念应该比较精确,经得起推敲。可是实际情况并非如此,就以推理这个基本概念来说,就存在许多混乱,远非一般人所认为的精密和严谨。以下先看看几个推理的定义:1.“推理者,是一种思维形式,判定了某些事实之后,另一事实必然由此得出。”(亚里士多德)

东西方逻辑探源与比较

把普通逻辑(形式逻辑)看作是西方的传统逻辑,看作是亚里士多德三段论与培根归纳法的简单结合的观点,无论在当今中西文化的比较中,还是在逻辑学的研究中,似乎都被当作是正确的。