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)

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)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have adopted (...) a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

This article discusses some reasons for taking a reconstructive approach to the argumentative structure of Leibniz’s metaphysics. One reason is the fragmentary nature of the countless notes and letters that constitute by far the largest part of Leibniz‘s philosophical output. Another reason is that conjecturing how the many isolated arguments proposed by Leibniz fit into a large-scale argumentative structure could yield insights into how Leibniz made use of the method of intuition – both in his analysis of mind and in (...) his analysis of matter. Contemporary critics have objected that the method of intuition leads to philosophical conservatism, arbitrary choices between conflicting intuitions, and a preoccupation with psychological facts rather than with reality. By contrast, reconstructing the methodology behind Leibniz’s metaphysics could indicate how intuitions could be used in a way that sidesteps these problems. Leibniz gives priority to intuitions concerning the structure of mental operations over intuitions concerning the structure of material objects; this is why intuitions concerning the structure of material objects can be replaced by innovative philosophical theories; these theories, however, make use of metaphysical concepts implied by the analysis of mind and, thereby, can capture facts both about psychology and about the structure of extra-mental reality. (shrink)