Philosophy | Logical Theory 1
P505 | 3383 | 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.