2020-2021 2021-2022 2022-2023 2023-2024 2024-2025
Browse
by subject...
    Schedule
view...
 

1 - 3 of 3 results for: PHIL150

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

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)

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
Filter Results:
term offered
updating results...
teaching presence
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints