PHIL370     Symbolic Logic
Semester:Fall 2016
Instructor: Eric Pacuit
Room:JMZ 0103
Meeting Times:MW 2:00pm - 3:15pm

Prerequisite: PHIL170 or CMSC250; or permission of ARHU-Philosophy department. Credit only granted for: PHIL271, PHIL370, or PHIL371.A review of propositional and predicate logic and related topics and an introduction to the semantics and metatheory of first-order logic.