Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal philosophies of mathematics are each based upon an insight or truth about the nature of mathematics that can be validated. (1) includes the multiverse approach to set theory. (2) helps us to understand (...) the significance of the distinguished non‐logical individual and relation terms of even inconsistent theories. (3) is a metaphilosophical form of mathematical pluralism and hasn't been discussed in the literature. In what follows, I show how the analysis of theoretical mathematics in object theory exhibits all three forms of mathematical pluralism. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

A thriving literature has developed over logical and mathematical pluralism – i.e. the views that several rival logical and mathematical theories can be equally correct. These have unfortunately grown separate; instead, they both could gain a great deal by a closer interaction. Our aim is thus to present some novel forms of abstractionist mathematical pluralism which can be modeled on parallel ways of substantiating logical pluralism (also in connection with logical anti-exceptionalism). To do this, we start by discussing the Good (...) Company Problem for neo-logicists recently raised by Paolo Mancosu (2016), concerning the existence of rival abstractive definitions of cardinal number which are nonetheless equally able to reconstruct Peano Arithmetic. We survey Mancosu’s envisaged possible replies to this predicament, and suggest as a further path the adoption of some form of mathematical pluralism concerning abstraction principles. We then explore three possible ways of substantiating such pluralism—Conceptual Pluralism,Domain Pluralism,Pluralism about Criteria—showing how each of them can be related to analogous proposals in the philosophy of logic. We conclude by considering advantages, concerns, and theoretical ramifications for these varieties of mathematical pluralism. (shrink)

Mathematical platonism is the view that abstract mathematical objects exist. Ontological pluralism is the view that there are many modes of existence. This paper examines the prospects for...

The platonism/nominalism debate in the philosophy of mathematics concerns the question whether numbers and other mathematical objects exist. Platonists believe the answer to be in the positive, nominalists in the negative. According to non-factualists, the question is ‘moot’, in the sense that it lacks a correct answer. Elaborating on ideas from Stephen Yablo, this article articulates a non-factualist position in the philosophy of mathematics and shows how the case for non-factualism entails that standard arguments for rival positions fail. In particular, (...) showing how and why non-factualists reject nominalism illuminates the originality and interest of their position. (shrink)

This paper proposes and partially defends a novel philosophy of arithmetic—finitary upper logicism. According to it, the natural numbers are finite cardinalities—conceived of as properties of properties—and arithmetic is nothing but higher-order modal logic. Finitary upper logicism is furthermore essentially committed to the logicality of finitary plenitude, the principle according to which every finite cardinality could have been instantiated. Among other things, it is proved in the paper that second-order Peano arithmetic is interpretable, on the basis of the finite cardinalities’ (...) conception of the natural numbers, in a weak modal type theory consisting of the modal logic $\mathsf {K}$, negative free quantified logic, a contingentist-friendly comprehension principle, and finitary plenitude. By replacing finitary plenitude for the axiom of infinity this result constitutes a significant improvement on Russell and Whitehead’s interpretation of second-order Peano arithmetic, itself based on the finite cardinalities’ conception of the natural numbers. (shrink)

Husserl’s philosophy of mathematics, his metatheory, and his transcendental phenomenology have a sophisticated and systematic interrelation that remains relevant for questions of ontology today. It is well established that Husserl anticipated many aspects of model theory. I focus on this aspect of Husserl’s philosophy in order to argue that Thomasson’s recent pleonastic reconstruction of Husserl’s approach to essences is incompatible with Husserl’s philosophy as a whole. According to the pleonastic approach, Husserl can appeal to essences in the absence of a (...) positive metaphysical account of their nature. I show, using central results from recent model theory, that the pleonastic approach undermines Husserl’s approach to formalization and categoricity, an effect that will ripple out from Husserl’s philosophy of mathematics into Husserl’s metatheory and transcendental phenomenology. The result is that Husserl cannot appeal to formal essences without metaphysical commitments. However, the very observations Thomasson makes about the nature of eidetic intuition in Husserl lead to a general strategy for responding to the problem. The article thus illustrates that the pleonastic and the model-theoretic routes for making Husserl relevant to present-day ontology are competing approaches, but I conclude that Husserl scholars seeking to set Husserl’s present-day relevance into sharp relief could do worse than to emphasize the model-theoretic nature of Husserl’s enterprise. (shrink)

Mathematical platonism is the view that abstract mathematical objects exist. Ontological pluralism is the view that there are many modes of existence. This paper examines the prospects for plural platonism, the view that results from combining mathematical platonism and ontological pluralism. I will argue that some forms of platonism are in harmony with ontological pluralism, while other forms of platonism are in tension with it. This shows that there are some interesting connections between the platonism–antiplatonism dispute and recent debates over (...) ontological pluralism. (shrink)

Most philosophers take Benacerraf’s argument in ‘What numbers could not be’ to rebut successfully the reductionist view that numbers are sets. This philosophical consensus jars with mathematical practice, in which reductionism continues to thrive. In this note, we develop a new challenge to Benacerraf’s argument by contesting a central premise which is almost unanimously accepted in the literature. Namely, we argue that — contra orthodoxy — there are metaphysically relevant reasons to prefer von Neumann ordinals over other set-theoretic reductions of (...) arithmetic. In doing so, we provide set-theoretical facts which, we believe, are crucial for informed assessment of reductionism. (shrink)