Blog by Sumana Harihareswara, Changeset founder

02 Feb 2002, 12:21 p.m.

My logic professor, Daniel Warren, is adorable! He has…

Hi, reader. I wrote this in 2002 and it's now more than five years old. So it may be very out of date; the world, and I, have changed a lot since I wrote it! I'm keeping this up for historical archive purposes, but the me of today may 100% disagree with what I said then. I rarely edit posts after publishing them, but if I do, I usually leave a note in italics to mark the edit and the reason. If this post is particularly offensive or breaches someone's privacy, please contact me.

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?