Unit information: Logic 2 in 2019/20

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	Professor. Horsten
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 unit provides an introduction to some extra-classical and non-classical logics that are particularly interesting to philosophers. The unit 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 unit, 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

On successful completion of this unit students will be able to:

1. work competently with different systems of logic – including but not restricted to classical, modal, temporal, counterfactual, and intuitionistic.
2. demonstrate in-depth understanding of the rationale for adopting these systems,
3. demonstrate the ability to critically engage with the key philosophical issues that arise in connection with these different systems of logic in a manner appropriate to level I/5,
4. work together collaboratively with others to collectively present and explain technical material orally in a manner accessible to a wider audience.

Teaching Information

22 1-hour lectures and 11 1-hour seminars

Assessment Information

FORMATIVE:

Regular problem sets [ILO (1)]

SUMMATIVE:

Group presentation (15%) [ILOs (1)+(4)]

3-hour unseen exam (85%) [ILOs (1)-(3)]

Reading and References

Key text:

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