PHIL 471 A: Advanced Logic

Meeting Time: 
MWF 1:30pm - 2:50pm
Location: 
MUE 154
SLN: 
18169
Instructor:
Michael Townsend
Catalog Description: 
Study of the first-order predicate calculus with identity and function symbols. Consistency, soundness, completeness, compactness. Skolem-Lowenheim theorem. Formalized theories. Prerequisite: PHIL 470.
GE Requirements: 
Individuals and Societies (I&S)
Natural World (NW)
Other Requirements Met: 
Status: 
Active
Last updated: 
April 29, 2016 - 9:22pm