Realism and the point at infinity: The end of the line?

Abstract

Philosophers of mathematics often rely on the historical progress of mathematics in support of mathematical realism. These histories typically build on formal semantic tools to evaluate the changes in mathematics, and on these bases present later mathematical concepts as refined versions of earlier concepts which are taken to be vague. Claiming that this view does not apply to mathematical concepts in general, we present a case-study concerning projective geometry, for which we apply the tools of cognitive linguistics to analyse the developmental trajectory of the domain. On the basis of this analysis, we argue for the existence of two conceptually incompatible inferential structures, occurring at distinct moments in history, both of which yield the same projective geometric theorems; the first invoked by the French mathematicians Girard Desargues (1591–1661) and Jean-Victor Poncelet (1788–1867), and the second characterising a specific modern mode. We demonstrate that neither of these inferential structures can be considered as a refinement of the other. This case of conceptual development presents an issue to the standard account of progress and its bearing on mathematical realism. Our analysis suggests that the features that distinguish the underlying conceptually incompatible inferential structures are invisible to the standard application of the tools of formal semantics. Thus this case-study stands as an example of the manner and necessity of linguistics—specifically cognitive linguistics—to inform the philosophy of mathematics.