PHI203 - Formal Logic

Outline

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.

Reading

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

Assessment

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.

Lecturer

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