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 |
Pre-requisites |
PHIL10014 Introduction to formal Logic (or equivalent, eg in Mathematics). PHIL10005 Introduction to Philosophy A, PHIL10006 Introduction to Philosophy B. |
Co-requisites |
None |
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.
by the end of the course students will have learned how to work with different systems of logic -- classical, modal, temporal, counterfactual, intuitionistic. They will also have gained an understanding of the rationale for adopting any one of these systems, and to engage with some of the key philosophical issues that are known to arise in connection with these different systems of logic.
1-hour lecture + 1-hour seminar per week
short formative essay + 3-hour exam
Key text:
Burgess, John P. Philosophical Logic, Princeton University Press, 2009