形式逻辑参考复习笔记new

1、逻辑学形式逻辑辩证逻辑传统逻辑现代逻辑演绎逻辑归纳逻辑1、 逻辑：表示事物发展的客观规律；观察处理问题时特殊的理论、观点或方法 人类思维的规律、规则；研究思维形式和思维规律的学问（逻辑学）。2、普通逻辑：传统的形式逻辑，是研究思维的逻辑形式及其基本规律和人们认识现实时所使用的简单逻辑方法的科学。普通逻辑思维思维的基本规律简单的逻辑方法思维的逻辑形式逻辑思维形象思维灵感思维同一律、矛盾律排中律、充足理由律逻辑常项逻辑变项3、思维的逻辑形式：概念、判断和推理是思维的形式。反映在概念、判断、和推理中的特定对象及其属性叫做思维的具体内容。思维内容各部分之间的联系方式或形式结构，叫做思维的逻辑形式。概念

2、4、概念：反映特定事物对象特有属性或本质属性的思维形式。5、概念的内涵：反映在概念中的对象的特有属性或本质属性。6、概念的外延：是指具有概念所反映的特有属性或本质属性的对象。根据概念外延的大小分类7、单独概念：是反映独一无二的对象的概念。外延为一8、普遍概念：是反映一个以上对象的概念。外延过一根据概念所反映的对象是否为集合体分类9、集合概念：外延为集合体。集合体由许多个体组成的统一整体，集合体所具有的属性，只为该集合体所具有，而不必为这个集合体中的某一个体所具有。10、非集合概念：外延为非集合体。根据概念所反映的对象是否具有某属性分类11、正概念：内涵具有某种属性。12、负概念：内涵不具有某种

3、属性根据概念外延是否为零分类13、实概念：外延为非零14、虚概念：外延为零概念关系内涵不同外延关系同一关系a=b内涵不同外延相同真包含关系a>b属种关系真包含于关系a<b种属关系交叉关系a部分等于bb部分等于a全异关系外延没有任何部分重合矛盾关系a+b=c反对关系a+b<c15、概念的内涵与外延之间的反变关系：一个概念的外延愈大，则它的内涵愈少，一个概念的外延愈小，则它的内涵愈多。一个概念的内涵愈少，则它的外延愈少；一个概念的内涵愈多，则它的外延愈小。16、概念的限制：是通过增加概念的内涵以缩小概念的外延来明确概念的一种逻辑方法。（是缩小概念外延的方法，即由外延较大的概念过渡

4、到外延较小的概念，限制是由属概念过渡到种概念）单独概念是外延最小的概念，无法限制。17、概念的概括：是通过减少概念的内涵以扩大概念的外延来明确概念的一种逻辑方法。（是扩大概念外延的方法，即由外延较小的概念过渡到外延较大的概念，概括是由种概念过渡到属概念）概括也是有限度的，概括的极限是范畴。18、定义：是用简短的语句揭示概念内涵的逻辑方法。由被定义项、定义项、定义联项三部分组成。定义的方法属加种差定义：被定义项=种差+临近属概念e.g.人就是能制造和使用生产工具的动物。发生定义：e.g. 水关系定义：e.g. 伯父功用定义：e.g. 缝纫机语词定义 说明的语词定义：e.g.“单方”也称“丹方”，

5、是指民间流传的药方 规定的语词定义：e.g.五讲四美定义的规则：定义项的外延和被定义项的外延应是全同的；定义项中不能直接或间接地包括被定义项；定义项中不得包括含混的概念或语词，不得用比喻；定义一般不用否定形式。19、划分：是通过把一个概念所反映的对象分为若干个小类，来揭示这个概念的外延的逻辑方法。 由母项、子项、划分标准（把母项分为若干子项的根据） 划分的方法： 一次划分：根据划分标准对母项一次划分完毕 连续划分：把母项划分为若干子项之后，再将子项作为母项继续进行划分 二分法：以对象有无某种属性作为划分标准，将一个属概念划分为正、负概念 划分的规则：划分后的各子项外延之和必须与母项的外延相等（

6、X划分不全或多出子项）；每次划分必须按照同一标准进行（X划分标准不同一）；划分的各子项应当互不相容（子项相容）；划分应逐层进行。 特殊的划分：分类 按事物对象本质属性为标准对属概念划分，长久的稳定性 列举 揭示概念的一部分外延20、分解：是把一个整体分为若干组成部分。整体与部分间是不相容的关系，整体的属性部分并不具备。判断21、判断：是对思维对象有所断定的思维形式。22、判断的逻辑特征：判断都有所肯定或有所否定。判断都有真假。23、判断和语句联系：判断是语句的思想内容，语句是判断的语言形式。判断和语句区别：A：范畴不同 精神和物质 B：对应关系不同 任何判断都要用语句表达并非所有语句都能表达判

7、断 同一判断可以由不同句子表达 有的语句可以表达不同的判断命题：表达判断的语句称作命题。命题的逻辑形式就是命题形式。S、P词项变项，p、q称为命题变项。二者统称逻辑变项。24、判断的分类&各类判断的定义依据判断中是否出现必然、可能这两个模态词分类判断模态判断非模态判断 模态判断：断定事物可能性或必然性的判断。即包含“必然”“可能”模态词的判断形式。 非模态判断：就使然情况做出断定的判断。不包含模态词的判断。依据判断内部结构分（基本构成是概念还是判断）判断简单判断复合判断性质判断关系判断联言判断选言判断假言判断负判断相容选言判断不相容选言判断充分条件假言判断必要条件假言判断充分必要条件假

8、言判断简单判断的负判断复合判断的负判断全称肯定A（单称）全称否定E特称肯定I特称否定O 简单判断：自身中不含有其他判断的判断。命题形式中，逻辑变项是词项。 复合判断：自身中包含有其他判断的判断。命题形式中，逻辑变项是命题。 性质判断：直言判断。断定对象具有或不具有某种性质的判断。构成：主项S、谓项P、联项（肯、否）和量项（全称、特称）。肯定判断：断定对象具有某种性质的判断。否定判断：-不具有-。 依据联项（性质）划分单称判断：断定单个对象具有或不具有某性质的判断。全称判断：断定主项的全体都具有或不具有某种性质的判断。特称判断：断定主项至少有一个具有或不具有某性质的判断。 依据量项划分 全称肯定

9、判断A、全称否定判断E 特称肯定判断I、 特称否定判断O 依据联项、量项分 特称量项“有的”和日常语言中的“有的”含义不完全相同 同一素材的性质判断：性质判断的主、谓项均相同。 对当关系：同一素材的性质判断之间的真假关系。矛盾关系：AO EI 不能同真同假反对关系： AE 不能同真，可同假下反对关系： IO 可同真，不同假差等关系：AI EO 全真特真，特假全假，其余真假不定 对当关系的成立，是以判断的主项非空为条件的。如果主项为空概念，则只有矛盾关系成立 对当关系中，单称判断不能作全称判断处理。对当关系逻辑方阵 A 反对关系 E差 等 关 系矛 盾 关 系差 等 关 系 I 下反对关系 O

10、真值表S、P关系真假判断的类型S=P全同S<P真包含于S>P真包含S&P交叉S%P全异A+_E+_+I_+_O_+性质判断主、谓项的周延性周延：在一个性质判断中，其主项（或谓项）的全部外延都得到形式的断定。反之，不周延。结论：第一、 全称判断的主项都周延（A、E主周）第二、 特称判断的主项都不周延（I、O主不周）第三、 肯定判断的谓项都不周延（A、I谓不周）第四、 否定判断的谓项都周延（E、O谓周）周延表（前不周，后不周；后不周，前可周可不周）判断类型主项谓项全肯A周延不周延全否E周延周延特肯I不周延不周延 特否O不周延周延关系判断：断定对象之间关系的判断 构成：关系者项、

11、关系项、量项 二元关系：R（a、b）对称性对称、反对称、非对称 传递性传递、反传递、非传递联言判断：断定几种事物情况同时存在的判断。构成：联言支，联结词。逻辑形式：p并且q。写作pq （p合取q）。联言词：不但而且；既 又；不仅还；虽然但是选言判断：断定几种可能事物情况至少有一种存在的判断。构成：选言支，联结词。 相容的选言判断：断定几个选言支中至少有一个为真并且可以同真的选言判断。逻辑形式 p或者q。写作pq （p析取q）。联言词：也许也许等 不相容的选言判断：断定几个选言判断就是断定几个选言支中有并且只有一个为真的选言判断。逻辑形式：pq （p不相容析取q）。联言词：要么要么假言判断：条件

12、判断。断定某一事物情况的存在（或不存在）是另一个事物情况存在（或不存在）的条件的判断。p前件，q后件 充分条件假言判断：断定事物情况之间具有充分条件关系的假言判断。逻辑形式：如果p,那么q。写作pq （p蕴涵q）。联言词：如果那么；一旦就 必要条件假言判断：断定事物情况之间具有必要条件关系的假言判断。逻辑形式：只有p，才有q。写作pq （p逆蕴涵q）。联言词：除非才；只有才 充分必要条件假言判断：断定事物情况之间具有充分必要条件关系的假言判断。逻辑形式：p当且仅当q。pß>q （p等值q）。联言词：如果那么并且只有才 如果p是q的充分条件，那么q就是p的必要条件；如果q是p的必

13、要条件，那么p就是q的充分条件。充分条件：pq有p必有q，没p未必没q；没q必然没p,有q未必有p 必要条件：pq没p必没q，有p未必有q；有q必有p,没q未必没p 充分必要条件：pß>q 有p必有q，没p必没q负判断：否定某个判断的判断，又叫判断的否定。逻辑形式：并非p。写作p 简单判断的负判断：并非所有S是P 等值于 有些S不是P (非AO) 并非所有S不是P 等值于 有些S是P (非EI) 并非有些S是P 等值于 所有S不是P（非IE） 并非有些S不是P 等值于 所有S是P （非OA） 并非某个S是P 等值于 某个S不是P 并非某个S不是P 等值于 某个S是P 复合判断的

14、负判断：并非（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） 等值于p双重否定 联言判断 选言判断 假言判断 负判断真值表联言判断相容的选言判断不相容的选言判断充分条件假言判断必要条件假言判断充分必要条件假言负判断PqpqpqPqpqpqPß>qp+_+_+_+_+_+_+_+_+合取

15、析取不相容析取蕴涵逆蕴涵等值非都真时真都假时假一真时真前真后假时假前假后真时假一真一假时假推理25、推理：依据一个或几个已知的判断得到另一个新判断的思维形式。26、推理的构成：前提（推理所依据的判断）；结论（推理所得到的判断） 推理的有效性：形式有效性。当且仅当有此推理形式的任一推理都不出现真前提和假结论。（不能通过结论的真假来看有效无效）（推理有效，前提真实）27、推理的种类演绎推理：从一般到个别归纳推理：从个别到一般 根据思维进程不同类比推理：从个别到个别必然性推理：前提蕴涵结论，前提真，结论一定真或然性推理：前提不蕴涵结论，前提真，结论仅仅可能为真 前提结论是否有必然联系直接推理：以一个

16、判断为前提推出结论的推理。前提和结论都是性质判断 对当关系的直接推理：在同一素材的各种性质判断之间进行的推理。（16个有效式）矛盾关系的推理SAPSOP；SEPSIP； SIPSEP；SOPSAP(技术有限) SAPSOP；SEPSIP ；SIPSEP；SOPSAP.差等关系的推理SAPSIP；SEPSOP；SIPSAP；SOPSEP反对关系的推理SAPSEP；SEPSAP下反对关系的推理SIPSOP；SOPSIP 判断变形的直接推理：通过改变前提的直言判断的形式从而推出结论的直接推理改变前提的质。肯变否，否变肯 换质法：通过改变前提的质，从而得出结论的直接推理方法 SAPSEP；SEPSAP

17、；SIPSOP；SOPSIP改变前提的主、谓的位置。 质相同，主谓换，前不周后不得周 换位法：通过交换前提中主、谓项的位置从而推出结论的直接推理方法。SAPPIS； SEPPES； SIPPIS O判断不能换位间接推理：简单判断的推理：复合判断的推理：三段论：由两个包含着一个共同项的性质判断推出一个新的性质判断的推理。又称直言三段论。S小项，M中项，P大项；有S的是小前提，有P的是大前提。 三段论的公理：一类对象的全部是什么或不是什么，那么对象中的部分是什么或不是什么。 三段论的一般规则：三个概念中周延，大项小项莫扩展。一特得特否得否，两特两否结论难。1、 一个正确三段论，有且只有三个不同的项

18、。违反，则犯“四项错误”。2、 中项至少要周延一次。违反，则犯“中项两次不周延错误”3、 在前提中不周延的项，到结论中不得周延。违反，则犯“大项或小项不当周延”4、 两个否定前提推不出结论。5、 如果前提有一否定，则结论否定；如果结论否定，则前提有一否定。6、 两个特称前提不能推出结论。7、 如果两个前提中有一个是特称的，那么，结论也是特称的。三段论的格（由中项在前提中的不同位置所构成的三段论的不同形式） 大前提第一格M PS MS P第二格P MS MS P第三格M PM SS P第四格P MM SS P小前提结论小前提须是肯定的大前提须是全称的前提中须有一个是否定的大前提须是全称的小前提须

19、是肯定的结论须是特称的两前提有一否定，则大前提全称若大前提肯定，则小前提全称如小前提肯定，则结论特称任何一个前提都不能是特称否定结论不能是全称肯定A证明：1、先把某一格的图画出来2、用反证法，假设对立面3、找出不符合规则的地方4、得出假设不成立题型：e.g.有效三段论结论为O，推导具体格三段论的式（前提和结论的质、量组合形式）可能式256个，有效式24个，弱式5个第一格第二格第三格第四格AAAAEEAAIAAIEAEEAEEAOEAOAIIAOOAIIAEEEIOEIOEIOEIO（AAI）（AEO）IAIIAI(EAO)(EAO)OAO(AEO)28、联言推理：前提或结论为联言判断的推理。种类：分解式：由前提中联言判断的真，推出其任一支判断真的联言推理。 pq p 或 pq q组合式：由前提中全部支判断真，推出联言判断真的联言推理。 p ，