|  |  |  
Oct 31, 2025		 |  | 
	     
          | 
              
                | 
                    
                      | 2019-2020 Undergraduate Studies Bulletin 
   |  PHIL 115 - Introduction to Formal Logic IICredits: 3
 Intermediate topics in predicate logic, including second-order predicate logic; meta-theory, including soundness and completeness; introduction to non-classical logic.
 
 Prerequisites: Grade of C or higher in PHIL 114 or PHIL 110, or a department-approved equivalent
 
 Note: Carolina Core: ARP
 
 
 
 
 
   |  |  |