Illicit major


Illicit major is a formal fallacy committed in a categorical syllogism that is invalid because its major term is undistributed in the major premise but distributed in the conclusion.
This fallacy has the following argument form:
  1. All A are B
  2. No C are A
  3. Therefore, no C are B
Example:
  1. All dogs are mammals
  2. No cats are dogs
  3. Therefore, no cats are mammals
In this argument, the major term is "mammals". This is distributed in the conclusion because we are making a claim about a property of all mammals: that they are not cats. However, it is not distributed in the major premise where we are only talking about a property of some mammals: Only some mammals are dogs.
The error is in assuming that the converse of the first statement is also true.
However, an argument in the following form differs from the above, and is valid :
  1. All A are B
  2. No B are C
  3. Therefore, no C are A