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.