704: Principle of Explosion
(→Transcript) |
(→Explanation) |
||
| Line 9: | Line 9: | ||
==Explanation== | ==Explanation== | ||
| − | Cueball-1 explains the {{w|principle of explosion}}, a classical law of logic, that says that if you start out with premises ({{w|axiom}}s) that are contradictory, it is possible to derive (prove) any statement in the language you are working in, true or false. (In math for example, if you assume that √2 is a rational number, you can prove things that are obviously false. Consequently you draw the conclusion that √2 is an irrational number. This is how {{w|proof by contradiction}} works.) | + | [[Cueball]]-1 explains the {{w|principle of explosion}}, a classical law of logic, that says that if you start out with premises ({{w|axiom}}s) that are contradictory, it is possible to derive (prove) any statement in the language you are working in, true or false. (In math for example, if you assume that √2 is a rational number, you can prove things that are obviously false. Consequently you draw the conclusion that √2 is an irrational number. This is how {{w|proof by contradiction}} works.) |
Cueball-2 misinterprets this to mean that you can derive any fact about the physical world. He starts with a formula of {{w|propositional logic}} that says "P and not-P", where P is a proposition. To say that P is both true and false is a contradiction, it's false regardless of whether P is true or false. To Cueball-1's bewilderment he then successfully derives his mom's phone number. His mom turns out to be [[Miss Lenhart]] (now a Mrs?), and to his vexation she asks his friend out. | Cueball-2 misinterprets this to mean that you can derive any fact about the physical world. He starts with a formula of {{w|propositional logic}} that says "P and not-P", where P is a proposition. To say that P is both true and false is a contradiction, it's false regardless of whether P is true or false. To Cueball-1's bewilderment he then successfully derives his mom's phone number. His mom turns out to be [[Miss Lenhart]] (now a Mrs?), and to his vexation she asks his friend out. | ||
Latest revision as of 23:21, 24 February 2013
| Principle of Explosion |
 Title text: You want me to pick up waffle cones? Oh, right, for the wine. One sec, let me just derive your son's credit card number and I'll be on my way. |
[edit] Explanation
Cueball-1 explains the principle of explosion, a classical law of logic, that says that if you start out with premises (axioms) that are contradictory, it is possible to derive (prove) any statement in the language you are working in, true or false. (In math for example, if you assume that √2 is a rational number, you can prove things that are obviously false. Consequently you draw the conclusion that √2 is an irrational number. This is how proof by contradiction works.)
Cueball-2 misinterprets this to mean that you can derive any fact about the physical world. He starts with a formula of propositional logic that says "P and not-P", where P is a proposition. To say that P is both true and false is a contradiction, it's false regardless of whether P is true or false. To Cueball-1's bewilderment he then successfully derives his mom's phone number. His mom turns out to be Miss Lenhart (now a Mrs?), and to his vexation she asks his friend out.
[edit] Transcript
- – If you assume contradictory axioms, you can derive anything. It's called the principle of explosion.
- – Anything? Lemme try.
- – Hey, you're right! I started with P∧¬P and derived your mom's phone number!
- – That's not how it works.
- – Wait, this is her number! How–
- – Hi, I'm a friend of– Why, yes, I am free tonight!
- – Mom!
- – No, box wine sounds lovely!
add a comment!