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. May be repeated for credit when the topics vary. Prerequisite: Graduate standing and consent of the graduate adviser.