简论亚里士多德的逻辑真理观.pdf

《理论探索》2006 年第 6 期(总第 162 期) 哲学问题
简论亚里士多德的逻辑真理观
郭建萍
(山西大学, 太原 030006)
〔摘要〕亚里士多德作为逻辑学的创始人,其逻辑体系充分体现了他的真理观。亚里士多德
的逻辑真理观实现了形式推理与经验的统一,这为我们认识真理开辟了一条新途径,同时也为现
代形式逻辑的发展奠定了坚实的基础。
〔关键词〕亚里士多德,逻辑视野,真理观
〔中图分类号〕B502. 233 〔文献标识码〕A 〔文章编号〕1004 - 4175(2006) 06 - 0033 - 02
亚里士多德是逻辑学的创始人,他的逻辑观点中词的位置,建立了三段论的三个格并把它们分为
主要体现在《工具论》中,其逻辑体系的核心是推理完善的和不完善的。他认为第一格的四个式为完善
学说即三段论学说,其中充分体现了他的真理观。的三段论式,是最根本的“初始格”。其理由有两点:
亚里士多德说“: 推理是一种论证,其中有些被第一,它的四个式的中词能起到有逻辑必然性的中
设定为前提,另外的判断则必然地由它们发生。”〔1〕介传递作用,是自明的。其中第一式、第二式,根据
“三段论是一种论证,其中只要确定某些论断,某些两个全称前提中大词、中词、小词在表述范围上部分
异于它们的事物便可以必然地从如此确定的论断中被包含于或不被包含于整体中的传递关系,可显而
推出。”〔2〕亚里士多德把推理分为两部分,一部分是易见地得出全称或特称的肯定式或否定式的结论。
规定下来的,另一部分是推理出来的。如果把前者第二,第二格和第三格的不完善的三段论,都可还原
理解为前提 p ,后者理解为结论 q ,那么,从前提到结为第一格而得到证明。事实上,第一格的四个式起
论的推论不是随便进行的,必须是“必然得出的”,才到了公理的作用。他又明确地说“可以把所有三段
能称之为“推理”或“三段论”。也就是说亚里士多德论化归为第一格中的全称三段论”,对此,亚里士多
认为逻辑的主要任务是研究必然得出的。为凸显德给出了一个近乎严格的机械的证明。因此他的公
“必然得出”,亚里士多德第一个把变项引入逻辑,对理系统可以减少到两条公理,即第一格的 Barbara 和
三段论进行了形式的刻画,从而使亚里士多德三段 Celarent 。在科学史上,亚里士多德是第一个使用公
论结论的得到不是由于前提的内容的缘故而是由于理化方法并且提供了典范的思想家。亚里士多德运
前提的形式及其组合的缘故,这样不管构成它的变用了三种还原证明的方法:换位法、归谬法、显示法。
项外形如何改变,同一个三段论的式由前提到结论这三种还原证明的方法也是亚里士多德三段论系统
的推论关系都是必然的,也使我们有可能在一定条中的推理规则。推理规则非常重要。推理符合逻辑
件下暂时抛开三段论的具体内容,去深入地研究三性,即遵守推理规则,那么从真前提就必然得到真的
段论的形式结构,从而也更有利于实现结论的“必然结论。第一格的后两个式、第二格和第三格的式借
得出”。真理性的认识是对事物普遍必然性的认识, 助这些推理规则从不言自明的公理推出,也就成为
而逻辑是研究“必然得出”的,这使得通过逻辑学探这个系统的必真的定理。
求真理成为可能。亚里士多德说“