PHIL 222

Intermediate Logic

Description

Natural deduction for propositional and predicate logic; introductory metalogic and related topics in formal logic.

For full course information see the Digital Course Outline.

Digital Course Outlines are refreshed in November for the following year. Digital Course Outlines for courses to be offered for the first time may be published slightly later.

Availability 2024

Semester 2

Lecturer(s)

Lecturer(s) Dr Andrew Withy

Reading/Texts

A pdf of the textbook for the course will be supplied.

Assessment

Coursework and exam

Points

PHIL 222: 15 points

Prerequisites

PHIL 101

Restrictions

PHIL 201