## 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:
Icard, T. (PI)
;
Apsel, L. (TA)
;
Bassett, R. (TA)
;
Thobani, I. (TA)
;
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)

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: