Within Formal Logic
Why Shared Traits Do Not Prove Identity
Two things can share a broad category without being identical, equivalent, or logically connected in the claimed way.
On this page
- How the middle term fails to cover the whole class
- Cats, dogs, mammals, and policy comparisons
- Questions that test category based arguments
Page outline Jump by section
Introduction
The fallacy of the undistributed middle is a structural error in categorical reasoning. It occurs when two groups are linked to the same broader category and a conclusion incorrectly treats that shared category as proof that the groups are identical, equivalent, or directly connected. In everyday language, the mistake sounds convincing because the groups genuinely have something in common. The problem is that sharing a category does not establish the stronger relationship claimed in the conclusion. Logicians classify this as a formal fallacy because the error lies in the argument’s structure, not in the truth or falsity of its premises. [stanford]plato.stanford.eduEncyclopedia of Philosophy FallaciesThe semi-logical…Read more… Encyclopedia of Philosophy
A common pattern is: “All A are C. All B are C. Therefore, all A are B.” The conclusion does not follow. The category C may be broad enough to contain many distinct groups. The shared label creates an appearance of connection without logically proving one. [Logically Fallacious]logicallyfallacious.comLogically FallaciousFallacy of (the) Undistributed MiddleA formal fallacy in a categorical syllogism where the middle term, or the term t…
Why Shared Traits Do Not Prove Identity
The central mechanism is simple: two things can belong to the same class without being the same thing.
Consider the argument:
[* All cats are mammals.]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more… [* All dogs are mammals.]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more… * Therefore, all cats are dogs. [study.com]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more…
The premises are true, but the conclusion is false. The term “mammals” functions as the middle term connecting the premises. Yet neither premise tells us anything about all mammals. We learn only that cats are inside the mammal category and dogs are inside the mammal category. Nothing establishes that the cat group and the dog group overlap. [study.com]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more…
This is why a shared characteristic is weaker than an identity claim. Two cities can be in the same country without being the same city. Two professions can require university education without being the same profession. Two political proposals can seek economic growth without being equivalent policies.
The fallacy often succeeds rhetorically because people naturally notice similarities before they examine whether those similarities are sufficient to support the conclusion.
How the Middle Term Fails to Cover the Whole Class
To understand the mechanism, it helps to know what logicians mean by a distributed term.
A term is distributed when a statement refers to every member of the class named by that term. If a term is undistributed, the statement applies only to some portion of the class or does not make claims about the entire category. Encyclopedia Britannica [Merriam-Webster]merriam-webster.comng information about every member of the class named.Read more…
In a valid categorical syllogism, the middle term must be distributed in at least one premise. Otherwise, the middle term fails to guarantee a connection between the other two terms. [philosophy.lander.edu]philosophy.lander.eduSyllogistic Fallacies: Fallacy of the Undistributed Middle TermThe Fallacy of the Undistributed Middle Term occurs when the middle term i…
For example:
- All surgeons are professionals.
- All architects are professionals.
- Therefore, all surgeons are architects.
The category “professionals” is too broad. The premises do not discuss all professionals; they merely place surgeons and architects within that larger class. Because the middle term never covers the whole category in a way that connects the two groups, the conclusion lacks support. [philosophy.lander.edu]philosophy.lander.edunature fallNature of Fallacies∴ Rousseau is not an educational authority. This translation results in the fallacy of the undistributed middle. Moreo…
Logic textbooks often describe the undistributed middle as a failure of linkage. The middle term is supposed to connect the major and minor terms. When it is undistributed in both premises, that bridge never forms. [philosophy.lander.edu]philosophy.lander.eduSyllogistic Fallacies: Fallacy of the Undistributed Middle TermThe Fallacy of the Undistributed Middle Term occurs when the middle term i…
Cats, Dogs, Mammals, and Policy Comparisons
The cats-and-dogs example is memorable because the error is obvious once stated plainly. Yet the same structure appears in more sophisticated arguments.
Biological Categories
A classic form is:
- All whales are mammals.
- All horses are mammals.
- Therefore, all whales are horses.
The conclusion is absurd, but the structure mirrors many less obvious arguments. The broad category “mammals” does not create identity between every subgroup within it. [ThoughtCo]thoughtco.comThought Co The Logic Fallacy of the Undistributed MiddleThoughtCoThe Logic Fallacy of the Undistributed MiddleMay 11, 2025 — The undistributed middle is a logical fallacy of deduction in which…
Social and Political Reasoning
Shared-category mistakes become harder to spot when the categories are abstract.
For example:
- Policy A increases government spending.
- Policy B increases government spending.
- Therefore, Policy A and Policy B are essentially the same policy.
The conclusion does not follow. Many different policies may involve government spending while pursuing different goals, affecting different populations, and producing different outcomes.
Similarly:
- Country X and Country Y are democracies.
- Therefore, they have the same political system.
The shared category “democracy” may conceal major differences in institutions, electoral rules, constitutional arrangements, and political culture.
In these cases, the fallacy relies on a broad label that hides important distinctions between members of the category.
Advertising and Public Debate
Arguments in public discourse sometimes imply that because two products, organisations, or proposals belong to the same class, they should be treated as equivalent.
The hidden assumption is often:
- X belongs to category C.
- Y belongs to category C.
- Therefore, X and Y share all the important qualities of C.
That assumption is rarely justified. Categories usually contain variation, and the existence of variation is exactly why the inference fails.
Why the Error Feels Persuasive
The undistributed middle exploits a common mental shortcut. Human beings routinely classify objects into groups because categories help organise information.
Most of the time this is useful. If something is classified as a mammal, a reader can infer many biological characteristics. Problems arise when a shared classification is treated as proof of a stronger relationship.
Several factors increase the persuasiveness of the error:
- Broad categories feel meaningful. Words such as “expert”, “scientist”, “democracy”, or “professional” carry strong associations.
- Similarity is mistaken for equivalence. People often slide from “shares one feature” to “is essentially the same”.
- Missing information goes unnoticed. The argument does not explicitly show that the groups overlap, yet the shared category encourages readers to assume they do.
Because the premises are often true, attention shifts away from the structure and towards the familiar category itself.
Questions That Test Category-Based Arguments
A practical way to detect a shared-category mistake is to ask a few targeted questions.
Does the Shared Category Contain Many Different Members?
If the answer is yes, caution is warranted.
“Animal”, “professional”, “democracy”, “religion”, and “technology company” are all broad categories containing substantial internal diversity.
Does the Conclusion Claim More Than the Premises Establish?
Ask whether the conclusion moves from:
- sharing a trait,
- to being identical,
- equivalent,
- interchangeable,
- or directly related.
That leap is often where the fallacy appears.
Could Both Premises Be True While the Conclusion Is False?
This is a powerful logical test.
For example:
[* All cats are mammals.]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more… [* All dogs are mammals.]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more…
Both premises are true. Yet “all cats are dogs” is clearly false. Because the premises can be true while the conclusion is false, the argument is invalid. [study.com]study.comcategorical logic definition importance examplesAll dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term…Read more…
Is the Middle Term Broad Enough to Include Unrelated Groups?
If the connecting category is extremely broad, it may be functioning merely as a label rather than as evidence of a genuine connection.
The Core Lesson
The undistributed middle demonstrates that a common category does not automatically create a logical bridge between the things placed inside it. Categories can reveal genuine similarities, but they do not by themselves establish identity, equivalence, or the specific relationship claimed in a conclusion. When an argument depends on the idea that two groups must be connected because they share a label, the crucial question is whether the shared category actually links them—or merely gives the illusion of doing so. [Logically Fallacious]logicallyfallacious.comLogically FallaciousFallacy of (the) Undistributed MiddleA formal fallacy in a categorical syllogism where the middle term, or the term t…
Amazon book picks
Further Reading
Books and field guides related to Why Shared Traits Do Not Prove Identity. Use these as the next step if you want deeper reading beyond the article.
A Rulebook for Arguments
Directly teaches valid argument structures and common reasoning errors.
A Concise Introduction to Logic
Covers categorical syllogisms and formal fallacies including structural errors.
Attacking Faulty Reasoning
Explains why shared traits do not establish identity or equivalence.
eBay marketplace picks
Marketplace Samples
Example marketplace items related to this page. Use the search link to explore similar finds on eBay.
Endnotes
-
Source: plato.stanford.edu
Title: Encyclopedia of Philosophy Fallacies
Link: https://plato.stanford.edu/entries/fallacies/Source snippet
The semi-logical...Read more...
-
Source: philosophy.lander.edu
Link: https://philosophy.lander.edu/logic/middle_fall.htmlSource snippet
Syllogistic Fallacies: Fallacy of the Undistributed Middle TermThe Fallacy of the Undistributed Middle Term occurs when the middle term i...
-
Source: study.com
Title: categorical logic definition importance examples
Link: https://study.com/academy/lesson/categorical-logic-definition-importance-examples.htmlSource snippet
All dogs are mammals. Therefore, all cats are dogs. This syllogism commits the fallacy of the undistributed middle term...Read more...
-
Source: britannica.com
Title: distribution logic
Link: https://www.britannica.com/topic/distribution-logicSource snippet
Encyclopedia BritannicaDistribution | Formal Systems, Deductive Reasoning...6 Feb 2026 — Distribution, in syllogistics, the application...
-
Source: merriam-webster.com
Link: https://www.merriam-webster.com/dictionary/undistributedSource snippet
ng information about every member of the class named.Read more...
-
Source: thoughtco.com
Title: Thought Co The Logic Fallacy of the Undistributed Middle
Link: https://www.thoughtco.com/undistributed-middle-fallacy-1692453Source snippet
ThoughtCoThe Logic Fallacy of the Undistributed MiddleMay 11, 2025 — The undistributed middle is a logical fallacy of deduction in which...
Published: May 11, 2025
-
Source: web.stanford.edu
Link: https://web.stanford.edu/~jonahw/PWR1/LogicalFallacies.htmSource snippet
Logical FallaciesFallacy of Four Terms: a syllogism has four terms · Undistributed Middle: two separate categories are said to be connect...
-
Source: stanford.edu
Link: https://www.stanford.edu/Source snippet
Stanford UniversityExplore the possibilities of a Stanford education as you map out your college journey. We look for distinctive student...
-
Source: plato.stanford.edu
Title: medieval syllogism
Link: https://plato.stanford.edu/entries/medieval-syllogism/Source snippet
Theories of the Syllogismby H Lagerlund · 2004 · Cited by 62 — In the first figure, IA, OA, and OI have an undistributed middle...
-
Source: plato.stanford.edu
Link: https://plato.stanford.edu/entries/logic-manyvalued/Source snippet
stanford.eduMany-Valued Logic - Stanford Encyclopedia of Philosophyby J Marcos · 2026 · Cited by 1 — They are proper sublogics: there are...
-
Source: plato.stanford.edu
Title: aristotle noncontradiction
Link: https://plato.stanford.edu/entries/aristotle-noncontradiction/Source snippet
on Non-contradictionby P Gottlieb · 2007 · Cited by 162 — According to Aristotle, the principle of non-contradiction is a principle of sc...
-
Source: news.stanford.edu
Title: how to concentrate focus expert tips advice
Link: https://news.stanford.edu/stories/2026/05/how-to-concentrate-focus-expert-tips-adviceSource snippet
to concentrate in an ever-distracted world...
-
Source: plato.stanford.edu
Link: https://plato.stanford.edu/archives/fall2015/entries/fallacies/notes.htmlSource snippet
See Corcoran (1974), Smith (1997), and Irwin and Fine (1996). 4. Whately (1875) has...Read more...
-
Source: philosophy.institute
Title: common fallacies categorical syllogisms
Link: https://philosophy.institute/logic/common-fallacies-categorical-syllogisms/Source snippet
Common Fallacies in Categorical Syllogisms29 Dec 2025 — This post walks through the most common fallacies in categorical syllogisms – und...
-
Source: philosophy.lander.edu
Title: nature fall
Link: https://philosophy.lander.edu/logic/nature_fall.htmlSource snippet
Nature of Fallacies∴ Rousseau is not an educational authority. This translation results in the fallacy of the undistributed middle. Moreo...
-
Source: logicallyfallacious.com
Link: https://www.logicallyfallacious.com/logicalfallacies/Fallacy-of-the-Undistributed-MiddleSource snippet
Logically FallaciousFallacy of (the) Undistributed MiddleA formal fallacy in a categorical syllogism where the middle term, or the term t...
-
Source: Wikipedia
Link: https://en.wikipedia.org/wiki/SyllogismSource snippet
SyllogismA syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two proposition...
-
Source: suchanek.co
Link: https://suchanek.co/p/the-fallacy-of-the-undistributedSource snippet
The Fallacy of the Undistributed Middle - Tim SuchanekOct 11, 2023 — It occurs when the middle term in a categorical syllogism isn't dist...
-
Source: Wikipedia
Title: Fallacy of the undistributed middle
Link: https://en.wikipedia.org/wiki/Fallacy_of_the_undistributed_middleSource snippet
Fallacy of the undistributed middle... middle term in a categorical syllogism is not distributed in either the minor premise or the ma...
-
Source: sciencedaily.com
Link: https://www.sciencedaily.com/releases/2026/05/260528074028.htm -
Source: fiveable.me
Title: Fallacy of the Undistributed Middle
Link: https://fiveable.me/formal-logic-i/key-terms/fallacy-of-the-undistributed-middleSource snippet
The fallacy of the undistributed middle occurs when a syllogism contains a middle term that is not distributed in at least one of the pre...
Additional References
-
Source: iep.utm.edu
Link: https://iep.utm.edu/fallacy/Source snippet
Internet Encyclopedia of PhilosophyFallaciesUndistributed Middle. In syllogistic logic, failing to distribute the middle term over at lea...
-
Source: naturalistphilosophy.wordpress.com
Link: https://naturalistphilosophy.wordpress.com/tag/logic/Source snippet
| The Philosophy CornerLogically, if we take Modus Ponens to be a substitute for a hypothetical syllogism, then undistributed middle is a...
-
Source: amateurlogician.com
Link: https://amateurlogician.com/fallacies-introduction/ -
Source: philosophy.stackexchange.com
Title: what is the difference between law of excluded middle and principle of bivalence
Link: https://philosophy.stackexchange.com/questions/3268/what-is-the-difference-between-law-of-excluded-middle-and-principle-of-bivalenceSource snippet
is the difference between Law of Excluded Middle...Jul 10, 2012 — Law of Excluded Middle: In logic, the law of excluded middle (or the p...
-
Source: scribd.com
Link: https://www.scribd.com/doc/212807754/Rules-and-Fallacies-for-Categorical-SyllogismsSource snippet
The middle term must be distributed at least once to connect the major and minor...Read more...
-
Source: bookdown.org
Link: https://bookdown.org/rlridenour/ct-text/categorical-logic.htmlSource snippet
Here is an example: All Dogs are mammals. All mammals are animals. All dogs are...Read more...
-
Source: testbook.com
Link: https://testbook.com/question-answer/the-fallacy-committed-in-the-argumentall-t–62fca9668d063ca9a0c95253Source snippet
r and major premises to avoid the formal fallacy known as the undistributed middle.Read more...
-
Source: faculty.fiu.edu
Title: Categorical Syllogisms, Venn Diagrams and Rules for Testing
Link: https://faculty.fiu.edu/~harrisk/Notes/Critical%20Thinking/Categorical%20Syllogisms%2C%20Venn%20Diagrams%20and%20Rules%20for%20Testing.htmSource snippet
Syllogism, Venn Diagrams and Rules...A Categorical Syllogism is a two premised deductive argument whose every claim is a categorical cla...
-
Source: testbook.com
Link: https://testbook.com/question-answer/name-the-fallacy-committed-in-the-statements-below–621f738d013951392a537a8fSource snippet
in standard form syllogisms whenever the term appearing in both premises is...Read more...
-
Source: scribd.com
Link: https://www.scribd.com/document/442356012/Rule-and-Fallacies-of-catogerical-preposition-docSource snippet
Fallacy: Undistributed middle. Example: All sharks are fish. All...Read more...
Topic Tree