Save To Worklist

PHIL 220 005 (Lecture)

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 06, 2020 to Apr 08, 2020)

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 17, 2020


Withdrawal Dates
Last day to withdraw without a W standing : January 17, 2020
Last day to withdraw with a W standing
(course cannot be dropped after this date) :
February 14, 2020

TermDay Start TimeEnd TimeBuildingRoom
2 Mon Wed Fri10:0011:00BuchananA103
Instructor: ICHIKAWA, JONATHAN


Seat Summary
Total Seats Remaining:7
Currently Registered:123
General Seats Remaining:7
Restricted Seats Remaining*:0
-  Course Description: An introduction to formal (sentential and predicate) logic. Students will learn to translate natural-language arguments into formal systems and evaluate their logical forms for validity. Emphasis on translation from natural language; truth tables and predicate models; and proof systems up to relational predicate logic with identity. Also introductory metalogic, including proofs of soundness and completeness.

Book Summary :
Title Reqd/Opt/Rel Author ISB
Phil 220 Ccm Forallx - Ubc Edition / Ichikawa / 005 Optional ICHIKAWA / 1001 281000032197