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