Unit Information - Logic 2 in 2012/13

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

Unit Code PHIL20036
Unit Name Logic 2
Credit Points 20
Level of Study I/5
School/Department Department of Philosophy
Faculty Faculty of Arts
Director Professor. Pettigrew
Open Unit Status Not Open
Description

This course introduces the logic of possibility and necessity modal logic. It begins by developing a tableau system for modal logic, and includes a semantics for this system that uses the notion of a possible world. The logic is then extended to include quantifiers that allow one to quantify over the objects in possible worlds. The philosophical status of possible-worlds talk is brought into focus and criticised.

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

Teaching Block(s) in 2012/13 Teaching Block 2 (weeks 13 - 24)