PHI345 - Advanced Logic

Outline:

This course will build upon the second year formal logic module (PHI203). The course will present and consider various parts of formal logic that are central to large amounts of recent philosophical discussion. For instance, it will examine the central results about propositional and first-order logic, second-order logic, and the elements of modal logic (the logic of possibility and necessity).

<b>IMPORTANT NOTE:</b>

Due to small numbers unfortunately this course will not now be running in the Academic Year 2009-10, if you are one the people who pre-registered for this course, please contact the departmental office immediately to arrange transfer to another a course, capping does not apply to students who have registered for courses that do not run.

We apologise for any inconvenience this may have caused

Preparatory Reading

It will be helpful for students to review the second year formal logic module.

Advised previous modules:-

Formal Logic

Assessment:

One coursework essay (50%) and one two-hour examination (50%).

Lecturer:

Dominic Gregory

Lectures: Autumn Semester

This module will no longer be running