1033: Formal Logic
Title text: Note that this implies you should NOT honk solely because I stopped for a pedestrian and you're behind me.
The key part of this comic is "IFF", which in formal logic means "if and only if". "If and only if" represents a formal logic connector that the result is that the truth of either one of the connected statements requires the truth of the other, i.e., either both statements are true, or both are false. In the comic, if someone honks at this car, it means they like formal logic, there is not any other possible reason per this bumper sticker. (As we see in the image text.)
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.
- [Vehicle with a bumper sticker:"Honk iff you love formal logic"]
add a comment! ⋅ refresh comments!