Reductio Ad Absurdum: Understanding Contradictions

  • Context: Graduate 
  • Thread starter Thread starter chemistry1
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the concept of contradictions in mathematics, specifically addressing how a contradiction indicates that an initial assumption must be false. Participants emphasize that mathematics cannot tolerate contradictions due to the principle of explosion, which states that a single contradiction invalidates all mathematical truths. The conversation clarifies that finding a contradiction necessitates the rejection of the initial assumption, reinforcing the importance of rigorous verification in mathematical proofs.

PREREQUISITES
  • Understanding of basic mathematical logic
  • Familiarity with the principle of explosion in mathematics
  • Knowledge of proof techniques in mathematics
  • Ability to identify and analyze assumptions in logical arguments
NEXT STEPS
  • Research the principle of explosion and its implications in formal logic
  • Study proof by contradiction techniques in mathematical reasoning
  • Explore common logical fallacies and how to avoid them in proofs
  • Learn about the foundations of mathematical logic and set theory
USEFUL FOR

Mathematicians, logic students, educators, and anyone interested in understanding the foundations of mathematical reasoning and the significance of contradictions in proofs.

chemistry1
Messages
108
Reaction score
0
Hi, I have a little question concerning contradictions :

If I have a statement "A" that I want to prove, and only have the possibility for it to be True or False.

After some manipulations, I arrive at some contradiction. (Here's where my question begins.)

How can we know that a contradiction is enough to be sure at 100 % that a statement is not correct?

Is it because in Mathematics, for a thing to be True or False, it must always be ALWAYS "working" without arriving at some contradiction ? (Mathematical ideas must always work, and not sometimes yes, sometimes no.)

I just want to be sure of thinking of it in the right way, corrections would be greatly appreciated ! Thank you !
 
Physics news on Phys.org
How can you know that a contradiction is enough? After you've checked to make sure you didn't make a mistake.

Mathematics cannot tolerate even one contradiction. With one single contradiction (X and both not X are true), *all* of mathematics falls apart. It's called the principle of explosion. Wikipedia article: http://en.wikipedia.org/wiki/Principle_of_explosion.

That said, there is no contradiction if you've just made a mistake somewhere. You've made a mistake, that's all. Suppose that you find a contradiction as a consequence of some initial assumption and verify that every step after making some initial assumption is solid. That doesn't mean you didn't make a mistake. You did. The mistake was making that initial assumption! The initial assumption has to be incorrect. By assuming something and then showing that this leads to a contradiction, you have but no choice but to reject that initial assumption.
 
AHhhhh! This is clear now ! It make sense lol

Thank you !
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 39 ·
2
Replies
39
Views
5K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K