My logic professor, Daniel Warren, is adorable! He has unruly hair and a distant gaze exactly as a philosophy prof should. He is so precise with his speech, and he makes little errors and then apologizes when he corrects them, and even when he labors over explanations and begs us to tell him to repeat them if we don't understand, it's because he really wants to get across to us how rigorous logic is supposed to be.

Even though I already know something like 80% of his lectures from the text, I still enjoy lectures for the sheer rigor of his thought and his few jests, sometimes inadvertent. Examples:

• On why we don't want to treat counterfactual conditionals as valid material conditionals: "[That counterfactual condition] isn't true. It would be nice if it were, but it's not."
• "It is important for you to go to discussion section. It's not like those where you go, and you say what your name is, and what's your major, and why you're interested in Logic, and you give each other hugs. We're doing actual work."

The material conditional (if-then) symbol we use is like a backwards-c. We call it the horseshoe, which calls to mind a Moxy Fr�vous song. We, indeed, keep handing out horseshoes.

In other logic-music musings: do truth tables belong in The Honesty Room?