Philosophy | Introductory Symbolic Logic
P150 | 3280 | Savion
In this course, the student is introduced to basic notions of
reasoning and to two symbolic languages: propositional 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.
This course has no pre-requisites, but it covers twice the material
covered in P150.
Final grade is based on homework assignments, 3 quizzes, group work,
and final exam.
The required text is a course packet written by the instructor that
can be purchased at TIS or the IU bookstore.