PHI6820 ADVANCED LOGIC

Autumn Semester

Lecturer

Dominic Gregory

Time:

Tue 10-11
Tue 12-1
Wed 10-11
Wed 12-1

Outline

This course will build upon the second year formal logic module. It will present various ideas that are fundamental to modern logic, and it will consider the philosophical implications of those ideas. For instance, we will examine the foundational role of set theory, Godel incompleteness theorems, the notion of computability and the elements of modal logic (the logic of possibility and necessity).

Preparatory Reading

It will be helpful for students to review whatever logic they have previously studied.