22. Foundations Programs
Foundations programs study different ways of explaining the nature, meaning, and justification of mathematics, and they ask what mathematics is about, what counts as a proof, and how mathematical knowledge should be organized. The chapter begins with logicism, which attempts to reduce mathematics to logic by showing that mathematical concepts and theorems can be derived from purely logical principles. Formalism is then introduced as the view that mathematics can be...