Showing Mathematical Flies the Way Out of Foundational Bottles: The Later Wittgenstein as a Forerunner of Lakatos and the Philosophy of Mathematical Practice

This work explores the later Wittgenstein’s philosophy of mathematics in relation to Lakatos’ philosophy of mathematics and the philosophy of mathematical practice. I argue that, while the philosophy of mathematical practice typically identifies Lakatos as its earliest of predecessors, the later Wittgenstein already developed key ideas for this community a few decades before. However, for a variety of reasons, most of this work on philosophy of mathematics has gone relatively unnoticed. Some of these ideas and their significance as precursors for the philosophy of mathematical practice will be presented here, including a brief reconstruction of Lakatos’ considerations on Euler’s conjecture for polyhedra from the lens of late Wittgensteinian philosophy. Overall, this article aims to challenge the received view of the history of the philosophy of mathematical practice and inspire further work in this community drawing from Wittgenstein’s late philosophy.

The Quasi-Empirical Epistemology of Mathematics

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that (1) Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; (2) what can be called the quasi-empirical epistemology of mathematics is not correct; (3) analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a pluralist view of mathematics.

Purifying applied mathematics and applying pure mathematics: how a late Wittgensteinian perspective sheds light onto the dichotomy

In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are tied to different communities, which endorse different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake.

Quasi-Empirical Fictionalism as an Approach to the Philosophy of Geometry

<p>The central claim of this thesis is that geometry is a quasi-empirical science based on the idealisation of the elementary physical operations that we actually perform with pen and paper. This conclusion is arrived at after searching for a theory of geometry that will not only explain the epistemology and ontology of mathematics, but will also fit with the best practices of working mathematicians and, more importantly, explain why geometry gives us knowledge that is relevant to physical reality. We will be considering all the major schools of thought in the philosophy of mathematics. Firstly, from the epistemological side, we will consider apriorism, empiricism and quasi-empiricism, finding a Kitcherian style of quasi-empiricism to be the most attractive. Then, from the ontological side, we will consider Platonism, formalism, Kitcherian ontology, and fictionalism. Our conclusion will be to take a Kitcherian epistemology and a fictionalist ontology. This will give us a kind of quasiempirical-fictionalist approach to mathematics. The key feature of Kitcher's thesis is that he placed importance on the operations rather than the entities of arithmetic. However, because he only dealt with arithmetic, we are left with the task of developing a theory of geometry along Kitcherian lines. I will present a theory of geometry that parallels Kitcher's theory of arithmetic using the drawing of straight lines as the most primitive operation. We will thereby develop a theory of geometry that is founded upon our operations of drawing lines. Because this theory is based on our line drawing operations carried out in physical reality, and is the idealisation of those activities, we will have a connection between mathematical geometry and physical reality that explains the predictive power of geometry in the real world. Where Kitcher uses the Peano postulates to develop his theory of arithmetic, I will use the postulates of projective geometry to form the foundations of operational geometry. The reason for choosing projective geometry is due to the fact that by taking it as the foundation, we may apply Klein's Erlanger programme and build a theory of geometry that encompasses Euclidean, hyperbolic and elliptic geometries. The final question we will consider is the problem of conventionalism. We will discover that investigations into conventionalism give us further reason to accept the Kitcherian quasi-empirical-fictionalist approach as the most appealing philosophy of geometry available.</p>

Quasi-Empirical Fictionalism as an Approach to the Philosophy of Geometry

<p>The central claim of this thesis is that geometry is a quasi-empirical science based on the idealisation of the elementary physical operations that we actually perform with pen and paper. This conclusion is arrived at after searching for a theory of geometry that will not only explain the epistemology and ontology of mathematics, but will also fit with the best practices of working mathematicians and, more importantly, explain why geometry gives us knowledge that is relevant to physical reality. We will be considering all the major schools of thought in the philosophy of mathematics. Firstly, from the epistemological side, we will consider apriorism, empiricism and quasi-empiricism, finding a Kitcherian style of quasi-empiricism to be the most attractive. Then, from the ontological side, we will consider Platonism, formalism, Kitcherian ontology, and fictionalism. Our conclusion will be to take a Kitcherian epistemology and a fictionalist ontology. This will give us a kind of quasiempirical-fictionalist approach to mathematics. The key feature of Kitcher's thesis is that he placed importance on the operations rather than the entities of arithmetic. However, because he only dealt with arithmetic, we are left with the task of developing a theory of geometry along Kitcherian lines. I will present a theory of geometry that parallels Kitcher's theory of arithmetic using the drawing of straight lines as the most primitive operation. We will thereby develop a theory of geometry that is founded upon our operations of drawing lines. Because this theory is based on our line drawing operations carried out in physical reality, and is the idealisation of those activities, we will have a connection between mathematical geometry and physical reality that explains the predictive power of geometry in the real world. Where Kitcher uses the Peano postulates to develop his theory of arithmetic, I will use the postulates of projective geometry to form the foundations of operational geometry. The reason for choosing projective geometry is due to the fact that by taking it as the foundation, we may apply Klein's Erlanger programme and build a theory of geometry that encompasses Euclidean, hyperbolic and elliptic geometries. The final question we will consider is the problem of conventionalism. We will discover that investigations into conventionalism give us further reason to accept the Kitcherian quasi-empirical-fictionalist approach as the most appealing philosophy of geometry available.</p>

Three Roles of Empirical Information in Philosophy: Intuitions on Mathematics do Not Come for Free

This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards its use by philosophers. We present several examples from philosophy of mind/science and ethics on one side and a case study from philosophy of mathematics on the other. We argue that empirically informed philosophy of mathematics is different from the rest in a way that encourages a Freeway explorer approach, because intuitions about mathematical objects are often unavailable for non-mathematicians (since they are sometimes hard to grasp even for mathematicians). This consideration is supported by a case study in set theory.

Kant's Mathematical World

Kant's Mathematical World aims to transform our understanding of Kant's philosophy of mathematics and his account of the mathematical character of the world. Daniel Sutherland reconstructs Kant's project of explaining both mathematical cognition and our cognition of the world in terms of our most basic cognitive capacities. He situates Kant in a long mathematical tradition with roots in Euclid's Elements, and thereby recovers the very different way of thinking about mathematics which existed prior to its 'arithmetization' in the nineteenth century. He shows that Kant thought of mathematics as a science of magnitudes and their measurement, and all objects of experience as extensive magnitudes whose real properties have intensive magnitudes, thus tying mathematics directly to the world. His book will appeal to anyone interested in Kant's critical philosophy -- either his account of the world of experience, or his philosophy of mathematics, or how the two inform each other.