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
2022-2023 Winter
-
PHIL 151 |
4 units |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
9224
|
Section 01 |
Grading: Letter or Credit/No Credit |
LEC |
Session: 2022-2023 Winter 1
| In Person
| Students enrolled: 26
01/09/2023 - 03/17/2023 Mon, Wed 3:00 PM - 4:20 PM at 370-370 with Icard, T. (PI); Bassett, R. (TA); Sparkes, B. (TA); Thompson, D. (TA)
Exam Date/Time: 2023-03-21 8:30am - 11:30am (Exam Schedule)
Instructors: Icard, T. (PI); Bassett, R. (TA); Sparkes, B. (TA); Thompson, D. (TA)
Notes: Grad. students enroll in 251.
Additional Resources:
(Login to view additional resources)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
12787
|
Section 02 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2022-2023 Winter 1
| In Person
| Students enrolled: 4
01/09/2023 - 03/17/2023 Fri 10:30 AM - 1:20 PM at Green Earth Sciences131 with Sparkes, B. (TA)
Instructors: Sparkes, B. (TA)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
12825
|
Section 03 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2022-2023 Winter 1
| In Person
01/09/2023 - 03/17/2023 Mon 10:30 AM - 12:20 PM at 200-219 with Thompson, D. (TA)
Instructors: Thompson, D. (TA)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
18220
|
Section 04 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2022-2023 Winter 1
| In Person
| Students enrolled: 3
01/09/2023 - 03/17/2023 -
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
18221
|
Section 05 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2022-2023 Winter 1
| In Person
01/09/2023 - 03/17/2023 -
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
18222
|
Section 06 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2022-2023 Winter 1
| In Person
01/09/2023 - 03/17/2023 -
printer friendly page