Philosophy | Introductory Symbolic Logic
P250 | 12453 | Savion

The aim of this course is to enhance studentsí inferential abilities
by understanding basic concepts of reasoning, developing sensitivity
to the logical structure of sentences and translating them into
formal languages, and evaluating arguments rigorously as valid or
invalid. These activities will be applied to two symbolic languages
of logic: Proposition Calculus and Predicate Logic.
This course has no pre-requisites, but having taken P-150 often
proves useful. The course covers twice the material covered in P150,
and has a fast pace.  Final grade is based on homework assignments,
two tests, group work, and a final exam.