Please note: You are viewing unit information for a past academic year. Please see the current academic year for up to date information.
|Unit Name||Logic 2|
|Level of Study||I/5|
|School/Department||Department of Philosophy|
|Faculty||Faculty of Arts|
|Open Unit Status||Not Open|
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.
|Teaching Block(s) in 2012/13||
Teaching Block 2 (weeks 13 - 24)