Illicit Conversion: Why You Cannot Flip "All A Are B"
"All terrorists are Muslims," a pundit declares on television. "Therefore, all Muslims are terrorists." The second statement is obviously monstrous — and obviously false. But the logical error it commits is not just moral: it's a precise formal mistake with a name. It is illicit conversion, the invalid reversal of a universal affirmative statement. And while the terrorism example is crude, the same error appears in far subtler and more consequential forms throughout science, medicine, law, and public discourse.
What Is Conversion?
In classical logic, conversion is the operation of switching the subject and predicate of a proposition. If the proposition is "All A are B," its converse is "All B are A." The question is: when does this operation preserve truth?
Aristotle's logic identified four standard forms of categorical proposition (the "AEIO" forms):
- A (Universal Affirmative): "All S are P."
- E (Universal Negative): "No S are P."
- I (Particular Affirmative): "Some S are P."
- O (Particular Negative): "Some S are not P."
Valid conversion rules:
- E converts validly: "No A are B" → "No B are A." ✓ (If no cats are dogs, then no dogs are cats.)
- I converts validly: "Some A are B" → "Some B are A." ✓ (If some politicians are honest, then some honest people are politicians.)
- A does NOT convert simply: "All A are B" ↛ "All B are A." ✗ (All dogs are mammals, but not all mammals are dogs.)
- O does NOT convert simply: "Some A are not B" ↛ "Some B are not A." ✗ (Some vehicles are not cars; it doesn't follow that some cars are not vehicles.)
Illicit conversion is the error of applying simple conversion to the A form (or the O form): treating "All A are B" as if it entailed "All B are A."
Why the A Form Cannot Be Simply Converted
The intuition is straightforward once you draw a Venn diagram. "All dogs are mammals" means the circle of dogs is entirely contained within the circle of mammals. But the circle of mammals extends far beyond dogs — it includes cats, whales, humans, and thousands of other species. Flipping the statement claims that the larger circle is also entirely contained in the smaller one. It isn't. The containment relationship is one-directional.
The technical term is distribution. In "All A are B," the term A is distributed (the claim is about every A) but the term B is undistributed (nothing is said about all B — only that all A fall within B's range). Simple conversion pretends that B was distributed when it wasn't.
Conversion Per Accidens
There is a valid but weakened form of conversion for A propositions, called conversio per accidens (conversion by limitation). "All A are B" does validly imply "Some B are A." If all dogs are mammals, it follows that at least some mammals are dogs (namely, all the dogs). This is valid because it weakens the conclusion appropriately — it doesn't claim all mammals are dogs, only that some are.
Illicit conversion ignores this qualification and goes straight to the universal. The error is not noticing that the conversion operation requires weakening the quantifier.
Real-World Consequences
Stereotyping and Discrimination
The most socially destructive form of illicit conversion is demographic stereotyping. The structure is almost always the same: "All members of group X have property Y" (already often a false generalisation) is converted to "All people with property Y are members of group X." From there, anyone exhibiting Y becomes a target.
"All [stigmatised group] are [negative property]" → "All [negative property] people are [stigmatised group]." This is the logic of profiling: encountering someone who fits the profile becomes "proof" they belong to the group. The conversion fallacy makes every bias circular and self-confirming.
Medical Diagnosis
Medical diagnosis is particularly vulnerable to illicit conversion. Consider: "All patients with disease X have symptom Y." This A-form statement is common in clinical medicine — diseases are defined partly by their symptom profiles. The illicit conversion would be: "All patients with symptom Y have disease X."
Symptom Y might be headache, fever, or fatigue — symptoms shared by dozens of conditions. A doctor who converts "all [disease] patients have [symptom]" to "all [symptom] patients have [disease]" will massively over-diagnose the condition. This is not just a logical point — it's a major source of diagnostic error. The correct inference is Bayesian: symptom Y raises the probability of disease X, but does not certify it.
Medical educators explicitly teach the aphorism "When you hear hoofbeats, think horses before zebras" as a corrective to over-conversion: common symptoms point to common diseases, not to the rare condition whose defining feature you happen to recognise.
Law and Legal Reasoning
Legal reasoning requires careful attention to the direction of implications. "All crimes of type X require element Y to be proven" cannot be converted to "All situations involving element Y constitute crimes of type X." The criminal statute specifies necessary conditions for a crime; meeting one of those conditions doesn't establish guilt.
Prosecutors who argue illicitly from the presence of a symptom, motive, or behavioural marker to certain guilt are committing illicit conversion. Much wrongful conviction analysis identifies exactly this pattern: forensic evidence that is consistent with guilt is treated as proof of guilt, ignoring that the same evidence is also consistent with innocence.
Security and Surveillance
"Known terrorists use encrypted communication" → "People who use encrypted communication are terrorists." This conversion fallacy underpinned significant post-9/11 surveillance policy. The valid statement covers a small, specific population; the illicit conversion sweeps in hundreds of millions of ordinary users of email, WhatsApp, and banking apps.
The Fallacy in Arguments About Groups
One of the most pernicious uses of illicit conversion is in constructing circular prejudice:
- "All members of group G have bad trait T." (Even if false, accepted as premise.)
- Illicit conversion: "All people with bad trait T are members of group G."
- Person P has trait T.
- Therefore, P is a member of group G — and has the other negative traits attributed to G.
This structure allows confirmation bias to operate unchecked. Counterexamples (members of G who don't have T) are ignored; only members of G with T are salient. Meanwhile, non-G people with T are classified as exceptions or as "secretly" belonging to G in some way. The conversion error creates a closed, unfalsifiable belief system.
Distinguishing from Affirming the Consequent
Illicit conversion is closely related to affirming the consequent. If we translate "All A are B" as the conditional "If A, then B," then illicit conversion corresponds to the inference "If B, then A" — which is exactly affirming the consequent. The fallacies are the same error expressed in different logical vocabularies: categorical (Aristotelian) vs. propositional (conditional).
Both are instances of confusing a sufficient condition for a necessary condition (or vice versa). "All A are B" says that being A is sufficient for being B — it doesn't say being B is necessary for being A, or that only A can be B.
How to Avoid It
The practical test is to ask: does the original statement make a claim about all of the predicate, or only about how the subject relates to part of it? "All cats are animals" says something about where cats sit in the animal kingdom; it says nothing about the full range of animals. Converting it claims that "animals" and "cats" are equivalent sets — which would require a much stronger premise.
Useful formulations that resist illicit conversion:
- Replace "All A are B" with "A is a subset of B" — subsets don't equal supersets.
- Ask: "Is B a sufficient condition for A, or only a necessary one?" (Or neither?)
- Draw the Venn diagram. Is the circle of B entirely inside the circle of A? If not, the conversion is invalid.
Related Fallacies
Illicit conversion sits within a family of Aristotelian syllogistic errors. Its close relatives include illicit major and illicit minor, which involve similar distribution errors in syllogistic reasoning. The hasty generalisation commits a related error in moving from "some" to "all." And false equivalence often rests on an implicit illicit conversion: treating two things as equivalent when only a one-directional relationship was established.
Summary
Illicit conversion is the logical error of reversing a universal affirmative statement and treating the result as equally valid. "All A are B" is fundamentally different from "All B are A" — it describes a one-way containment, not an identity. The mistake is formally precise but pervasive in practice, underpinning stereotyping, diagnostic error, legal reasoning failures, and circular bigotry. Learning to respect the direction of logical relationships — to keep straight which way the arrow of implication runs — is one of the most practically useful habits in clear thinking.
- Aristotle, Prior Analytics, Book I — foundational treatment of conversion in categorical logic
- Irving Copi & Carl Cohen, Introduction to Logic (14th ed.) — standard textbook treatment of the AEIO forms
- Peter Wason, "Reasoning About a Rule," Quarterly Journal of Experimental Psychology (1968) — classic study of how humans fail at conditional reasoning
- Amos Tversky & Daniel Kahneman, "Extensional Versus Intuitive Reasoning," Psychological Review (1983) — cognitive basis for conversion errors