Philosophy | Introductory Symbolic Logic
P250 | 5000 | Churchill

The chief goal of this course is to train you in the use of
propositional logic and predicate logic.  The skills you will learn
include the ability to translate English sentences into symbolic
notation and the ability to use formal techniques in determining
whether an argument is valid or invalid.

There is no prerequisite for this course, as it is an introductory
course in symbolic logic.  But we will cover twice as much as is
normally covered in P150.  Grades will be based on exams, homework,
and in-class assignments.

The textbooks for this course are Howard Pospeselís Introduction to
Logic: Propositional Logic (Third Edition) and Introduction to
Logic: Predicate Logic (Second Edition).