Nov 23, 2024  
2019-2020 Undergraduate Catalog 
    
2019-2020 Undergraduate Catalog [Archived Catalog]

PHL 310 - Valid Reasoning II


2019-2020 Catalog Year:

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