逻辑学概念要点

《逻辑学概念要点》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、逻辑学概念要点（王莘版）（说明：本材料为纯概念，由于编者技术有限，未囊括复合命题推理各公式、换位换质法各有效式、三段论各格特性、直言命题与模态命题对当关系图表、直言命题真假性质真值表等公式定理，仅供参考，希翼对大家有所稗益）一.思维1•思维的定义：思维由思维内容与形式结构两方面组成；思维内容就是概念、命题、推理的思想内容；思维的形式结构：是指命题和推理本身各部分之间所共同貝有的联结方式。2•思维逻辑的形式结构由逻辑常项和变项纽成。变项：是指形式结构屮可以用不同的具体概念或具体命题代入的可变部分；若将命题代入变项，则称为命题变项；若是将概念代入变项，则称为概念变项。3.普通逻辑：是

2、研究除去思维内容的形式结构及其规律的科学。4.普通逻辑的性质：a.具有全人类性b.具冇工具性二.命题命题：是构成推理的最小单位，命题就是反映事物情况的思维形态，也即对情况的陈述。2.命题的逻辑特性：具冇真假性。命题的真或假称为命题的真值（或称为逻辑值），命题以真或假为取值范围，不可既真又假。3.命题的分类：根据命题中是否含有模态词，对以把命题分为模态命题和非模态命题；根据命题屮是否包含有其他命题，可以把命题分为复合命题和简单命题。4.复合命题是由肢命题和命题连接词构成。肢命题：就是复合命题所包含的命题；命题连接词：就是把肢命题联结成复合命题的词项。5.复合命题的逻辑特性：肢命题的

3、真假决定复合命题的真假。三.推理1.推理：就是由一个或若干个命题推出另一个命题的思维形态。2.推理的种类I.根据思维进程方向性的不同，可以把推理分为演绎推理、归纳推理和类比推理演绎推理：就是由-•般性的知识前捉推出个别性的知识为结论的推理；归纳推理：就是山个别性的知识前提推出一般性的知识为结论的推理；类比推理：就是由个别性的知识前提推出个别性的知识为结论的推理。II.根据前提数最的不同，可以把推理分为直接推理和间接推理。直接推理：就是以一个命题为丽提的推理；间接推理：就是以两个或两个以上的命题为前提的推理。III.根据询捉与结论间的逻辑联系的性质不同，可以把推理分为必然性推理和或

4、然性推理。必然性推理：就是有必然推出关系的推理，前提真，结论必真；或然性推理：就是不具有必然性推岀关系的推理，前提真，结论未必真。3.推理形式：是指具有前提和结论的逻辑关系（又称推出关系）的、并由逻辑常项和变项组成的命题形式序列。4.冇效式的定义：就是能够从真前提必然推出真结论的推理形式。推理有效的成立条件：a.前提内容真实b.推理形式有效1.真值表：真值表就是通过赋值的方法，用图表将某一种复合命题的逻辑特性表现出來真值表的判定作用：а.判定各复合命题间的相互关系b•判定推理形式是否有效通过将推理式转化为蕴涵式，再用真值表判定该蕴涵式是否为永真式的判定方法称为完全永真式判定法б.

5、简化真值表判定法：简化法又称归谬赋值法，遵循归谬原则：先假设蕴涵式非永真，即存在前真后假的情况，然后找出一赋值使前件真后件假，则假设成立，则推理形式无效。如果在假设条件下的推理中出现了肢命题或概念的真值赋值既真又假，即赋值矛盾，说明该假设不成立，则不存在令蕴涵式为假的情况，说明推理形式有效。注意，倒推假设时可能出现多个分支情况，要一一加以计算，全部才盾才能证明推理有效。一.简单命题推理1.概念的定义：概念是反映思维对彖特有加性的思维形态。事物的性质与事物间的关系，逻辑上统称为事物的属性2.概念的逻辑特征包括外延和内涵内涵：是指概念对思维对象特有属性的反映；外延：是指具冇概念所反映

6、的特冇属性的对象；3.概念的种类集合的特性：集合体山若干个体构成，但构成集合体的个体未必具有集合体的特有属性集合概念：就是以事物的集合体作为反映对彖的概念，如“中国人是動劳勇敢的”中的中国人（不是每个都勤劳勇敢）非集合概念：就是不以事物的集合体作为反映对象的概念，如“树是植物”中的树（所有树都是植物）4.定义：就是揭示概念内涵的逻辑方法属加种差定义法：将定义项概念放入比其外延更大的概念中，并加入大概念中其他种概念与其之间的差别（种差）得到定义规则：定义项与被定义项的外延必须全同；（违反该规则的错误：定义过宽或定义过窄）定义项不能直接或间接地包含被定义项（违反规则的错误：同语反复或

7、循环定义）定义项不能有含混不清的概念定义一般不能用否定式5.划分：揭示概念外延的逻辑方法划分法分为一次划分、连续划分和二分法划分规则：划分的子项必须是相互排斥的（违反规则的错误：子项和容）每次划分必须按同一标准划分所得的子项的外延之和必须等于母项的外延（违反规则的错误：子项不全或多出子项）6.周延性：一个项被最项或联项表达了其全部外延，则该项是周延的。二.三段论推理I.三段论定义：就是借助一个共同概念把两个直言命题联结起来，从而由前提必然推出结论的推理II.三段论推理的一般规则1