Stanford University Explore Courses

PHIL 151: Metalogic (PHIL 251)

(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 | UG Reqs: GER:DB-Math, WAY-FR

Instructors: Icard, T. (PI)

2021-2022 Winter

PHIL 151 | 4 units | UG Reqs: GER:DB-Math, WAY-FR | Class # 9296 | Section 01 | Grading: Letter or Credit/No Credit | LEC | Session: 2021-2022 Winter 1 | In Person
01/03/2022 - 03/11/2022 Tue, Thu 3:15 PM - 4:45 PM with Icard, T. (PI)
Instructors: Icard, T. (PI)
Notes: Grad. students enroll in 251.
PHIL 151 | UG Reqs: GER:DB-Math, WAY-FR | Class # 13192 | Section 02 | Grading: Letter or Credit/No Credit | DIS | Session: 2021-2022 Winter 1 | In Person
01/03/2022 - 03/11/2022 -
PHIL 151 | UG Reqs: GER:DB-Math, WAY-FR | Class # 13230 | Section 03 | Grading: Letter or Credit/No Credit | DIS | Session: 2021-2022 Winter 1 | In Person
01/03/2022 - 03/11/2022 -
PHIL 151 | UG Reqs: GER:DB-Math, WAY-FR | Class # 17090 | Section 04 | Grading: Letter or Credit/No Credit | DIS | Session: 2021-2022 Winter 1 | In Person
01/03/2022 - 03/11/2022 -

1 - 1 of 1 results for: PHIL151

PHIL 151: Metalogic (PHIL 251)

2021-2022 Winter