一、名词解释：1、普通逻辑：是研究思维的逻辑形式及其基本规律和简单逻辑方法的科学。

2、思维：是人脑的机能，是人脑对于客观世界间接地，概括地反映。

思维对客观世界的反映方式叫思维形式，概念、判断和推理是思维的基本形式。

思维与语言有不可分类的联系。

思维对客观世界的反映（概念、判断和推理）是借助于语言（语词、句子和句群）来实现和表达的。

3、思维的逻辑形式：思维有具体内容，也有逻辑形式，反映在概念、判断和推理中的特定对象及其属性叫思维的具体内容；思维内容各部分之间的联系方式（或形式结构），叫思维的逻辑形式。

思维的逻辑形式既与思维的具体内容相联系，其自身又具有相对的独立性。

普通逻辑不研究思维的具体内容，只研究各种不同类型的思维的逻辑形式。

任何一种逻辑形式都是由两部分构成的，一是逻辑常项，一是变项。

逻辑形式之间的区别，取决于它们的逻辑常项的不同。

4、简单的逻辑方法：普通逻辑所研究的逻辑方法主要是指：定义、划分、限制与概括、探求因果联系的五种归纳方法等。

相对于辩证逻辑所研究的逻辑方法，上述方法是比较简单的。

5、概念：是反映对象特有属性或本质属性的思维形式。

概念与感觉、知觉、表象不同：感觉、知觉、表象是反映个别对象的具体形象及其属性，其中既有特有属性或本质属性，也有非特有属性或非本质属性；概念舍支了对象的非特有或非本质的忏悔，而是抽象地反映对象的特有属性或本质属性。

6、概念的内涵和外延任何概念都有两个逻辑牲，即内涵和外延。

内涵就是反映在概念中的对象的特有属性或本质属性，通常称为概念的含义。

外延就是指具有概念所反映的特有属性或本质属性的对象，通常称为概念的适用范围。

7、单独概念：是反映唯一无二的对象的概念。

语词中的专有名词和摹状词都表达单独概念。

8、普遍概念：是反映两个或两个以上对象的概念。

语词中的普通名词、形容词和动词等，一般都表达普遍概念。

9、集合概念和非集合概念：反映集合体的概念叫集合概念，反映非集合体的概念叫非集合概念。

集合体是由若干同类的个体组成的统一的总体，一人集合体所具有的忏悔，只为该集合体所具有，而不必为这个集合体中的每一个体所具有。

非集合体则不同。

10、正概念和负概念：反映对象具有某种忏悔的概念就是正概念，反映对象不具有某种忏悔的概念就是负概念。

从语言方面说，在表达负概念的语词中，常常含有“无”、“不”、“非”等否定词。

负概念总是相对于某个特定范围而言的，一个负概念所相对的范围，逻辑上叫做论域。

11、同一关系：a、b两个概念，如果它们的外延全部重合，即所有的a都是b，同时所有的b都是a，那么a与b之间的关系就是同一关系。

12、真包含于关系：a、b两个概念，如果所有的a都是b，但是有的不是，那么与之间的关系说是真包含于关系，即真包含于。

13、真包含关系：a、b两个概念，如果所有的b都是a，但是有的a不是b，那么a与b之间的关系就是真包含关系，即a真包含b。

在真包含于关系和真包含关系中，都有一个外延较大的概念和一个外延较小的概念。

外延较大的那个概念叫做属概念，外延较小的那个概念叫做种概念。

这两种关系叫属种关系。

14、交叉关系：a、b两个概念，如果它们的外延仅有一部分是生命的，即有的a是b，有的a不是b，而且，有的b是a，有的b不是a，那么a与b之间的关系就是交叉关系。

15、同一关系、真包含于关系、真包含关系和交叉关系中至少有一部分外延是重合的。

我们把这四种关系统称为相容关系。

16、全异关系：a、b两个概念，如果它们的外延没有任何一个部分是重合的，即所有的a 都不是b，那么a与b之间的关系就是全异关系。

又称不相容关系。

全异关系还可以分为矛盾关系和反对关系。

17、矛盾关系：具有全异关系的a、b两个概念，它们都包含于另一个概念c，如果a与b 的外延之和等于c的全部外延，那么a与b之间的关系就是矛盾关系。

18、反对关系：具有全异关系的a、b两个概念，它们都包含于另一个概念c，如果a与b 的外延之和小于c的全部外延，那么a与b之间的关系就是反对关系。

19、定义：是揭示概念内涵的逻辑方法。

由被定义项、定义项和定义联项三部分组成。

20、真实定义：是揭示被定义概念所反映的对象的特有属性成本质属性的定义。

属加种差定义是最常用的定义方法。

根据种差的不同可将属加种差定义分为性质定义、关系定义、发生定义、功用定义等。

21、语词定义：是明确一个语词所表达的意义的定义。

分说明的语词定义和规定的语词定义。

22、划分：是通过把一个概念所反映的对象分为若干个小类，来揭示这个概念外延的逻辑方法。

它是氢一个属概念分为若干个种概念。

划分是由两部分组成的：一是划分的母项；一是划分的子项。

把母项分为若干子项的根据，叫做划分标准。

划分与分解不同。

分解是把一个具体事物分成若干部分。

23、划分的方法分一次划分和连续划分、二分法。

24、分类：分类是划分的特殊形式。

它是根据对象的本质忏悔或显著特征进行的划分，具有较大的稳定性。

25、概念的限制：是通过啬概念的内涵以缩小概念的外延来明确概念的一种逻辑方法。

限制是由属概念过渡到种概念。

限制的极限是单独概念。

26、概念的概括：是通过减少概念的内涵以扩大概念的外延来明确概念的一种逻辑方法。

概括是由种概念过渡到属概念。

概括的极限是范畴。

27、判断：是对思维对象有所断定的思维形式。

任何判断都有两个牲：第一，判断都有所断定，包括肯定或否定；第二，判断都有真假。

28、性质判断：是断定思维对象具有或不具有某种性质的判断。

传统逻辑把它称为直言判断。

性质判断是由四部分组成的，它们分别叫做主项、谓项、联项和量项。

29、性质判断的种类：在性质判断中，逻辑常项是联项和量项。

根据联项和量项的不同，性质判断可以分为六种：1）单称肯定判断：这个s是P；2）单称否定判断：这个s不是P；3）特称肯定判断：有s是P；4）特称否定判断：有s不是P；5）全称肯定判断：所有s是P；6）全称否定判断：所有s不是P。

传统逻辑把单称判断当全称判断看待。

因此，性质判断的形式是四种：一是全称肯定判断，用A表示，简写为SAP；二是全称否定判断，用E表示，简写为SEP；三是特称肯定判断，用I表示，简写为SIP；四是特称否定判断，用O表示，简写为SOP。

30、关系判断：是断定对象与对象之间的关系的判断。

它是由三部分组成的‘即：关系者项、关系项、量项。

基本形式为：所有aR所有b；所有aR有的b；有的aR所有b；有的aR有的b。

在关系判断中，有的关系者项是两个，有的关系者项是三个，有的关系者项多于三个。

前者叫做二项关系，后者分别叫做三项关系和多项关系。

在关系判断中，如果关系者项表示的是一个或一类对象，量项可以省略。

这样，一个二项的关系判断可以写为：R（a，b）或aRb；一个三项的关系判断可以写为R（a，b，c）31、联言判断：是断定几种事物情况同时存在的判断。

它是由两个或两个以上支判断（联言支）和联结项“并且”组成的，一个二支联言判断的逻辑形式为：p并且q在现代逻辑中，这种判断形式可以用符号表示为：p∧q32、选言判断：是断定几种可能事物情况至少有一种存在的判断。

它是由两个或两个以上选言支和联结项“或者”或“要么”组成的。

33、＊＊＊＊＊＊选言判断分相容选言判断和不相容选言判断。

1）相容就是断定几个选言支至少有一个为真的选言判断。

其形式是p或者q。

在现代逻辑中，这种判断形式用符号表示为p∨q2）不相容就是断定几个选言支有并且只有一个为真的选言判断。

形式是：要么p，要么q，符号表示为：p∨q。

34、假言判断：就是断定某一事物情况的存在（或不存在）是另一事物情况存在（或不存在）的条件的判断。

假言判断又叫条件判断。

假言判断是由两个支判断和联结项组成的。

作为条件的支判断叫前件，作为推断的支判断叫后件。

35、假言判断的种类：一是充分条件假言判断，就是断定前件是后件的充分条件的假言判断。

所谓充分条件是指有前件时必有后件，而无前件时后件不定。

充分条件假言判断的一般形式是：如果p，那么q；二是必要条件假言判断，就是断定装腔作势是后件的必要条件的假言判断。

所谓必要条件是指无前件时必无后件，而有前件时后件不定，这样前件就是后件的必要条件。

必要条件假言判断的一般形式是：中是p，才q；三是充分必要条件假言判断，就是断定前件既是后件的充分条件，又是后件的必要条件的假言判断。

所谓充分必要条件就是指有前件必有后件，无前件也必无后件。

充分必要条件假言判断的一般形式是：当且仅当p，才q37、负判断：就是否定某个判断的判断，又叫判断的否定。

负判断与否定判断是不同的。

负判断是由一个支判断（被否定的判断）和联结项“并非”所组成的。

它的一般形式是：并非p。

38、真值表：是能显示一个复合判断在它的支判断的各种真值组合下的真假情况的图表。

运用真值表方法，可以在有穷步骤内计算出较复杂的复合判断的真值。

39、模态判断：是断定事物情况的必然性或可能性的判断。

“必然”、“可能”，逻辑上叫做模态词。

模态判断也就是包含有模态词的判断。

40、推理：就是由一个或几个已知判断得出一个新判断的思维形式。

它是由前提和结论组成的。

推理所依据的已知判断叫前提，推出的新判断叫结论。

在推理中，从前提到结论的推出关系是用“所以”来表示的。

41、三段论：就是由两个包含着一个共同项的性质判断得出一个新的性质判断的推理，又叫做直言三段论。

一个三段论是由三个性质判断构成的，其中，两个是前提，另一个是结论。

任何一个三段论，都包括并且只包括三个不同的项：大项、小项和中项。

结论的主项叫小项，结论的谓项叫大项，前提中的共同项叫中项。

前提中，包含大项的前提叫大前提，包含小项的前提叫小前提。

三段论的典型形式是一切M都是P，一切S都是P，所以，一切S都是P。

三段论是靠中项来联结大项和小项的。

在三段论中，中项只能有一个。

如果有两个中项，就会出现“四概念错误”。

42、关系推理：就是以关系判断为前提或结论的推理。

它是根据前提中关系的逻辑性质进行推演的。

人对称性关系推理、反对称性关系推理、传递性关系推理和反传递性关系推理四种。

43、联言推理：是前提或结论为联言判断的推理。

44、选言推理：是前提中至少有一个是选言判断的推理。

也可叫选言三段论。

分相容的选言推理和不相容的选言推理。

相容的就是前提中有一个是相容的选言判断的选言推理。

不相容的就是前提中有一个是不相容的选言判断的选言推理。

相容选言推理的两条规则：一是否定一部分选言支，就要肯定另一部分选言支。

二是肯定一部分选言支，不能否定另一部分选言支。

不相容选言推理的两条规则是否定一个选言支以外的选言支，就要肯定余下的那个选言支。

二是肯定一个选言支，就要否定其他选言支。

45、假言推理是前提中有一个是假言判断，另一个是性质判断，结论是性质判断的推理。

也可以叫做假言三段论。

分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。