PHIL370     Symbolic Logic
Semester:Fall 2015
Instructor: Aleks Knoks
Room:KEY 1117
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.