Logical Fallacy of the Week, Week 14: Illicit Major

... 

Illicit major  is a logical 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 (the last statement) 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 (the first statement) 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 (that all mammals are dogs) 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

###