Philosophy | Intermediate Symbolic Logic
P251 | 3239 | 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 prepositional 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.  If time allows, we'll discuss nonclassical logics
and work on basic notions of set-theory.

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 area