Non-classical and conditional logics

WiSe 2013/14, Konstanz

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


See the exercises section of the slides.


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

Course notes

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.