Enrol to start learning
Reading is open to everyone. Enrolling is free, and it is what unlocks the audio lessons, practice tests and progress tracking.
4.1.6.2. Fallacy of Denying the Hypothesis
Learn content
Interactive Audio Lesson
Unlock the classroom podcast
The transcript is free to read. A free account plays the conversation back.
Today, we are going to explore the fallacy of denying the hypothesis, a common error in logical reasoning. Can anyone tell me what a hypothesis is?
Isn't it the 'if' part of a conditional statement?
Exactly right! The hypothesis is the 'if' part in a statement 'if p, then q'. But what happens if the hypothesis is denied?
I think it’s a fallacy. You can’t just say that if p is false, q must also be false!
That's correct! This reasoning leads us to an invalid conclusion. Can anyone give an example?
If the hypothesis was 'if it rains, the ground is wet' and the hypothesis is false, saying 'the ground is not wet' would not be correct.
Precisely! This is the fallacy in action. Let’s remember it as '¬p does not imply ¬q'.
Unlock the classroom podcast
The transcript is free to read. A free account plays the conversation back.
Now let’s dive into examples of this fallacy. Here's a classic one: 'If you solve every problem in Rosen’s book, you will learn discrete mathematics'. Just because you haven’t solved the problems does not mean you haven’t learned.
So, if I watch instructional videos instead? I could still learn!
Exactly! So in this instance, even if ¬p is true, ¬q does not follow. Let’s practice crafting these arguments together.
Can I use my own example?
Of course, let’s hear it!
How about 'If you go to college, you will get a degree. You did not go to college, so you won't get a degree?'
Great example! As you noted, that conclusion is flawed.
Unlock the classroom podcast
The transcript is free to read. A free account plays the conversation back.
Now that we have a good grasp of the fallacy, let’s compare it with valid argument forms. Who remembers Modus Ponens?
That's when you have 'if p, then q', and you establish that p is true, so q must be true!
Exactly! Modus Ponens is valid because it follows the correct flow of reasoning. Denying the hypothesis does not. Why do you think it's important to know the differences?
So we don’t make mistakes in reasoning, right?
Yes! Avoiding these fallacies is crucial in mathematics and logic. Remember: recognize the structure, avoid the pitfalls.
Unlock the classroom podcast
The transcript is free to read. A free account plays the conversation back.
Let’s summarize what we've learned about the fallacy of denying the hypothesis. Can anyone recap?
It’s about failing to understand that just because p is false doesn’t mean q is false!
Exactly! Now let's check your understanding with a quick quiz. What does the argument form consist of?
Uh, 'if p then q', and ¬p leads to ¬q?
Close! But remember, that conclusion is what makes it fallacious. Let’s write down what we need to avoid to master logical reasoning.
Overview
Short Summary
The section discusses the fallacy of denying the hypothesis, which involves incorrectly concluding a negation based on a premise and its negation.
Medium Summary
In this section, we explore the fallacy of denying the hypothesis, defined as the error of concluding that the negation of a consequent must mean the negation of the antecedent. We provide examples and clarify why this reasoning is invalid, distinguishing it from valid argument forms like Modus Ponens.
Detailed Summary
Detailed Summary
In propositional logic, the fallacy of denying the hypothesis occurs when an argument form is improperly constructed by inferring that if a conditional statement is true and the hypothesis is false, then the conclusion must also be false. This leads to misleading conclusions. The given fallacious structure can be represented as follows:
- Premise 1: If p (hypothesis), then q (conclusion): p → q
- Premise 2: Not p (the hypothesis is denied): ¬p
- Conclusion: Therefore, not q (the conclusion is denied): ¬q
This is an argument form that does not hold logically. The section highlights how, like many fallacies, it may appear valid at first glance due to its structure, but fails when applied to real-life contexts. For example, one might argue that just because you don't solve every problem in a textbook (¬p) does not mean you cannot learn the subject material (¬q). Thus, it reveals the intricacies and pitfalls of logical reasoning and the importance of analyzing argument validity through well-defined rules of inference.
Reference YouTube Videos
Audio Book
Unlock the audio lesson
The script is above and free to read. A free account plays it back, in the voice you pick.
Create a free accountThe argument form here is p → q, negation p and these are the two premises and the conclusion you are trying to draw is negation q.
Detailed Explanation
The fallacy of denying the hypothesis occurs when we take the implication (p → q) and the negation of the hypothesis (¬p) to incorrectly conclude the negation of the consequent (¬q). In simpler terms, just because the first part (p) of an implication isn't true, it doesn't mean that the second part (q) must also be false. For example, if we say 'If you solve every problem of Rosen’s books (p), then you will learn discrete maths (q)', just because someone did not solve all the problems (¬p) doesn't mean they didn’t learn discrete maths (¬q).
Examples & Analogies
Imagine a scenario where a teacher says, 'If you study hard, you will pass the exam.' If a student does not study hard, it does not necessarily mean they will fail the exam; they might pass because they understood the material in other ways, such as through tutoring or previous knowledge. This example illustrates how denying the hypothesis can lead to false conclusions.
Unlock the audio lesson
The script is above and free to read. A free account plays it back, in the voice you pick.
Create a free accountAn instantiation of this abstract argument form is the following say again, my premises are if you solve every problem of Rosen’s books, you will learn discrete maths. You do not solve every problem of Rosen’s books. So these two premises come under this abstract form p → q and ¬p.
Detailed Explanation
When we apply specific examples to the abstract argument form, we see how the fallacy manifests. In this case, we say 'If you solve every problem of Rosen’s books (p), then you will learn discrete maths (q)', but when we take 'You do not solve every problem of Rosen’s books (¬p)', we mistakenly conclude 'You will not learn discrete maths (¬q).' This reasoning is flawed because there are many ways to learn discrete maths other than solving all the problems.
Examples & Analogies
Think of it like a sports condition: 'If it rains (p), the match is canceled (q).' If it does not rain (¬p), it doesn't imply that the match is canceled. There could be other reasons, like a scheduling conflict or venue issues, that could cause the match to be canceled. Thus, not raining does not guarantee the match is on.
Unlock the audio lesson
The script is above and free to read. A free account plays it back, in the voice you pick.
Create a free accountAgain, as you can see, this is a false argument because you might have learned discrete maths by just watching NPTEL videos if they are very good without even solving any of the problem of Rosen’s books.
Detailed Explanation
This example reinforces that the fallacy of denying the hypothesis is misleading because it presents a false dichotomy. It suggests that the only way to achieve an outcome (learning discrete maths) is through one specific method (solving Rosen's problems), ignoring alternative methods. Such reasoning can limit critical thinking and oversimplify situations that are actually more complex.
Examples & Analogies
Imagine someone believing that to become a great chef, you must only attend formal culinary classes. By denying that one can learn through practice or online tutorials (or being self-taught by experimenting in their kitchen), they limit their understanding of the myriad ways people can acquire skills in cooking. This fallacy can hinder opportunities for learning and growth.
--
Key concepts
Core takeaways and short definitions to help you quickly recall the key ideas from this section.
- Fallacy of Denying the Hypothesis:
Incorrectly concluding that if p is false, then q must also be false.
- Modus Ponens:
A valid argument form that states if 'if p then q' and p are true, then q must be true.
Examples
Step-by-step examples to apply the section's ideas and test your understanding.
If you solve every problem in a textbook, you will learn discrete mathematics. Just because you didn't solve every problem does not mean you haven't learned.
If it rains, the streets get wet. If it does not rain, we cannot conclude the streets are dry immediately, as there might be other factors.
Memory aids
Once upon a time, a scholar thought that if it was not sunny, they couldn't study outside. But then came the kind taunt of a friend! 'Study in the library, under the light' they said. Sometimes, the assumption brings sadness after all, when alternative routes we recall.