Deductive Systems Credit Hours: 3 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 POD Level: Graduate Undergraduate