Deductive Systems Credit Hours: 3 Course Description: Symbolic-mathematical logic, examining the propositional and predicate calculi, with emphasis on problems in translation and formalization and topics in the philosophy of logic and mathematics. Prerequisites: PHIL 2500 or PHIL 2500H or PHIL 2500E or permission of department Semester Offered: Fall