PHIL 315
Topics in Applied Logic
Please note: this is archived course information from 2016 for PHIL 315.
Description
This course is an introduction to first-order modal and its applications. The first part of the course is devoted to propositional modal logic. You will learn basic techniques of modal logics: possible world (Kripke) semantics, tableaus and axiomatics. We will consider some metatheoretical results, focusing on completeness. In the second half, you will learn how to extend basic modal logic with first-order quantifiers. Throughout the semester, we will consider applications of modal logic to philosophical problems, especially in metaphysics.
Availability 2016
Semester 2
Lecturer(s)
Coordinator(s) Dr Patrick Girard
Reading/Texts
Melvin Fitting and Richard L. Mendelsohn, First-Order Modal Logic (Kluwer Academic Publisher, 1999)
Assessment
Coursework only
Points
PHIL 315: 15 points
Prerequisites
15 points from PHIL 222, 216 or 266