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 001 Lecture 1 Mon Wed 10:00 13:00

Instructor: Servaas van der Berg

In this course we will study a formal system of sentential and predicate logic, up to and including relational predicate logic. We will focus on the use of a symbolic languageits syntax and symbolisations, semantic devices like truth tables and models, and a derivation system for the language. While studying the system, we will pause periodically to consider the relevance of formal logic for everyday reasoning, for the practice of philosophy and science, and its relationship to other formal methods in the natural and social sciences.

  PHIL 220 002 Lecture 2 Tue Thu 10:00 13:00
  PHIL 220 98A Distance Education A