Logic Matters 2008-03-17

Logical Options, in retrospect

A quick end-of-term report on using Bell, DeVidi and Solomon's Logical Options as reading for a seminar, in case my experiences with this book are useful to others choosing a text.Background: all our first-year students do a formal logic course using my (tree based) Introduction to Formal Logic. Then they also have to do a second year logic paper which is largely philosophical logic, but which also contains a component of more formal logic work. The formal syllabus covers [1] more on systems of logic other than trees, [2] more on interpretation of the quantifiers, [3] the idea of a formal theory, [4] modal logic, [5] the idea of intuitionistic logic. I had already lectured a bit on [4] and Michael Potter on [1] and [5]. I put on eight seminars, two each on the first four topics, for two ...

read more   

more posts from Logic Matters