Editing 1033: Formal Logic
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 4: | Line 4: | ||
| title = Formal Logic | | title = Formal Logic | ||
| image = formal_logic.png | | image = formal_logic.png | ||
| + | | imagesize = | ||
| titletext = Note that this implies you should NOT honk solely because I stopped for a pedestrian and you're behind me. | | titletext = Note that this implies you should NOT honk solely because I stopped for a pedestrian and you're behind me. | ||
}} | }} | ||
==Explanation== | ==Explanation== | ||
| − | This comic is a riff on bumper stickers that say "honk if you love ____". Here, the subject is {{w | + | This comic is a riff on bumper stickers that say "honk if you love ____". Here, the subject is {{w|formal logic}}, but the word "if" is replaced with a formal logic term "{{w|iff}}," which means "if and only if". |
| − | + | "If and only if" connects two statements, saying that either both statements are true, or both are false. In this case, either someone likes formal logic and honks, or doesn't like formal logic and doesn't honk. The title text further elaborates on this, describing a practical situation (that is, stopping for pedestrians) and dissecting it with formal logic terms. | |
| − | The joke is the contained self-reference | + | The joke is the contained self-reference. You have to love formal logic to take the sticker serious and honk for exclusively that reason. |
| + | |||
| + | But if you don’t love formal logic you would dislike the sticker at all and try to do something contradictory. And now the problem begins: If you don’t honk to contradict the sticker completely you automatically follow its instruction. So, there is nothing you can do except starting to love formal logic. | ||
==Transcript== | ==Transcript== | ||
| − | :[ | + | :[Vehicle with a bumper sticker:"Honk iff you love formal logic"] |
| − | :Honk iff you love | ||
| − | |||
| − | |||
| − | |||
| − | |||
{{comic discussion}} | {{comic discussion}} | ||
| − | |||
| − | |||
| − | |||
| − | |||
