PHI203 - 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.


It will be helpful for students to review the ground covered in PHI116 Elementary Logic.


There will be two class tests and an examination at the end of the course.

Strongly Advised for:

*Advanced Logic*, Philosophy of Psychology, Philosophy of Science.


Dominic Gregory

Lectures - Autumn 2017

Monday 11am-12 noon - Diamond Lecture Theatre 9
Monday 1-2pm - Hicks Building Lecture Theatre 3

Seminars (from Week 3)

Thursday 3-4pm - 38 Mappin Street G03
Thursday 4-5pm - 38 Mappin Street G03