MWF 1:30pm - 2:50pm
Study of the first-order predicate calculus with identity and function symbols. Consistency, soundness, completeness, compactness. Skolem-Lowenheim theorem. Formalized theories. Prerequisite: PHIL 470.
Individuals and Societies (I&S)
Natural World (NW)
September 13, 2016 - 9:16pm