Philosophy | Intermediate Symbolic Logic
P251 | 10376 | Savion, Leah

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
Calculus and Monadic Predicate Logic briefly, we will study
relational statements, multiple quantifiers, 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 permits, we'll discuss non-classical logics.

Final grade for the course is calculated from students' group-work,
homework assignments, two tests and a final exam.

The textbook for the course is
Savion: "Brain Power", Kendall Hunt publishing
ISBN 978-0-7575-8044-4