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.
This comic is a riff on bumper stickers that say "honk if you love ____". Here, the subject is formal logic, but the word "if" is replaced with a formal logic term "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. You have to love formal logic to take the sticker seriously and honk for exclusively that reason. 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.
- [Vehicle with a bumper sticker that reads "Honk iff you love formal logic."]
add a comment! ⋅ refresh comments!