This course provides an introduction to non-classical (propositional) logic. We will look at both the formal (model- and proof-theoretic) aspects of non-classical logics, as well as their philosophical applications and motivations. Some of the logics covered include: intuitionistic, relevant, many-valued, paraconsistent, and counterfactual or conditional logics. One aim of the course is to gain familiarity with some of the ways formal methods are applied in philosophy, and what the advantages, disadvantages and limitations are of the use of such methods. For instance, we will look at logics for reasoning about conditional obligations; that is, obligations one has only if certain conditions hold. For example, we are not obligated to punish Smith unless he does something punishable.
Prerequisites: Some familiarity with introductory logic is assumed