PHIL 3420 - Symbolic Logic

Credits: 3
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.