自考普通逻辑复习资料.docx
《自考普通逻辑复习资料.docx》由会员分享,可在线阅读,更多相关《自考普通逻辑复习资料.docx(14页珍藏版)》请在冰豆网上搜索。
自考普通逻辑复习资料
普通 逻辑 第一章 引论
1、 逻辑学是研究推理有效性学问,是研究如何区别对的推理和不对的推理办法和原理学问。
2、 推理是思维基本形式之一。
一种完整判断是由若干概念构成,其中涉及判断主项、谓项和联项。
3、 思维普通是通过语言来表达,推理普通是通过若干语句来表达,判断普通是通过语句来表达,而概念是通
过语词来表达,论证则通过句群来表达。
4、 逻辑学重要研究推理有效性问题。
所谓推理有效性,指是推理形式有效性。
5、 逻辑思想发源地重要有三个,即古代中华人民共和国,古印度,古希腊。
第二章 概念
5、 概念是反映思维对象及特有属性或本质属性珠思维形式。
概念是思维起点,是构成判断和推理基本要
素
6、 概念内涵就是反映在概念中对象特有属性或者本质属性。
7、 概念外延就是具备概念所反映特有属性或者本质属性对象所构成集合(或者类)。
8、 依照概念外延大小,可以将概念分为空概念、单独概念和普遍概念。
9、 空概念:
外延为空集概念称为空概念。
10、 单独概念:
外延只有一种对象概念称为单独概念。
表达单独概念语词有二种:
一种是专有名词,如拿破仑、长江;一种是摹状词。
如世界上最高山峰。
11、 普遍概念:
外延涉及一种以上对象概念称为普遍概念。
12、 根据概念所反映对象与否集合体,可以将概念分为集合概念和非集合概念。
13、 集合概念:
所反映对象是一种集合体概念称为集合概念。
集合概念所反映集合体,指是由若干个体构成统一整体。
如西沙群岛、森林,集合体与构成该集合体个体之间是整体与某些关系。
集合体所具备性质未必为其中每一种个体所具备。
14、 非集合概念:
所反映对象不是一种集合体概念称为非集合概念。
“类”概念是非集合概念中普遍概念,因而这些“类”概念所反映属性必然为属于这个“类”一种个体所具备。
15、 判断一种概念是集合概念还是非集合概念,要看这个概念所反映对象与否集合体。
基概念所反映属性与否为这个概念所涉及每一种个体所具备。
如果这个概念所反映属性为这个概念所涉及每一种个体所具备,则是非集合概念。
如未必为每一种个体所具备,则是集合概念。
如果不能精确区别,则犯“集合体误用”逻辑错误。
16、 根据概念所反映是个体、性质还是关系可以将概念分为个体概念(对象是一种个体。
如仙后座)、性质
概念(反映是个体性质,涉及颜色、状态等,如红、绿、落)、关系概念(反映个体与个体之间关系。
如重于、在。
。
之间、爱慕、尊敬)。
17、 根据概念所反映对象与否具备某种属性,可以将概念分为正概念(具备某种属性)和负概念(不具备某
种属性,普通都带有否定词,如不、非、无等)。
负概念总是相对于特定范畴而言。
18、 对于A、B二个概念,其外延之间也许存在五种关系:
同一关系、真包括关系、真包括于关系、交叉关系和
全异关系。
欧拉图:
20、 概念内涵与外延之间反变关系:
内涵越多,则它外延越小;内涵越少,则外延越大。
反之亦然。
反变
关系只存在于具备属种关系(真包括关系)或种属关系(真包括于关系)概念之间。
21、 概念限制是通过概念内涵、缩小概念外延来明确概念一种逻辑方式。
基本办法是由属概念增长内
涵过渡到相就种概念。
有二种办法:
一是给属概念增长限定词办法(如精神限定为“国际主义精神”),一种是外延罗大属概念直接过渡到外延较小种概念办法(如由水果到坚果再到白果)。
对属概念进行限制,其极端是单独概念,当对单独概念再加内涵时,普通并不能减少该概念外延。
“限制不当”
22、 概念概括是通过减少概念内涵、扩大概念外延来明确概念一种办法。
基本办法是由种概念减少内
涵过渡到相应属概念。
一是给种概念减少限定词(如将东方古代哲学概括到“哲学”);一种是由外延较小种概念直接过渡到外延较大属概念(如心理学到社会科学)。
对种概念进行概括,其极端是最普通普遍概念。
当对最普通普遍概念再减少内涵时,普通并不能增长该概念外延。
“概括不当”
23、 定义就是以确切、简要语句提示概念内涵或者外延逻辑办法。
24、 定义由被定义项、定义项和定义联项三某些构成。
DS就是DP 其中DS是被定义项,DP表达定义项
25、 定义办法:
一、属种加差 先找出相邻近属概念,再找出与其他种概念之间差别,再用定义项联
结。
被定义概念=种差+邻近属概念
二、同义定义 同一概念不同语语来明确
三、示例定义 列举出外延中具备代表性某些对象来明确。
四、枚举定义 列举出所有外延来明确,哪合用于概念外延只是少数、有限个对象状况
五、递归定义
26、 根据明确概念角度不同,可分为内涵定义、外延定义以及内涵与外延相结合复合定义。
27、 根据是直接明确概念还是通过明确表达概念语词意义来间接明确概念,定义可分为实质定义、语词定
义(加以解释阐明为阐明语词定义;规定其意义为规定语词定义)。
28、 根据所反映属性不同中,实质定义可分为性质定义、功用定义、发生定义、关系定义等。
29、 定义规则:
一、定义项和被定义项外延必要是同一关系。
“定义过窄、过宽、交叉、全异”
二、定义项不能直接或间接包括被定义项。
“同语重复、循环定义”
三、定义项中不能包括含混概念或语词,普通不能使用比喻。
“定义含混、以比喻代定义”
四、定义项普通不应包括负概念。
30、 划分是通过把一种概念所反映对象分为若干个小类来揭示这个概念外延逻辑办法。
普通是把一种属
概念分为若干个种概念。
划分涉及三要素:
划分母项(被划分概念)、子项(划分后得到种概念)和原则。
31、 划分种类:
按划分次数:
一次划分和持续划分。
按子项数目:
二分法和多分法。
32、 划分规则:
一、划分后各子项外延之和必要与母项外延相等 “划分不全、多余子项”
二、每次划分必要按照同一原则进行。
“划分原则不统一”
三、划分所得各子项应当互不相容。
“子项相容”
第三章 简朴判断
33、 判断是对思维对象有所断定思维形式。
判断二个基本特性:
判断均有所断定,判断均有真假。
34、 鉴定一种语句与否是表达判断,原则有二条:
1、与否有所断定;2、与否有真假。
35、 表达判断语句称为命题,命题逻辑形式称为命题形式。
命题逻辑形式指是与命题详细内容相对
形式构造。
36、 判断种类:
1、简朴判断和复合判断;2、性质判断和关系判断;3、模态判断和非模态判断。
模态词指
是描摹事物状态词,如“也许、必然、曾经、永远”。
37、 性质判断由主项、谓项、联项和量项四某些构成。
S是主项,P是谓项。
38、 性质判断按质分:
必定判断(S是P)和否定判断(S不是P);
39、性质判断按量分:
单称判断(这个S是(不是)P)、全称判断(所有S都是(不是)P)和特称判断(有S是
(不是)P)。
40、 性质判断按质量结合分:
单称必定判断(这个S是P)
单称否定判断(这个S不是P)
全称必定判断(所有S是P) SAP A判断
全称否定判断(所有S不是P) SEP E判断
41、 同素材性质判断指是主项、谓项均相似判断。
对当关系:
A 反对关系 E 1、矛盾关系:
不能同真,不能同假。
2、反对关系:
不能同真,可以同假。
3、下反对关系:
不能同假,可以同真。
I 下反对关系 O 4、差等关系:
全称真,特称真;特称假,全称假。
42、 性质判断主、谓项周延性:
如主(谓)项所有外延都得到了断定,则该主(谓)项是周延,否则不周延。
一、 全称判断A、E主项是周延。
二、 特称判断I、O主项是不周延。
三、 必定判断A、I谓项是不周延。
四、 否定判断E、O谓项是周延。
43、 关系判断由关系者项(主项)、关系项(谓项)和量项(数量或范畴)三某些构成。
二元关系判断:
R(a、b) 或aRb;三元关系判断:
R(a、b、c)
44、关系性质:
自返(自返、非自返、禁自返关系)、对称(对称、非对称、禁对称关系)、传递(传递、非传递、禁传递关系)。
45、 自返:
对特定论域中任一对象x,均有R(x,y)成立,那么关系R为该论域上自返关系。
非自返:
在特定论域中,存在对象x,R(x,y)不成立,那么关系R为非自返关系。
禁自返:
对特定论域中任一对象x,R(x,y)都不成立,那么关系R为该论域上禁自返关系。
46、对称:
对特定论域中任一对象x和任一对象 y,若R(x,y)成立,则R(y ,x)一定成立,那么关系R
为该论域上对称关系。
非对称:
在特定论域中,存在对象x和y, R(x,y)成立,但是R(y ,x)不成立,那么关系R为该论域上非对称关系。
禁对称:
对特定论域中任一对象x和任一对象 y,若R(x,y)成立,则R(y ,x)一定不成立,那么关系R为该论域上禁对称关系。
47、 传递:
对特定论域中任一对象x、任一对象 y和任一对象z,若R(x,y)和R(y ,x)成立,则R(x ,z)一定成立,那么关系R为该论域上传递关系。
非传递:
在特定论域中,存在对象x、y和z,R(x,y)和R(y ,x)成立,但R(x ,z)不成立,那么关系R为该论域上非传递关系。
禁传递:
对特定论域中任一对象x、任一对象 y和任一对象z,若R(x,y)和R(y ,x)成立,则R(x ,z)一定不成立,那么关系R为该论域上禁传递关系。
第四章 复合判断
48、 联言判断:
p并且q;p∧q;p合取q。
“并且,而,不但。
。
。
并且,即。
。
又,不但。
。
还,虽然。
。
但是”
只有p、q都真时,p∧q才真,别的都为假。
49、 选言判断:
相容选言判断:
p或者q;p∨q;p析取q。
“或许,也许。
。
。
也许。
”
只有p、q都假时,p∨q才假。
别的状况下均为真.
不相容选言判断:
要么p,要么q;p∨q;p不相容析取q。
“也许。
。
也许。
。
两者不可兼得,两者择其一”
只有p、q值不同步,p∨q才真,别的均为假。
50、 假言判断(条件判断):
充分条件假言判断:
如果p,那么q;p→q;p蕴涵q。
“如果。
。
则,。
。
就。
。
,若。
。
则。
。
,则“
p真q假时,p→q才假。
别的状况下均为真.
必要条件假言判断:
只有p,才q;p←q;p逆蕴涵q。
“若非。
。
哪得,没有。
。
没有。
。
,除非。
。
不。
。
”
P假q真时,p→q才假。
别的状况下均为真.
充分必要条件假言判断:
p当且仅当q;p←→q;p等值q。
“如果。
。
那么,并且只有。
。
才”
只有p、q值同等时,p∨q才真,别的均为假。
51、 负判断,就与否定某个判断判断。
又叫判断否定判断,简称判断否定。
并非p;┑p;非p。
“并非,不是,这不是事实”
52、 简朴判断负判断
┑(这个S是P)=这个S是P; ┑(这个S是P)=这个S是P ┑SAP=SOP
┑SEP=SIP ┑SIP=SEP ┑SOP=SAP
53、 复合判断负判断:
┑(p∧q)= ┑p∨┑q ┑(p∨q)= ┑p∧┑q
┑(q∨p)= (p∧q) ∨(┑p∧┑q) ┑(p→q)= p∧┑q ┑(p←q)= ┑p∧q
┑(p←→q)=( p∧┑q) ∨(┑p∧q) ┑(┑p)= p
54、 模态判断:
必然必定判断,必然否定判断,或然必定判断,或然否定判断。
必然必定判断:
必然p;□p。
必然否定判断:
必然并非p;□┑p。
或然必定判断:
也许p;◇p。
或然否定判断:
也许并非p;◇┑p。
55、 模太判断之间真假关系:
┑□p=◇┑p; ┑□┑p=◇p; ┑◇p=□┑p; ┑◇┑p=□p
第五章 逻辑基本规律
1、 逻辑基本规律重要有三条:
同一律、矛盾律、排中律。
2、 同一律:
A是A,或p→p。
(A表达任一概念,p表达任一概念)。
保持其自身同一性。
违背:
混淆概念,偷换概念,转移论题,偷换论题。
主旨是保持思想拟定性。
3、 矛盾律:
A不是非A,或┐(p∧┐p)。
保持思想一致性。
不能同真,必有一假。
违背:
自相矛盾。
主旨是保持思想一致性。
4、 排中律:
A或者非A,p∨┐p.不能都假,必有一真。
违背:
模棱两可 主旨是保持思想明确性。
第六章 演绎推理
(一):
基于词项推理
5、 推理种类:
同类推理(演绎推理、归纳推理)、异类推理(类比推理);必然性推理、或然性推理;直接推理(前
提只有一种判断)、间接推理(前提具有二个或二个以上判断);模态推理(前提或结论中包括模态词)、非模态推理(均不含模态判断)。
6、 由特例到普通推理为归纳推理,否则称为演绎推理。
7、 前提真则结论一定真推理为必然性推理;前提真而结论仅仅也许真推理为或然性推理。
8、 推理有效性指是推理形式有效性。
推理形式有效指是:
假设前提真,则其结论一定是真。
9、 基于对当关系直接推理:
一、矛盾关系:
SAP├┐SOP;SEP├┐SIP;SIP├┐SEP;SOP├┐SAP; ┐SAP├SOP; ┐SEP├SIP; ┐SIP├SEP; ┐SOP├SAP;
二、反对关系:
SAP├┐SEP;SEP├┐SAP
三、下反对关系:
┐SIP├SOP; ┐SOP├SIP
四、差等关系:
SAP├SIP;SEP├SOP; ┐SIP├┐SAP; ┐SOP├┐SEP
10、 换质法:
通过变化前提质和谓项而得出结论直接推理。
规则:
1、结论和前提不同质,即前提否定,则结论与否定;前提否定,则结论必定。
2、结论主项和前提相似,结论谓项是前提谓项矛盾概念。
SAP├SEˉP;SEP├SAˉP;SIP├SOˉP;SOP├SIˉP
11、 换位法:
能过互换前提中主、谓项位置从而得出结论直接推理。
规则:
1、结论和前提质相似,即前提是必定,结论也是必定;前提与否定,结论也与否定。
2、结论主项和谓项,分别是前提谓项和主项。
3、前提中不周延项,到结论中也不得周延。
4、O判断不能换位 SAP├PIS;SEP├PES;SIP├PIS
12、 换质法与换位法综合应用:
先换位(换位质推理):
SAP├PIS├PO-S SEP├PES├PA-S├-SIP├-SO-P
SIP├PIS├PO-S 先换质(换质位推理):
SAP├SE-P├-PES├-PA-S├-SI-P├-SOP
SEP├SA-P├-PIS├-PO-S
SOP├SI-P├-PIS├-PO-S
13、 三段论是由二个包括着一种共同项性质判断推出一种新性质判断推理。
前提和结论中主项和谓项
统称为项。
只有三个项,每个项各浮现二次。
在前提中浮现二次项为中项M,结论主项称为小项S,结论谓项称为大项P。
包括大项前提是大前提,包括小项前提是小前提。
14、 三段论普通规则:
1、有且只有三个不同项 。
2、中项至少要周延二次。
3、在前提中不周延项,到结论中也不得周延。
4、两个否定前提推不出结论。
5、如果前提有一否定,则结论否定;如果结论否定,则前提有一否定。
6、两个特称前提推不出结论。
7、如果两个前提中有一种是特称,则结论也是特称。
1-3关于主、谓项,4-7关于联项和量项,4、5关于否定,6、7关于特称。
15、三段论格:
16、 关系推理:
是前提中至少有一种是关系判断推理。
分为:
纯关系判断(对称关系推理、禁对称关系推理、
传递关系推理、禁传递关系推理)和混合关系判断。
17、 对称关系推理:
aRb, 禁对称关系推理:
aRb,
因此,bRa。
因此,b-Ra。
传递关系推理:
aRb, 禁传递关系推理:
aRb,
bRc, bRc,
因此,aRc 因此,a-Rc
18、 混合关系推理:
所有a与b关于系R,c是a,因此,c与b关于系R。
规则:
1、中项在前提中至少要周延一次;
2、在前提中不周延项在结论中不得周延;
3、前提中性质判断必要是必定;
4、如果前提中关系判断是必定,则结论中关系判断也应是必定,如前与否定,则结论也与否定。
5、如果关系不是对称,则在前提中关系者前项(或后项)在结论中也应作为关系者前项(或后项)
第七章 演绎推理
(二)基于命题推理
19、 联言推理是前提或者结论是联言判断推理。
有分解式和合成式。
20、 分解式:
p并且q, 或 p并且q, 合成式:
p,
因此,p。
因此,q。
q,
p∧q├p; p∧q├q 因此,p并且q。
p,q ├p∧q
21、 永真式:
将前提和结论用“蕴涵”(→)联结起来,真值表中每一行都是真,则该推是有效。
22、 选言推理:
相容选言推理、不相容选言推理
23、 相容选言推理:
否定必定式、析取引入式。
规则:
1、否定一某些选言支,就要必定另一某些选言支。
2、必定一某些选言支,可以推出包括该选言支任一选言判断。
3、必定一某些选言支,不能否定另一某些选言支。
否定必定式:
析取引入式:
24、 不相容选言推理:
否定必定式、必定否定式。
规则:
1、否定一某些选言支,就要必定另一某些选言支。
2、必定一某些选言支,就要否定另一某些选言支。
否定必定式:
必定否定式:
25、 假言推理:
充分条件假言推理、必要条件假言推理、充分必要条件假言推理。
26、 充分条件假言推理:
必定前件式、否定后件式
规则:
1、必定前件就要必定后件;
2、否定后件就要否定前件;
3、否定前件不能否定后件;
4、必定后件不能必定后件。
必定前件式:
否定后件式:
27、 必要条件假言推理:
否定前件式、必定后件式
规则:
1、否定前件就要否定后件;
2、必定后件就要必定前件;
3、必定前件不能必定后件;
4、否定后件不能否定前件。
否定前件式:
必定后件式:
28、 充分必要条件假言推理:
必定前件式、否定前件式、必定后件式、否定后件式。
规则:
1、必定前件就要必定后件;
2、否定前件就要否定后件;
3、必定后件就要必定前件;
4、否定后件就要否定前件。
必定前件式:
否定前件式:
必定后件式:
否定后件式:
29、 二难推理:
以二个充分条件假言判断和一种选言判断为前提,依照充分条件假言判断和选言判断逻辑性
质得出结论推理。
特点:
由选言判断必定两个充分条件假言判断前件,结论就必定二个充分条件假言判断后件;
由选言判断否定两个充分条件何言判断后件,结论就否定两个充分条件假言判断前件。
形式:
简朴构成式、简朴破坏式、复杂构成式、复杂破坏式。
30、 简朴构成式:
前提中选言判断必定假言判断不同前件,结论必定相似后件。
31、 简朴破坏式:
前提中选言判断否定假言判断不同后件,结论否定相似前件。
32、 复杂构成式:
前提中选言判断必定假言判断不同前件,结论必定不同后件。
33、 复杂破坏式:
前提中选言判断否定假言判断不同后件,结论否定不同前件。
34、 破斥二难推理办法:
得出对的结论二难推理需满足如下条件:
1、前提中假言判断必要是充分条件假言判断;
2、前提中选言判断,其选言支应当是穷尽;
3、推理规程要符合充分条件假言推理和选言推理规则。
前二个条件规定是前提真实,第三个条件规定是推理有效。
不符合上述条件就也许是错误,破斥二难推理就是指出一种结论错误二难推理违背上述条件状况。
尚有就是仿效对方二难推理构造一种结论相反二难推理,来证明对方不成方。
35、假言易位
36、蕴析律:
就是蕴涵和析取之间互相转换规律。
37、 假言连锁:
充分条件假言连锁:
必要条件假言连锁:
充分必要条件假言连锁:
38、 反三段论:
39、 反证法:
先假设p不成立,由此推出矛盾成果,从而得出p成立。
40、 归谬法:
先假设p成立,由此推出矛盾成果,从而得出p不成。
41、 模态推理:
以模态判断为前提或结论推理。
42、 基于矛盾关系模态推理:
43、 基于反对关系模态推理:
44、 基于下反对关系模态推理:
45、 基于差等关系推理:
46、 依照模态判断与性质判断之间关系进行模态推理:
47、 依照包括复合判断模态判断之间等值关系进行模态推理。
(符号“ ” 表达p和q可以互推)
第八章 归纳推理和类比推理
48、 归纳推理是依照一类事物中若干对象具备某种属性推出该类事物所有对象都具备该属性推理。
49、 完全归纳推理:
1、每个前提都是对的。
2、必要穷尽该类事物所有对象。
前提真,则结论真。
是一种必然性推理。
50、 不完全归纳推理:
前提真,结论也许真。
是一种或然性推理。
涉及:
简朴枚举法、科学归纳法。
51、 简朴枚举法:
注意:
1、每个前提都要是对的,由于简朴枚举法遇到一种反例,结论就不对的了。
2、考察对象数量要尽量多。