Philosophy | Logical Theory I
P505 | 6151 | McCarty


This course serves as an introduction to the metamathematics of
propositional and predicate logics at the graduate level.  The goal
of the course is a close examination of the syntax and semantics of
formal deductive systems for classical propositional and predicate
logics leading to proofs of the soundness, completeness and
compactness theorems for these systems.  For each logic, we
present both natural deduction and axiomatic concepts of formal
proof and then investigate suitable model theory; in propositional
logic, the models are valuations while in predicate logic, they are
relational structures.

In addition to frequent exercise assignments and a number of
examinations, students will be asked to give brief presentations of
philosophical and historical materials affording a background to the
study of modern logic.