Time Schedule:
Arthur I Fine
PHIL 470
Seattle Campus
An introduction to the concepts and methods of metatheory and their application to the sentential calculus.
Class description
This course develops techniques for studying logical systems. We introduce concepts from set theory and the theory of relations in order to study consistency, compactness and completeness for first order logic. Time permitting, we may look at nonstandard arithmetic and/or provide a brief introduction to recursion theory and Gödel's theorem.
Only open to students who have taken Philosophy 120 or an equivalent (i.e., a standard course in first order predicate logic.)
Student learning goals
General method of instruction
Recommended preparation
Class assignments and grading
