逻辑导论课件 全.ppt.convertor

《逻辑导论课件 全.ppt.convertor》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、《逻辑导论》第一章绪论一、“逻辑”的含义1、“逻辑”的由来“逻辑”一词由英文“Logic”音译而来。“Logic”源于古希腊语“λόγος”（逻各斯），原意是言辞、思想、理性、秩序、尺度、规律等。直到近代，才用来表示逻辑学这门学科。2、“逻辑”的含义（1）客观事物的规律（2）某种理论、观点或主张（3）思维的形式规律或规则（4）逻辑学二、逻辑学的起源——源于思想的自我反思逻辑学是一门历史悠久的学科，至今已有两千多年的历史。这门学科是由古希腊思想家亚里士多德（Aristotle公元前384——322年）创立的。公元前6

2、世纪—4世纪是思想争论的时代。逻辑学是为了满足这个时期的政治与法庭的辩论、数学的证明、伦理学和形而上学的论证等思想争论的需要发展起来的，是在这个时代的思想的自我反思基础之上发展而来的。三、逻辑学的对象、问题、任务逻辑学以推论作为研究对象。逻辑学的研究问题：推论的必然性即有效性问题。逻辑学的研究任务：解决判定问题：研究有效推论的判定程序与方法。解决推导问题：发现有效推论的规则与方法。四、逻辑学的性质和作用在联合国教科文组织颁布的学科分类中，逻辑学被列为七大基础学科之一。逻辑学是一门基础性学科。逻辑学是一门工具性学科。

3、逻辑学是一门应用广泛性的学科。逻辑学具有重要的理论意义和实践意义逻辑学是思想分析与批判的工具。逻辑学是思想推论与论证的工具。逻辑学在理论研究和社会实践中具有广泛的应用。第二章命题逻辑关于命题联结词的规律一、命题命题：有所陈述的语句。命题结构：命题可以分解为联结词和被联结的部分。联结词称为逻辑常项，它起联结作用并反映被联结的部分之间的逻辑关系。命题形式：命题结构或命题内在逻辑关系的表达式。由变项和逻辑常项组成。命题的真假：二、命题联结词与复合命题命题联结词：联结命题的联结词。它联结支命题并反映支命题之间的真假关系（逻

4、辑关系）。五种基本的命题联结词：非；且；或；则；当且仅复合命题：由支命题经命题联结词联结而成。五种基本的复合命题：负命题：由支命题和否定词构成。陈述对支命题的否定。联言命题：由支命题和合取词构成。陈述支命题都成立。选言命题：由支命题和析取词构成。陈述支命题不可同假但可同真。假言命题：由支命题和蕴涵词构成。陈述前件蕴涵后件。前件蕴涵后件：并非前件真而后件假。它是充分条件关系的逻辑抽象。等值命题：由支命题和等值词构成。陈述命题相互蕴涵。五种基本的复合命题形式：否定式非pØ合取式p并且q析取式p或者q蕴涵式P则q（p称为

5、前件，q称为后件）等值式p当且仅当qp↔q命题形式中可变的部分，称之为命题变项，又称为命题变元。一般用符号p、q、r、s、t……表示。真值表：复合命题与支命题之间的真假关系ØppÙqpÚqp→qp↔q三、多重复合命题多重复合命题：陈述命题之间复杂的真假关系。由支命题经多个命题联结词联结而成即复合命题的组合。主联结词：最外层的联结词。多重复合命题以主联结词命名和分类。联结次序：括号在先；Ø、Ù、Ú、→、↔；多重复合命题形式的真值表按上述联结次序计算。排斥选言命题：要么p要么q;p或者q，二者不可兼得。(pÚq)ÙØ(

6、pÙq)或(pÙØq)Ú(ØpÙq)或Ø(p↔q)必要条件假言命题：只有p才q仅当p才q除非p才qØp→Øqq→p四、重言式及其判定命题形式分类：重言式、矛盾式、协调式。（1）如果a→b是重言式，则称a重言蕴涵b,记作aÞb。（2）如果a↔b是重言式，则称a重言等值b,记作aÛb。（3）如果aÛb当且仅当aÞb且bÞa。重言蕴涵式：推理有效式的表达。重言等值式：真值联结词逻辑性质的表达、真值联结词的等价定义、命题形式的等值表达式。重言式判定方法（1）真值表法（2）归谬赋值法（3）表列法（4）等值变形：语义推导五、重

7、言等值式及其等值变形基本的重言等值式等值变形规则（1）双端否定规则：如果aÛb，则ØaÛØb。（2）双重否定规则：ØØaÛa。（3）传递规则：如果aÛb，bÛg，则aÛg。（4）对称规则：如果aÛb，则bÛa。（5）代入规则：在重言式中，任何命题变项可用任何公式代入，代入后得到的仍是重言式。代入必须处处进行。（6）置换规则：在任何命题形式中，任何部分都可用与之重言等值的命题形式作置换，置换后得到的命题形式与原公式重言等值。置换不必处处进行。大价钱，且进中超足球联赛”都是可能出现的情况。所以，应该选E。六、复合命题推

8、理复合命题推理：根据命题联结词即复合命题的逻辑性质进行的推理。复合命题推理的有效性：前提与结论具有蕴涵关系。如果前提重言蕴涵结论，则从前提可以必然地得出结论。重言蕴涵式的替换实例。有效性的判定：(1)重言式判定。(2)从前提合乎逻辑地推出结论。基本有效式双重否定推理:联言推理:分解式：合成式：选言推理:否定肯定式:肯定否定式：附加式:假言推理:肯定前件式:否