Faculty of Arts


PHIL 222

Intermediate Logic


Description

Welcome to PHIL 222 "Intermediate Logic". This course builds on PHIL 101, introducing proof methods, particularly natural deduction. In the first part of the course, you will learn to construct natural deductions in propositional and predicate logic, 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 next part of the course covers recursive definitions of truth and validity, using set-theory to underpin the formal semantics of predicate logic.

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. In this section, you will learn gradually to extend proof-theoretic methods 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). It is a 15 point Stage II course with a workload of up to 10 hours/week. PHIL 101 is the prerequisite course.

View the course syllabus

Availability 2020

Semester 2

Lecturer(s)

Coordinator(s) Dr Jeremy Seligman

Assessment

Coursework and exam

Points

PHIL 222: 15.0 points

Prerequisites

PHIL 101

Restrictions

PHIL 201


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