This logic course is a continuation of Symbolic Logic P250 which is its only
prerequisite.  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, and then investigate the semantics of first order logic:
interpretation, sentences expansion, proof of invalidity, sentence-equivalence
and consistency.  The secondary aim of the course is to introduce students to
basic notions of set-theory and, if time allows, to 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 and other bookstores.