PHIL 4300 - Advanced Logic

5 credit hours
Formerly - PHIL 430

An introduction to advanced topics in symbolic logic, including study of predicate logic, modal logic, and set theory, as well as reflection on the nature of formal systems and the significance of various logical paradoxes.

Prerequisite Course/s: PHIL 2600