Unit information: Logic 2 in 2017/18

Unit name	Logic 2
Unit code	PHIL20036
Credit points	20
Level of study	I/5
Teaching block(s)	Teaching Block 2 (weeks 13 - 24)
Unit director	Dr. Everett
Open unit status	Not open
Pre-requisites	None
Co-requisites	None
School/department	Department of Philosophy
Faculty	Faculty of Arts

Description including Unit Aims

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 Information

11 lectures and 11 seminars

Assessment Information

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