Results for PHIL150

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.

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.

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.