Save To Worklist

PHIL 220 005 (Web-Oriented Course)

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

Location: Vancouver

Term 2 (Jan 04, 2021 to Apr 08, 2021)

Cr/D/F Grading Change Dates

Last day to change between Credit/D/Fail and percentage grading (grading options cannot be changed after this date): January 15, 2021


Withdrawal Dates
Last day to withdraw without a W standing : January 15, 2021
Last day to withdraw with a W standing
(course cannot be dropped after this date) :
March 05, 2021

TermDay Start TimeEnd TimeBuildingRoom
2 Mon Wed Fri9:0010:00
Instructor: KOROLEV, ALEXANDRE


Seat Summary
Total Seats Remaining:1
Currently Registered:119
General Seats Remaining:1
Restricted Seats Remaining*:0
-  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.

Book Summary :
Information for the books required for this section is not available.