Save To Worklist

PHIL 220A Symbolic Logic - 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 220A 001Web-Oriented Course1 Tue Thu10:0013:00

This is a first course in formal reasoning. You will learn to symbolize and evaluate deductive arguments. Topics include symbolization in sentential logic (SL), predicate logic (PL) and relational predicate logic (RPL); truth tables; and proofs and invalidity in SL, PL and RPL. Course learning objectives: 1) Understand how to symbolize and evaluate arguments using a variety of logical systems and tools; 2) Be able to explain, and apply, key logical concepts such as validity, logical form, and derivability. Please note that although all lectures will be pre-recorded, the course includes multiple synchronous tests (see syllabus for details). You can access the course syllabus on the Department of Philosophy's website: philosophy.ubc.ca.

PHIL 220A 002Web-Oriented Course2 Mon Wed10:0013:00
PHIL 220A 98ADistance EducationA