PHIL 2038 - Logic II

Logic II is a course in symbolic logic which builds on the material presented in Logic I. The content of the course is primarily formal in nature. It begins by treating Classical Logic in greater depth and with a more formal emphasis than in Logic I: in particular, by introducing proof theory for propositional and quantifier logics. We then move on to Non-Classical Logics, including modal logic and possible-world semantics, and many-valued logics. There is also some discussion of philosophical issues arising from the logics studied, in particular, the semantic paradoxes. Entry into Logic II is either via Logic I, or via a first-year course with substantial formal content and a component of logic (such as Mathematics I or Computer Science I).