法律逻辑学复习提纲.ppt

《法律逻辑学复习提纲.ppt》由会员分享，可在线阅读，更多相关《法律逻辑学复习提纲.ppt（21页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、法律逻辑学复习提纲逻 辑概念命题推理论证性质命题演绎推理复合命题标准命题类比推理归纳推理证明与反驳逻辑思维规律一、概念概念的定义、特征、法律概念的特点规定性与客观性的统一概念的内涵明确概念的逻辑方法概念外延的定义定义、特点准确运用概念的逻辑根底概念的分类概念间的关系定义列举列举划分揭示内涵揭示外延认识性内涵与规定性内涵单独与普遍单独与普遍；集合与集合与非集合非集合；简单与复合全同；真包含于；全同；真包含于；真包含；交叉；全真包含；交叉；全异矛盾、反对异矛盾、反对方法；概括与限方法；概括与限制；定义规那么制；定义规那么划分规那么划分规那么命题的一般特征二、命题1、命题的概念、特征总是有所断定、有

2、真假值2、描述命题、评价命题的定义3、命题形式逻辑结构形式、逻辑性质真假值4、命题的分类：性质命题、复合命题、标准命题性质命题1、性质命题的定义、组成局部四个、根本类型A、E、I、O2、性质命题词项主谓项的周延性：全称主项否认谓项都周延、特称主项肯定谓项都不周延3、性质命题之间的真假关系反对、下反对、差等、矛盾：逻辑方阵；注意单称命题之间的对当关系4、揭示性质命题隐含命题的方法：换质、换位、换质位二、命题1复合命题联言命题1、定义断定同时存在、公式pq)2、连接词：不但而且、既又、虽然但是、并且3、真假值：一假那么假4、永假式：pq 5、本卷须知反驳时证明任一支命题假选言命题1、定义断定至少一

3、种存在、公式pq)2、连接词：或者、要么、可能也可能3、类型：相容、不相容4、真假值相容：所有支命题假才假；不相容：有且只有一个真时真5、永真式：p q6、本卷须知反驳时证明任一支命题假假言命题二、命题2假言命题1、定义断定有前件必有后件、公式pq)2、连接词：如果那么、只要就、假设就3、真假值：为假的惟一条件是前件真而后件假；为真的条件是前件假或后件真。4、性质：前件真而后件真，后件假那么前件必假5、本卷须知反驳时证明前件真而后件假充分条件假言命题必要条件假言命题1、定义断定无前件必无后件、公式pq)2、连接词：只有才、必须才、才3、真假值：为假的惟一条件是前件假而后件真；为真的条件是前件真

4、或后件假。4、性质：前件假那么后件假，后件真那么前件必真5、本卷须知反驳时证明前件假而后件真二、命题3标准命题11、模态命题的定义2、真值模态命题的类型：必然命题p、p、或然命题p、p3、真值模态命题的逻辑对当关系4、真值模态命题的负命题：表现为对原命题中模态词的否认负命题1、定义否认命题的命题、公式 p 2、负命题与其支命题的关系：矛盾关系3、性质命题、复合命题的负命题及其等值式4、复合命题形式的转换 5、多重复合命题二、命题4标准命题21、标准命题的分类：允许型授权型标准命题PA、PA、必须型义务型标准命题OA、OA)禁止型义务型标准命题FA、F A2、标准命题相互间的逻辑对当关系：反对、

5、下反对、差等、矛盾3、刑法标准命题的结构形式：必须A，禁止非A;如果非A，那么S二、命题5三、推理推理概述1、推理的定义2、推理的组成要素：前提、结论、推到关系3、推理形式：推理的结构形式4、推理的分类：必然性与或然性前提对结论的支持程度 演绎、归纳与类比推理推导进程思维方向的不同5、演绎推理、归纳推理与类比推理的区别和联系6、推理的有效性、合理性和结论的真实性之间的关系演绎推理1、三段论性质命题推理、直言推理2、复合命题推理：联言推理、选言推理、假言推理3、复合命题的综合运用：二难推理、综合推理演绎推理1三段论1、三段论的定义、2、三段论的特征：三个性质命题：大前提、小前提、结论 三个不同的

6、词项：大项、小项、中项3、三段论的规那么：前三个关于词项、后四个关于命题类型4、三段论的格：第一二三四格5、三段论的式：三个性质命题的类型6、三段论的省略式的复原步骤：确定省略前提还是结论省结论，根据大小项的位置和规那么写出结论省前提，根据结论的主谓项和规那么复原前提演绎推理2复合命题推理联言推理1、联言推理的定义：前提或结论中有一联言命题2、联言命题的种类：分解式：(p q)p或(p q)q 组合式：p，q (p q)3、规那么：联言命题真，那么其各支命题必真；反之亦然选言推理假言推理选言推理1、选言推理的定义：以选言命题作大前提，局部选言支作小前提，推出结论2、类型及其规那么：1相容选言推

7、理的有效式：否认肯定式(pq)p q 规那么：前提肯定局部支命题，结论不能必然否认剩下的支命题 2不相容选言推理的有效式：否认肯定式、肯定否认式(p q)p q3、本卷须知：运用肯定否认式时要考虑选言支之间是否相容；运用否认肯定式时要考虑选言支是否穷尽演绎推理3假言推理充分条件假言推理1、定义：以充分条件假言命题作大前提进行的推理2、有效式：肯定前件式：p q)p q 否认后件式：p q)q p 3、无效式：否认前件式、肯定后件式4、规那么：有前件必有后件；无后件必无前件5、回溯推理：肯定后件为大前提，充分条件假言命题为小前提，结论肯定前件，即肯定后件式演绎推理4必要条件假言推理1、定义：以必

8、要条件假言命题作大前提进行的推理2、有效式：否认前件式:p q)p q 肯定后件式：p q)q p3、无效式：肯定前件式、否认后件式规那么：无前件必无后件，有后件必有前件复合命题推理的综合运用二难推理1 1、定义：充分条件选言推理、充分条件、定义：充分条件选言推理、充分条件联言推理联言推理2 2、类型：简单式与复杂式结论是简单、类型：简单式与复杂式结论是简单命题还是复合命题分；构成式与破坏式命题还是复合命题分；构成式与破坏式肯定前件式还是否认后件式肯定前件式还是否认后件式3 3、简单构成式、复杂构成式、简单破坏、简单构成式、复杂构成式、简单破坏式、复杂破坏式的规那么：充分条件假言式、复杂破坏式

9、的规那么：充分条件假言推理的规那么推理的规那么综合推理的规那么：1、任一命题均可作任一推理的前提；2、前面推理的结论均可作后面推理的前提综合推理演绎推理5归纳推理归纳推理1、类型：穷举归纳推理、分类归纳推理定义和推理模式2、性质：前提与结论之间具有必然性完全归纳推理1 1、类型：简单枚举归纳推理没遇到反例、类型：简单枚举归纳推理没遇到反例、科学归纳推理科学归纳推理2 2、性质：前提与结论之间具有或然性、性质：前提与结论之间具有或然性3 3、探求因果联系的逻辑方法：定义、推理模式、探求因果联系的逻辑方法：定义、推理模式、特点、本卷须知特点、本卷须知1 1契合法：异中求同契合法：异中求同2 2差异

10、法：同中求异差异法：同中求异3 3并用法：既求同又辨异并用法：既求同又辨异4 4共变法：同中求变共变法：同中求变5 5剩余法：剩因求余果或剩果求余因剩余法：剩因求余果或剩果求余因不完全归纳推理归纳推理类比推理类比推理类比推理1、类比推理的定义、公式、逻辑要求2、类比推理的类型：1刑事侦查中的类比推理定义和适用范围：类比并案推理、侦查实验类比推理、比对推理2司法工作中的类比推理类比法律推理定义和适用范围：类推适用、判例类推四、论证四、论证11、论证的定义：用为真的命题2、论证的组成：论题、论据、论证方式推理方式；论证方法3、论证的根本形式：证明确定论题为真和反驳确定论题为假；区分证明与反驳：看表

11、达论题的句子是肯定还是否认4、论证和推理的关系区别和联系论证概述1、根据证明的推理形式不同：演绎、归纳、类比证明2、根据论证的方法：直接证明与间接证明1反证法假言证法的步骤：运用排中律，充分条件假言推理的否认后件式2淘汰法排除法、选言证法的步骤：选言推理的否认肯定式证明的方法1、直接反驳法：论题、论据、论证方式均可被直接反驳2、间接反驳法：1反驳过程：反驳：p。设：非p。论证：非p真。所以，p假2归谬法步骤：被反驳论题：A。假定A真。由A真引出推断：如果A，那么B。非B。所以，非A。充分条件假言推理的否认后件式3、为什么说驳倒了论据和论证方式不等于驳倒了论题四、论证四、论证2反驳的方法论证的规

12、那么1、论题：必须明确 论题不明；必须保持同一 偷换论题或混淆论题 2、论据：必须真实 虚假理由或预期理由；论据的真实性不能依靠论题来证明 窃取论题或循环论证 3、论证方式：论证必须遵守各种推理形式的逻辑规那么 推不出：论据与论题不相干；论据缺乏；以人为据；诉诸无知；以相对为绝对 四、论证四、论证31、同一律1内容：在同一思维过程中，任一思想与其自身同一 2公式：A就是A；A=A。A表示任一思想3要求：概念同一：偷换概念或混淆概念；命题同一：偷换论题或转移论题4作用保证思维具有确定性 范围：同一思维过程 同一对象、同一时间、同一关系 2、矛盾律1内容：在同一思维过程中，互相排斥的两种思想不能同

13、真2公式表示：不能A并且非A；AA3要求自相矛盾 ：在同一思维过程中，不能同时用两个互相矛盾或互相反对的概念指称同一个对象；也不能同时肯定两个互相矛盾或互相反对的命题都是真的。4作用保证思维具有无矛盾性、首尾一贯性 ：揭示对方的逻辑矛盾来驳倒谬误；间接反驳的逻辑根底逻辑思维规律1四、论证四、论证43、排中律1内容：在同一思维过程中，两个互相矛盾的思想不能同假，必有一真。2公式：或者A或者非A；A A。3要求模棱两可：概念：任一对象，或者用A或者用非A这一概念去反映它；命题：在同一思维过程中，对具有矛盾关系的命题不应该都否认，而必须肯定其中一个是真的 4作用保证思维的明确性 ：可断定同一思维过程两个互相矛盾的思想必有一真；是间接证明的逻辑根据 4、充足理由律1内容：在论断过程中，任何一个论断被确定为真的，必须具有充足理由。2公式：A真，因为B真并且B能推出A。B(BA)A3要求虚假理由或推不出 ：理由必须真实；理由与推断之间要有必然的联系