Begins with predicate calculus and includes such topics as definite descriptions, identity, modal logic, second-order logic, set theory, philosophy of logic and mathematics, and philosophical applications of logic. Prerequisite: PHIL 2311 or consent of the instructor.