Coming up in the new academic year, I get to spend the semester with a fresh bunch of second-year students who are going on to learn some more logic than the first-year basics.
Like last year, in Intermediate Logic we’ll be exploring natural deduction proof theory and different kinds of models for propositional, modal and first-order predicate logic.
New this year, my Doktorvater, Prof. Graham Priest, will be joining us in the last week of classes, so we’ll have a fun back-and-forth about truth-value gaps, gluts and paradoxes to end things with a bit of a bang.