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)

We argue that the later Wittgenstein’s philosophy of language and mathematics, substantially focused on rule-following, is relevant to understand and improve on the Artificial Intelligence (AI) alignment problem: his discussions on the categories that influence alignment between humans can inform about the categories that should be controlled to improve on the alignment problem when creating large data sets to be used by supervised and unsupervised learning algorithms, as well as when introducing hard coded guardrails for AI models. We cast these (...) considerations in a model of human–human and human–machine alignment and sketch basic alignment strategies based on these categories and further reflections on rule-following like the notion of meaning as use. To sustain the validity of these considerations, we also show that successful techniques employed by AI safety researchers to better align new AI systems with our human goals are congruent with the stipulations that we derive from the later Wittgenstein’s philosophy. However, their application may benefit from the added specificities and stipulations of our framework: it extends on the current efforts and provides further, specific AI alignment techniques. Thus, we argue that the categories of the model and the core alignment strategies presented in this work can inform further AI alignment techniques. (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)

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)