Illicit Minor: When a Syllogism Overstretches Its Subject

"All scientists are intelligent. All scientists are human. Therefore all humans are intelligent." The premises are arguably both true. The structure looks syllogistic. Yet the conclusion — that every human being is intelligent — is a dramatic overreach that most people would reject on reflection. The argument isn't just empirically dubious; it's formally invalid. The minor term has been distributed in the conclusion without the support needed from the premises. This is the illicit minor — the quieter, less famous sibling of the illicit major.

The Structure of a Syllogism — Revisited

Every categorical syllogism has three terms:

• The major term (P): predicate of the conclusion
• The minor term (S): subject of the conclusion
• The middle term (M): appears in both premises, absent from the conclusion

A term is distributed when a proposition makes a statement about every member of the class it names. The formal rule: a term distributed in the conclusion must be distributed in at least one premise. Illicit minor violates this rule specifically for the minor term — the subject of the conclusion.

The Opening Example, Step by Step

P1: All scientists are intelligent. (M → P)
P2: All scientists are human. (M → S)
C: Therefore, all humans are intelligent. (S → P)

Identify the terms:

• Major term (P): "intelligent" — predicate of conclusion
• Minor term (S): "humans" — subject of conclusion
• Middle term (M): "scientists" — in both premises, absent from conclusion

Check distribution in premises:

• P1, "All scientists are intelligent": "scientists" is distributed (all of them); "intelligent" is not.
• P2, "All scientists are human": "scientists" is distributed (all of them); "humans" is not distributed — we're only told that all scientists fall within the class of humans, not that all humans are accounted for.

Check distribution in conclusion:

• C, "All humans are intelligent": "humans" is distributed — the conclusion makes a claim about all humans. "Intelligent" is undistributed.

The violation: "Humans" (the minor term) is distributed in the conclusion — the argument claims to cover all humans — but "humans" was not distributed in the minor premise (P2). P2 only told us about scientists within the class of humans, a subset. The conclusion claims authority over the entire class. This is the illicit minor error.

Why the Reasoning Fails

The intuition behind the rule is simple: you can only make a universal claim about a class if your premises gave you access to the whole class. In P2, "all scientists are human" covers scientists — a subset of humans. It tells you nothing about the non-scientist humans: artists, labourers, children, or anyone else who doesn't fall within the middle term. The argument uses scientists as a bridge to reach humans, but that bridge only crosses partway.

The formal structure here — where both premises affirm membership of one class within another — is sometimes called a "two-A premise" syllogism of this type. Logicians codified centuries ago which combinations of A (all), E (no), I (some), and O (some...not) premises produce valid conclusions. The A-A form that generates this example was recognised as invalid when paired with a universal affirmative conclusion: AAA-2 is not a valid syllogistic form.

Further Examples in Context

Social Reasoning

All great leaders are decisive.
All great leaders are charismatic.
Therefore all charismatic people are decisive.

The minor premise tells us that all great leaders are charismatic — but says nothing about the full class of charismatic people. Many charismatic individuals may not be decisive at all. The argument has distributed "charismatic people" in the conclusion without having earned that distribution in the premises.

Moral Philosophy

All saints are virtuous.
All saints are religious.
Therefore all religious people are virtuous.

Again: the premise "all saints are religious" puts saints inside the class of religious people, but makes no claim about the rest of the class. The conclusion then claims knowledge of that entire class. The conclusion does not follow from the premises, regardless of one's views on virtue and religion.

Health and Nutrition

All Olympic athletes exercise regularly.
All Olympic athletes are healthy.
Therefore all healthy people exercise regularly.

The same pattern. Olympic athletes are a subset of healthy people. Their properties don't automatically transfer to the whole class of healthy people, which may include individuals who are healthy for entirely different reasons.

Comparing Illicit Minor and Illicit Major

Both illicit minor and illicit major are violations of the same distribution rule — the rule requiring that conclusions only distribute what the premises warrant. The difference is which term overreaches:

Both fallacies produce valid-sounding arguments that lead to overreaching conclusions. Illicit major tends to produce exclusive conclusions ("no X are Y") that are obviously counterintuitive; illicit minor tends to produce universal affirmatives ("all X are Y") that may sound plausible.

The Difference from Hasty Generalisation

It's worth distinguishing illicit minor from the hasty generalisation. Both produce over-broad conclusions. But:

• Hasty generalisation is an inductive fallacy: you observed a small sample and generalised prematurely to a wider population. The error is in the evidence base.
• Illicit minor is a formal deductive fallacy: the premises — regardless of their truth — don't logically entail the conclusion because of a structural distribution error. The error is in the inferential machinery, not the data.

A hasty generalisation might be salvaged with more data. An illicit minor can't be salvaged by adding evidence — the problem is the logical form itself.

Detection Method

When you encounter an argument in syllogistic form, a quick check for illicit minor:

1. Identify the minor term — the subject of the conclusion.
2. Ask: is this term distributed in the conclusion? (I.e., does the conclusion claim something about all members of that class?)
3. If yes: was the minor term distributed in the minor premise? (I.e., did the premise speak about all members of that class?)
4. If no — the minor term was not distributed in the premise but is in the conclusion — you have an illicit minor.

Connection to the Broader Syllogistic Family

Illicit minor and illicit major, together with the fallacy of four terms, constitute the core trio of formal syllogistic errors. They are "formal" in the strict sense: they can be committed using true premises and still produce invalid arguments, because the flaw is structural rather than factual. This is why formal logic was developed in the first place — to provide tools for evaluating argument structure independently of the content.

Aristotle's Prior Analytics laid the groundwork for identifying which syllogistic forms are valid (the 24 classical valid moods across four figures) and which are not. Illicit minor corresponds to invalid forms that were identified and excluded from the valid list, even though their premise combinations can seem superficially reasonable.

Summary

Sources & Further Reading

• Aristotle. Prior Analytics. Trans. Robin Smith. Hackett, 1989.
• Copi, Irving M. and Carl Cohen. Introduction to Logic. 14th ed. Pearson, 2011.
• Hurley, Patrick J. A Concise Introduction to Logic. 13th ed. Cengage, 2018.
• Hamblin, C. L. Fallacies. Methuen, 1970.
• Stanford Encyclopedia of Philosophy: Aristotle's Logic
• Wikipedia: Illicit minor