Deductive reasoning is only as sound as the structure that holds it together. In a categorical syllogism – a three-part argument consisting of two premises and a conclusion – even a subtle structural error can completely invalidate the reasoning, no matter how true the premises seem. These structural errors are called formal fallacies, and in categorical logic, they arise specifically from violations of the rules governing how terms must be distributed across the argument. Understanding these fallacies is not just an academic exercise; it sharpens your ability to spot flawed reasoning in textbooks, debates, courtrooms, and everyday conversation. This post walks through the most common fallacies in categorical syllogisms – undistributed middle, illicit major, illicit minor, exclusive premises, and the fallacy of negative conclusion – with clear examples for each.
Table of Contents
What does “distribution” mean in logic?
Before diving into the fallacies, it’s important to understand distribution. A term is said to be distributed in a statement when that statement makes a claim about every member of the class the term refers to. As explained in the Pursuing Truth: A Guide to Critical Thinking, a statement distributes a term when what it says about that class is true of every subset of the class. Here is a quick reference:
- A-statements (“All S are P”): distribute the subject only.
- E-statements (“No S are P”): distribute both subject and predicate.
- I-statements (“Some S are P”): distribute neither term.
- O-statements (“Some S are not P”): distribute the predicate only.
This matters because, as noted by Philosophy Pages, violating any of the six rules for categorical syllogisms constitutes a formal fallacy – an error in reasoning that results from an invalid logical form, regardless of whether the content seems reasonable.
With that foundation in place, let’s look at the individual fallacies.
Fallacy of the undistributed middle
This is among the most frequently committed errors in syllogistic reasoning. Philosophy Pages explains that the middle term – the term appearing in both premises but not in the conclusion – must be distributed in at least one of the premises. Its function is to serve as a logical bridge connecting the major and minor terms. If it is never distributed, that bridge is broken.
As the Open Logic Text explains it: if the middle term is never distributed, the major and minor terms might each be related to entirely different parts of the middle class, with no established connection between them.
A classic example:
All sharks are fish.
All salmon are fish.
Therefore, all salmon are sharks.
The middle term here is “fish.” In both premises, “fish” appears as the predicate of an A-statement – which means it is not distributed in either. As Logical Fallacies.org notes, “fish” simply doesn’t connect sharks and salmon in any meaningful logical way. Both are subsets of fish, but that tells us nothing about the relationship between them. The conclusion fails entirely.
Another version:
All birds have feathers.
All bats have wings.
Therefore, all bats are birds.
The middle term here would need to connect bats and birds, but neither premise does this – there is no shared, fully distributed middle term at all. The fallacy is the same.
Fallacy of illicit major
The illicit major fallacy occurs when the major term (the predicate of the conclusion) is distributed in the conclusion but was not distributed in the major premise. According to Logical Fallacies.org, this means the conclusion is making a claim about every member of a class that the premises only spoke about partially.
Consider this example:
All cats are mammals.
All cats are animals.
Therefore, all animals are mammals.
The major term is “mammals.” In the major premise (“All cats are mammals”), “mammals” is the predicate of an A-statement – so it is not distributed there. But in the conclusion (“all animals are mammals”), “mammals” becomes the predicate of an A-statement again – still not distributed. Wait – the issue here is actually with “animals.” Let’s use a cleaner textbook example:
No philosophers are elephants.
All elephants are mammals.
Therefore, no philosophers are mammals.
Here, “mammals” is the major term. In the major premise (“No philosophers are elephants”), “mammals” does not even appear – it only surfaces in the minor premise as a predicate of an A-statement, where it is not distributed. Yet in the conclusion, it appears as the predicate of an E-statement (“no philosophers are mammals”) – where it is distributed. The conclusion claims something about all mammals, but the premises only ever touched on part of the mammal class. This overreach renders the argument invalid.
As the Open Logic Text frames it: if the conclusion makes a claim about all members of a class, but the premises only make a claim about some members of that class, the conclusion clearly says more than what the premises can justify.
Fallacy of illicit minor
Symmetrically, the illicit minor fallacy occurs when the minor term (the subject of the conclusion) is distributed in the conclusion but was not distributed in the minor premise. Again, the conclusion is overreaching beyond what the premises established.
A textbook example:
All roses are flowers.
Some plants are roses.
Therefore, all plants are flowers.
The minor term is “plants.” In the minor premise (“Some plants are roses”), “plants” is the subject of an I-statement – so it is not distributed. But in the conclusion (“all plants are flowers”), “plants” is the subject of an A-statement – where it is distributed. The conclusion speaks about every single plant, but the minor premise only referred to some plants. The leap is unjustified.
The Oxford Logic Learning Guide summarizes both illicit process fallacies neatly: if a term is distributed in the conclusion, it must also be distributed in its corresponding premise. Failing this with the major term gives you illicit major; failing it with the minor term gives you illicit minor.
Fallacy of exclusive premises
This fallacy arises when both premises are negative. According to Philosophy Pages, the entire purpose of the middle term is to tie the major and minor terms together. But negative propositions state that the classes of their terms are excluded from one another. When both premises are negative, the middle term is excluded from both the major and minor terms – meaning there is simply no basis to draw any conclusion about their relationship.
Example:
No dogs are cats.
No cats are birds.
Therefore, no dogs are birds.
Even if the conclusion happens to be true in reality, it does not follow from these premises logically. The two negative premises don’t provide enough information to establish any relationship between dogs and birds. As Logical Fallacies.org points out, from two negative premises, no valid conclusion follows – affirmative or negative.
Fallacy of drawing an affirmative conclusion from a negative premise
A related but distinct error occurs when a syllogism contains at least one negative premise yet arrives at a positive (affirmative) conclusion. The rule, as stated in the Oxford Logic Learning Guide, is clear: a negative premise must have a negative conclusion. Violating this rule is called the fallacy of affirmative conclusion from a negative premise.
Example:
No cats are dogs.
All mammals are animals.
Therefore, all cats are animals.
The first premise excludes cats from dogs (a negative claim), yet the conclusion affirms that all cats are animals. Since one premise is negative, the conclusion – if one can be drawn at all – must also be negative. Drawing an affirmative conclusion here goes beyond what the premises allow.
Why these fallacies matter in practice
These are not abstract technicalities confined to logic classrooms. Every day, people construct arguments that commit these exact errors – in political speeches, legal briefs, scientific claims, and casual conversation. A politician might argue: “All extremists oppose this policy. Many citizens oppose this policy. Therefore, many citizens are extremists.” That is a textbook undistributed middle – “oppose this policy” connects the two groups only superficially, not logically.
Recognizing these fallacies gives you the tools to ask the right question: does the conclusion actually follow from the premises, or is it sneaking in information the premises never established? As Pursuing Truth emphasizes, a deductive argument may not contain more information in the conclusion than is contained in the premises. The moment it does, validity breaks down.
The 1000-Word Philosophy anthology on classical syllogisms also reminds us that of the 256 possible forms of a categorical syllogism, only a small subset – roughly 15 to 24 depending on interpretation – are actually valid. The fallacies covered here account for the majority of the invalid ones. Knowing them is, in effect, knowing where most logical errors hide.
A quick checklist for spotting fallacies
When evaluating any categorical syllogism, run through these checks in order. First, identify the three terms: major, minor, and middle. Second, check whether the middle term is distributed in at least one premise – if not, you have an undistributed middle. Third, check every term distributed in the conclusion and confirm it was also distributed in its corresponding premise – if the major term wasn’t, it’s illicit major; if the minor term wasn’t, it’s illicit minor. Fourth, count the negative premises – if there are two, the argument commits the fallacy of exclusive premises. Finally, if there is any negative premise but the conclusion is affirmative, the argument commits the affirmative conclusion fallacy.
This systematic approach, endorsed by standard logic curricula from Oxford’s logic resources to LibreTexts Philosophy, transforms validity checking from guesswork into a reliable, repeatable process.
What do you think? If an argument’s conclusion happens to be factually true in the real world, does that mean the syllogism producing it is acceptable – even if it commits one of these fallacies? And can you think of a real-world argument you’ve recently encountered that might be committing the fallacy of the undistributed middle?
References
- https://bookdown.org/rlridenour/ct-text/categorical-logic.html
- https://www.philosophypages.com/lg/e08b.htm
- https://alg.manifoldapp.org/read/the-logic-book-clayton/section/5fc9008d-d5fa-4db9-9423-3eb68032353a
- https://www.logicalfallacies.org/syllogistic-fallacies.html
- https://learninglink.oup.com/access/content/baronett5e-student-resources/baronett5e-chapter-6-guide
- https://1000wordphilosophy.com/2022/08/28/classical-syllogisms/
- https://human.libretexts.org/Bookshelves/Philosophy/Logic_and_Reasoning/Fundamental_Methods_of_Logic_(Knachel)/03:_Deductive_Logic_I_-_Aristotelian_Logic/3.06:_Categorical_Syllogisms
Leave a Reply