Stanford University Explore Courses

PHIL 150: Mathematical Logic (PHIL 250)

An introduction to the concepts and techniques used in mathematical logic, focusing on propositional, modal, and predicate logic. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields.

Terms: Aut | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

Instructors: Bassett, R. (PI) ; Apsel, L. (TA) ; Bible, M. (TA) ... more instructors for PHIL 150 »

Instructors: Bassett, R. (PI) ; Apsel, L. (TA) ; Bible, M. (TA) ; Forster, M. (TA) ; Ladabaum, I. (TA) ; Tilton, S. (TA)

2024-2025 Autumn

PHIL 150 | 4 units | UG Reqs: GER:DB-Math, WAY-FR | Class # 1986 | Section 01 | Grading: Letter or Credit/No Credit | LEC | Session: 2024-2025 Autumn 1 | In Person | Students enrolled: 98 / 100
09/23/2024 - 12/06/2024 Mon, Wed 1:30 PM - 2:50 PM at Shriram 104 with Bassett, R. (PI); Apsel, L. (TA); Bible, M. (TA); Forster, M. (TA); Ladabaum, I. (TA); Tilton, S. (TA)
Instructors: Bassett, R. (PI); Apsel, L. (TA); Bible, M. (TA); Forster, M. (TA); Ladabaum, I. (TA); Tilton, S. (TA)
Additional Resources: (Login to view additional resources)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 2426 | Section 02 | Grading: Letter or Credit/No Credit | DIS | Session: 2024-2025 Autumn 1 | In Person | Students enrolled: 16 / 20
- -
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 2427 | Section 03 | Grading: Letter or Credit/No Credit | DIS | Session: 2024-2025 Autumn 1 | In Person | Students enrolled: 6
- -
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 2471 | Section 04 | Grading: Letter or Credit/No Credit | DIS | Session: 2024-2025 Autumn 1 | In Person | Students enrolled: 6
09/23/2024 - 12/06/2024 Wed 3:00 PM - 5:50 PM at 50-51B with Bible, M. (TA)
Instructors: Bible, M. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 2559 | Section 05 | Grading: Letter or Credit/No Credit | DIS | Session: 2024-2025 Autumn 1 | In Person | Students enrolled: 6
09/23/2024 - 12/06/2024 Fri 12:30 PM - 3:20 PM at 90-92Q with Apsel, L. (TA)
Instructors: Apsel, L. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 32473 | Section 06 | Grading: Letter or Credit/No Credit | DIS | Session: 2024-2025 Autumn 1 | In Person
09/23/2024 - 12/06/2024 Tue 10:30 AM - 11:20 AM at 200-015 with Ladabaum, I. (TA)
Instructors: Ladabaum, I. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 32621 | Section 07 | Grading: Letter or Credit/No Credit | DIS | Session: 2024-2025 Autumn 1 | In Person
09/23/2024 - 12/06/2024 Thu 1:30 PM - 4:20 PM at Thornton 208 with Tilton, S. (TA)
Instructors: Tilton, S. (TA)

PHIL 162: Philosophy of Mathematics (PHIL 262)

Prerequisite: PHIL150 or consent of instructor. This is a general overview of the philosophy of mathematics, focusing on the nature of mathematical truth and knowledge, the metaphysics of mathematical objects, and issues arising from mathematical practice. Topics to be discussed will include logicism, intuitionism, formalism, Goedel's incompleteness theorem, platonism, nominalism, fictionalism, structuralism, the nature of mathematical rigor, the role of diagrams in mathematics, and mathematical beauty.

Last offered: Winter 2023 | UG Reqs: GER:DB-Math

PHIL 262: Philosophy of Mathematics (PHIL 162)

Last offered: Winter 2023

1 - 3 of 3 results for: PHIL150

PHIL 150: Mathematical Logic (PHIL 250)

2024-2025 Autumn

PHIL 162: Philosophy of Mathematics (PHIL 262)

PHIL 262: Philosophy of Mathematics (PHIL 162)