Save To Worklist

PHIL 220 004 (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 Fri9:0010:00Hennings200
Instructor: KOROLEV, ALEXANDRE


Seat Summary
Total Seats Remaining:52
Currently Registered:68
General Seats Remaining:52
Restricted Seats Remaining*:0
-  Course Description: This course is a basic introduction to contemporary formal logic and reasoning. No previous familiarity with either philosophy or logic is required, although previous exposure to an introductory course(s) in logic and critical thinking and/or scientific reasoning, Phil 120, or Phil 125, for example, would be an asset. You will learn how to symbolize and evaluate deductive arguments in sentential and predicate logic. Topics include natural language symbolization techniques; truth tables and interpretations; and systems of natural deduction up to relational predicate logic with identity. The course will be of interest not only to philosophy students, but to all students interested in sharpening their logical skills and exploring the nature of reasoning.

Book Summary :
Title Reqd/Opt/Rel Author ISB
Phil 220 Ccm Understanding Symbolic Logic / Bartha & Korolev / 001 & 003 Required KOROLEV / 1001 281000032153