逻辑导论课件全pptConvertor.docVIP

《逻辑导论》 第一章 绪论 一、“逻辑”的含义 1、“逻辑”的由来 “逻辑”一词由英文“Logic”音译而来。“Logic”源于古希腊语“λ?γο?”（逻各斯），原意是言辞、思想、理性、秩序、尺度、规律等。直到近代，才用来表示逻辑学这门学科。 2、“逻辑”的含义 （1）客观事物的规律 （2）某种理论、观点或主张 （3）思维的形式规律或规则 （4）逻辑学 二、逻辑学的起源——源于思想的自我反思 逻辑学是一门历史悠久的学科，至今已有两千多年的历史。这门学科是由古希腊思想家亚里士多德（Aristotle 公元前384——322年）创立的。 公元前6世纪—4世纪是思想争论的时代。逻辑学是为了满足这个时期的政治与法庭的辩论、数学的证明、伦理学和形而上学的论证等思想争论的需要发展起来的，是在这个时代的思想的自我反思基础之上发展而来的。 三、逻辑学的对象、问题、任务 逻辑学以推论作为研究对象。 逻辑学的研究问题：推论的必然性即有效性问题。 逻辑学的研究任务： 解决判定问题：研究有效推论的判定程序与方法。 解决推导问题：发现有效推论的规则与方法。 四、逻辑学的性质和作用 在联合国教科文组织颁布的学科分类中，逻辑学被列为七大基础学科之一。 逻辑学是一门基础性学科。 逻辑学是一门工具性学科。 逻辑学是一门应用广泛性的学科。 逻辑学具有重要的理论意义和实践意义 逻辑学是思想分析与批判的工具。 逻辑学是思想推论与论证的工具。 逻辑学在理论研究和社会实践中具有广泛的应用。 第二章 命题逻辑 关于命题联结词的规律 一、命题 命题： 有所陈述的语句。 命题结构：命题可以分解为联结词和被联结的部分。联结词称为逻辑常项，它起联结作用并反映被联结的部分之间的逻辑关系。 命题形式：命题结构或命题内在逻辑关系的表达式。由变项和逻辑常项组成。 命题的真假： 二、命题联结词与复合命题 命题联结词：联结命题的联结词。它联结支命题并反映支命题之间的真假关系（逻辑关系）。 五种基本的命题联结词：非；且；或；则；当且仅复合命题：由支命题经命题联结词联结而成。 五种基本的复合命题： 负命题： 由支命题和否定词构成。陈述对支命题的否定。 联言命题：由支命题和合取词构成。陈述支命题都成立。 选言命题：由支命题和析取词构成。陈述支命题不可同假但可同真。 假言命题：由支命题和蕴涵词构成。陈述前件蕴涵后件。前件蕴涵后件：并非前件真而后件假。它是充分条件关系的逻辑抽象。 等值命题：由支命题和等值词构成。陈述命题相互蕴涵。 五种基本的复合命题形式： 否定式 非p ? 合取式 p并且q 析取式 p或者q 蕴涵式 P则q （ p称为前件，q称为后件） 等值式 p当且仅当q p?q 命题形式中可变的部分，称之为命题变项，又称为命题变元。一般用符号p、q、r、s、t……表示。 真值表：复合命题与支命题之间的真假关系?p p ? q p ? q p → q p ? q 三、多重复合命题 多重复合命题：陈述命题之间复杂的真假关系。由支命题经多个命题联结词联结而成即复合命题的组合。 主联结词：最外层的联结词。多重复合命题以主联结词命名和分类。 联结次序：括号在先； ? 、?、?、→、 ?；多重复合命题形式的真值表按上述联结次序计算。 排斥选言命题： 要么p要么q; p或者q，二者不可兼得。 (p?q) ? ? (p?q) 或 (p??q) ? (?p?q) 或 ? (p?q) 必要条件假言命题： 只有p才q 仅当p才q 除非p才q ?p→?q q→p 四、重言式及其判定 命题形式分类：重言式、矛盾式、协调式。 （1）如果?→?是重言式，则称?重言蕴涵?,记作???。 （2）如果?? ?是重言式，则称?重言等值?,记作???。 （3）如果???当且仅当???且???。 重言蕴涵式： 推理有效式的表达。 重言等值式： 真值联结词逻辑性质的表达、真值联结词的等价定义、命题形式的等值表达式。 重言式判定方法 （1）真值表法 （2）归谬赋值法 （3）表列法 （4）等值变形：语义推导