|140A||Intermediate Logic||Fitelson||MWF 12-1||110 Wheeler|
This course has two parts. Part One (first 10 weeks) 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 (last 5 weeks) 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. All other readings for the course will be provided via the course website.
Previously taught: SP04.