And for those really interested, here’s the “syllabus for my intro logic class”:http://brian.weatherson.org/231Syllabus.htm. We’re using Barwise and Etchemendy’s _Language, Proof and Logic_ for most of it, but I’m also going to use chapter 4 of David Velleman’s “blogic”:http://www-personal.umich.edu/~velleman/Logic/ because it’s a nice introduction to counterfactuals and modality and I think that stuff’s important in many other philosophy courses the students will take. Of course being me within the first half-hour I’ll have segued off into a discussion of which modal logics have the finite model property or something, but I’m going to at least _try_ to keep this philosophically relevant.