Topics in Logic

Prerequisites & course information

Rigorous definitions of syntax and semantics. Proofs of soundness and completeness of sentential and predicate logics; other topics in metatheory. May include extensions of and alternatives to classical logic. Philosophical significance of logic and metalogical results. Three hours a week for one semester.