Formal fallacy
A flaw in logical structure making an argument invalid.
A formal fallacy is a pattern of reasoning that contains a flaw in its logical structure, specifically in the relationship between premises and conclusion. It is contrasted with an informal fallacy, which may have a valid logical form but be unsound due to false premises. In logic and philosophy, formal fallacies are considered invalid arguments and thus unsound. An argument can simultaneously be both a formal and an informal fallacy. In everyday conversation, the term "logical fallacy" usually refers to a formal fallacy. While the phrase "the logical argument is a non sequitur" is synonymous with "the logical argument is invalid," the term *non sequitur* typically refers to unnamed formal fallacies—those invalid arguments not covered by specific terms like affirming the consequent. In propositional logic, which focuses on logical operators and the truth of sentences, an error in the sequence of deduction results in an invalid argument. Such an argument may have true premises yet still yield a false conclusion, as validity and truth are separate concepts in formal logic. A common example of a formal fallacy is reasoning that because most animals in a zoo are birds and most birds can fly, therefore most animals in that zoo can fly. This inference is invalid because no logical principle guarantees that the intersection of two majorities holds. Another frequent error occurs when people reverse a premise, such as concluding that a creature is a bird because all birds have beaks and the creature has a beak; this fails because other animals, like turtles, also have beaks. A special case is the mathematical fallacy, an intentionally invalid proof crafted for educational purposes, often concealing a subtle error to demonstrate an apparent contradiction.
- field
- Logic and philosophy
- known_for
- Pattern of reasoning with a flaw in logical structure
- related_concept
- Propositional logic
- common_example
- All birds have beaks; that creature has a beak; therefore, that creature is a bird
- special_case
- Mathematical fallacy
Lore & Background
A formal fallacy is a pattern of reasoning whose flaw lies in its logical structure—specifically, the relationship between the premises and the conclusion—rather than in the truth of any individual premise. Such an argument is always invalid, and therefore unsound, even if all its premises happen to be true. This distinguishes it from an informal fallacy, which may have a valid logical form but is unsound because one or more premises are false. An argument can be both a formal and an informal fallacy. In everyday speech, the term “logical fallacy” typically refers to a formal fallacy. The term *non sequitur* is often used synonymously with “invalid argument,” but in practice it refers to those unnamed formal fallacies that do not have a specific label, such as affirming the consequent. Propositional logic, which deals with the meanings of sentences and the role of logical operators, shows that an error in deductive sequence produces an invalid argument; the conclusion may still be true, but validity and truth are separate concepts. Common examples include reasoning that “most animals in this zoo are birds” and “most birds can fly” therefore “most animals in this zoo can fly,” which fails because no logical principle guarantees that a property shared by most members of two overlapping groups applies to their intersection. Another frequent error is reversing a premise, such as concluding that a creature is a bird because it has a beak, based on the true premise that all birds have beaks—ignoring that other animals also have beaks. A special case is the mathematical fallacy, an intentionally invalid proof that conceals a subtle error, often used for educational purposes.
Reader's Guide
The concept of formal fallacy is central to understanding deductive reasoning. It highlights that an argument can be unsound even if its premises are true, because the logical structure fails to guarantee the conclusion. Common examples include reversing a premise, such as assuming that because all birds have beaks, any beaked creature must be a bird. This error occurs because people often apply a valid logical principle incorrectly or rely on a nonexistent principle. The term 'non sequitur' is often used synonymously with 'invalid' but typically refers to unnamed formal fallacies not covered by specific terms like affirming the consequent. Understanding formal fallacies helps in evaluating arguments critically, distinguishing between valid and invalid reasoning, and avoiding common logical pitfalls.
Did You Know?
- A formal fallacy must have an invalid logical form and thus be unsound.
- An argument can be both a formal fallacy and an informal fallacy.
- The term 'non sequitur' typically refers to unnamed formal fallacies not covered by particular terms.
- A mathematical fallacy is an intentionally invalid mathematical proof, often crafted for educational purposes.
Frequently Asked Questions
What is a formal fallacy?
A formal fallacy is an argument whose logical structure is defective, meaning the conclusion simply does not follow from the premises regardless of whether those premises happen to be true. It is a flaw in the form of reasoning itself, not in the content.
How does a formal fallacy differ from an informal fallacy?
A formal fallacy has a broken logical shape, so the argument is invalid no matter what the premises say. An informal fallacy, by contrast, can have a perfectly valid structure but still be unsound because one or more premises are actually false.
Can you give a common example of a formal fallacy?
A classic illustration is: 'All birds have beaks; that creature has a beak; therefore, that creature is a bird.' The reasoning is structurally invalid because possessing a beak does not logically guarantee the creature is a bird, even though the first premise is true.
What field does the concept of formal fallacy belong to?
Formal fallacies are a core topic in logic and philosophy, especially within the study of propositional logic and argument validity. Because the structure is broken, any argument containing a formal fallacy is classified as invalid and therefore unsound.
Is there a special case related to formal fallacy?
A mathematical fallacy is treated as a special case of formal fallacy, where the structural error occurs specifically within mathematical or deductive reasoning. This links the broader concept to errors in proofs and formal derivations.
More in Philosophical Concepts And Theories 1-24
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record