Fallacy of the undistributed middle

From Wikipedia, the free encyclopedia

The fallacy of the undistributed middle is a logical fallacy that is committed when the middle term in a categorical syllogism isn't distributed. It is thus a syllogistic fallacy.

[edit] Pattern

The fallacy of the undistributed middle takes the following form:

1. All Zs are Bs
2. Y is a B
3. Therefore, Y is a Z

This can be graphically represented as:

It may or may not be the case that "all Zs are Bs," but in either case it is irrelevant to the conclusion. What is relevant to the conclusion is whether it is true that "all Bs are Zs," which is ignored in the argument. The fallacy is similar to affirming the consequent and denying the antecedent in that if the terms were swapped around in either the conclusion or the first co-premise, then it would no longer be a fallacy.

[edit] Examples

For example:

All students carry backpacks. My grandfather carries a backpack. Therefore, my grandfather is a student.

All students carry backpacks. My grandfather carries a backpack. Everyone who carries a backpack is a student Therefore, my grandfather is a student.

The middle term is the one that appears in both premises - in this case, it is the class of backpack carriers. It is undistributed because neither of its uses applies to all backpack carriers. Therefore it can't be used to connect students and my grandfather - both of them could be separate and unconnected divisions of the class of backpack carriers. Note below how "carries a backpack" is truly undistributed:

grandfather is someone who carries a backpack; student is someone who carries a backpack

Specifically, the structure of this example results in affirming the consequent.

However, if the latter two statements were switched, the syllogism would be valid:

1. All students carry backpacks.
2. My grandfather is a student.
3. Therefore, my grandfather carries a backpack.

In this case, the middle term is the class of students, and the first use clearly refers to 'all students'. It is therefore distributed across the whole of its class, and so can be used to connect the other two terms (backpack carriers, and my grandfather). Again, note below that "student" is distributed:

grandfather is a student and thus carries a backpack

Note that a fallacy of the undistributed middle is rarely so obvious. Other examples of its use could be in the arguments,

"Eric Harris and Dylan Klebold, two young men who loved the violent video game DOOM, went on a sociopathic shooting rampage at their school. John Doe is also a noted fan of violent video games, and has even argued that developers should not tone down the graphic content in their mass-market games. It is therefore highly recommended that John Doe be monitored for signs of sociopathy".

or "Most heroin addicts first smoked marijuana, therefore smoking marijuana will likely lead to the use of heroin". (Gateway drug theory)

[edit] See also

• Syllogism

Formal fallacies v • d • e
Argument from fallacy | Fallacy of modal logic | Masked man fallacy | Appeal to probability
Fallacy of propositional logic:
	Affirming a disjunct | Affirming the consequent | Commutation of Conditionals Denying a conjunct | Denying the antecedent | Improper Transition
Fallacy of quantificational logic:
	Existential fallacy | Illicit Conversion | Quantifier shift | Unwarranted contrast
Syllogistic fallacy:
	Affirmative conclusion from a negative premise | Negative conclusion from an affirmative premise Exclusive premisses | Necessity | Four-term Fallacy | Illicit major | Illicit minor | Undistributed middle
Other types of fallacy