Save To Worklist

PHIL 220 Symbolic Logic

Sentential and predicate logic. Translation from natural language; truth tables and interpretations; systems of natural deduction up to relational predicate logic with identity; alternative proof methods. Some sections may use computer-based materials and tests.

This course is eligible for Credit/D/Fail grading. To determine whether you can take this course for Credit/D/Fail grading, visit the Credit/D/Fail website. You must register in the course before you can select the Credit/D/Fail grading option.

Credits: 3


Status Section Activity Term Interval Days Start Time End Time Comments
PHIL 220 001Web-Oriented Course1 Mon Wed Fri9:0010:00

An introduction to contemporary formal logic and reasoning. No formal prerequisites. Topics include symbolization and evaluating deductive arguments in sentential and predicate logic; natural language symbolization techniques; truth tables and interpretations; systems of natural deduction up to relational predicate logic; systems of natural deduction up to relational predicate logic with identity.

COVID-19 notice: This course is designed to accommodate students who might not be physically situated in Vancouver. All activities are online, including the remotely proctored tests and final exam. Lectures will be recorded and stored on the course website and could be downloaded to your own device, if needed.

PHIL 220 002Web-Oriented Course1 Mon Wed Fri10:0011:00
FullPHIL 220 003Web-Oriented Course2 Tue Thu15:3017:00
PHIL 220 004Web-Oriented Course1 Tue Thu14:0015:30
PHIL 220 005Web-Oriented Course2 Mon Wed Fri9:0010:00

An introduction to contemporary formal logic and reasoning. No formal prerequisites. Topics include symbolization and evaluating deductive arguments in sentential and predicate logic; natural language symbolization techniques; truth tables and interpretations; systems of natural deduction up to relational predicate logic; systems of natural deduction up to relational predicate logic with identity.

FullPHIL 220 007Web-Oriented Course2 Mon Wed Fri13:0014:00
PHIL 220 009Web-Oriented Course1 Mon Wed Fri13:0014:00

Introduction to formal logic. Sentential and predicate logic (with identity), proof systems, introduction to metatheory.

COVID-19 notice: For public health reasons, this course will not include any in-person components. The course will be primarily lecture-based. Students can participate synchronically via live online lectures, or asynchronously by reviewing video. Where possible, synchronous participation is recommended.

PHIL 220 99ADistance EducationA

COVID-19 notice: This course will be entirely asynchronous (no live sessions) and almost completely self-paced.

FullPHIL 220 99CDistance EducationC