Apr 16, 2024  
2021-2022 Undergraduate Catalog 
2021-2022 Undergraduate Catalog [Archived Catalog]

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.
Offered: Not on a regular basis
Credit: 3