Editing 704: Principle of Explosion
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 8: | Line 8: | ||
==Explanation== | ==Explanation== | ||
− | [[Cueball|Cueball's]] friend (who also looks like Cueball) explains the {{w|principle of explosion}}, a classical | + | [[Cueball|Cueball's]] friend (who also looks like Cueball) explains the {{w|principle of explosion}}, a classical law of logic, that says that if you start out with propositions ({{w|axiom}}s) that contradict each other, it is possible to derive (prove) any statement you want in the language you are working in, true or false. |
Cueball then proceeds to misinterpret (perhaps intentionally) that you can derive any ''fact'' about the physical world. His formula of {{w|propositional logic}} in the third panel reads "'''P''' and not '''P'''", where '''∧''' is the formal logic symbol for "and" and '''<sup>¬</sup>''' is the symbol for "not". '''P''' stands for a proposition. As "'''P''' and not '''P'''" is shorthand for "'''P''' is both true and false", this forms a contradiction from which the principle of explosion can begin. Humorously and to his friend's bewilderment he then successfully manages to 'derive' the phone number for his friend's mom. | Cueball then proceeds to misinterpret (perhaps intentionally) that you can derive any ''fact'' about the physical world. His formula of {{w|propositional logic}} in the third panel reads "'''P''' and not '''P'''", where '''∧''' is the formal logic symbol for "and" and '''<sup>¬</sup>''' is the symbol for "not". '''P''' stands for a proposition. As "'''P''' and not '''P'''" is shorthand for "'''P''' is both true and false", this forms a contradiction from which the principle of explosion can begin. Humorously and to his friend's bewilderment he then successfully manages to 'derive' the phone number for his friend's mom. |