资源描述：
《现代逻辑的历史发展》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、现代逻辑的历史发展〔日〕永井成男历史逻辑学如果包,括传统逻辑的古典内容的话那末它从古希腊哲学家亚里士多德。,试创的最初系统以来就具有漫长的历史这种传统逻辑一直被看作是属于哲学的基础学问。但是这门学问和漫长的历史相比较并没有什么较大的实质性进展后来人们发现逻辑学属于,,,数学就把它从哲学中独立出来了因此正如今天所见逻辑学和其他科学一样取得了日新。,月异的显著发展于是当把作为数学的逻辑学同传统逻辑学突出区分开来的时候就将其称。。为符号逻辑或者数理逻辑但是也有许多时候只称它为逻辑学或现代逻辑学,、很久以前就有人设想建立符号逻辑这可以追溯到德国
2、哲学家发明微积分的有名数学。,家菜布尼茨但是最初系统化却是由英国数学家布尔完成的由于他的逻辑学被称作逻辑代,“刀。数所以即使在今天仍作为布尔代数存在于抽象代数学里,仅就把逻辑学的数学方面作为这门学问的中心部分来看逻辑学最尖端的工作主要靠数。,,学家来完成然而逻辑学并不是全都成了数学尽管它处在符号逻辑的范围里也还是有不。,。能只归入数学的哲学方面必须指出逻辑学的边缘部分还有一定程度的哲学问题这方面,。在今天被特别称为哲学逻辑而且它的工作主要靠哲学家来完成,,将逻辑学作广义理解的情况下迄今为止它仍有不讲符号逻辑的领域对传统逻辑而言,其代表就
3、是辩证法而在现代分析哲学里被称作自然语言学派的哲学家中间所称的非形式逻,。,辑则也是代表的实例在传统逻辑中构成中心部分的是形式逻辑其边缘部分的先验逻辑。,和辩证法等等就比形式逻辑更加哲学化了笼统地说目前的符号逻辑乃是形式逻辑发展了。,的形态因此在自然语言学派看来现代形式逻辑中不使用符号逻辑的逻辑学领域称作非形,。,式逻辑它是通过自然语言的分析来讨论逻辑问题另外人工语言学派和自然语言学派虽,然同属于将语言分析作为哲学方法的分析哲学流派但是仅就不限于自然语言分析而采用符,。,号逻辑方法以构成人工语言这一点来看它们又有所区别属于人工语言学派的
4、人们认为。在哲学性的语言分析活动中或多或少地包含着符号逻辑,,如上所述即使在今天也很难说逻辑学是属于哲学还是属于数学所以在科学分类中暂。且将数学和逻辑学区分开来的作法也是无可非议的,“刀“刀逻辑学在学问中的地位在古希腊把全部学问都称作哲学即是说哲学是学问的。,“刀,“,“”同义语到了近代哲学之外的学科也开始使用科学这个词但科学是学问的同义,“刀“”已“刀。语无论是哲学还是科学经都是单纯地表示学问这个词义了象今天这样明确地将“,“刀,。哲学和科学区分开来的使用方法乃是十九世纪以后的事情十九世纪后经过急速分化,,。“”发展学问愈加趋于细微分
5、化最后成立了专门的学科科学作为语词是用来表明如此分。,‘刀“”门别类的学科而被使用起来的即使在今天科学这个术语从广义上讲还是学问的同义,“”“刀。“,语然而将哲学作为学问的同义语的使用方法已经消失殆尽了从广义上讲科学是“刀,,,学问的同义语但它通常指的是除去哲学之外的那部分学问即是说与部分性是科学的©1994-2009ChinaAcademicJournalElectronicPublishingHouse.Allrightsreserved.http://www.cnki.net,。特征相反全体性乃是哲学的特征哲学区别于科学就在于它是
6、从整体观点出发将一切事物,,、综合起来打算统一一切事物的学问活动因而哲学不是作为科学的一个分支而同数学自、,,。一然科学人文社会科学相并列的学问换言之学向分为科学和哲学两类哲学还进一步分、。,为认识论存在论和价值论科学首先分为形式科学和经验科学形式科学又分为逻辑学和,一。数学经验科学分为自然科学和人文社会科学一认识论一哲学一一存在论一价值论学问一一逻辑学一形式科学一一数学一科学一一自然科学一经验科学一一一人文社会科学,,必须注意尽管将哲学和科学明确地分成两个概念但实际上两者又是很难分离地重合,,。,着就是说哲学在科学的一切领域都有重合的
7、现象如前所述哲学同逻辑学存在着重,。合在境界领域上哲学和逻辑学之间没有明确的分界线数理哲学数学的哲学对于数学来,,一一讲是重合的自然科学哲学对于自然科学是重合的人文社会科学的哲学对于人文社会科。,。学是重合的一般来讲科学和科学哲学是重合的。形式科学和经验科学的划分是基于对科学陈述的真值证明所持的不同根据和方法在理,,论内完成的证明称作论证超出理论之外的以对经验事实观察为必要条件的证明称作实证,。而形式科学就是论证的科学经验科学就是实证的科学逻辑学和数学也能应用于经验科,,。学因此虽然经验科学包含着论证过程但是归根到底最终决定其真伪的必须
8、是实证,。上文说过哲学和科学的所有领域是重合的而跟哲学关系最深的要属逻辑学哲学研究,,,要是把哲学史另当别论的话主要是依据论证方法进行的并且与此相关联哲学和逻辑学。。又都是把语言分析作为主要的论证方法下面仅
