Print Settings
 

PHIL 251: Metalogic (PHIL 151)

(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Terms: Win | Units: 4 | Grading: Letter or Credit/No Credit
Instructors: ; Icard, T. (PI)
© Stanford University | Terms of Use | Copyright Complaints