A propositional fallacy is a formal error in logic that occurs when drawing conclusions from compound propositions (statements connected by logical operators like 'and', 'or', 'if...then'). These fallacies violate the rules of propositional logic regardless of the content of the statements.
Common propositional fallacies:
- Affirming a disjunct: A or B; A; therefore not B
- Affirming the consequent: If A, then B; B, therefore A
- Denying the antecedent: If A, then B; not A, therefore not B
Example of Propositional Fallacies
- William Shatner is Captain Kirk or he is in Miss Congeniality. William Shatner is in Miss Congeniality. Therefore he is not Captain Kirk. This commits the fallacy of affirming a disjunct - both can be true in an inclusive 'or' statement.
- If it's raining, then the streets are wet. The streets are wet. Therefore, it's raining. This commits the fallacy of affirming the consequent - wet streets could have other causes like a sprinkler.
NotePropositional fallacies are a category of formal fallacies that violate the rules of propositional logic.
In more detail
Propositional fallacies are formal errors in reasoning that occur when conclusions are incorrectly drawn from compound propositions. Unlike informal fallacies which depend on content and context, propositional fallacies are structural errors that violate the rules of propositional logic.
Key Propositional Fallacies
The three main propositional fallacies are:
- Affirming the Consequent: This fallacy occurs when someone reasons backwards from a consequence to its supposed cause. Form: "If A, then B. B is true. Therefore, A must be true." Example: "If it rains, the ground will be wet. The ground is wet, therefore it rained." (The ground could be wet for other reasons.)
- Denying the Antecedent: This fallacy occurs when someone assumes that denying the condition means denying the result. Form: "If A, then B. A is not true. Therefore, B is not true." Example: "If you study hard, you'll pass the test. You didn't study hard, therefore you won't pass." (You might pass for other reasons.)
- Affirming a Disjunct: This fallacy occurs with "or" statements, assuming that if one option is true, the other must be false. Form: "A or B. A is true. Therefore, B is false." Example: "The light is on or the door is open. The light is on, therefore the door is not open." (Both could be true.)
These fallacies are called "formal" because the error lies in the logical form itself, not in the truth or falsity of the individual statements. Understanding propositional fallacies helps us evaluate arguments based on their logical structure and avoid common reasoning errors in both formal proofs and everyday arguments.
