形式逻辑错误:未分布中间项

未分布中间项(Undistributed Middle):由于中间项至少没有分布在一个前提中,所以绝对式三段论无效。

例子:

  1. 所有鸟类都有羽毛。
  2. 所有爬行动物都有鳞片。
  3. 因此,所有爬行动物都是鸟类。

逻辑形式:

  1. 所有 A 都是 C。
  2. 所有 B 都是 C。
  3. 因此,所有 A 都是 B。

示例#1:

  1. 所有狮子都是动物。
  2. 所有的猫都是动物。
  3. 因此,所有狮子都是猫。

结论是有道理的,因为我们人类往往从内容上判断,出于懒惰,我们接受了这个论证,但是这个论证是无效的。

示例#2:

  1. 所有的鬼魂都是虚构的。
  2. 所有的独角兽都是虚构的。
  3. 所以,一切鬼都是独角兽。
虽然可能有鬼魂是独角兽,但这并不从前提得出:关于鬼魂和独角兽,前提告诉我们的唯一信息是它们都是虚构的——我们不知道它们之间的关系。