Faculty of Arts
Builds on PHIL 101, introducing the method of Natural Deduction. In the first part of the course, you will learn to construct deductions in propositional and predicate logic, including equality and formal induction. The final part of the course introduces some ideas from logical theory such as satisfaction, validity and derived and admissible rules. You will learn how to use the techniques of natural deduction to reason about these things in a slightly less formal but still very explicit style. The methods are less mechanical than those of PHIL 101, requiring problem solving skills and a facility with abstract reasoning at a higher level. As well as completing a foundation in logic, the course aims to provide an understanding of the process of constructing complex arguments that is applicable in philosophy and other disciplines. This is a core course in the Logic and Computation programme.
A coursebook will be provided to enrolled students
PHIL 222: 15.0 points