PHIL 222

Intermediate Logic

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

Description

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

Lecturer(s)

Coordinator(s) Professor Fred Kroon
Dr Jeremy Seligman

Reading/Texts

A coursebook will be provided to enrolled students

Assessment

Coursework only

Points

PHIL 222: 15 points

Prerequisites

PHIL 101

Restrictions

PHIL 201