The conditions involved in the applicability of mathematics in science are the subject of ongoing debates. One of the best‐received approaches is the inferential account, which involves structural mappings and pragmatic considerations in a three‐step model. According to the inferential account, these pragmatic considerations happen in the immersion and interpretation stages, but not during derivation (symbol‐pushing in a mathematical formalism). In this work, I draw inspiration from the later Wittgenstein and make the case that the applicability of mathematics also rests (...) on pragmatic considerations at the mathematical derivation level. I make the further case that pragmatic considerations at the mathematical derivation level may substitute pragmatic considerations in the other two stages, thus showing how they are holistically interrelated. I illustrate these two points with the solution of a simple geometrical problem. (shrink)

This paper defends a reading of Wittgenstein’s philosophy of mathematics in the Lectures on the Foundation of Mathematics as a radical conventionalist one, whereby our agreement about the particular case is constitutive of our mathematical practice and ‘the logical necessity of any statement is a direct expression of a convention’ (Dummett 1959, p. 329). -/- On this view, mathematical truths are conceptual truths and our practices determine directly for each mathematical proposition individually whether it is true or false. Mathematical truths (...) are thus not consequences of a prior adoption of a convention or rules as orthodox conventionalism has it. -/- The goal of the paper is not merely exegetical, however, and argues that radical conventionalism can withstand some of the most difficult objections that have been brought forward against it, including those of Dummett himself, and thus that radical conventionalism has been prematurely excluded from consideration by philosophers of mathematics. (shrink)

The central idea of Lakatos’ quasi-empiricism view of the philosophy of mathematics is that truth values are transmitted bottom-up, but only falsity can be transmitted from basic statements. As it is falsity but not truth that flows bottom-up, Lakatos emphasizes that observation and induction play no role in both conjecturing and proving phases in mathematics. In this paper, I argue that Lakatos’ view that one cannot obtain primitive conjectures by induction contradicts the history of mathematics, and therefore undermines his quasi-empiricism (...) theory. I argue that his misconception of induction causes this view of Lakatos. Finally, I propose that Wittgenstein’s view that “mathematics does have a grammatical nature, but it is also rooted in empirical regularities” suggests the possibility to improve Lakatos’ view by maintaining his quasi-empiricism while accepting the role induction plays in the conjecturing phase. (shrink)

Epistemologists have developed a diverse group of theories, known as hinge epistemology, about our epistemic practices that resort to and expand on Wittgenstein's concept of ‘hinges’ in On Certainty. Within hinge epistemology there is a debate over the epistemic status of hinges. Some hold that hinges are non-epistemic (neither known, justified, nor warranted), while others contend that they are epistemic. Philosophers on both sides of the debate have often connected this discussion to Wittgenstein's later views on mathematics. Others have directly (...) questioned whether there are mathematical hinges, and if so, these would be axioms. Here, we give a hinge epistemology account for mathematical practices based on their contextual dynamics. We argue that 1) there are indeed mathematical hinges (and they are not axioms necessarily), and 2) a given mathematical entity can be used contextually as an epistemic hinge, a non-epistemic hinge, or a non-hinge. We sustain our arguments exegetically and empirically. (shrink)

This paper has two aims. First, we argue that Wittgenstein’s notion of petrification can be used to explain phenomena in advanced mathematics, sometimes better than more popular views on mathematics, such as formalism, even though petrification usually suffers from a diet of examples of a very basic nature (in particular a focus on addition of small numbers). Second, we analyse current disagreements on the absolute undecidability of CH under the notion of petrification and hinge epistemology. We argue that in contemporary (...) set theory the usage of construction techniques for set-theoretic models in which the Continuum Hypothesis holds and those in which it fails have petrified into the normative demand that CH remain undecidable. That is, the continuous and successful practices involving the construction of various set-theoretic models now act as a normative hinge shared among practitioners, i.e., have normative force in the discipline. However, not all hinges are universal, which is why we find disagreements in set theory. We will show that this is a refinement of, and partially conflicts with, the arguments presented by set theorist Joel David Hamkins. (shrink)

On the one hand, I show that the later Wittgenstein's practice-based approach to meaning, including the idea that the meaningfulness of mathematics ultimately is rooted in the everyday ‘applications’ it emerged from, as well as his insistence on the variability in and contingency of mathematical and mathematics-like practices, foreshadows more recent work in Philosophy of Mathematical Practice (PMP), although Wittgenstein's approach was more radically practice-based than what is prevalent in present-day PMP. On the other hand, I also show that Wittgenstein's (...) work on mathematics is driven by a pervasive critical attitude towards some key characteristics (monism, foundationalism and exceptionalism) of mainstream philosophical discourse about mathematics (then and now), which is mostly absent from present-day PMP, and I argue that this aspect of Wittgenstein's work on mathematics could inspire present-day practitioners of PMP to rethink the identity of their discipline. (shrink)

This paper revisits Wittgenstein’s heavily criticized claims about the admissibility of inconsistencies in mathematics. It argues from the perspective of mathematics as a tool and combines material from the history and practice of engineering that makes Wittgenstein’s claims about contradiction and inconsistency look much more plausible. Against this background, the paper interprets passages from Wittgenstein, including his exchange with Alan Turing where he highlights that basic laws of thought are at issue and that reflecting on them would be “the most (...) important thing” he has talked about. (shrink)