Philosophy | Logical Theory II
P505 | 9378 | Allwein

This course presents a survey of modern symbolic logic, i.e., prepositional, and first order
predicate logic.  Natural deduction proof methods will be used, with a brief introduction
to Hilbert style axiomization.  The model theory of these logics will be investigated,
leading to soundness and completeness proofs for first order logic.  Additional topics will
be covered as time and interest permit and include compactness, Lowenheim-Skolem
theorem, and proofs by induction.