形式逻辑课件.ppt





《形式逻辑课件.ppt》由会员分享,可在线阅读,更多相关《形式逻辑课件.ppt(220页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、形式逻辑课件 Still waters run deep.流静水深流静水深,人静心深人静心深 Where there is life,there is hope。有生命必有希望。有生命必有希望 二、思维及其特征二、思维及其特征1、什么是思维?、什么是思维?思维是人们在社会实践基础上对客思维是人们在社会实践基础上对客观外界对象的间接和概括的反映。观外界对象的间接和概括的反映。思维就是理性阶段的认识活动,亦思维就是理性阶段的认识活动,亦即概念、判断、推理等活动。即概念、判断、推理等活动。从概念的形成,以及运用概念作判断从概念的形成,以及运用概念作判断和推理的理性阶段的认识活动,就叫做和推理的理性阶
2、段的认识活动,就叫做思维。思维。2、思维的基本特征、思维的基本特征()概括性。思维能够反映整个一类事物的共()概括性。思维能够反映整个一类事物的共同的本质的属性。同的本质的属性。()间接性。思维能够凭借已有的经验和知识,()间接性。思维能够凭借已有的经验和知识,去认识那些没有直接感知甚至根本无法直接感去认识那些没有直接感知甚至根本无法直接感知的事物。知的事物。()对语言的依赖性。思维对客观事物的反映()对语言的依赖性。思维对客观事物的反映是借助于语言来实现的,思维和语言有着不可是借助于语言来实现的,思维和语言有着不可分割的联系。分割的联系。马克思说:马克思说:“语言是思想的直接现实语言是思想的
3、直接现实”。斯大林说:思维斯大林说:思维“只有在语言材料的基础只有在语言材料的基础上、在语言的词和句的基础上才能产生和存在。上、在语言的词和句的基础上才能产生和存在。”思维就是人们通过语言对客观事物概括而思维就是人们通过语言对客观事物概括而间接的反映。间接的反映。三、形式逻辑的研究对象三、形式逻辑的研究对象形式逻辑是研究思维的逻辑形式及其规律形式逻辑是研究思维的逻辑形式及其规律以及一些简单的逻辑方法的科学。以及一些简单的逻辑方法的科学。1思维的逻辑形式思维的逻辑形式思维内容:思维所反映的特定对象及其属性。思维内容:思维所反映的特定对象及其属性。思维形式:思维对特定对象及其属性的反映方思维形式:
4、思维对特定对象及其属性的反映方式,亦即概念、判断、推理等。每一种逻辑形式,亦即概念、判断、推理等。每一种逻辑形式,都是从具体思维中抽象出来,是对思维内式,都是从具体思维中抽象出来,是对思维内容不同而结构形式相同的具体思维的概括。容不同而结构形式相同的具体思维的概括。所有金属都是导体。所有金属都是导体。一切商品都是劳动产品。一切商品都是劳动产品。一切自然数都是正数。一切自然数都是正数。任何法律都是有阶级性的。任何法律都是有阶级性的。所有正确认识都来源于实践。所有正确认识都来源于实践。它们逻辑形式都是:所有都是。如果天下雨,那么地上就湿。如果天下雨,那么地上就湿。如果是玫瑰,那么它是总会开放的。如
5、果是玫瑰,那么它是总会开放的。如果物体受到摩擦,那么它就会发热。如果物体受到摩擦,那么它就会发热。它们逻辑形式都是:如果P,那么q。所有金属都是导体,所有金属都是导体,所有铁都是金属,所有铁都是金属,所以,所有铁都是导体。所以,所有铁都是导体。所有判断都有真假,所有判断都有真假,所有复合判断都是判断,所有复合判断都是判断,所以,所有复合判断都有真假。所以,所有复合判断都有真假。逻辑形式是:逻辑形式是:所有都是,所有都是,所有所有S都是,都是,所以,所有都是所以,所有都是 如果天下雨,那么地上就湿;如果天下雨,那么地上就湿;今天下雨了;今天下雨了;所以,今天地上湿了。所以,今天地上湿了。如果一个
6、三角形的三角相等,那么它的三如果一个三角形的三角相等,那么它的三边相等;边相等;这个三角形的三角相等;这个三角形的三角相等;所以,这个三角形的三边相等。所以,这个三角形的三边相等。逻辑形式:逻辑形式:如果如果P,那么;,那么;P;所以,所以,2思维的逻辑规律思维的逻辑规律形式逻辑研究思维的逻辑形式,是为了人们在思维形式逻辑研究思维的逻辑形式,是为了人们在思维过程中有效地运用各种逻辑形式,正确地认识客观世界过程中有效地运用各种逻辑形式,正确地认识客观世界和表述、论证思想。因此,就需要揭示思维的逻辑形式和表述、论证思想。因此,就需要揭示思维的逻辑形式本身所特有的规律,包括基本规律和特殊规则。本身所
7、特有的规律,包括基本规律和特殊规则。基本的逻辑规律有四条:基本的逻辑规律有四条:同一律:在同一思维过程中,任何思想必须保持与同一律:在同一思维过程中,任何思想必须保持与其自身同一。其自身同一。矛盾律:在同一思维过程中,任何思想必须保持其矛盾律:在同一思维过程中,任何思想必须保持其自身的不矛盾。自身的不矛盾。排中律:在同一思维过程中,任何思想或者反映某排中律:在同一思维过程中,任何思想或者反映某一对象,或者不反映这一对象,两者必居其一。一对象,或者不反映这一对象,两者必居其一。充足理由律:在同一思维过程中,任何思想的确立,充足理由律:在同一思维过程中,任何思想的确立,都是有其充分的根据的。都是有
8、其充分的根据的。3简单的逻辑方法简单的逻辑方法明确概念的方法:定义、划分、限制和概明确概念的方法:定义、划分、限制和概括。括。探求因果联系的方法:契合法、差异法、探求因果联系的方法:契合法、差异法、契合差异并用法、共变法、剩余法。契合差异并用法、共变法、剩余法。第二节第二节形式逻辑的性质和作用形式逻辑的性质和作用一、形式逻辑的性质一、形式逻辑的性质形式逻辑是一门工具性的科学形式逻辑是一门工具性的科学指导人们的思维活动,为人们正确地认识客指导人们的思维活动,为人们正确地认识客观世界,获得新知识,提供了有力的工具。观世界,获得新知识,提供了有力的工具。形式逻辑是一门没有阶级性的科学形式逻辑是一门没
9、有阶级性的科学形式逻辑是从思维的形式方面帮助人们进行形式逻辑是从思维的形式方面帮助人们进行正确思维的科学正确思维的科学所有金属都是比水重的,所有金属都是比水重的,锂是金属。锂是金属。所以,锂是比水重的。所以,锂是比水重的。所有金属都是导体,所有金属都是导体,木头不是金属。木头不是金属。所以木头不是导体。所以木头不是导体。二、形式逻辑的作用二、形式逻辑的作用有助于人们正确认识事物,获取新知识。有助于人们正确认识事物,获取新知识。人们要获得间接知识,就需要运用推理,推人们要获得间接知识,就需要运用推理,推理就是由已知推出新知识的思维过程。理就是由已知推出新知识的思维过程。物质运动有它自己的规律性,
10、社会运动是物物质运动有它自己的规律性,社会运动是物质运动,所以,社会运动有它自己的规律性。质运动,所以,社会运动有它自己的规律性。有助于人们准确、严密地表述和论证思想。有助于人们准确、严密地表述和论证思想。有助于人们识别、驳斥谬误与诡辩。有助于人们识别、驳斥谬误与诡辩。4有助于人们学习和掌握其他各门科学知识。有助于人们学习和掌握其他各门科学知识。第三节第三节形式逻辑的学习方法形式逻辑的学习方法一要始终坚持理论联系实际的方法。一要始终坚持理论联系实际的方法。二要注意借助相关学科的知识。二要注意借助相关学科的知识。三要充分利用图示法和列表法,从直观上加深三要充分利用图示法和列表法,从直观上加深对逻
11、辑知识的印象和领会。对逻辑知识的印象和领会。四要理解性地掌握一系列符号,要过四要理解性地掌握一系列符号,要过“符号关符号关”。五要加强练习,过五要加强练习,过“习题关习题关”。第四节第四节形式逻辑的产生和发展概况形式逻辑的产生和发展概况一、形式逻辑的产生一、形式逻辑的产生早在两千多年前发源于古代中国、古代印度早在两千多年前发源于古代中国、古代印度和古代希腊。和古代希腊。中国:春秋战国中国:春秋战国“名辩之学名辩之学”。墨家墨经。墨家墨经;公孙龙白马篇;荀子正名篇;韩非;公孙龙白马篇;荀子正名篇;韩非难一难势。难一难势。印度:印度:“因明学说因明学说”(关于推理的)。代表(关于推理的)。代表著作
12、:陈那的因明正理门论、商羯罗主的著作:陈那的因明正理门论、商羯罗主的因明入正理论等。主要研究推理和论证的方因明入正理论等。主要研究推理和论证的方法。法。古希腊是形式逻辑的主要诞生地。亚里士古希腊是形式逻辑的主要诞生地。亚里士多德范畴篇解释篇前分析篇后多德范畴篇解释篇前分析篇后分析篇论题篇辩谬篇(弟子把它们分析篇论题篇辩谬篇(弟子把它们收集在一起,合称为工具论)等逻辑著作。收集在一起,合称为工具论)等逻辑著作。分别对概念、命题、三段论、证明、逻辑谬误分别对概念、命题、三段论、证明、逻辑谬误和科学方法论作出了研究。亚氏形而上学和科学方法论作出了研究。亚氏形而上学中,明确地提出了矛盾律和排中律,同时
13、也涉中,明确地提出了矛盾律和排中律,同时也涉及到同一律。及到同一律。斯多噶学派又研究了假言判断、选言判断、斯多噶学派又研究了假言判断、选言判断、联言判断以及由它们所组成的推理形式,并且联言判断以及由它们所组成的推理形式,并且提出了推理的规则和逻辑公式,充实了亚里士提出了推理的规则和逻辑公式,充实了亚里士多德逻辑的内容。多德逻辑的内容。二、形式逻辑的发展二、形式逻辑的发展形式逻辑的发展过程中,影响最大、发展得最形式逻辑的发展过程中,影响最大、发展得最为充分和比较完善的是由古希腊亚里士多德奠定为充分和比较完善的是由古希腊亚里士多德奠定的西方逻辑学。的西方逻辑学。世纪弗兰西斯世纪弗兰西斯培根提出了科
14、学归纳法,培根提出了科学归纳法,建立了归纳逻辑。著作是新工具,提出了整建立了归纳逻辑。著作是新工具,提出了整理、比较、分析的方法理、比较、分析的方法三表法,用以探求事三表法,用以探求事物规律性和因果联系。后来被穆勒总结概括为探物规律性和因果联系。后来被穆勒总结概括为探寻因果联系的五法。从此演绎和归纳结合在一起,寻因果联系的五法。从此演绎和归纳结合在一起,构成了传统形式逻辑的基本内容。构成了传统形式逻辑的基本内容。德哲学家莱布尼兹提出了用数学方法处理德哲学家莱布尼兹提出了用数学方法处理演绎逻辑,把推理变成逻辑演算,成为数理逻演绎逻辑,把推理变成逻辑演算,成为数理逻辑(即现代形式逻辑)的奠基人。一
15、百多年以辑(即现代形式逻辑)的奠基人。一百多年以后,英数学家布尔建立了后,英数学家布尔建立了“逻辑代数逻辑代数”(即布(即布尔代数),把菜布尼兹的思想变为现实,成为尔代数),把菜布尼兹的思想变为现实,成为数理逻辑的早期形式。数理逻辑的早期形式。弗雷格、罗素和怀特海等人建立了判断演弗雷格、罗素和怀特海等人建立了判断演算和谓词演算这样两个数理逻辑基础演算,使算和谓词演算这样两个数理逻辑基础演算,使数理逻辑进一步系统和完善起来,发展成为一数理逻辑进一步系统和完善起来,发展成为一门新兴的学科。年到年出版门新兴的学科。年到年出版的罗素和怀特海的巨著数学原理,就是这的罗素和怀特海的巨著数学原理,就是这两方
16、面的主要成果和标志。两方面的主要成果和标志。到了上世纪年代,数理逻辑完全到了上世纪年代,数理逻辑完全成熟,年代以来,数理逻辑的主要分成熟,年代以来,数理逻辑的主要分支支“集合论集合论”、“证明论证明论”、“递归论递归论”和和“模型论模型论”等应运而生并发展起来;在等应运而生并发展起来;在判断演算和谓词演算的基础上,发展了模判断演算和谓词演算的基础上,发展了模态逻辑、多值逻辑、时态逻辑、规范逻辑、态逻辑、多值逻辑、时态逻辑、规范逻辑、模糊逻辑等非标准的逻辑分支和概率逻辑、模糊逻辑等非标准的逻辑分支和概率逻辑、条件化逻辑等现代归纳逻辑系统;数理逻条件化逻辑等现代归纳逻辑系统;数理逻辑在现代技术科学
17、中得到广泛应用,有力辑在现代技术科学中得到广泛应用,有力地推动了电子计算机的不断发展,人工智地推动了电子计算机的不断发展,人工智能的产生正是数理逻辑的一个伟大的历史能的产生正是数理逻辑的一个伟大的历史性成果。性成果。第二章第二章概念概念第一节第一节概念概述概念概述一、概念的定义及特征一、概念的定义及特征定定义义:概概念念是是反反映映一一类类事事物物特特有有属属性性的的思思维维形式。形式。2 2概念的内涵和外延(概念的两个逻辑特征)概念的内涵和外延(概念的两个逻辑特征)概概念念的的外外延延是是概概念念指指称称的的一一个个或或一一类类事事物物,这类这类事物的每一个分子都属于事物的每一个分子都属于这
18、这个概念的外延。个概念的外延。概概念念的的内内涵涵也也称称为为概概念念的的涵涵义义或或含含义义,是是指指概念所反映的事物的特有属性。概念所反映的事物的特有属性。二概念和语词二概念和语词 首先,任何概念都必须通过语词来表达。首先,任何概念都必须通过语词来表达。其次,语词与概念的关系并不是其次,语词与概念的关系并不是一对应的。一对应的。再次,任何概念都要用语词来表达,但并非再次,任何概念都要用语词来表达,但并非任何语词都能表达概念。任何语词都能表达概念。第四,语词是语言学的研究对象,而概念则第四,语词是语言学的研究对象,而概念则是逻辑学的研究内容。是逻辑学的研究内容。第二节 概念的种类 一、单独概
19、念、普遍概念与空概念一、单独概念、普遍概念与空概念幻灯片幻灯片 100 100二、集体概念与非集体概念二、集体概念与非集体概念幻灯片幻灯片101插插三、正概念和负概念三、正概念和负概念幻灯片幻灯片 103 103 第三节 概念间的关系 一一全全同同关关系系:的的外外延延与与的的外外延延完完全全重合,可记为重合,可记为=。长江长江 中国最长的河流中国最长的河流 法院法院 审判机关审判机关 等边三角形等边三角形 等角三角形等角三角形 北京北京 中国的首都中国的首都 二真包含于关系:真包含于关系:S S的全部外延都的全部外延都包含在外延之中,并且只是外延的包含在外延之中,并且只是外延的一部分,可一部
20、分,可记为记为。逻辑学逻辑学 科学科学 等边三角形等边三角形 三角形三角形 亚洲国家亚洲国家 国家国家 大学生大学生 学生学生 三真包含关系:三真包含关系:的全部外延都的全部外延都包含在外延里面,并且只是包含在外延里面,并且只是S S外延的一外延的一部分,可部分,可记为记为。科学科学 逻辑学逻辑学 三角形三角形 等边三角形等边三角形 国家国家 亚洲国家亚洲国家 学生学生 大学生大学生 四四交交叉叉关关系系 :与与两两个个概概念念的的外外延延各各有有一一部部分分相相同同,又又各各有有一一部部分分不不相相同同,可以可以记记为为SPSP 大学生大学生 共青团员共青团员 教师教师 科学家科学家 亚洲国
21、家亚洲国家 社会主义国家社会主义国家 文学家文学家 思想家思想家 五五全全异异关关系系:与与两两个个概概念念的的外延没有任何部分相同,可记为外延没有任何部分相同,可记为 (1 1)反反对对关关系系:S S与与P P两两个个概概念念外外延延全全异异,并并且且它它们们的的外外延延之之和和小小于于邻邻近近属属概概念念C C的外延。的外延。SSPCPC 植物植物 动物动物 (微生物)(微生物)篮球篮球 排球排球 (足球)(足球)(乒乓球)(乒乓球)()矛盾关系()矛盾关系:与两个概念外与两个概念外延全异,并且它延全异,并且它们们的外延之和等于的外延之和等于邻邻近近属概念属概念C C的外延的外延。SSP
22、=CP=C 金属金属 非金属非金属 亚洲国家亚洲国家 非亚洲国家非亚洲国家 第四节 明确概念的概念的逻辑方法 一概念的限制一概念的限制概概念念的的限限制制就就是是增增加加概概念念的的内内涵涵以以缩缩小小概概念念的的外外延延,由由属属概概念念过过渡渡到到种种概概念念的的逻逻辑辑方法。例如:方法。例如:(1)经济)经济商品经济商品经济(2)科学)科学社会科学社会科学中国社会科中国社会科(3)植物)植物树树概念的限制,有助于人们的认识由一般概念的限制,有助于人们的认识由一般过渡到特殊,使认识具体化、精确化。过渡到特殊,使认识具体化、精确化。二概念的概括二概念的概括概概念念的的概概括括就就是是减减少少
23、概概念念的的内内涵涵以以扩扩大大概概念念的的外外延延,由由种种概概念念过过渡渡到到属属概概念念的逻辑方法。例如:的逻辑方法。例如:(1)语文教师)语文教师教师教师(2)优优秀秀农农民民企企业业家家农农民民企企业业家家企业家企业家(3)鸟鸟动物动物概念的概括,有助于人们的认识由概念的概括,有助于人们的认识由特殊过渡到一般,把具体问题提到原则特殊过渡到一般,把具体问题提到原则高度上去认识,使认识准确化。高度上去认识,使认识准确化。三概念的划分三概念的划分(1)划划分分就就是是把把一一个个属属概概念念分分为为几几个个种种概概念念的的逻逻辑辑方方法法。插插划划分分是是由由三三个个要要素素组组成成的的,
24、即划分的母项、划分的子项和划分的根据。即划分的母项、划分的子项和划分的根据。(2)根根据据划划分分包包括括的的层层次次的的不不同同,可可以以区区分为一次划分和连续划分。分为一次划分和连续划分。插插(3)划分的规则)划分的规则A划划分分必必须须是是相相称称的的:划划分分所所得得的的各各子子项的外延之和必须等于其母项的外延项的外延之和必须等于其母项的外延插插B每次划分的根据必须同一每次划分的根据必须同一插插C划分的子项应是互相排斥的划分的子项应是互相排斥的D划划分分应应当当按按照照属属种种层层次次进进行行,不不能能越越级划分。级划分。插插 4定义 (1)定义是揭示概念内涵的逻辑方法,下定义就是用简
25、练的语言把概念的内涵揭示出来。语法学就是研究语言结构规律的科学。语法学就是研究语言结构规律的科学。法法人人是是具具有有民民事事权权利利能能力力和和民民事事行行为为能能力力,依依法独立享有民事权利和承担民事义务的组织。法独立享有民事权利和承担民事义务的组织。定义由被定义项、定义项和定义联项三个部分组成。(2)定义的种类与方法 A事物定义 事物定义就是从揭示事物的本质属性方面来揭示概念内涵的定义。它又叫真实定义。常用的事物定义方法是属加种差定义,即通过揭示被定义项的邻近属和种差来揭示被定义项的内涵。属加种差定义可以用下列公式表示:被定义项=种差+邻近的属概念 (定义项)性质定义(用事物的性质作为种
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 形式逻辑 课件

限制150内