Non-classical logic

Course outline


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




Daily schedule

10:30-11:30 Lecture
11:30-12:00 Reading
12:00-13:00 Lunch
13:30-14:00 Reading
14:00-14:30 Discussion
14:30-15:00 Exercises
15:00-15:15 Break
15:15-16:15 Exercises
16:15-17:15 Lecture
17:15-17:30 Break
17:30-18:00 Exercises