EdusalsaDiscover Your Stanford

PHIL 151

Metalogic (PHIL 251)

  • Not Offered

4 units

Letter or Credit/No Credit

(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.


  • GER:DB-Math

  • WAY-FR

Course Prequisites

Grade Distribution

Sign Up

To save PHIL 151 to your course bucketlist

Already Have An Account? Log In