Faculty of Arts

PHIL 222

Intermediate Logic

Please note: this is archived course information from 2012 for PHIL 222.


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.

Availability 2012

Semester 2


Coordinator(s) Professor Fred Kroon
Dr Jeremy Seligman


A coursebook will be provided to enrolled students


Coursework only


PHIL 222: 15.0 points


PHIL 101


PHIL 201

Contact details | Search | Accessibility | Copyright | Privacy | Disclaimer | 1