Arthur I Fine
An introduction to the concepts and methods of metatheory and their application to the sentential calculus.
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
Class assignments and grading