Course finder

<< return to browsing

Semester 1

Logic 2: Modal Logics (PHIL10162)

Subject

Philosophy

College

CAHSS

Credits

20

Normal Year Taken

3

Delivery Session Year

2023/2024

Pre-requisites

Visiting students must have completed at least 3 Philosophy courses at grade B or above, including a course equivalent to 'Logic 1' (PHIL08004); we will only consider University/College level courses. **Please see Additional Restrictions below**

Course Summary

This course is a follow-on course to Logic 1, exploring the logics of various non-truth-functional concepts such as necessity, knowledge, obligation, past and future, as well as general ideas from meta-logic.

Course Description

This course covers "modal" extensions of classical propositional and predicate logic and some of their applications, such as the logic of possibility and necessity, the logic of knowledge and belief, the logic of obligation and permission, and the logic of time. Throughout, the model-theoretic perspective on logic will be in the foreground. That is, we will spend comparatively little time learning new proof rules, and more time thinking about how to formalise the concepts of validity and logical consequence. We will also cover elementary results in meta-logic such as the ideas of soundness and completeness.

Assessment Information

Written Exam 50%, Coursework 50%, Practical Exam 0%

Additional Restrictions

This course cannot be taken alongside Logic 1 (PHIL08004). Unless you are nominated on a Philosophy exchange agreement, visiting students are only permitted to enrol in only one 3rd year Philosophy course each, per semester, before the start of the relevant semester’s welcome period – and spaces on each course are limited so cannot be guaranteed for any student. Enrolment in additional courses from this subject area will depend on whether there are still spaces available in the September Welcome Period, and cannot be guaranteed. It is NOT appropriate for students to contact staff within this subject area to ask for an exception to be made; all enquiries to enrol in these courses must be made through the CAHSS Visiting Student Office. This is due to the extremely limited number of spaces available in this very popular subject area.

view the timetable and further details for this course