逻辑学复习资料

《逻辑学复习资料》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、逻辑学全书总括一逻辑学的对象（第一章）二概念（第二章）三命题逻辑（第三章）四词项逻辑（第四章）五逻辑基本规律（第六章）六归纳逻辑（第八章）七论证与谬误（第九、十章）逻辑学是研究思维形式的结构及其规律的科学。逻辑形式逻辑常项变项逻辑性质（逻辑值）逻辑规律：推理逻辑学的对象要求：能识别逻辑常项和变项；逻辑常项的作用逻辑学的对象一、概念的内涵和外延二、概念的种类三、概念外延间的关系四、定义五、划分六、限制和概括概念一、概念的内涵和外延（要求：能区分出语句表达的是概念的内涵还是外延）!!注意：一个概念所反映的对象的组成部分不是其外延，而是内涵。概念二、概念的种类（能分析具体语境中一语词表达

2、的是何种概念。）1．根据概念所反映的外延数量的多少，分为单独概念和普遍概念。单独概念：a或A普遍概念：a1，a2，…，ann2概念概念二、概念的种类2．根据概念所反映的对象是否为一集合体，分为集合概念和非集合概念。“（每一）S是P”正确，S：非集合概念；“（每一）S是P”不正确，S：集合概念。集合概念是单独概念，非集合概念是普遍概念概念二、概念的种类3．根据概念所反映的对象是否具有某种属性，分为正概念和负概念。三概念外延间的关系全同关系真包含于关系真包含关系交叉关系全异关系相容关系不相容关系属种关系矛盾关系反对关系概念概念要求：能识别若干个概念间的外延关系，并用欧拉图

3、表示之。四、定义1．定义的结构：Ds就是Dp被定义项定义联项定义项概念四、定义概念2．定义的方法：属加种差被定义项=种差+属定义联项定义项四、定义概念3．定义的规则（1）定义项与被定义项的外延必须全同。定义过宽或定义过窄（2）定义项不应该直接或间接地包含被定义项。同语反复或循环定义（3）定义不应包括含混的概念，不能用隐喻。（4）定义不应当是否定的。五、划分1．划分的结构：划分母项、划分子项和划分根据。母项是属概念，子项是种概念。A：{a1，a2，…，an}n2概念五、划分概念2．划分的方法：一次划分和连续划分二分法五、划分概念3．划分的规则（1）划分应当相应相称。划分不全或多出子

4、项（2）每次划分必须按同一标准进行。混淆根据（3）划分所得的各子项，其外延必须互相排斥。子项相容！注意：违反规则（2）则必然违反规则（3）。六、限制和概括1．限制和概括的逻辑依据：属种关系概念间内涵和外延的反变关系。2．限制是增加内涵以缩小外延的逻辑方法，即：属概念种概念。单独概念不能限制。3．概括是减少内涵以扩大外延的逻辑方法，即：种概念属概念。范畴不能概括。概念一、命题与推理的概述二、复合命题的逻辑形式三、复合命题的逻辑性质四、真值表的判定作用五、命题推理的有效式六、综合推理命题逻辑一、命题与推理的概述1.命题的分类2.推理的分类3.推理的有效性命题逻辑二、复合命题的逻辑形

5、式命题逻辑1．联言命题：p并且qpq2．选言命题：（1）相容选言命题：p或者qpq（2）不相容选言命题：要么p，要么qpq3．假言命题：（1）充分条件假言命题：如果p，那么qpq（2）必要条件假言命题：只有p，才qpq（3）充要条件假言命题：p当且仅当qpq4．负命题：并非pp三、复合命题的逻辑性质复合命题的真值表：命题逻辑pqppqpqpqpqpqpq110110111100011010011011100001000111与原命题矛盾支命题都真时才真支命题都假时才假有且只有一真时才真前件真而后件假时才假前件假而后件真时才假值相等时真，否则假四、真值表的

6、判定作用1.确定两个命题之间的关系。2．判定一推理是否有效。3．解决具体问题。命题逻辑五、命题推理的有效式1．负命题的等值推理（命题）（1）（pq）pq（2）（pq）pq（3）（pq）（pq）（pq）（4）（pq）pq（5）（pq）pq（6）（pq）（pq）（pq）命题逻辑五、命题推理的有效式2．联言推理（1）p,qpq（2）pqp3.选言推理（1）（pq）pq（2）（p́q）pq（3）（p́q）pq命题逻辑五、命题推理的有效式4．假言命题推理（1）假言易位（即假言命题间的等

7、值转换）①（pq）（qp）②（pq）（qp）③（pq）（pq）命题逻辑（pq）pq（pq）qp（pq）pq（pq）qp（pq）pq（pq）pq（pq）qp（pq）qp命题逻辑五、命题推理的有效式4．假言命题推理（2）假言三段论简单构成式prqrpq∴r简单破坏式pqprqr∴p复杂构成式prqspq∴rs复杂破坏式prqsrs∴pq命题逻