Philosophy | Intermediate symbolic logic
P251 | 3392 | 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 bsic 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, two quizzes 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.