PHI6030  Formal Logic


The course will start by introducing some elementary concepts from set theory; along the way, we will consider some fundamental and philosophically interesting results and forms of argumentation. It will then examine the use of 'trees' as a method for proving the validity of arguments formalised in propositional and first-order logic. It will also show how we may prove a range of fundamental results about the use of trees within those logics, using certain ways of assigning meanings to the sentences of the languages which those logics employ.

Preparatory Reading

The required text for the course is Logic by Paul Tomassi [Routledge, London] 1999

Lectures and Seminars:

The module is also available to undergraduates as PHI203.

If there are three or more postgraduates taking the module, a separate seminar will be scheduled for postgraduates only.