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.
Deductive Systems
Credit Hours:
3
Prerequisites:
PHIL 2500 or PHIL 2500H or PHIL 2500E or POD
Level: