PHIL 736

Logic 1

Please note: this is archived course information from 2015 for PHIL 736.

Description

This course gives you the fundamental mathematical and logical tools to undertake research in applied modal logic. We will emphasize model theoretic techniques and investigate how to choose logical languages for modeling purposes. The upshot of the course is that modal logic, seen as a fragment of First-order Logic, provides an ideal balance between expressivity and complexity for practical investigations.

For more information refer to the course outline.

Availability 2015

Semester 1

Lecturer(s)

Coordinator(s) Dr Patrick Girard

Reading/Texts

Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge University Press, 2002.

Assessment

The course is based on weekly assignments taken from the textbook.

Points

PHIL 736: 15 points