逻辑学第三讲
- 格式:ppt
- 大小:566.50 KB
- 文档页数:33
《逻辑学导论》教学讲义目录第一讲绪论第一节逻辑学的研究对象1�1关于“逻辑”一词1�2逻辑学是研究推理论证的学问1�3演绎与归纳第二节形式化——逻辑学研究方法的特点2�1命题、推理的形式与内容2�2推理的有效性只同形式相关2�3逻辑学研究的形式化特征第三节逻辑学理论的意义及其与相关学科的关系3�1逻辑学理论的重要意义3�2逻辑学与思维科学的关系3�3逻辑学与语言学的关系第二讲词项第一节词项概述1�1什么是词项1�2词项的逻辑特征1�3词项与语词、概念第二节词项的种类2�1单独词项与普遍词项2�2集合词项与非集合词项2�3实词项与虚词项2�4正词项与负词项第三节词项之间的关系3�1相容关系3�2不相容关系第四节明确词项的逻辑方法4�1概括与限制4�2划分4�3定义第三讲传统直言命题逻辑第一节命题概述1�1什么是命题1�2命题的逻辑特征1�3命题与语句、判断第二节传统直言命题2�1传统直言及其逻辑结构2�2直言命题的分类2�3直言命题的周延性2�4A、E、I、O之间对当关系2�5传统直言命题的文恩图解第三节直接推理3�1直言命题推理概述3�2对当关系推理3�3变形推理第四节三段论4�1什么是三段论4�2三段论的规则4�3三段论的格4�4三段论的式4�5非标准形式的三段论第四章复合命题与命题公式第一节复合命题概述1�1复合命题及其逻辑结构1�2复合命题的逻辑特征第二节复合命题的几种基本形式2�1负命题2�2联言命题2�3选言命题2�4条件命题2�5等值命题第三节命题公式与真值函数3�1命题公式3�2命题公式与真值函数第四节命题公式之间的逻辑等值关系4�1命题公式之间的逻辑等值4�2几个重要的重言等值式4�3命题公式的相互定义第五章命题逻辑第一节基本的有效推理式1�1有效推理与无效推理1�2基本的有效推理式第二节推理有效性的形式证明2�1推理有效性与命题演算2�2有效推理的形式证明2�3基本推导规则与等值替换规则2�4条件证明规则2�5间接证明规则2�6证明重言式第三节无效推理的判定3�1用真值表证明推理的无效性3�2用归谬赋值法判定推理的有效与无效3�3证明公式集合的协调性第六讲量化逻辑第一节简单命题的逻辑结构1�1个体词和谓词和单称命题1�2谓词模式、命题函数与量化命题1�3量化命题公式1�4量化命题公式的真假条件第二节量化命题的形式化2�1A、E、I、O命题的形式化2�2一般简单命题的形式化2�3多重量化命题第三节量化推理规则3�1全称例示规则�简记为U S�3�2存在概括规则�简记为E G�3�3全称概括规则�U G�3�4存在例示规则�E S�第四节无效量化推理的判定4�1量化公式的真值函项展开式4�2无效量化推理的判定第七讲规范逻辑初步第一节模态命题1�1模态词与模态命题1�2模态命题的逻辑性质第二节规范命题2�1规范命题概述2�2规范命题的逻辑形式2�3规范命题的逻辑特征第三节规范推理3�1规范对当关系推理3�2复合规范命题的推理第八讲逻辑思维的基本规则第一节同一律1�1同一律内容和要求1�2违反同一律要求产生的逻辑错误1�3同一律的作用第二节矛盾律2�1矛盾律内容和要求2�2违反矛盾律要求产生的逻辑错误2�3矛盾律的作用第三节排中律3�1排中律内容和要求3�2违反排中律要求产生的逻辑错误3�3排中律的作用3�4排中律与矛盾律的区别第一讲绪论在本讲中我们要讨论逻辑学的研究对象�逻辑学研究方法的特点�逻辑与一些相关科学的关系�以及逻辑学的学科性质及其重要应用价值。
开放教育法律专业(专升本)法律逻辑讲稿第三讲:判断㈠第一节判断的概述本节内容为一般了解。
主要明确:一、什么是判断?它有哪些特征?判断是对思维对象有所断定的思维形式。
所谓有所断定,是指人们对思维对象的性质或关系有所肯定或有所否定。
判断有两个基本逻辑特征:㈠任何判断必定有所断定,即必定有所肯定或有所否定。
㈡任何判断必定是真的或假的。
例如:⒈法律不是没有阶级性的。
(有所否定)----是判断⒉司法的腐败是最大的腐败。
(有所肯定)----是判断⒊啊,祖国!(只有感叹)----不是判断二、判断和语句的关系类似于概念与语词的关系。
二者之间:判断与语句有密切的联系。
任何判断的形成、存在和表达,都离不开语句。
判断是语句所表达的思想内容,语句是判断的物质外壳和语言表达形式。
判断与语句有本质的区别。
主要表现在:㈠判断是对思维对象有所断定的思维形式,语句则是用以表达人们对思维对象进行断定的语言形式。
㈡判断无民族性,语句则有民族性。
㈢判断和语句并非一一对应。
有三种情况:⒈任何判断都要用语句表达,但并非任何语句都表达判断。
⒉同一个判断可以用不同的语句来表达。
⒊同一个语句在不同的语境中可以表达不同的判断。
三、判断的种类判断按照不同的标准,可分为不同的种类:㈠按照判断中是否包含模态词(必然、可能、必须、禁止、允许等)分为模态判断和非模态判断。
㈡非模态判断是不包含模态词的判断。
按照其是否包含肢判断,或者肢判断是否由复合判断联结项联结,而分为简单判断和复合判断。
㈢模态判断是包含模态词的判断。
按照其是所包含的模态词是可能、必然,还是必须、禁止、允许,分为真值模态判断和规范模态判断。
第二节性质判断[重点掌握]㈠性质判断的特点及其组成部分。
㈡性质判断的两个逻辑特征。
㈢性质判断的六个种类及其逻辑形式(SAP、SEP、SIP、SOP)。
㈣SAP、SEP、SIP、SOP四种性质判断的真假情况。
㈤同一素材A、E、I、O之间的真假关系。
㈥性质判断主、谓项的周延性。