Sabbatical – a Real First Logic Course
I took a sabbatical 2013-14, to study. I mean I did other stuff too, but studying came first. And the first class I walked into was Mathematical Logic.
I teach “Logic” – but it’s a high school course, based on the first logic course that might show up at the 100 or 200 level in a philosophy department. Hurley is my text. My content barely touches the beginnings of what we were about to study.
I was at Queens College, and this was a 600 level course – it was designed as a first real course – and it was. In college I’d only done a philosophy department logic, similar to what I teach. This was new.
I want to describe the course and the people and what I did and didn’t do, briefly. The text was Enderton “A Mathematical Introduction to Logic.” Professor showed an earnestness, an excitement about the subject. Looked vaguely like a cross between Dr. James Wilson and Lt. Reginald Barkley. There were a few complaints that he was unclear, or explained poorly – but they were off-base. The subject was very hard – the professor spoke clearly, used vocabulary carefully, introduced ideas well, offered great board notes, provided illustrative examples – but the subject was just that hard.
There was one auditor for the first two or three weeks who seemed to be a retiree – but he got bored and disappeared, leaving me probably the oldest in the room. We lost about a quarter of the class before the mid-term. Maybe more. And we were down to about half by the end.
The text for this class was divided into four chapters. We covered the first two, and part of the third.
I made it through “Sentential Logic” relatively unscathed, running an A, and while I felt shaken a bit by the level of difficulty, more or less stayed on top of everything. Professor was really good with office hours, available, and wanting to help. We used induction, but differently than I had encountered it before. It took real getting used to. The concepts were fairly familiar, or I picked them up. Or struggled through them. I had to study, which is something I did precious little of when I was younger.
The second unit, First-Order Logic tripped me up. I lost my way with “substitutability” and never fully recovered. What’s a language? What’s a Theory? What’s a model? What does it mean to “satisfy”? What does it mean to be “definable”? I have answers for all of these, but I’m not 100% sure when I answer. And sometimes I know what to say, and I’m not sure what my words mean.
We touched incompleteness and undecidability at the end. I certainly did not follow all of what we were doing there.
My final exam was weaker, and I ended up with a B+. Which doesn’t sound great. In fact, I think there were only 3 or so A’s in the class; my grade’s no embarrassment. And I learned enough that I would love to do this class again (or read something, but I doubt I could do it without a smart, clear professor, like this guy). It’s a situation where I know something between half and three-quarters, and where I am well-positioned to to boost that to 90+%.
It may have untangled some vocabulary issues for my teaching, but hardly. It was good to struggle against hard material. And it was fun to study with much younger students (I worked with a teacher, two grad students, and an advanced undergrad), some of whom ran academic rings around me.
Side-note. While I was taking this class, this blog got linked by a guy who shares my initials and probably teaches the exact same class at a different campus in the same university.