Nov 22, 2024  
2016-2017 Undergraduate Catalog 
    
2016-2017 Undergraduate Catalog [Archived Catalog]

PHL 310 - Valid Reasoning II


2016-2017 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