形式逻辑错误:非法小项

非法小项(Illicit Minor):由于小项分布在结论中,而不在小前提中,所以绝对式三段论无效。
例子:所有的狗都有皮毛。有些哺乳动物有皮毛。因此,有些狗是哺乳动物。

非法小项是在直言三段论中犯下的形式谬误,该谬误是无效的,因为它的小项在小前提中没有分布,但在结论中分布。

逻辑形式:

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

例子:

  • 所有的猫都是猫科动物。
  • 所有猫都是哺乳动物。
  • 因此,所有哺乳动物都是猫科动物。

这里的小术语是“哺乳动物”,它没有分布在小前提“所有猫都是哺乳动物”中,因为这个前提只是定义了可能某些哺乳动物的属性(即它们是猫)。但是,在结论中“所有哺乳动物都是猫科动物”,哺乳动物是分布的(它说的是所有哺乳动物都是猫科动物)。任何非猫科动物的哺乳动物都证明它是错误的;例如,一只狗。

例子:

  • 馅饼很好吃。
  • 馅饼不健康。
  • 因此,所有美好的事物都是不健康的。