Philosophy | Intermediate Symbolic Logic
P251 | 3282 | Savion

The prerequisite for this course is P250 or its equivalent.

The primary aim of this course is to enrich and deepen students’
understanding of first order logic.  After reviewing propositional
and monadic logics briefly, we will study relational statements,
multiple quantifiers, definite-description and identity, investigate
the semantics of first order logic: interpretation, sentences
expansion, proof of invalidity, sentence-equivalence and
consistency.  We will then cover basic notions of set theory and if
time allows, we’ll discuss nonclassical logics.

Final grade for the course is calculated from students’ performance
in class, group-work, homework assignments, three quizzes and a final

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