Mathematics Foundations/2.4 Mathematical Induction

2.4 Logical Fallacies Introduction Logical fallacies are errors in reasoning that render an argument invalid or unsound. Recognizing and avoiding logical fallacies is crucial for constructing valid mathematical proofs and developing critical thinking skills. This section explores common logical fallacies, their characteristics, and how to identify them in mathematical and everyday reasoning. Formal Fallacies Formal fallacies are errors in the logical structure or form of an argument, regardless of the content. These fallacies violate the rules of logical inference. Affirming the Consequent This fallacy takes the form: If P, then Q. Q is true. Therefore, P is true. Example: If a number is divisible by 4, then it is even. 6 is even. Therefore, 6 is divisible by 4. (Invalid conclusion) Why it's fallacious: The conditional "If P, then Q" only guarantees that Q follows from P, not that P follows from Q. There could be other causes for Q besides P. Denying the Antecedent This fallacy takes the form: If P, then Q. P is false. Therefore, Q is false. Example: If a number is prime, then it has exactly two divisors. 15 is not prime. Therefore, 15 does not have exactly two divisors. (Valid conclusion but invalid reasoning) Why it's fallacious: The conditional "If P, then Q" does not imply that Q can only occur if P is true. Q might be true for other reasons even when P is false. Fallacy of the Converse This fallacy involves treating the converse of a statement (If Q, then P) as equivalent to the original statement (If P, then Q). Example: If a shape is a square, then it is a rectangle. Therefore, if a shape is a rectangle, then it is a square. (Invalid conclusion) Why it's fallacious: A conditional statement and its converse are not logically equivalent. The converse must be proven separately. Fallacy of the Inverse This fallacy involves treating the inverse of a statement (If not P, then not Q) as equivalent to the original statement (If P, then Q). Example: If a number is even, then it is divisible by 2. Therefore, if a number is not even, then it is not divisible by 2. (Valid conclusion but not because of the given premise) Why it's fallacious: A conditional statement and its inverse are not logically equivalent. The inverse must be proven separately. Informal Fallacies Informal fallacies are errors in the content of an argument rather than its logical structure. They often involve hidden assumptions, irrelevant premises, or misleading language. Appeal to Authority (Argumentum ad Verecundiam) This fallacy occurs when someone bases their argument solely on the opinion of an authority figure rather than providing evidence or logical reasoning. Example: Professor Smith, a renowned physicist, believes that the Riemann Hypothesis is true. Therefore, the Riemann Hypothesis must be true. Why it's fallacious: Even experts can be wrong, especially outside their area of expertise. Mathematical claims require proof, not just authoritative opinion. Appeal to Popularity (Argumentum ad Populum) This fallacy occurs when an argument is considered valid simply because many people believe it. Example: Most students believe that the fastest way to solve this type of equation is to use method X. Therefore, method X must be the fastest way. Why it's fallacious: The popularity of a belief does not determine its truth or validity. Mathematical truths are independent of popular opinion. Appeal to Ignorance (Argumentum ad Ignorantiam) This fallacy assumes that a claim is true because it has not been proven false, or vice versa. Example: No one has found a counterexample to Goldbach's Conjecture. Therefore, Goldbach's Conjecture must be true. Why it's fallacious: The absence of evidence against a claim is not evidence for the claim. In mathematics, positive proof is required to establish a theorem. False Dilemma (False Dichotomy) This fallacy presents a situation as having only two possible outcomes or explanations when other possibilities exist. Example: Either the equation has a rational solution or it has no solution at all. The equation does not have a rational solution. Therefore, the equation has no solution. (Invalid conclusion) Why it's fallacious: The premise artificially limits the possibilities. The equation might have irrational solutions. Hasty Generalization This fallacy occurs when a conclusion is drawn based on insufficient or unrepresentative evidence. Example: The first three numbers I tested satisfy the equation. Therefore, all numbers satisfy the equation. Why it's fallacious: A small sample size is not adequate to establish a universal claim. In mathematics, a general statement must be proven for all cases or a counterexample must be found. Circular Reasoning (Begging the Question) This fallacy occurs when the conclusion of an argument is used, explicitly or implicitly, as one of its premises. Example: The sequence converges because its limit exists. The limit exists because the sequence converges. Why it's fallacious: The argument assumes what it's trying to prove, creating a logical circle rather than a valid proof. Post Hoc Ergo Propter Hoc (After This, Therefore Because of This) This fallacy assumes that because one event follows another, the first event caused the second. Example: I changed the order of steps in my solution, and then got the correct answer. Therefore, changing the order of steps is what made my solution correct. Why it's fallacious: Temporal sequence does not imply causation. The correct answer might be due to other factors, such as fixing a calculation error. Slippery Slope This fallacy argues that a relatively small first step inevitably leads to a chain of related events culminating in some significant impact, without establishing the causal connections between each link. Example: If we accept this proof without checking every detail, we'll start accepting proofs with minor errors. Soon, we'll be accepting proofs with major flaws. Eventually, mathematics will collapse into inconsistency. Why it's fallacious: Each step in the supposed chain needs to be shown to necessarily follow from the previous one, which is often not the case. Mathematical Fallacies Mathematical fallacies are specific types of errors in mathematical reasoning that lead to invalid conclusions. They often involve subtle mistakes that can be difficult to detect. Division by Zero This fallacy occurs when division by zero is performed during a calculation, leading to meaningless or contradictory results. Example: Let a = b. Multiply both sides by a: a² = ab Subtract b² from both sides: a² - b² = ab - b² Factor: (a + b)(a - b) = b(a - b) Divide both sides by (a - b): a + b = b Since a = b, we have: b + b = b Therefore: 2b = b Divide both sides by b: 2 = 1 (Invalid conclusion) Why it's fallacious: Since a = b, the term (a - b) equals zero, and division by zero is undefined. This invalidates the step where we divide by (a - b). Fallacy of Composition This fallacy assumes that what is true of the parts must be true of the whole. Example: Every element in set S is finite. Therefore, set S is finite. (Not necessarily true) Why it's fallacious: Properties of individual elements don't always transfer to the collection as a whole. A set with finite elements can still be infinite in size. Fallacy of Division This fallacy assumes that what is true of the whole must be true of the parts. Example: The set of real numbers is uncountable. Therefore, the set of rational numbers is uncountable. (Invalid conclusion) Why it's fallacious: Properties of a whole don't necessarily apply to its subsets. In this case, the set of rational numbers is countable despite being a subset of the uncountable real numbers. Proof by Example (Hasty Generalization) This fallacy occurs when a general statement is claimed to be proven by verifying it for one or a few specific cases. Example: 2² = 2 + 2 Therefore, n² = n + n for all n. (Invalid conclusion, as 3² ≠ 3 + 3) Why it's fallacious: In mathematics, universal statements require general proofs or exhaustive checking of all cases, not just examples. Misuse of Definitions This fallacy involves incorrectly applying mathematical definitions or using inconsistent definitions within a proof. Example: A square is a rectangle with four equal sides. A rectangle has four right angles. A rhombus has four equal sides. Therefore, a rhombus is a square. (Invalid conclusion) Why it's fallacious: The definition of a square requires both four equal sides AND four right angles. The argument ignores the angle requirement for a square. Fallacies in Statistical Reasoning Statistical fallacies involve errors in interpreting or applying statistical data and concepts. Correlation Implies Causation This fallacy assumes that because two variables are correlated, one must cause the other. Example: Students who take advanced mathematics courses have higher SAT scores. Therefore, taking advanced mathematics courses causes higher SAT scores. Why it's fallacious: Correlation does not imply causation. There might be a third factor (like general academic ability) that causes both, or the causation might be reversed. Sampling Bias This fallacy occurs when a sample is collected in a way that some members of the intended population are less likely to be included than others. Example: In a voluntary online survey about mathematical ability, 85% of respondents rated themselves as above average. Therefore, 85% of people have above-average mathematical ability. Why it's fallacious: The sample is self-selected and not representative of the general population. People with higher confidence in their mathematical abilities might be more likely to participate. Base Rate Fallacy This fallacy occurs when the base rate of an occurrence is ignored in favor of specific information. Example: A test for a rare mathematical talent has 95% accuracy. John tested positive. Therefore, John has this rare talent with 95% probability. (Not necessarily true) Why it's fallacious: This ignores the base rate (how common the talent is in the population). If the talent is very rare (say, 1 in 1000 people), then most positive results will be false positives. Gambler's Fallacy This fallacy involves believing that past random events affect future random events. Example: A fair coin has landed on heads 5 times in a row. Therefore, the next toss is more likely to be tails. Why it's fallacious: In independent events, past outcomes do not influence future probabilities. Each coin toss has a 50% chance of heads, regardless of previous tosses. Avoiding Logical Fallacies To avoid logical fallacies in mathematical reasoning: Carefully examine the logical structure of arguments Check that each step in a proof follows validly from previous steps Be aware of hidden assumptions Verify that definitions are used consistently Consider alternative explanations or counterexamples Ensure that statistical conclusions account for sampling methods and base rates Review proofs for potential division by zero or other undefined operations Distinguish between necessary and sufficient conditions Exercises 1. Identify the logical fallacy in each of the following arguments: a) If a number is divisible by 6, then it is divisible by 3. The number 9 is divisible by 3, so it must be divisible by 6. b) No one has proven that P ≠ NP, therefore P = NP. c) Every polynomial equation of degree n has at most n roots. Therefore, every polynomial equation has at most 5 roots. 2. Construct an example of circular reasoning in a purported "proof" of the Pythagorean theorem. 3. Find the error in the following "proof" that all triangles are isosceles: Consider a triangle ABC. Draw the angle bisector from angle A to the opposite side BC, and call the intersection point D. Draw the perpendicular from D to AB, and call the intersection point E. Draw the perpendicular from D to AC, and call the intersection point F. By the properties of angle bisectors and perpendiculars, triangles AED and AFD are congruent. Therefore, AE = AF. Also, by the Pythagorean theorem, BE = AB - AE and CF = AC - AF. Since AE = AF, we have BE = CF. Therefore, AB = AC, making the triangle isosceles. 4. Explain why the following statistical conclusion is fallacious: "In a survey of 100 mathematicians at elite universities, 75% reported working more than 50 hours per week. Therefore, 75% of all mathematicians work more than 50 hours per week." 5. Identify the fallacy: "If a shape is a rectangle, it has four sides. This shape has four sides. Therefore, it is a rectangle."