您好、欢迎来到现金彩票网!
当前位置:秒速牛牛 > 条件逻辑 >

朱建平:亚里士多德逻辑的现代性研究

发布时间:2019-06-19 02:57 来源:未知 编辑:admin

  在逻辑的研究对象上,亚里士多德想必会同意阿伦左·丘奇(A.Church)的“形式逻辑是关于语句或者命题和证明的分析,它关注的是从内容中抽象出来的形式”。⑥因此对丘奇而言,逻辑科学是对基本逻辑的元逻辑研究。逻辑和元逻辑研究之间的不同是应用逻辑来处理关于在对象语言中给定的题材信息和研究一种逻辑或者一种基本逻辑之间的不同,后者涉及一个语言,一种语义学和一个演绎系统。逻辑学家使用一种元语言研究对象语言的形式方面。在《前分析篇》中,亚里士多德所实施的恰好就是这样一种研究。的确,亚里士多德哲学天赋的一部分正是体现于在已经确立了一种形式逻辑的同时,又实施了对逻辑科学的研究方面。他认识到像几何学、算数或者生物学这些学科,在关于某一给定对象的演绎的题材方面是具体的,是与给定的对象域有关的,但是这种演绎使用了一种题材中立的演绎系统,用以确立逻辑后承的知识。

  在对认识论问题有敏锐的兴趣方面,亚里士多德与现代逻辑学家分享着逻辑研究的核心是考察确立逻辑后承知识的形式条件这样一个概念,因而逻辑成为认识论的一部分。他写作《前分析篇》和《后分析篇》的目的是为证明的知识提供牢固的理论和方法论基础。在《伦理学》(6)中论述“理智的卓越”时,亚里士多德表达了他对证明属性重要性的认识:“因而,科学知识是一个证明的陈述,它构成了对演绎推理结果的适当的信赖”。在《前分析篇》中,他将他的目标确定为建立起对演绎程序,特别是对它的三段论演绎系统的信赖。为实现这一目标,他特别研究了可演绎性的形式或句法学问题。亚里士多德将演绎看作是一种计算程序。确实,在《前分析篇》中被亚里士多德用来指称特定一类演绎程序的动词“sullogizesthai”是从数学演算中演进过来的。他对发展一种演绎装置特别关注,人们能够以一种严格机械的,或者可计算的方式来判定何种语句是另一句子的逻辑后承。因此亚里士多德《前分析篇》中的基本逻辑及其演绎装置理所当然地就成为他研究的主要目标。

  亚里士多德对科学和哲学的贡献在于他对演绎程序本身的研究方面。他知道一个给定句子或者为真或者为假,他认识到句子的真假与使用句子的人是无关的,从他熟悉数学论证和辩证推理可以推知亚里士多德也知道一给定的句子要么是从另一给定的句子必然推出的,要么不是必然推出的,同样,他也认识到这一切与使用推论的人是无关的。一个给定的公理科学的目的是确立关于它的适当主题的知识,它们主要存在于句子的集合——它的扩展话语——定义、公理和定理。这一学科的目的是决定何种与它的题材有关的句子是真的,或者是定理,何种与它的题材有关的句子是假的,或者不是定理。其中决定一句子真或者假的程序是与认知有关的认识论问题。

  在认识论方面,亚里士多德承认确立一给定句子线)通过演绎。关于公理方面,尽管定义和公理,或者第一原理是归纳的,确定的,而并非是演绎程序的结果,但它的定理是演绎地决定的。在《工具论》,特别是在《前分析篇》和《后分析篇》中,亚里士多德处理演绎方法的目的是确定一给定的语句是真的那种知识。这一目的要求的两个步骤分别是在《前分析篇》和《后分析篇》中实施的。在《后分析篇》中亚里士多德处理了证明科学的先决条件。他写道:

  所谓证明的科学是指产生科学知识的三段论。所谓科学知识,是指只要我们把握了它,就能据此能够产生理解的东西。⑦

  这类似于20世纪的演绎-法则(deductive-nomological)解释概念。根据这个概念,一个由原因、相关因果律和初始条件等组成的复合陈述必须包括结果。

  但是,这还不够,证明的前提还必须具备某些特征。它们必须是:真实的,基本的、直接的、先于结果的,比结果更容易理解的,并且是结果的原因。⑧

  亚里士多德很早就区别了演绎和证明。在《前分析篇》中他说他将在证明之前处理演绎因为它是更普遍的:“因为每一个证明是一个演绎,但是不是每一个演绎是一个证明”。⑨在《后分析篇》(A2)中,他确定这种普遍性是可能的,即便当前提的句子并不是预先被知悉为真,或者甚至它们为假。因而,人们能够知道一给定的证明结论的句子是线)它的前提都是线)它是一种演绎。在《前分析篇》(B1-4)中他从各种不同的被看作真假前提的句子的组合来处理真和假语句的演绎性。这一区别表明了现代逻辑学家也认可的逻辑后承的理解。借助于后承知识,假定了前提知识,人们能够确切地知道一个证明的结论的句子也是真的。这只是因为它表明结论的语句是前提语句的逻辑后承。在《前分析篇》中亚里士多德特别关心确定何种论证的形式模式可能被用于确立一给定的语句必然从另一给定的语句推出的知识。特别是,它将他的目标看作是通过识别何种基本的论证模式能够作为类似于现代命题逻辑中的肯定前件和否定后件,以及析取三段论的规则的方式用于确定每一个三段论是如何生成的。⑩

http://scare666.com/tiaojianluoji/400.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有