第七章 评估推理关系（一）

第七章 评估推理关系（一）

推理

• 推理的类型

  传统上, 推理有两大类：演绎和归纳

• 判断推理的类型

  从认识的角度，按前提和结论所涉及的范围来定
  用确定性划分

• 归纳

  归纳概括:由一个个的例子来推导出普遍的结论。

• 演绎

  从一般向个别的推理。

三段论：大前提，小前提和结论:
两个前提中包含的共同的词项，称为中项，一般用M表示。结论中的主词，称为小项，一般用S表示。结论中的谓词，称为大项，一般用P表示。包含小项的前提称为小前提；包含大项的词称为大前提。

直言三段论（直言推理）

直言三段论是以含有一个共同项的两个直言陈述为前提，推出一个直言陈述作结论的推理。
所有的M都是P > S是M > 所以，Ｓ是Ｐ

评估直言三段论

• 寻找反例（能否找出一个前提为真，结论为假的例子？）

• 根据直言三段论规则，检查推理形式是否有效。

  直言三段论规则

  • 周延规则
    
    1. 中项至少在一个前提中是周延的。
    2. 在前提中不周延的词项在结论中也不得周延。
  • 否定规则
    
    1. 两个否定的前提得不出必然的结论。
    2. 前提有一个是特称的，结论也一定是特称的。
  • 特称规则
    
    1. 两个特称的前提得不出必然的结论。
    2. 前提有一个是特称的，结论也一定是特称的。

假言三段论

前提中包含假言陈述的推理称之为假言三段论（假言推理）。
充分条件假言推理：如果…… ，那么……；
必要条件假言推理：只有……，才……。

评估假言三段论

• 评估充分条件假言推理

  必须由肯定前件而肯定后件；不能由肯定后件而肯定前件。
  必须由否定后件而否定前件，不能由否定前件而否定后件。

• 评估必要条件假言推理

  必须由肯定后件而肯定前件。
  必须由否定前件而否定后件。

归谬法与反证法

• 归谬法

  运用充分条件假言推理的否定式，来证明一个陈述为假的方法。

• 论证过程

  【被反驳的命题】A
  【反驳】

  1. 假设A为真
  2. 构造假言推理：如果A，那么B
  3. 证明：非B
  4. 所以，非A

• 反证法

  通过证明与原始陈述相矛盾的陈述为假，来确定原始陈述为真的论证方法。

• 论证过程

  【求证】A
  【证明】

  1. 设非A真
  2. 如果非A ,则B
  3. 非B
  4. 所以，并非（非A）
  5. 所以A

选言推理

前提中包含选言陈述的推理称为选言推理。

• 相容选言推理

  由一部分选言支的假，能推出另一部分选言支为真。（不能由一部分选言支为真，得出另一部分选言支为假）

• 不相容选言推理

  由一部分选言支的真，能推出另一部分选言支为假。（但是不能有一部分选言支为假，得出另一部分选言支为真）

  检查选言论证

  考查选言陈述是否遗漏了其他可供选择的可能。
  考查选言陈述是否属于强加非此即彼的选择。
  对不同的选择是否都做了仔细的考察。

• 复杂选言推理：二难推理

  大前提为充分条件假言推理，小前提为选言推理

  • 简单构成式
  • 如果P，则R；如果Q，则R > P或者Q > 所以，R
  • 简单破坏式
    如果P，则Q；如果P，则R > 非Q或者非R > 所以，非P
  • 复杂构成式
    如果P，则R；如果Q，则S > P或者Q > 所以，R或S
  • 复杂破坏式
    如果P，则R；如果Q，则S > 非R或者非S > 所以，非P或非Q