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 will be refreshed around November/December.

Availability 2025

Semester 2

Lecturer(s)

TBA

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