Studies advanced topics in mathematical logic. Takes up such topics as: uninterpreted calculi and the distinctive contributions of syntax and semantics; metatherory, including completeness and consistency proofs; modal logic and semantics; logic as a philosophical tool. Cross listed with COSC/MATH 4420. Dual listed with PHIL 5420. Prerequisite: PHIL 3420 or equivalent: graduate status. 9/4/2019 - 12/13/2019, Lecture