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
We introduce elementary concepts from set theory to develop techniques for studying logical systems; especially consistency, compactness and completeness for first order logic. We conclude with a brief look at non-standard models and Gödel's theorems. The course presupposes Philosophy 120, or the equivalent. TEXT: No Text Required.
Student learning goals
General method of instruction
Recommended preparation
Class assignments and grading
