Symbolic Logic II

Course Type: 
PHL
Code: 
4200
Level: 
Undergraduate
Credit Hours: 
3
Schedule Type: 
Lecture
Description: 

Standard notations, principles of inference, formal systems, and methods of proof. Focus on first-order predicate logic. Students who have taken PHL 3230 cannot take PHL 4200.

Prerequisites: 

Undergraduate level PHL 3200 Minimum Grade of D