Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

In response to Hirsch's deflationary arguments, Sider attempts to introduce a special Ontologese quantifier to preserve the substantivity of fundamental debates in metaphysics. He claims that this strategy can be effected by two distinct means, one of which is a list of instructions for metaphysicians, which he argues suffice to give the new quantifier a meaning that carves nature at the joints. I argue that these instructions will not allow someone to start speaking Ontologese if their prior language is sufficiently (...) deviant with respect to it, and that natural languages may be in just such a position. (shrink)

European Journal of Philosophy, Volume 30, Issue 2, Page 578-600, June 2022.

Gödel argued that the incompleteness theorems entail that the mind is not a machine, or that certain arithmetical propositions are absolutely undecidable. His view was that the mind is not a machine, and that no arithmetical propositions are absolutely undecidable. I argue that his position presupposes that the idealized mathematician has an ability which I call the recursive-ordinal recognition ability. I show that we have this ability if, and only if, there are no absolutely undecidable arithmetical propositions. I argue that (...) there are such propositions, but that no recognizable example of one can be identified, even in principle. (shrink)

The Euclidean Programme embodies a traditional sort of epistemological foundationalism, according to which knowledge – especially mathematical knowledge – is obtained by deduction from self-evident axioms or first principles. Epistemologists have examined foundationalism extensively, but neglected its historically dominant Euclidean form. By contrast, this book offers a detailed examination of Euclidean foundationalism, which, following Lakatos, the authors call the Euclidean Programme. The book rationally reconstructs the programme's key principles, showing it to be an epistemological interpretation of the axiomatic method. It (...) then compares the reconstructed programme with select historical sources: Euclid's Elements, Aristotle's Posterior Analytics, Descartes's Discourse on Method, Pascal's On the Geometric Mind and a twentieth-century account of axiomatisation. The second half of the book philosophically assesses the programme, exploring whether various areas of contemporary mathematics conform to it. The book concludes by outlining a replacement for the Euclidean Programme. (shrink)