# 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 10: | Line 10: | ||

This comic is a riff on bumper stickers that say "honk if you love ____". Here, the subject is {{w|Mathematical logic|formal logic}}, but the word "if" is replaced with a formal logic term "{{w|If and only if|iff}}," which means "if and only if". | This comic is a riff on bumper stickers that say "honk if you love ____". Here, the subject is {{w|Mathematical logic|formal logic}}, but the word "if" is replaced with a formal logic term "{{w|If and only if|iff}}," which means "if and only if". | ||

β | "If and only if" sets a condition which must be met before a procedure is allowed. In this case, you must love formal logic (condition) in order to be allowed to honk (procedure). The title text further elaborates on this, saying in essence: "Don't honk at me just | + | "If and only if" sets a condition which must be met before a procedure is allowed. In this case, you must love formal logic (condition) in order to be allowed to honk (procedure). The title text further elaborates on this, saying in essence: "Don't honk at me just you're impatient because I stopped for a pedestrian." |

The joke is the contained self-reference. You have to love formal logic to take the sticker seriously and honk for exclusively that reason. In fact, by logic you MUST honk if you love formal logic. The title text reveals the sticker is actually there to stop people from honking at him altogether, because Randall understandably hates it when he yields for pedestrians only to get honked at by some impatient driver behind him; the ONLY reason you're allowed to honk is to declare your love for formal logic. So by extension, if someone DOES honk while he is stopped for a pedestrian, he can simply enjoy the idea that the other driver loves formal logic rather than is being impatient, transforming what might otherwise be an irritant into pleasure. | The joke is the contained self-reference. You have to love formal logic to take the sticker seriously and honk for exclusively that reason. In fact, by logic you MUST honk if you love formal logic. The title text reveals the sticker is actually there to stop people from honking at him altogether, because Randall understandably hates it when he yields for pedestrians only to get honked at by some impatient driver behind him; the ONLY reason you're allowed to honk is to declare your love for formal logic. So by extension, if someone DOES honk while he is stopped for a pedestrian, he can simply enjoy the idea that the other driver loves formal logic rather than is being impatient, transforming what might otherwise be an irritant into pleasure. |