PHIL 5420 - Advanced Logic

Credits: 3
Studies advanced topics in mathematical logic. Takes up such topics as: uninterpreted calculi and the distinctive contributions of syntax and semantics; metatheory, including completeness and consistency proofs; modal logic and semantics; logic as a philosophical tool.

Cross Listed COSC 5420/MATH 5420.
Dual Listed PHIL 4420.

Prerequisite: graduate standing.