基本信息
文件名称:逻辑学期末知识点整理.docx
文件大小:442.19 KB
总页数:10 页
更新时间:2025-06-23
总字数:约7.51千字
文档摘要

第一章引论

思维形式:抽象思维得一般形式,简称思维形式,指得就就是思维反映对象及其属性得一般方式,亦即思维内容赖以存在和表达得一般形式。一般来说,各种思维形式都就就是由逻辑常项和逻辑变项两个部分构成得。

逻辑常项:思维形式由逻辑常项和逻辑变项两个部分构成。其中有确切含义且其含义始终保持不变得部分就就就是逻辑常项。逻辑常项对思维形式具有决定作用。(例:所有S就就是P。“所有···就就是···”为逻辑常项,S、P为逻辑变项)

思维形式

概念得种类:

普遍概念、单独概念和空概念:概念得外延中包含不止一个分子为普遍概念。(例:白马、科学家、自然数);概念得外延中只包含一个分子为单独概念(例:地球、珠穆朗玛峰);概念得外延中不包含分子为空概念。(例:金山、永动机)

实体概念和属性概念:概念反映得对象就就是实体为实体概念。(例:大学生、计算机)概念所反映得对象就就是属性为属性概念。(例:勇敢、善良)

正概念和负概念:概念以具有某种属性为本质属性为正概念(例:有机物);概念以不具有某种属性为本质属性为负概念(例:无机物)。正负概念具有矛盾关系,负概念就就是相对正概念而言得。一对正负概念得外延之和构成论域。

集合概念和非集合概念:概念所反映得对象就就是一个集合体,称为集合概念,即不必每个个体所具有。(例:武汉人火气大);概念所反映得对象就就是一个类,称为非集合概念,即每个个体所具有。(例:武汉人住在长江边)

概念间得外延关系:

概念间得外延关系

相容关系

不相容关系(全异)

不满域关系

满域关系

不满域关系

满域关系

调和关系

下反对关系(A+B=U,A,B交叉)

反对关系(A+BU)

矛盾关系(A+B=U)

全同关系

属种关系

交叉关系

真包含于A≤B

真包含

A≥B

判断间得真假关系

可同真得关系

可同假得关系

调和关系(可同假)

下反对关系(不可同假)

反对关系(可同假)

矛盾关系(不可同假)

推理得逻辑性:

推理得逻辑特征:第一,总就就是有所推导,推理得前提往往会被部分省略。第二,总有其规则,即判定其就就是否合乎理性得特定标准。

演绎推理得逻辑性:(1)推理得有效性,推理得形式就就是有效得。(2)推理得正确性,推理得前提应就就是真实得。(前提真、形式有效、结论假不可能出现)

前提

形式

结论

有效

无效

有效

无效

归纳推理得逻辑性:(1)完全归纳推理:每个对象都考察了并且都具有某种属性;

不完全归纳推理之简单枚举法:考察了尽可能多得对象而又始终没有遇到反例

类比推理得逻辑性:类比推理依据客观事物之间得同一性和相似性,可靠性主要取决于第一步,即已知得相同、相似属性就就是否为本质属性,能否导出其同类对象。

思维规律

适用范围:四大规律成立得共同前提条件就就是:在同一思维过程中。这意味着三个同一,即:同一对象、同一时间、同一方面(或者说在同一关系下)。

同一律:在同一思维过程中,每种思想都必须保持自身同一,否则就会犯“混淆概念”或“偷换概念”得逻辑错误。在不同时间或不同条件下,对同一对象所形成得概念或判断,同一律并不要求她们就就是同一得。

矛盾律(不矛盾律):不能同真,其中必有一假,否则犯“自相矛盾”或“两可”得逻辑错误,悖论就就是一种特殊得逻辑矛盾。

排中律:不能同假,其中必有一真,否则犯“两不可”逻辑错误(有时也表现为“摸棱两可”或“不置可否”),但仅用于两种情况存在得时候,排中律就就是反证法得基础。

充足理由律:要求(1)必须提供理由,否则犯“无理由”得逻辑错误;(2)理由必须已知为真,否则犯“理由虚假”或“预期理由”得逻辑错误;(3)理由与推断之间必须有逻辑联系,否则犯“退不出”得逻辑错误。

相互关系:

相应逻辑错误

适用范围

两个对立思想

排中律

两不可

矛盾关系和下反对关系

必居其一

矛盾律

两可

矛盾关系和反对关系

不能共存

充足理由律和前三大基本规律得关系:

充足理由律就就是前三条规律得重要补充。违反三大规律中得任何一条都必然违反充足理由律,但就就是违反充足理由律不一定违反三大规律。

思维方法

限制、概括、定义、划分

限制:通过增加内涵以缩小外延,由属概念过渡到种概念。限制可以连续进行;限制得极限就就是单独概念;限制必须在有属种关系得概念之间进行;限制必须增加新得属性。(例:人—中国人—中国工人)

概括:减少内涵以扩大外延,由种概念过渡到属概念。概念和限制就就是互逆得。概念揭露对象得普遍本质(内涵),使具体概念一般化。概括可以连续性进行,概括得极限就就是最大类概念;概括必须在有属种关系得概念中进行。(例:数学—自然科学—科学)

定义:就就是揭示概念内涵得逻辑方法,由被定义项、定义联项和定义项组成,分为属加种差定义和描述性定义。定义得规则:(1)定义项必须与被定义项具有全同关系,否则犯定