Affirmative conclusion from a negative premise

From RationalWiki
Jump to navigation Jump to search
Cogito ergo sum
Logic and rhetoric
Icon logic.svg
Key articles
General logic
Bad logic

An affirmative conclusion from a negative premise (also illicit negative) occurs when a categorical syllogism has a positive conclusion, but one or two negative premises.

It is a syllogistical fallacy and a formal fallacy.


An affirmative conclusion from a negative premise can take three forms:

First form: (single "not", second premise)

P1: Some A are B.
P2: Some B are not C.
C: Some A are C.

Second form: (single "not", first premise)

P1: Some A are not B.
P2: Some B are C.
C: Some A are C.

Third form (called "exclusive premises"): (double "not")

P1: Some A are not B.
P2: Some B are not C.
C: Some A are C.

Legitimate use[edit]

It is acceptable to have an affirmative premise and a negative premise as long as the conclusion is negative. The only problem is when the conclusion is positive. Two examples make this clear:

Negative conclusion:[1]

P1: All farmers produce excess food.
P2: All city dwellers do not produce excess food.
C: All city dwellers are not farmers.

Positive conclusion:[1]

P1: Some city dwellers are not hungry.
P2: Some hungry people are farmers.
C: Some city dwellers are farmers.


The fallacy is invalid because any valid categorical syllogism with one (or more) negative premise(s) must have a negative conclusion.


P1: No cats are marsupials.
P2: Some mammals are not cats.
C: Some mammals are marsupials.[2]

P1: No people under the age of 66 are senior citizens.
P2: No senior citizens are children.
C: All people under the age of 66 are children.[3]

P1: All birds are reptiles.
P2: Humans aren't birds.
C: Therefore, humans are reptiles.
The exclusion of 'humans' from the 'birds' category gives no reason to include humans in the 'reptile' category. It is easily proven false by finding an example that disproves the conclusion, but doesn't invalidate the premises, such as finding a human that isn't a reptile.

P1: Atheists are not good.
P2: Christians are not atheists.
C: Thus, Christians are good.[4]

P1: Evolution is not true.
P2: Intelligent design is not evolution.
C: Therefore, intelligent design is true.[4]

P1: No fish are dogs.
P2: No dogs can fly.
C: Therefore, all fish can fly.[5][6]

P1: We don't read that trash.
P2: People who read that trash don't appreciate real literature.
C: Therefore, we appreciate real literature.[5][6]

P1: All mice are animals.
P2: Some animals are not dangerous.
C: Therefore, some mice are dangerous.[7]

P1: No honest people steal.
P2: All honest people pay taxes.
C: Ergo, some people who steal pay taxes.[7]

See also[edit]

External links[edit]