Studies both propositional and quantificational logic, concentrating on methods of proof. Takes up such topics as identity, singular terms, intuitive set theory, and translating English sentences into symbolic notation. Prerequisite: 3 hours of philosophy, or consent of instructor. 1/27/2020 - 5/8/2020, Lecture