Graduate
First quarter required course for philosophy graduate students. Introduces the work of the philosophy faculty members to the new graduate students. Helps new students form a cohort. Each week different faculty members will visit the class and discuss materials of their own as well as materials or topics that they study.
Natural deduction and semantics of first order predicate logic. Metatheory, including completeness theorems for propositional and predicate logic.