Philosophy | Introductory Symbolic Logic
P250 | 3591 | Savion

In this course, the student is introduced to basic notions of
reasoning and to two symbolic languages: Proposition Calculus and
Predicate Logic.  The aim of this course is to help students develop
skills in translating sentences from English to logic languages and
in evaluating arguments rigorously as valid or invalid.

The course has no pre-requisites, but it covers twice the material
covered in P150.  Final grade is based on homework assignments, 2
quizzes, group work, and a final exam.

The required text is a course packet written by the instructor that
can be purchased at TIS or the IU bookstore.