四、论证2
• 1、直接反驳法：论题、论据、论证方式均可被直接反驳 • 2、间接反驳法： • （1）反驳过程：反驳：p。设：非p。论证：非p真。所 以，p假 • （2）归谬法步骤：被反驳论题：A。假定A真。由A真引 出推断：如果A，那么B。非B。所以，非A。（充分条件 假言推理的否定后件式） • 3、为什么说驳倒了论据和论证方式不等于驳倒了论题 • 1、论题：必须明确 （论题不明 ）；必须保持同一 （偷换论题或混淆论题 ） • 2、论据：必须真实 （虚假理由或预期理由）；论据的 真实性不能依靠论题来证明 （窃取论题或循环论证 ） • 3、论证方式 ：论证必须遵守各种推理形式的逻辑规则 （推不出：论据与论题不相干；论据不足；以人为据； 诉诸无知；以相对为绝对 ）
（5）剩余法：剩因求余果或剩果求余因
类比推理
1、类比推理的定义、公式、逻辑要求
2、类比推理的类型： 类 比 推 理 （1）刑事侦查中的类比推理（定义和适 用范围）： 类比并案推理、侦查实验类比推理、 比对推理 （2）司法工作中的类比推理（类比法律 推理）（定义和适用范围）： 类推适用、判例类推
四、论证1
综 合 推 理
综合推理的规则：
1、任一已知命题均可作任一推理的前提；
2、前面推理的结论均可作后面推理的前提
归纳推理
完全归 纳推理 归 纳 推 理
不 完 全 归 纳 推 理
1、类型：穷举归纳推理、分类归纳推理 （定义和推理模式）
2、性质：前提与结论之间具有必然性 1、类型：简单枚举归纳推理（没遇到反例）、 科学归纳推理 2、性质：前提与结论之间具有或然性 3、探求因果联系的逻辑方法：定义、推理模式、 特点、注意事项 （1）契合法：异中求同 （2）差异法：同中求异 （3）并用法：既求同又辨异 （4）共变法：同中求变
1、定义（断定有前件必有后件）、公式（p→q) 2、连接词：如果…那么、只要…就、若…就 3、真假值：为假的惟一条件是前件真而后件假； 为真的条件是前件假或后件真。 4、性质：前件真而后件真，后件假则前件必假 5、注意事项（反驳时证明前件真而后件假）
1、定义（断定无前件必无后件）、公式（p←q) 2、连接词：只有…才、必须…才、才 3、真假值：为假的惟一条件是前件假而后件真； 为真的条件是前件真或后件假。 4、性质：前件假则后件假，后件真则前件必真 5、注意事项（反驳时证明前件假而后件真）
法律逻辑学复习提纲
概 念
命 题 逻 辑 推 理
性质命题 复合命题
规范命题
演绎推理
归纳推理 类比推理
论 证
证明与反驳 逻辑思维规律
概念的定义、特征、法律概念的特点（规定性与客观性 的统一）
概念的内涵 认识性内涵与规定性内涵
概念外延的定义、特点
一、 概 念 概念的分类 准确运用概念 的逻辑基础 概念间的关系 揭示内涵 明确概念的逻 辑方法 定义 列举 单独与普遍；集合与 非集合；简单与复合 全同；真包含于； 真包含；交叉；全 异（矛盾、反对） 方法；概括与限 制；定义规则
演绎推理5
复 合 命 题 推 理 的 综 合 运 用
二 难 推 理
1、定义：充分条件选言推理、充分条件 联言推理
2、类型：简单式与复杂式（结论是简单 命题还是复合命题分）；构成式与破坏式 （肯定前件式还是否定后件式） 3、简单构成式、复杂构成式、简单破坏 式、复杂破坏式的规则：充分条件假言推 理的规则
演绎推理2
联 言 推 理
1、联言推理的定义：前提或结论中有一联言命题 2、联言命题的种类： 分解式：( p ∧ q ) →p或( p ∧ q ) →q
复 合 命 题 推 理
组合式：p，q → ( p ∧ q )
3、规则：联言命题真，则其各支命题必真；反之 亦然
选言推理 假言推理
演绎推理3
1、选言推理的定义：以选言命题作大前提，部分选言支 作小前提，推出结论
三、推理
1、推理的定义 2、推理的组成要素：前提、结论、推到关系
推 理 概 述
3、推理形式：推理的结构形式 4、推理的分类：必然性与或然性（前提对结论的支持程度） 演绎、归纳与类比推理（推导进程思维方向的不同）
5、演绎推理、归纳推理与类比推理的区别和联系
6、推理的有效性、合理性和结论的真实性之间的关系 1、三段论（性质命题推理、直言推理） 2、复合命题推理：联言推理、选言推理、假言推理 3、复合命题的综合运用：二难推理、综合推理
演 绎 推 理
演绎推理1
1、三段论的定义、 2、三段论的特征： 三 段 论 三个性质命题：大前提、小前提、结论 三个不同的词项：大项、小项、中项
3、三段论的规则：前三个关于词项、后四个关于命题类型
4、三段论的格：第一二三四格 5、三段论的式：三个性质命题的类型 6、三段论的省略式的还原步骤：确定省略前提还是结论→ 省结论，根据大小项的位置和规则写出结论→省前提，根据 结论的主谓项和规则还原前提
逻 辑 思 维 规 律 1
• • •
四、论证4 • 3、排中律 • （1）内容：在同一思维过程中，两个互相矛盾的思想不 能同假，必有一真。 • （2）公式：或者A或者非A ；A∨～ A。 • （3）要求（模棱两可） ：概念：任一对象，或者用A或 者用非A这一概念去反映它； • 命题：在同一思维过程中，对具有矛盾关系的命题不应 该都否定，而必须肯定其中一个是真的 • （4）作用（保证思维的明确性 ） ：可断定同一思维过程 两个互相矛盾的思想必有一真；是间接证明的逻辑根据 • 4、充足理由律 • （1）内容：在论断过程中，任何一个论断被确定为真的， 必须具有充足理由 。 （2）公式：A真，因为B真并且B能推出A 。 B∧(B→A)→A • （3）要求（虚假理由或推不出 ） ：理由必须真实 ；理 由与推断之间要有必然的联系
2、性质命题词项（主谓项）的周延性：
全称主项否定谓项都周延、特称主项肯 定谓项都不周延 3、性质命题之间的真假关系（反对、下反对、 差等、矛盾）：逻辑方阵； 注意单称命题之间的对当关系 4、揭示性质命题隐含命题的方法： 换质、换位、换质位
性 质 命 题
二、命题2
联 言 命 题
复 合 命 题
1、定义（断定同时存在）、公式（p∧q) 2、连接词：不但而且、既又、虽然但是、并且3、 真假值：一假则假 4、永假式： p∧～q 5、注意事项（反驳时证明任一支命题假）
揭示外延
划分 划分规则
二、命题 1、命题的概念、
特征（总是有所断定、有真假值）
命 题 的 一 般 特 征
2、描述命题、评价命题的定义 3、命题形式（逻辑结构形式）、
逻辑性质（真假值）
4、命题的分类： 性质命题、复合命题、规范命题
二、命题1 1、性质命题的定义、组成部分（四个）、 基本类型（A、E、I、O）
• 1、论证的定义：用已知为真的命题 • 2、论证的组成：论题、论据、论证方式（推理方式； 论证方法） • 3、论证的基本形式：证明（确定论题为真）和反驳 （确定论题为假）； • 区分证明与反驳：看表达论题的句子是肯定还是否定 • 4、论证和推理的关系（区别和联系）
论 证 概 述
证 明 的 方 法
1、根据证明的推理形式不同：演绎、归纳、类比证明 2、根据论证的方法：直接证明与间接证明 （1）反证法（假言证法）的步骤：运用排中律，充分条 件假言推理的否定后件式 （2）淘汰法（排除法、选言证法）的步骤：选言推理的 否定肯定式
假 言 推 理
5、回溯推理：肯定后件为大前提，充分条件假言命 题为小前提，结论肯定前件，即肯定后件式
1、定义：以必要条件假言命题作大前提进行的推理 2、有效式：否定前件式:[（p ←q ) ∧ ～p] → ～q
肯定后件式：[（p ←q ) ∧ q ] → p
3、无效式：肯定前件式、否定后件式 规则：无前件必无后件，有后件必有前件
2、类型及其规则： 选 言 推 理
Байду номын сангаас
（1）相容选言推理的有效式：
否定肯定式[(p∨q)∧～p] →q 规则：前提肯定部分支命题，结论不能必然否定剩下 的支命题 （2）不相容选言推理的有效式：否定肯定式、 肯定否定式[( p ∨ q ) ∧ p] →～ q 3、注意事项：运用肯定否定式时要考虑选言支之间是否 相容；运用否定肯定式时要考虑选言支是否穷尽
选 言 命 题
假言命题
1、定义（断定至少一种存在）、公式（p∨q) 2、连接词：或者、要么、可能也可能 3、类型：相容、不相容 4、真假值（相容：所有支命题假才假；不相 容：有且只有一个真时真） 5、永真式： p ∨ ～q 6、注意事项（反驳时证明任一支命题假）
二、命题3
假 言 命 题
假充 言分 命条 题件
假必 言要 命条 题件
二、命题4
负 命 题
1、定义（否定命题的命题）、公式（ ～p） 2、负命题与其支命题的关系：矛盾关系 3、性质命题、复合命题的负命题及其等值式 4、复合命题形式的转换 5、多重复合命题 1、模态命题的定义
规 范 命 题 1
2、真值模态命题的类型：必然命题（□p、 □～p）、 或然命题（◇p、 ◇ ～p） 3、真值模态命题的逻辑对当关系 4、真值模态命题的负命题：表现为对原命题中模态词 的否定
二、命题5
1、规范命题的分类：
规 范 命 题 2 允许型（授权型）规范命题（PA、P～A）、‘ 必须型（义务型）规范命题（OA、O～A) 禁止型（义务型）规范命题（FA、F～ A） 2、规范命题相互间的逻辑对当关系：反对、 下反对、差等、矛盾 3、刑法规范命题的结构形式：必须A，禁止非 A;如果非A，那么S
演绎推理4
1、定义：以充分条件假言命题作大前提进行的推理
充 分 条 件 假 言 推 理 必 要 条 件 假 言 推 理 2、有效式：肯定前件式：[（p → q ) ∧ p] → q 否定后件式：[（p → q ) ∧ ～q] → ～p 3、无效式：否定前件式、肯定后件式 4、规则：有前件必有后件；无后件必无前件