F177 • Formal - Propositional Logic
Also known as: Fallacious Disjunctive Syllogism, False Exclusion, Affirming One Disjunct
Logical "or" means at least one, not exactly one; both can coexist.
When we hear "A or B," we tend to hear "A or B, but not both" -- as though the options are competing and one must lose. That exclusivity feels natural because many of our everyday choices really are either-or. But in logic, "or" usually means "at least one, possibly both," and when we import the exclusivity that is not there, we close doors that were never meant to be closed.
Loading examples...
Pattern: P or Q; observe P; conclude not Q
Terms:
P = first option in the disjunctionQ = second option in the disjunctionSteps:
P or Q is trueP is trueQ must be falseWe grow up making choices: chocolate or vanilla, left or right, yes or no. That training builds a strong instinct to treat options as mutually exclusive. When someone says "she is either smart or hardworking," the mental model that forms is often a toggle -- one or the other, not both. That instinct is useful in genuinely exclusive situations (the light is on or off), but it misleads us whenever both options can be true at the same time. The logical "or" is generous: "A or B" is satisfied by A alone, B alone, or both together. When we affirm one disjunct and conclude the other must be false, we are imposing a constraint the statement never carried. The error is subtle because it feels like we are being careful -- narrowing down possibilities -- when we are actually discarding one without cause.
| The reasoning becomes valid when: the disjunction is explicitly exclusive (either-but-not-both); the context makes clear that both options cannot hold simultaneously; the disjuncts are logically incompatible by their nature; or when using 'exclusive or' (XOR) in formal logic. |
| For example, 'The light is either on or off; it's on; therefore it's not off' is valid because on/off is genuinely exclusive. |
| The key is determining whether the disjunction is truly exclusive. |
| Notice when an "or" statement makes you feel like you have to choose sides. That competitive framing is often your own addition, not something the statement required. |
| Watch for moments when confirming one possibility makes you want to dismiss the other. Ask: could both be true at the same time? |
| Pay attention to binary thinking in situations that might not be binary. "Is it A or B?" is a different question from "Is it A or B or both?" and the difference matters more than it seems. |
| Listen for the word "just" sneaking in: "It is just talent" or "It is just luck." That "just" is the sound of an exclusive-or being imposed where an inclusive-or might belong. |
| Not recognizing when "or" genuinely is exclusive. Some disjunctions really are either-or ("the number is even or odd"), and in those cases, affirming one disjunct does validly rule out the other. The mistake is in assuming exclusivity by default. |
| Confusing this with the false dilemma fallacy. A false dilemma presents only two options when more exist. Affirming a disjunct accepts the options as given but incorrectly treats them as mutually exclusive. |
| Ignoring pragmatic context. In everyday conversation, "Would you like coffee or tea?" usually does imply an exclusive choice. The logical fallacy is not about conversational implicature -- it is about cases where both options genuinely could be true and one is dismissed without reason. |
| Affirming a Disjunct |
|---|
| Asserting that because one option in an 'or' statement is true, the other option(s) must be false, when the disjunction is not exclusive. The fallacy treats an inclusive 'or' (one or both) as if it were an exclusive 'or' (one but not both). |
| In standard logic, 'or' is typically inclusive, meaning 'A or B' allows for three possibilities: A alone, B alone, or both A and B together. This fallacy incorrectly assumes that if A is true, B must be false. The form 'P or Q; P; therefore not Q' is invalid because the truth of P doesn't exclude Q unless the disjunction is explicitly exclusive. The error lies in importing an exclusivity assumption that isn't warranted by the logical structure. While exclusive 'or' exists (either-or), inclusive 'or' is more common in everyday language and standard logic, and the fallacy consists of treating one as the other. |
Hover to see definition, click to view full details