|140A||Intermediate Logic||Warren||MWF 12-1||100 Wheeler|
This course has two parts. Part One will be more technical in nature. It will involve learning some of the key metalogical results for first-order logic (e.g., soundness, completeness, and compactness). The goal will be to get through Parts 1–3 of Hunter’s “Metalogic” textbook, which concludes with a famous metalogical paradox called “Skolem’s Paradox”. Part Two will be more philosophical in nature. It will involve investigating the historical impact (on 20th century analytic philosophy) of the metalogical results covered in Part One of the course. For instance, we will discuss the influence of “Skolem’s Paradox” on the philosophical development of W.V.O. Quine and Hilary Putnam.
Prerequisites. PHIL 12A, and willingness to engage both in mathematical and philosophical work.
Textbook. Hunter, “Metalogic,” UC Press 1971.