Skip to main content

Unit information: Logic 2 in 2016/17

Please note: you are viewing unit and programme information for a past academic year. Please see the current academic year for up to date information.

Unit name Logic 2
Unit code PHIL20036
Credit points 20
Level of study I/5
Teaching block(s) Teaching Block 1 (weeks 1 - 12)
Unit director Dr. Terzian
Open unit status Not open




School/department Department of Philosophy
Faculty Faculty of Arts


This course provides an introduction to some extra-classical and non-classical logics that are particularly interesting to philosophers. The course material will be of both technical and philosophical nature. The study of axiom systems, key theorems, etc. will be accompanied and integrated by discussion of the philosophical motivations for, and implications of, adopting these different logics. So that the students may familiarise themselves with the more technical notions and methods introduced in the course, the seminars will partly focus on a small set of weekly exercises.
Students will be expected to complete the exercises in preparation for the seminars, as well as do the required reading.

Intended learning outcomes

By the end of the course students will

  • have learned how to work competently with different systems of logic – including but not restricted to classical, modal, temporal, counterfactual, and intuitionistic.
  • have gained an in-depth understanding of the rationale for adopting any one of these systems,
  • have gained the ability to engage with some of the key philosophical issues that are known to arise in connection with these different systems of logic.

Teaching details

11 lectures and 11 seminars

Assessment Details

Formative: one 2,000-2500 word essay and six problem sets designed to test intended learning outcomes (1)-(3).

Summative: one 3-hour unseen exam designed to test intended learning outcomes (1)-(3).

Reading and References

Key text:

Burgess, John P. Philosophical Logic, Princeton University Press, 2009