Time & place: Mondays from 10-11:30 in room E - E405
Office hours: By appointment
This course provides an introduction to non-classical (propositional) logics and their applications, with a focus on conditionals. Some of the logics covered include logics of counterfactual conditionals, as well as relevant, many-valued, and paraconsistent logics. We will look at both the formal (semantic and proof-theoretic) aspects of non-classical logics, as well as their philosophical applications and motivations. In particular, we will evaluate how well non-classical approaches to the semantic paradoxes fair against each other.
Prerequisites: Some familiarity with introductory logic is assumed
Evaluation: Exercise sets on formal logic (50%); Essay (50%)
Texts: Everything will be made available online
Week 1; Week 2; Week 3; Week 4; Week 5; Week 6; Week 7; Week 8; Week 9; Week 10; Week 11; Week 12; Week 13
Click here. These are being updated each week as the course progresses. Please let me know of any mistakes/errata you find, or if you have any other suggestions.
See the essay guidelines.