PHIL 315
Topics in Applied Logic
Please note: this is archived course information from 2017 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, tableaux 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 2017
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