Abstract

Three theses are gleaned from Wittgenstein’s writing. First, extra-mathematical uses of mathematical expressions are not referential uses. Second, the senses of the expressions of pure mathematics are to be found in their uses outside of mathematics. Third, mathematical truth is fixed by mathematical proof. These theses are defended. The philosophy of mathematics defined by the three theses is compared with realism, nominalism, and formalism.