西方逻辑学发展
大学逻辑第1章
第一章引论第一节逻辑学的产生和发展一、逻辑学的产生逻辑学是一门有两千多年历史的古老学科。
早在公元前四五世纪的时候，它就分别在古希腊和中国出现了。
后来，在公元一世纪时，印度也出现了逻辑理论。
古希腊是逻辑学的主要诞生地。
公元前６世纪，在古希腊产生了哲学。
在哲学研究中，人们需要逻辑作为思维的工具。
同时，古希腊社会十分盛行讲演和辩论，能言善辩是喜欢争论的古希腊人的一大特长和令人羡慕的的一种才能。
无论是在政治生活中，还是在法律诉讼中，人们都需要掌握各种辩论的方法和技艺。
这对于逻辑知识的产生和发展也起了重要推动作用。
此外，由于生产和航海的发展，也产生了萌芽时期的数学和其他自然科学，而数学和科学的研究，既需要人们具有一定的逻辑思维能力，又有力地推动着逻辑知识的研究和发展。
正是由于哲学和科学研理的需要，政治与法律的需要，使古希腊的逻辑学知识得以产生和发展，并且最终形成了一个比较完善的逻辑学体系。
在当时的许多哲学家的著作中，我们可以发现这样或那样一些逻辑知识，其中有的是从正面的建设性角度提出的，有些则是从反而的破坏性角度提出的。
公元前5世纪在古希腊各城邦出现的“智者”或“智者派”（Sophists），就是以破坏的形式从反面对一些逻辑问题进行了深入研究的。
智者们不仅自己能言善辩，而且还收徒传艺，在向青年传授辩论技巧同时，从学生那里获取学费。
统括在智者所传播的“辩论术”中的文法、修辞、逻辑，被古希腊人称作“三艺”。
著名的“半费之讼”，就包含的丰富的逻辑知识，在当时和以后的历史上都产生了重要影响。
“半费之诉”是在著名智者普洛塔哥拉（Protagoras，约公元前４８１年─约公元前４１１年）与其学生爱瓦梯勒士之间的一场诉讼。
在爱瓦梯勒士拜普洛塔哥拉为师时，师生定了一个协议，商定学费分两次交付，第二次学费在爱瓦梯勒士第一次出庭并胜诉后交付。
但是，爱瓦梯勒士学成后，一直不出庭，故而也一直未付第二次学费。
于是，普洛塔哥拉决定向法庭起诉，要爱瓦梯勒士付款。
西方哲学发展史
西方哲学发展史集团标准化办公室：[VV986T-J682P28-JP266L8-68PNN]西方哲学思想的逻辑进程古希腊哲学是西方哲学的共同历史源头。
一、西方哲学史的历史分期黑格尔：运用了“代”、“期”和“段”这样三级分期法。
罗素：基本上沿用了黑格尔的历史分期法。
对西方哲学史可作以下划分：古代哲学(古希腊罗马奴隶社会哲学)早期(前苏格拉底时期)中期(苏格拉底至亚里士多德时期)后期(后亚里士多德时期)中世纪哲学(西欧封建社会哲学)前期(教父哲学)后期(经院哲学)近代哲学(西欧资本主义社会哲学)以意大利哲学为中心的发展时期以英国哲学为中心的发展时期以法国哲学为中心的发展时期以德国哲学为中心的发展时期现当代哲学(19世纪中期以来)前期(19世纪中后期)中期(20世纪前期)当代(20世纪后期至今)二、西方哲学史的主要进展1．古希腊罗马哲学从泰勒斯到苏格拉底之前是古希腊哲学的早期发展阶段。
米利都学派是古希腊最早的一个唯物主义哲学派别。
泰勒斯：“水是万物的始基”。
阿那克西曼德：“无限”是一切存在物的始基。
阿那克西米尼：“万物的始基是无限的空气”。
毕达哥拉斯学派是一个具有唯心主义倾向的哲学派别。
主要代表性人物：毕达哥拉斯。
爱非斯学派是古希腊又一个唯物主义哲学派别。
主要代表性人物：赫拉克利特。
爱利亚学派是欧洲哲学史上第一个典型的唯心主义哲学派别。
主要代表性人物：巴门尼德、芝诺巴门尼德：“存在”概念是对一切事物所有具有的最一般、最普遍的存在属性的抽象。
芝诺：论证存在的唯一和不东，否定“多”和运动。
古希腊哲学的繁荣：德谟克利特的原子来论哲学克服了以往从具体感性事物中寻求本原的局限恩培多克勒：“四根说”：水、气、火、土。
阿那克萨戈拉：“种子论”：“种子”是万物的本原。
德谟克利特：一切事物的始基是原子和虚空。
古希腊哲学的中期发展阶段，是从苏格拉底开始到亚里士多德为止的时期。
普罗泰戈拉认为：“人是万物的尺度”苏格拉底：人成为与自然并列的哲学主题。
逻辑学的发展历程与里程碑事件
逻辑学的发展历程与里程碑事件逻辑学作为一门独立的学科，其发展历程可以追溯到古希腊时期。
从那时起，逻辑学逐渐发展成为一门独立的学科，并在不同的时期和地区产生了一系列的里程碑事件。
本文将探讨逻辑学的发展历程以及其中的一些重要事件。
古希腊时期，逻辑学的奠基人被认为是亚里士多德。
他在《篇章》中系统地阐述了逻辑学的基本原理，其中包括概念、判断和推理。
亚里士多德的逻辑学奠定了后来逻辑学发展的基础，影响了整个中世纪的思想。
中世纪的逻辑学主要是在基督教哲学的影响下发展起来的。
逻辑学成为一种研究神学的工具，被用来推理和辩护。
其中最重要的事件是彼得·阿贝拉尔的《言语艺术》的出版。
这本书系统地总结了中世纪的逻辑学，并对之后的思想产生了深远的影响。
文艺复兴时期，逻辑学开始从神学中独立出来，并与科学方法相结合。
这一时期的重要事件是弗朗西斯·培根的《新工具》的出版。
培根提出了归纳和演绎两种推理方法，并强调实证主义的重要性。
这本书对科学方法的发展产生了巨大的影响，并为后来的实证主义哲学奠定了基础。
18世纪的启蒙运动时期，逻辑学开始关注语言和思维的关系。
其中最重要的事件是伊曼努尔·康德的《纯粹理性批判》的出版。
康德提出了“范畴论”和“判断论”两个重要的逻辑概念，并将逻辑学与哲学相结合。
这本书对后来的形而上学和认识论产生了深远的影响。
20世纪的逻辑学发展迅猛，出现了一系列重要的事件。
其中最重要的是罗素和怀特海的《数学原理》的出版。
这本书系统地阐述了数理逻辑的基本原理，并证明了逻辑学的可靠性。
这对后来的计算机科学和人工智能的发展产生了重要的影响。
此外，还有一些其他重要的事件，如哥德尔的不完全性定理的提出、维特根斯坦的《逻辑哲学论》的出版等。
这些事件都对逻辑学的发展产生了重要的影响，推动了逻辑学的进一步研究和应用。
总结起来，逻辑学的发展历程可以追溯到古希腊时期，经历了中世纪、文艺复兴时期和启蒙运动时期的发展，并在20世纪取得了巨大的进展。
西方逻辑的发展历程
西方逻辑的发展历程西方逻辑的发展历程可以追溯到古希腊时期。
在公元前5世纪，古希腊哲学家希波克拉底和柏拉图提出了一种基于推理和论证的方法，这被认为是西方逻辑的起源。
然而，正式的逻辑研究直到公元前4世纪的亚里士多德出现后才得到了深入发展。
亚里士多德是西方逻辑发展的关键人物，他将逻辑作为一门科学进行了系统的研究和分类。
他提出了三大逻辑法则：识别法则（A是A），排中律（要么是A，要么是非A），以及矛盾律（不可能同时是A和非A）。
这些逻辑法则成为后来逻辑研究的基础。
在中世纪，基督教哲学家们通过将亚里士多德的逻辑与宗教信仰相结合，发展出了所谓的“斯堪的纳维亚逻辑学派”。
这个学派的代表人物是丘恩（Anselm）和亚伯罕逊（Abelard），他们对逻辑进行了进一步的探索和应用。
然而，逻辑研究在16世纪经历了一次重大变革。
在哲学家埃拉斯谟（Erasmus）和经院哲学家定义之争中，新思想家们开始质疑传统的逻辑观点，并提出了一些新的逻辑概念。
其中最重要的是英国哲学家培根（Francis Bacon）提出的“归纳推理”和法国数学家笛卡尔（René Descartes）提出的“演绎推理”。
18世纪启蒙时代是西方逻辑发展的关键时期。
启蒙思想家们强调理性和科学的重要性，推动了逻辑研究的进一步发展。
其中最具影响力的是德国哲学家康德（Immanuel Kant）和英国哲学家休谟（David Hume）。
康德发展并系统化了亚里士多德的逻辑，提出了一种创造性的逻辑方法，强调主观经验对于推理的重要性。
休谟则对经验主义和归纳推理进行了深入研究，对逻辑的发展产生了重要影响。
20世纪以来，逻辑研究进一步扩展和深化。
逻辑学家们提出了形式逻辑、模态逻辑、模糊逻辑、模型论和计算机逻辑等新理论和方法。
这些发展使得逻辑不仅成为一门哲学和数学学科，而且在社会科学、认知科学和人工智能等领域也得到了广泛应用。
逻辑学发展史
逻辑学发展史
逻辑学是一门研究推理和思维规律的学科，在古希腊时期就有雏形。
以下是逻辑学发展史中的一些重要里程碑：
1. 古希腊逻辑学：古希腊哲学家亚里士多德被认为是逻辑学的奠基人，他在公元前4世纪撰写了《逻辑学篇》。
他主张通过逻辑分析和判断，可以揭示真理。
2. 中世纪逻辑学：在中世纪，逻辑学成为学院哲学的重要组成部分。
哲学家彼得·阿伯拉尔和威廉·奥卡姆是这一时期的主要
逻辑学家，他们进一步发展了亚里士多德的逻辑体系。
3. 英国经验主义逻辑学：17世纪的英国经验主义哲学家培根、洛克和休谟对逻辑学进行了重要的思考和发展。
他们认为知识来自于经验，逻辑推理必须建立在经验的基础之上。
4. 哥德尔的不完全性定理：20世纪的逻辑学有了重大突破，
哥德尔提出了不完全性定理，证明了数学系统内存在无法证明的命题。
这一发现使得逻辑学家意识到逻辑并非完全可以解决所有问题。
5. 数理逻辑和模型论的兴起：20世纪后期，数理逻辑和模型
论成为逻辑学的重要分支。
数理逻辑使用符号和形式化语言来研究逻辑规律，而模型论则研究逻辑推理的语义和语境。
综上所述，逻辑学的发展经历了古希腊、中世纪、经验主义、
数理逻辑等多个阶段，不断推动着人类对推理和思维的认识和发展。
现代逻辑学发展史
从莱布尼茨到
哥德尔
研究生课程
2021年7月31日星期六
逻辑学是一门古老而又年轻的科学
• 古老
形式逻辑已有两千多年的悠久历
史。早在公元前5世纪前后，古代中国、
古印度和古希腊就产生了各具特色的
逻辑学说。中国的名辩、印度的因明
和西方的逻辑。
Page
2
• Aristotle——逻辑学
• Leibnitz——数理逻辑
智能行为对于知识的依赖主要表现在对于知识的利用，即利用已
经具有的知识进行分析、猜测、判断、预测等等。人类利用知识
可以预测未来，由已知的情况推测未知的情况、由发生的事件预
测还未发生的事件等等。
Page
31
关于知识的表示与推理
• 但是，当人们希望计算机具有智能行为时，除了告诉计算
机如何像人一样地利用知识以外（对于知识进行推理），
所的办公室，就是为了能与哥德尔一起在上下班的路上散
步交谈。物理学家戴森(Freeman Dyson)也说，哥德尔是
同事中间惟一能够与爱因斯坦平等交谈的人。
Page
19
• 比较一下爱因斯坦和哥德尔，会发现他们存在许多的相同
点。都是在很年轻的时候就做出最重要的成果，1905年，
爱因斯坦26岁，这一年是他的奇迹年。1930年，哥德尔
• Gottlob Frege (1848-1925)——一阶谓词演算系统,《符
号论》
• 20世纪30年代，数理逻辑广泛发展
Page
3
• 逻辑是探索、阐述和确立有效推理原则的学科，最早由古
希腊学者亚里士多德创建的。用数学的方法研究关于推理、
证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
逻辑学的起源以及它在中西方的发展线索
逻辑学的起源以及它在中西方的发展线索逻辑学作为一门哲学分支学科，关注于理性思维的规范性和有效性。
它研究了推理、推断和论证的准则，以及思维过程中的错误和谬误。
逻辑学的起源可以追溯到古代，并经历了中西方的不同发展线索。
本文将探讨逻辑学的起源和它在中西方的发展过程。
一、古代逻辑学的起源古代逻辑学的起源可以追溯到古希腊时期。
早在公元前4世纪，亚里士多德创造了形式逻辑学的基本框架，建立了命题逻辑和演绎推理的理论体系。
他的逻辑理论主要涉及三种推论形式：直言、交验和否定。
这一逻辑体系被后来的哲学家奉为圭臬，并在古代希腊和罗马时期得到广泛传播和运用。
二、中世纪逻辑学的发展中世纪逻辑学主要是在基督教文化影响下发展起来的。
这一时期，逻辑学与神学融合，成为一门涉及信仰和宗教观念的学科。
以圣托马斯·阿奎纳为代表的哲学家提出了逻辑学与神学统一的观点，认为逻辑作为一种思考工具，有助于人们对上帝存在的思考和证明。
因此，中世纪逻辑学对于宗教和信仰起到了重要的推动作用。
三、现代逻辑学的变革现代逻辑学在17世纪和18世纪经历了重要的变革和革新。
启蒙时代的哲学家们开始质疑传统逻辑学的局限性，并提出了新的思维方式和推理规则。
最具代表性的是数理逻辑的兴起，这是一种通过数学符号和公式来表达推理和推论的方法。
哥特洛布·弗雷格和威廉·小莱布尼茨等重要逻辑学家为此做出了巨大贡献，他们的研究推动了逻辑学的发展和现代科学的兴起。
四、中西方逻辑学的对比中西方逻辑学在发展过程中存在一些不同之处。
首先，古代的希腊逻辑学注重形式推理和演绎法则，强调真理的确定性。
而中世纪的逻辑学，受到基督教教义的影响，更加关注宗教信仰和神学的内容，注重真理的可信度。
而在现代逻辑学中，由于启蒙运动及数理逻辑的兴起，西方逻辑学更加关注形式化和精确推理，强调在符号系统中进行逻辑推理。
然而，中西方逻辑学也存在一些相似的发展线索。
比如，双方都注重于推理的规范性和有效性，致力于发展科学的思维方法和辩证推理的能力。
逻辑学的起源以及它在中西方的发展线索
逻辑学的起源以及它在中西方的发展线索逻辑学是研究思维、推理和判断规律的学科，它具有着悠久的历史和深远的影响。
本文将探讨逻辑学的起源，并着重介绍它在中西方的发展线索。
逻辑学最早可以追溯到古希腊时期。
在古代希腊，人们开始关注推理和论证，并试图找到一种系统的方法来描述和研究它们。
最早的逻辑学家被称为“术语学家”，他们的工作主要集中在如何正确地运用术语以及推理的过程中出现的各种错误。
其中最著名的逻辑学家是亚里士多德，他在其著作《逻辑学》中提出了许多逻辑学的基本原则和方法。
亚里士多德的逻辑学成为了很长一段时间内的主流，对中世纪欧洲的哲学和神学产生了深远影响。
然而，逻辑学在亚里士多德之后的几个世纪内没有出现重大突破。
直到16世纪，人们才开始重新关注逻辑学，并试图从新的角度来研究它。
在西方，这种重新关注逻辑学的潮流被称为“逻辑回归”。
尤利乌斯·凯撒·斯佩米·夸尔莫斯是逻辑回归的先驱之一，他在其著作《逻辑学初步》中提出了一种新的逻辑体系，将形式逻辑与自然语言的关系联系起来。
此后，西方的逻辑学研究不断发展，出现了许多重要的思想家和流派，如巴尔努、布尔巴基、弗雷格和海德格尔等。
与此同时，中国古代哲学也发展出了独特的逻辑思维模式。
在中国，逻辑学被称为“辩证”，与西方逻辑学的研究重点不同，中国逻辑学更注重于思维的辩证过程。
古代中国的逻辑学家主要是哲学家，他们通过辨别对立面的关系来揭示事物的本质和规律。
儒家和道家的思想为中国逻辑学的发展提供了基础。
在中国古代哲学著作《易经》中，就包含了许多关于思维和推理的论述。
中西方逻辑学的发展线索在近代以后出现了更为显著的差异。
在西方，逻辑学开始向数学逻辑学转变，人们在数理逻辑的研究中发展了一套形式系统，用于研究复杂的推理问题。
这种形式系统的建立为计算机科学和人工智能的发展提供了基础。
而在中国，逻辑学的研究主要集中在应用层面，如辩证逻辑在社会科学和伦理学中的应用，并与其他传统思维模式相结合。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
逻辑学的发展
逻辑学,就是一门历史悠久的学科,已有两千多年的历史,围绕着逻辑学的定义、研究对象、应对问题,研究方法也经历着历史的演变过程。
本文以历史时间顺序为主,以逻辑学研究的基本问题包括研究对象、方法、面临问题、评价为线索,对逻辑学的发展演变脉络做一次梳理。
以期明确不同逻辑理论体系的内涵与外延,理清它们之间的区别与联系,研究逻辑学的发展特点与方向。
本文作者认为,与其她学科一样,逻辑学,因为需要而产生,因为不足而发展,本文思路也就是这种想法的体现。
根据逻辑学的历史发展阶段的不同,一般可以分为传统逻辑的发展阶段与现代逻辑的发展阶段。
传统逻辑”,就是从古希腊亚里士多德开创至19世纪中期进入现代发展阶段以前的逻辑理论与体系。
主要包括亚里士多德逻辑(以三段论演绎体系为中心内容的逻辑体系,或相对与现代为此逻辑体系而言的词项逻辑体系)、中世纪麦加拉学派与斯多葛学派奠定的基础上予以进一步发展的命题逻辑、近代的F、培根的归纳法与穆勒的求因果关系五法。
古希腊就是奴隶主贵族专政的国家,在重视民主氛围的政治生活中, 演讲与辩论很受重视, 为论辩提供工具,为反驳谬误的盛行,亚里士多德提出与确立了以三段演绎体系为中心内容的逻辑学说与体系。
亚里士多德以以推理与论证为研究对象,总结了“从前提必然地得出结论的演绎推理规则,建立历史上第一个逻
辑演绎系统,即三段论系统。
她把简单命题分解为各个组成部分,如主项、谓项、量项等词项,并对这些词项的逻辑性质与相互关系间的逻辑关系进行研究,主要包括直言直接推理、直言三段论、关系推理等。
三段论,又称类演算,即三段论以词项为单位,研究概念或词项之间外延上的关系,类与类,类与个体的关系。
虽然亚里士多德的逻辑以三段论为主体, 但也包含有辩证推理、归纳、定义、辩缪、反驳等内容。
研究复合命题推理规律的逻辑理论称为命题逻辑。
命题逻辑以简单命题为基本单位作,研究以简单命题以及命题连接词构成的各种复合命题的逻辑性质及其相应的逻辑规律与规则,研究实质蕴含关系,解决了复合命题推理的有效判定与推导问题。
命题逻辑把简单命题瞧作一个整体,不对简单命题的内部进行分析。
而诸如传统逻辑的三段论等,因其性质取决于简单命题的各词项的性质与关系,涉及到简单命题的内部结构时,命题逻辑就无法进行有效处理。
因此词项逻辑就克服了命题逻辑局限。
但词项逻辑对直言命题结构及其推理的分析还就是粗糙的、不够细致的,此外它没有对关系命题的结构及其推理进行分析,因此词项逻辑的工具就是贫乏;并且,命题逻辑、词项逻辑等传统逻辑一般采用自然语言,根据日常语言来研究思维形式的结果,它的真正的逻辑内容较为狭窄贫乏、粗疏浅陋, 从而处理与解决问题的能力有限,总之统逻辑具有不精确性,内容贫乏, 不成系统等特点。
因此, 到了近、现代, 一种新的逻辑的产生,这就就
是数理逻辑。
因此进入现代逻辑发展阶段。
关于现代逻辑的起源,可以追溯到１７世纪德国哲学家与数学家莱布尼茨,她最早提出要把逻辑处理成演算,成为现代逻辑的开拓者。
后经英国数学家布尔、德国逻辑学家弗雷格与英国哲学家罗素等人,在形式语言与演算思想上发展了逻辑。
亚里士多德建立的主要就是一种概念逻辑或类逻辑,古希腊麦加拉学派在实质蕴含的基础上,扩展了亚里士多德的逻辑,斯多葛奠定了命题逻辑的基础。
弗雷格重新发现实质蕴含,并将实质蕴含扩展为形式蕴含,在”形式语言”与逻辑语言的基础上,建立起一阶逻辑系统,即命题逻辑演绎系统与谓词逻辑演绎系统——现代逻辑意义上的经典逻辑。
谓词逻辑将简单命题分析为谓词、个体词、量词与命题连接词几个部分,简单命题与词项不就是最小的分析单位,最小的分析单位就是谓词、个体词与量词。
谓词逻辑就是以命题逻辑为基础进行扩充的结果。
它解决了简单命题推理以及涉及量词的有效判定问题与推导问题。
相比传统逻辑,现代数理逻辑采用一套人工语言,得现代逻辑完全能用一套可以解释意义的特制表意符号去表示词项、命题、推理等,从而获得它们的词项形式、命题形式、推理形式等形式结构,使对词项、命题、推理等的研究转化为对形式系统中的符号研究。
传统逻辑向现代逻辑发展过渡符合发展规律。
其发展模式就是从外部深入到内部,从自然语言的表达到符号语言的表达;发展要求的技术越来越精湛、抽象与精确。
另外,从哲学的角度瞧,传统逻辑的发展就是孤立的,而现代逻辑的发展则就是整体的、系统的。
总而言之,现代逻辑之所以取代传统逻辑而走上发展之路,并能够彰显出强大生命力,从内部说就是内容与技术的升华,从外部说就是整体的、系统的、全面的发展,符合发展规律。
因此,近现代逻辑学有的新的巩固基础并向各个方向迅速发展,已经成为一个包含经典逻辑与非经典逻辑及其众多分支学科的理论体系。
“非经典逻辑”这一概念就是相对于经典遗辑而言的, 意指不同于经典逻辑的现代逻辑诸分支、一般地, 非经典逻辑在二值经典逻辑即两个演算的基础上, 以两种途径发展起来的, 其一就是扩展” , 其二就是“脱轨。
所谓扩展, 就是指在经典的命题演算与谓词演算中增加一些相应的公理、规则及其新的逻辑算子, 使其形式系统扩展到一些原为非形式的推论。
以这一方法形成的非经典逻辑分支就被称为“扩展的逻辑” , 其主要的有模态逻辑、时态逻辑、规范逻辑、优先逻科等。
例如, 其中的模态逻辑, 在二值的两个演算中加入“可能”与“必然”等模态算子以及与之相应的公理与规则而形成的关于‘可能”与“必然”及其相互关系的逻辑演算系统。
但另一方面, 这些系统却对经典逻辑的公理与规则加以了限制乃至根本修改, 从而从根本上脱离了二值经典逻辑的正统轨道, 故我们称这些分支为“脱轨逻辑”。
比如, 就波兰逻辑学家卢卡西维茨构造的三
值逻辑系统来说, 尽管她们使用与经典逻辑相同的词汇, 但又完全不同于经典逻辑的性质: 它就是三值的, 除了经典的真假二值外, 还有第三个值“中间”或称“未定。
非经典逻辑, 其实质属于现代应用逻辑, 就是以二值的经典逻辑为工具在各个领域中运用的结果、鉴于逻辑应用的广阔性, 从原则上来说, 非经典逻辑分支可以扩展到任何具体领域、。
经典逻辑自古就有符号化的意向或尝试, 如亚里士多德、斯多葛学派引入词项、命题变元,现代符号逻辑尽管不能完全离开自然语言加以刻画, 不能完全排除心理因素,但从总体上瞧就是以表意符号语言对演绎系统作为形式化的公理系统加以处理, 它具有形式系统不可或缺的初始概念、初始公式、形成规则、变形规则等要素。
它以严格性、精确性无歧义性显示了形式化的优越性、生命力。
这种形式化的精神也大大影响了自然、社会科学一些学科, 它也改变着现代人的知识结构、思维方式。
非经典逻辑继承了这一特点, 同时也较之经典逻辑更加重视数学以外的自然语, 形式及非形式推理的形式化问题。
形式逻辑评价论证的标准就是演绎有效性。
这一特点使它在现实生活的应用中受到很大限制。
因为, 大量的使用自然语言的实际论证就是很复杂的, 人们要对这些论证作出有效的评价, 除了要考察论证所使用推理的性质之外, 还要考察其前提的性质,为此, 单纯的形式逻辑标准已不能满足评价实际论证的需要。
一、论证理论所涉及的主要问题有: 什么就是论证, 论证与
推理之间的关系, 论证的种类,能否用自然语言有效地对论证进行分类, 以及怎样从自然语言的表述中识别、分离与重新组织论证。
二、批评理论就就是评价论证的理论。
一旦一个论证被发现, 并且被恰当地重建之后(如果有必要的话) , 就到了对它进行评价的时候了。
勿庸置疑, 在较短的时间内, 非形式逻辑有了较大的发展, 取得了显著的成就。
然而, 作为一个年轻的分支学科, 非形式逻辑还很不完善。
许多非形式逻辑学家的研究范围还很狭隘, 她们没有把自己的研究与与非形式逻辑相关的学科结合起来。