Philosophy | Introductory Symbolic Logic
P250 | 0480 | Savion


In this course the student is introduced to basic notions of reasoning and to two symbolic
languages: prepositional calculus and predicate logic.  The aim of this course is to help
students develop skills in translating sentences from English to logic languages and to
evaluate arguments rigorously as valid or invalid.

Final grade is based on homework assignments, weekly quizzes, and group work.  There
are no prerequisites.

A course packet written by the instructor can be purchases at TIS or the IMU bookstore.