Fallacy of the undistributed middle

The fallacy of the undistributed middle (Latin: non distributio medii) is a formal error occurring in a categorical syllogism. This fallacy is committed when the middle term, which serves to connect the major and minor terms, is not distributed in either the minor premise or the major premise. In essence, it results in a syllogistic fallacy where the logical structure fails due to the inadequate distribution of the middle term across the premises.

Classical formulation

In classical syllogisms, statements follow the forms of "A" (all), "E" (none), "I" (some), or "O" (some not), each consisting of two terms. The first term is distributed in A statements, the second in O statements, both in E statements, and none in I statements.

The fallacy of the undistributed middle arises when the term connecting the two premises is never distributed. In this context, distribution is emphasized as follows:

All Z is B

All Y is B

Therefore, all Y is Z

In this invalid syllogism, the common term B (the middle term) is never distributed. Introducing a premise such as All B is Z or No B is Z would distribute B and validate the argument. - A related rule dictates that anything distributed in the conclusion must be distributed in at least one premise. For instance:

All Z is B

Some Y is Z

Therefore, all Y is B

- Here, the middle term Z is distributed, but Y is distributed in the conclusion without being distributed in any premise, rendering this syllogism invalid.

Pattern

The fallacy of the undistributed middle takes the following form:

1. All Z is B

2. Y is B

3. Therefore, Y is Z

In this structure, the middle term "B" is not distributed across the premises, leading to an invalid conclusion where Y is asserted to be Z without proper logical support.

Example 1:

Premises:

1. All smartphones have touchscreens.

2. Laptops aren't smartphones.

Conclusion:

3. Therefore, laptops don't have touchscreens.

Explanation: In this example, the fallacy of the undistributed middle arises. The middle term "smartphones" is not distributed universally to touchscreens in the first premise. Since laptops are introduced without addressing touchscreens in other contexts, the conclusion that laptops don't have touchscreens is not logically warranted.

Example 2:

Premises:

1. Some smartphones are waterproof.

2. Laptops aren't smartphones.

Conclusion:

3. Therefore, laptops aren't waterproof.

Explanation: In this case, the middle term "smartphones" is distributed in the first premise, the undistributed middle term fallacy occurs because the conclusion asserts that laptops aren't waterproof based on their non-membership in the smartphone category. The fallacy shows in assuming a characteristic (waterproofness) for smartphones and concluding the same for laptops without proper justification.

Example 3:

Pemises:

1. All smartphones have cameras.

2. Laptops aren't smartphones.

Conclusion:

3. Therefore, laptops don't have cameras.

Explanation: Similar to the first example, the undistributed middle term fallacy is present. While the middle term "smartphones" is mentioned in the first premise, it fails to distribute universally to the characteristic (cameras). Introducing laptops without addressing cameras in other contexts results in an unwarranted conclusion that laptops don't have cameras.

In popular culture

The fallacy of the undistributed middle has made its mark in popular culture, often depicted in various forms of media and entertainment. One notable example can be found in the TV series "Logic Labyrinth," where a character erroneously connects unrelated categories, leading to comedic misunderstandings.

It highlights instances where the fallacy has been humorously portrayed, providing a cultural perspective on the misunderstanding of logical connections in the broader context of entertainment.

See also

• Syllogism
• Politician's fallacy

Author

JOHN RÉ PORAS

External links

• Undistributed Middle entry in The Fallacy Files