PHIL 222

Intermediate Logic


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

Description

This course builds on PHIL 101, introducing the method of natural deduction. In the first two thirds of the course, you will learn to construct deductions in propositional and predicate logic, including equational and functional reasoning, and formal arithmetic. You will be working with purely formal languages, manipulated according to precise rules. The methods are less mechanical than those of PHIL 101, requiring problem-solving skills and a facility with abstract reasoning at a higher level. The final section of the course introduces formal systems in general, with associated concepts such as proofs by induction, inductive definitions, derivable and admissible rules. The  formal semantics of predicate logic is also covered. In this section, you will learn gradually to extend the methods of natural deduction to a less formal setting. 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.

PHIL 222 is a Core Course for Logic and Computation (BA major and minor, BSc major).

Availability 2017

Semester 2

Lecturer(s)

Coordinator(s) Dr Jeremy Seligman

Reading/Texts

A set of exercises with solutions, provided on CECIL.

Assessment

Coursework only

Points

PHIL 222: 15 points

Prerequisites

PHIL 101

Restrictions

PHIL 201