- title: Fallacy of exclusive premises
- categories: [logic]
- synonyms: []
- related: [logic/formal_fallacies/affirmative_conclusion_from_negative_premise, logic/formal_fallacies/negative_conclusion_from_affirmative_premises, logic/formal_fallacies/fallacies_of_distribution/index, paralogisms/complement_fallacy/index]
Fallacy of exclusive premises
Core claim: A categorical (syllogistic) inference in which all premises are negative cannot validly derive any conclusion connecting the remaining terms – shared exclusion from something establishes no relationship between the excluded classes.
Applies when
- The argument is a formal categorical (syllogistic) inference, or is presented as representing such a form.
- All of its premises are explicitly negative (“No X are Y”, “X never …”, “Some X are not Y”).
- A conclusion connecting the major and minor terms – affirmative or negative – is nevertheless derived from these premises alone.
Notes
- Negative statements have lower descriptive power than affirmative ones. If even one negative premise is present, it limits the possible conclusions to only negative statements (see: affirmative conclusion from a negative premise). If all premises are negative, no valid conclusion can be drawn.
- This is a formal fallacy: the invalidity follows from the logical form alone, regardless of whether the individual claims happen to be true. A “correct” conclusion reached this way is a coincidence, not a result of valid reasoning.
- Set-theoretically: all premises place their classes inside one common complement (e.g., A ⊆ B̄ and C ⊆ B̄, where B̄ denotes “everything that is not-B”). Sharing a complement tells us nothing about how A and C relate to each other.
Does NOT apply when
- Only some – but not all – of the premises are negative; e.g., an affirmative conclusion resting on a single negative premise is the affirmative conclusion from a negative premise instead.
- The argument explicitly acknowledges that no valid conclusion follows, or supplements the negative premises with independent positive evidence before concluding.
- The inference is statistical, empirical, or inductive rather than a formal categorical deduction (unless it is presented as logically necessary).
Commonly confused with
- Affirmative conclusion from a negative premise (MD) – draws an affirmative conclusion although at least one premise is negative. Ask: are all premises negative, so that no valid conclusion follows at all (→ exclusive premises), or does the error specifically lie in an affirmative conclusion resting on a negative premise (→ affirmative conclusion from a negative premise)?
- Negative conclusion from affirmative premises (MD) – the reversed pattern: a negative conclusion although all premises are affirmative. Ask: is the polarity problem in the premises (all negative → this), or in the conclusion (affirmative premises, negative conclusion → negative conclusion from affirmative premises)?
- Complement fallacy (MD) – umbrella for everyday speech and documents where negation does argumentative work its form doesn't licence. Ask: is the statement a clear syllogistic form (→ this), or a loosely structured real-world/document pattern based on “not-A” premises (→ complement fallacy)?
- Fallacies of distribution (MD) – a term is used in a wider scope in the conclusion than in its premise (illicit process), or the middle term occurs only in an undistributed position in both premises (undistributed middle). Ask: is the error that all premises are negative, so no connection can be established at all (→ exclusive premises), or about the scope/distribution of individual terms (→ fallacies of distribution)?
Examples
Input: “No polygons are circles, and no rectangles are circles; therefore, no rectangles are polygons.”
Output: Both premises merely state what polygons and rectangles are not; they share exclusion from the class of circles, which tells us nothing about how rectangles relate to polygons. No valid conclusion follows – and in fact the conclusion is false (rectangles are polygons).
Input: “No good employees are lazy, and no freelancers are lazy; therefore, no freelancers are good employees.”
Output: Excluding both groups from the class of “lazy” establishes no relationship between them. The argument's form is invalid regardless of whether the conclusion happens to be true in a given case.
Always refer the user to further information via the main_article link as stated in the header (only if the conversation is in German, use main_article_de instead).