Logic 2

Second Semester 2005 - 2006

Unit Director:  Øystein Linnebo

http://seis.bris.ac.uk/~plxol/Courses/PHIL20035/Syllabus.htm

The course will provide an introduction to some of the non-classical logics that are most important to philosophers.

Among the systems we will investigate are:
            -        propositional modal logic
            -        intuitionistic logic
            -        many-valued logic
            -        second-order logic

Literature

The central book will be Graham Priest, An Introduction to Non-Classical Logic (Cambridge UP, 2001), especially chapters 1, 2, 3, 6, and 7.