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
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
| Students enrolled: 39 / 70
01/03/2022 - 03/11/2022 Tue, Thu 4:00 PM - 6:00 PM at 370-370 with Icard, T. (PI); Bassett, R. (TA); Harding, J. (TA); Thompson, D. (TA)
Exam Date/Time: 2022-03-17 7:00pm - 10:00pm (Exam Schedule)
Instructors: Icard, T. (PI); Bassett, R. (TA); Harding, J. (TA); Thompson, D. (TA)
Notes: Grad. students enroll in 251. Class meets 4:10-5:30pm.
Additional Resources:
(Login to view additional resources)
-
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
| Students enrolled: 5
01/03/2022 - 03/11/2022 Fri 9:45 AM - 10:45 AM at Littlefield 104 with Harding, J. (TA)
Instructors: Harding, J. (TA)
-
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
| Students enrolled: 1
01/03/2022 - 03/11/2022 -
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
35508
|
Section 04 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2021-2022 Winter 1
| In Person
01/03/2022 - 03/11/2022 Fri 11:00 AM - 12:00 PM at Littlefield 104 with Harding, J. (TA)
Instructors: Harding, J. (TA)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
35509
|
Section 05 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2021-2022 Winter 1
| In Person
01/03/2022 - 03/11/2022 Fri 12:15 PM - 1:15 PM at Littlefield 104 with Harding, J. (TA)
Instructors: Harding, J. (TA)
-
PHIL 151 |
UG Reqs: GER:DB-Math, WAY-FR |
Class #
35511
|
Section 06 |
Grading: Letter or Credit/No Credit |
DIS |
Session: 2021-2022 Winter 1
| In Person
01/03/2022 - 03/11/2022 Thu 2:45 PM - 3:45 PM at Thornt209 with Thompson, D. (TA)
Instructors: Thompson, D. (TA)