Visiting Scholar Subject: Philosophy (PHIL90035)

This subject will be taught by a Visiting Scholar in an area of their expertise. It will provide graduate-level engagement with contemporary work in the student's own or cognate disciplines. A subject description and any preliminary reading will be available by the beginning of the academic year in which the subject is to be taught.

In 2017, in this subject we will work through material from Ted Sider’s Logic for Philosophy (Oxford University Press, 2010), a graduate level text in logic applied to philosophical questions. Successful completion of the course of study would involve covering core techniques and tools in the proof theory and model theory of classical first order-predicate logic, normal modal logic, counterfactuals and two-dimensional modal logic.