Feb 17, 2025  
2022-2023 Undergraduate Catalog 
    
2022-2023 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.
When Offered: Not on a regular basis
Credit: 3