# 1033: Formal Logic

(The second sentence was completely wrong in its description of iff. The last sentence was also wrong, saying "you may still honk." That makes no sense, so I removed it.) |
m (→Transcript: fixed a word) |
||

(2 intermediate revisions by 2 users not shown) | |||

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 you're impatient | + | "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 because you're impatient that 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. 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. | + | 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. |

==Transcript== | ==Transcript== | ||

− | :[The rear end of a car (with an unreadable license plate), with a bumper sticker | + | :[The rear end of a car (with an unreadable license plate), with a bumper sticker above the tailpipe to the right:] |

:Honk iff you love | :Honk iff you love | ||

:<big>formal logic</big> | :<big>formal logic</big> |

## Latest revision as of 14:35, 8 December 2017

Formal Logic |

Title text: Note that this implies you should NOT honk solely because I stopped for a pedestrian and you're behind me. |

## [edit] Explanation

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" 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 because you're impatient that 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.

## [edit] Transcript

- [The rear end of a car (with an unreadable license plate), with a bumper sticker above the tailpipe to the right:]
- Honk iff you love
- formal logic

**add a comment!**⋅

**add a topic (use sparingly)!**⋅

**refresh comments!**

# Discussion

- What can we learn from this? - I've learned that everyone who drives a car loves Formal Logic that if they press a horn actuator while driving, a horn will sound (Thank you Mr. XKCD). Now can I comment if I love your undeniable genius and your unexpected life's lessons? - E-inspired (talk) 14:36, 28 February 2013 (UTC)

"So, there is nothing you can do except starting to love formal logic" That isn't what this comic means. It means "I am a fan of formal logic, and if you are too, you may honk to indicate this. If you honk for any other reason at all, don't be surprised if I jam a pitchfork up your ass." Re-write, please. 108.162.219.58 08:37, 10 February 2014 (UTC)

- Why would you even think that is correct? -Pennpenn 108.162.249.205 03:19, 29 January 2015 (UTC)
- Elementary, my dear 108.162.219.58! 108.162.254.148 19:50, 8 February 2015 (UTC)
- It does not say "honk
*when*you ..." 141.101.104.55 16:54, 19 May 2015 (UTC)

- It does not say "honk

- Elementary, my dear 108.162.219.58! 108.162.254.148 19:50, 8 February 2015 (UTC)

So, what do you do if you hate formal logic? Honk twice? 141.101.104.113 (talk) *(please sign your comments with ~~~~)*