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.

Strongly Advised for:

Advanced Logic, Philosophy of Psychology, Philosophy of Science.


Dominic Gregory