A systematic study of the formal nature of deduction. The course includes an introduction to quantification theory, relational propositions, set theory, and propositional calculus. Required for all philosophy majors. Prerequisite: One prior course in philosophy. Liberal Arts Core Designation: Depth in Faith and Reason (DFR). (3)