PHL 310 - Valid Reasoning II

Explores quantified logic with sentences having more than one quantifier; additional and alternative applications of logic, such as set theory or modal logic; and metalogic. Students will be introduced to principles such as axioms systems, completeness, models, and mathematical induction.

Prerequisite: PHL 111 or instructor permission.
When Offered: Not on a regular basis
Credit: 3