As I noted in my last post, I’m going to be working through Bell, DeVidi and Solomon’s Logical Options in a seminar with some second year undergrads this coming term. To answer Richard Zach’s question, I might have used Ted Sider’s draft book as the main text if I’d known about it before plans were made in November — though Logical Options does still perhaps more neatly dovetail with our tree-based first year course.
Because the seminar starts on the first teaching day of term, I can’t presume much reading. So we’ll have to make a slow start. Here though are the reading notes for the first session, in case anyone else is interested. (It goes without saying that corrections and/or suggestions are always welcome!)