Illicit Major: The Syllogistic Slip That Makes "No Dogs Are Animals" Sound Logical

"All cats are animals. No dogs are cats. Therefore no dogs are animals." If you read that quickly, it almost sounds like it could be correct. The premises are both true. The argument has the outer structure of a syllogism. But the conclusion is obviously false — dogs are manifestly animals. Something has gone wrong inside the logic itself, not in the content. That something is the illicit major — a formal fallacy that corrupts the deductive machinery of a syllogism without announcing itself.

What Makes a Syllogism Valid?

To understand illicit major, you need a grip on how syllogistic logic works. A categorical syllogism has three terms:

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

The major term appears in the major premise (the first premise) along with the middle term. In the classic example: "All cats are animals" — "cats" is the middle term, "animals" is the major term.

Now, a term is said to be distributed in a premise when that premise makes a claim about all members of the class the term refers to. The rule relevant here: if a term is distributed in the conclusion, it must be distributed in at least one premise. When the major term is distributed in the conclusion but not in any premise, we have an illicit major.

The Classic Example in Slow Motion

Let's walk through the fallacious argument:

P1: All cats are animals.
P2: No dogs are cats.
C: Therefore, no dogs are animals.

Identify the terms:

• Major term (P): "animals" — predicate of the conclusion
• Minor term (S): "dogs" — subject of the conclusion
• Middle term (M): "cats" — appears in both premises, absent from conclusion

Check distribution in the premises:

• P1, "All cats are animals": "cats" is distributed (all of them), "animals" is not distributed — the premise says nothing about all animals, only about where cats fit within animals.
• P2, "No dogs are cats": both "dogs" and "cats" are distributed — this premise excludes the entire class of dogs from the entire class of cats.

Check distribution in the conclusion:

• C, "No dogs are animals": both "dogs" and "animals" are distributed — the conclusion makes a claim about all dogs and all animals.

Spot the violation: "Animals" is distributed in the conclusion but was not distributed in the major premise (P1). The conclusion is claiming something about all animals, but the premises only licensed a claim about some animals (the ones that are cats). The major term has been illicitly extended — hence illicit major.

Why Does This Matter?

The deceptive power of this fallacy lies in its structural plausibility. Both premises are true. The argument has the surface grammar of a valid syllogism. A reader following along quickly may register "this follows logically" without pausing to verify whether the scope of each term is consistent throughout.

The error is in the distribution rules — the formal constraints that govern which syllogisms genuinely entail their conclusions. These rules were codified by Aristotle in the Prior Analytics and refined by medieval logicians into a systematic catalogue of valid and invalid syllogistic forms. Illicit major violates rule 5 of the traditional distribution rules: a term may not be distributed in the conclusion if it was not distributed in the premise.

More Examples

Political Argument

All extremists support this policy.
Moderates are not extremists.
Therefore moderates do not support this policy.

The major term "supporters of this policy" is distributed in the conclusion ("moderates do not support this policy" — meaning none of them do, so all supporters are excluded), but in the major premise it was only distributed partially: the claim is that all extremists support it, not that all supporters are extremists. There may be many non-extremist supporters. The conclusion dramatically overreaches.

Everyday Reasoning

All professional chefs use salt liberally.
Home cooks are not professional chefs.
Therefore home cooks don't use salt liberally.

Again: the major premise tells us about chefs, not about everyone who uses salt. Many home cooks also use salt liberally. The conclusion claims something about all people who use salt liberally (distributing "use salt liberally"), but the premise only earned us the right to say something about chefs within that group.

Distinguishing Illicit Major from Similar Fallacies

Illicit major is one of several formal syllogistic fallacies involving distribution errors. Its sibling, illicit minor, involves the same violation but applied to the minor term: the subject of the conclusion is distributed there but was not distributed in the minor premise. Together they cover the two possible term-distribution errors in the conclusion.

A third related error is the fallacy of four terms, in which the argument is invalid not because of distribution errors but because a word is used in two different senses, creating a hidden fourth term and disrupting the middle-term connection.

Illicit major is also sometimes confused with the hasty generalisation, which involves jumping to a broad conclusion from too few cases. The difference: hasty generalisation is an inductive fallacy about the evidence base; illicit major is a formal deductive error about how distributed the terms in a syllogism are. They can produce similar-sounding conclusions, but the logical mechanism is different.

The Intuition Behind the Rule

It helps to think about what the distribution rule is protecting against. When we say "All cats are animals," we are making a claim about the membership of cats within the class of animals. The claim is entirely silent on what other things might or might not be in that class. It tells us nothing about whether dogs, rocks, or ideas are animals. So when a conclusion claims to know something about all animals (distributing "animals"), that knowledge can't have come from the cat premise — the cat premise was only about cats.

You can only export from a premise what was actually there. If the premise didn't speak to all members of a class, the conclusion can't claim to know about all members of that class. Illicit major is precisely the error of pretending that it can.

Historical Context

Medieval logicians, building on Aristotle, developed a mnemonic system for remembering which syllogistic forms were valid. The valid forms were given names like Barbara, Celarent, Darii, and Ferio, with the vowels encoding the type of proposition (A = all, E = no, I = some, O = some...not). This system made it possible to quickly identify valid from invalid forms without working through the distribution rules each time.

The form that produces illicit major is sometimes called Illicit Process of the Major Term in older texts, distinguishing it precisely from the minor version. Both violate what textbooks call "distribution rule" or "rule 5" in the list of syllogistic validity conditions.

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.
• Internet Encyclopedia of Philosophy: Propositional Logic — Syllogistic Forms
• Wikipedia: Illicit major