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)

Invoking a form of quantifier variance promises to let us explain mathematicians’ freedom to introduce new kinds of mathematical objects in a way that avoids some problems for standard platonist and nominalist views. In this paper I’ll note that, despite traditional associations between quantifier variance and Carnapian rejection of metaphysics, Siderian realists about metaphysics can naturally be quantifier variantists. Unfortunately a variant on the Quinean indispensability argument concerning grounding seems to pose a problem for philosophers who accept this hybrid. However (...) I will charitably reconstruct this problem and then argue for optimism about solving it. (shrink)

ABSTRACT This essay has three goals. The first is to introduce the notion of fundamentality and to argue that physicalism can usefully be conceived of as a thesis about fundamentality. The second is to argue for the advantages of fundamentality physicalism over modal formulations and that fundamentality physicalism is what many who endorse modal formulations of physicalism had in mind all along. Third, I describe what I take to be the main obstacle for a fundamentality-oriented formulation of physicalism: ‘the problem (...) of abstracta’, which asks how physical can accommodate phenomena such as mathematics and universals, and which modal formulations do not face. I canvas three solutions: the inapt for ground solution, the concrete restriction, and the contingency restriction. (shrink)

Many philosophers think all abstract objects are causally inert. Here, focusing on novels, I argue that some abstracta are causally efficacious. First, I defend a straightforward argument for this view. Second, I outline an account of object causation—an account of how objects cause effects. This account further supports the view that some abstracta are causally efficacious.

Non-naturalist normative realists face an epistemological objection: They must explain how their preferred route of justification ensures a non-accidental connection between justified moral beliefs and the normative truths. One strategy for meeting this challenge begins by pointing out that we are semantically or conceptually competent in our use of the normative terms, and then argues that this competence guarantees the non-accidental truth of some of our first-order normative beliefs. In this paper, I argue against this strategy by illustrating that this (...) competence based strategy undermines the non-naturalist’s ability to capture the robustly normative content of our moral beliefs. (shrink)

Penelope Maddy's original solution to the dilemma posed by Benacerraf in his 'Mathematical Truth' was to reconcile mathematical empiricism with mathematical realism by arguing that we can perceive realistically construed sets. Though her hypothesis has attracted considerable critical attention, much of it, in my view, misses the point. In this paper I vigorously defend Maddy's account against published criticisms, not because I think it is true, but because these criticisms have functioned to obscure a more fundamental issue that is well (...) worth addressing: in general -- and not only in the mathematical domain -- empiricism and realism simply cannot be reconciled by means of an account of perception anything like Maddy's. But because Maddy's account of perception is so plausible, this conclusion raises the specter of the broader incompatibility of realism and empiricism, which contemporary philosophers are frequently at pains to forget. (shrink)

Some philosophers are metaphilosophical deflationists for metasemantic reasons. These theorists take standard philosophical assertions to be defective in some manner. There are various versions of metasemantic metaphilosophical deflationism, but a trap awaits any global version of it: metasemantics itself is a part of philosophy, so in deflating philosophy these theorists have thereby deflated the foundation of their deflationism. The present article discusses this issue and the prospects for an adequate response to the trap. Contrary to most historical responses, the article (...) argues that the best response to the trap is to adopt a local but still pervasive metasemantic deflationism. Such a response might seem ad hoc, but the article argues that the human activity of philosophy isn't a natural kind, and that a heterogeneous metaphilosophy of the appropriate kind is well motivated. (shrink)

Heavy duty platonism is of great dialectical importance in the philosophy of mathematics. It is the view that physical magnitudes, such as mass and temperature, are cases of physical objects being related to numbers. Many theorists have assumed HDP’s falsity in order to reach their own conclusions, but they are only justified in doing so if there are good arguments against HDP. In this paper, I present all five arguments against HDP alluded to in the literature and show that they (...) all fail. In doing so, I establish two related truths: HDP has been unfairly ignored, and the arguments which take its falsity as a key premise should be re-assessed. (shrink)

In this paper, I argue that various disputes in ontology have important ramifications and so are worth taking seriously. I employ a criterion according to which whether a dispute matters depends on how integrated it is with the rest of our theoretical projects. Disputes that arise from previous tensions in our theorizing and have additional implications for other issues matter, while insular disputes do not. I apply this criterion in arguing that certain ontological disputes matter; specifically, the disputes over concrete (...) possible worlds and coincident material objects. Finally, I consider how one could show that some ontological disputes do not matter, using a Platonism/nominalism dispute as an example. (shrink)

In this paper, after clarifying certain features of Gideon Rosen’s Modal Fictionalism, I raise two problems for that view and argue that these problems strongly suggest that advocates of a “Deflationist Strategy” ought not to endorse, or adopt Rosen-style Modal Fictionalism.

Can there be objects that are ‘thin’ in the sense that very little is required for their existence? A number of philosophers have thought so. For instance, many Fregeans believe it suffices for the existence of directions that there be lines standing in the relation of parallelism; other philosophers believe it suffices for a mathematical theory to have a model that the theory be coherent. This article explains the appeal of thin objects, discusses the three most important strategies for articulating (...) and defending the idea of such objects, and outlines some problems that these strategies face. (shrink)

We discuss a recent attempt by Chris Daly and Simon Langford to do away with mathematical explanations of physical phenomena. Daly and Langford suggest that mathematics merely indexes parts of the physical world, and on this understanding of the role of mathematics in science, there is no need to countenance mathematical explanation of physical facts. We argue that their strategy is at best a sketch and only looks plausible in simple cases. We also draw attention to how frequently Daly and (...) Langford find themselves in conflict with mathematical and scientific practice. (shrink)

The main goal of this paper is to argue against Karl Rogers's attacks on realism in physics. Rogers argues that electrons do not exist independently of the relevant socio-technological process, but I show that such an assumption would make our best scientific theories incomprehensible. While the paper supports Rogers's attempts to refute positivism, it demonstrates that his own position is positivistic, and it corrects his overemphasis on the roles of technology and the experimenter. Rogers assumes that the founders of modern (...) science were simply mechanists, but I show how they were actually Platonic realists. Contrary to Rogers, realist faith in the fundamental unifying power of the laws of physics is shown to be reasonable, and any denial of this belief would imply that science is impossible. (shrink)

Gaskin's book The Unity of the Proposition is very rich in material. I will focus only on its central thesis: Gaskin holds that Bradley's regress (more precisely, one particular version of it) is not only innocent, but in fact philosophically significant because it plays a crucial role in solving what Gaskin calls the problem of the unity of the proposition . In what follows, I first explain what that problem is meant to be ( section 1 ), then I present (...) and criticise Gaskin's proposal about how Bradley's regress bears on the problem ( section 2 ), and finally I sketch an alternative approach to the problem ( section 3 ). (shrink)

Abstract: It is often assumed without argument that fictionalism in the philosophy of science contradicts scientific realism. This paper is a critical analysis of this assumption. The kind of fictionalism that is at present discussed in philosophy of science is characterised, and distinguished from fictionalism in other areas. A distinction is then drawn between forms of fictional representation, and two competing accounts of fiction in science are discussed. I then outline explicitly what I take to be the argument for the (...) incompatibility of scientific realism with fictionalism. I argue that some of its premises are unwarranted, and are moreover questionable from a fictionalist perspective. The conclusion is that fictionalism is neutral in the realism-antirealism debate, pulling neither in favour nor against scientific realism. (shrink)

Burgess and Rosen argue that Yablo’s figuralist account of mathematics fails because it says mathematical claims are really only metaphorical. They suggest Yablo’s view is implausible as an account of what mathematicians say and confused about literal language. I show their argument isn’t decisive, briefly exploring some questions in the philosophy of language it raises, and argue Yablo’s view may be amended to a kind of revolutionary fictionalism not refuted by Burgess and Rosen.

Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper I argue (...) that this is not so.I outline two contemporary philosophical accounts of mathematics thatpay a great deal of attention to the applicability of mathematics and showthat even these leave a large part of the puzzles in question unexplained. (shrink)

Mark Balaguer's Platonism and Anti-Platonism in Mathematics presents an intriguing new brand of platonism, which he calls plenitudinous platonism, or more colourfully, full-blooded platonism. In this paper, I argue that Balaguer's attempts to characterise full-blooded platonism fail. They are either too strong, with untoward consequences we all reject, or too weak, not providing a distinctive brand of platonism strong enough to do the work Balaguer requires of it.

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply (...) the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism. (shrink)

In ontological debates, realists typically argue for their view via one of two approaches. The _Quinean approach_ employs naturalistic arguments that say our scientific practices give us reason to affirm the existence of a kind of entity. The _Fregean approach_ employs linguistic arguments that say we should affirm the existence of a kind of entity because our discourse contains reference to those entities. These two approaches are often seen as distinct, with _indispensability arguments_ typically associated with the former, but not (...) the latter, approach. This paper argues for a connection between the two approaches on the grounds that the typical arguments of the Fregean approach can be reformulated as indispensability arguments. This connection is significant in at least two ways. First, it implies that indispensability arguments provide a common framework within which to compare the Quinean and Fregean approaches, which allows for a more precise delineation of the two approaches. Second, it implies the possibility of analogical relations that allow proponents and opponents of each approach to draw upon the ideas that have been developed regarding the other. (shrink)

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical descriptions (...) and so there is no such thing as a solely mathematical account of a target system. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

One of the most influential arguments for realism about mathematical objects is the indispensability argument. Simply put, this is the argument that insofar as we are committed to the existence of the physical objects existentially quantified over in our best scientific theories, we are also committed to the mathematical objects existentially quantified over in these theories. Following the Quine–Putnam formulation of the indispensability argument, some proponents of the indispensability argument have made the mistake of taking confirmational holism to be an (...) essential premise of the argument. In this paper, I consider the reasons philosophers have taken confirmational holism to be essential to the argument and argue that, contrary to the traditional view, confirmational holism is dispensable. (shrink)

This paper does two things. First, it argues for a metaphilosophical view of conceptual analysis questions; in particular, it argues that the facts that settle conceptual-analysis questions are facts about the linguistic intentions of ordinary folk. The second thing this paper does is argue that if this metaphilosophical view is correct, then experimental philosophy is a legitimate methodology to use in trying to answer conceptual-analysis questions.

How do axioms, or first principles, in ethics compare to those in mathematics? In this companion piece to G.C. Field's 1931 "On the Role of Definition in Ethics", I argue that there are similarities between the cases. However, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry.

In a calculation involving imaginary numbers, we begin with real numbers that represent concrete measures and we end up with numbers that are equally real, but in the course of the operation we find ourselves walking “as if on a bridge that stands on no piles”. How is that possible? How does that work? And what is involved in the as-if stance that this metaphor introduces so beautifully? These are questions that bother Törless deeply. And that Törless is bothered by (...) such questions is a central question for any reader of Törless. Here I offer my interpretation, along with a reconstruction of the philosophical intuition that lies behind it all. (shrink)

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field theories. I note (...) in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

I begin by outlining Du Châtelet’s ontology of mathematical objects: she is an idealist, and mathematical objects are fictions dependent on acts of abstraction. Next, I consider how this idealism can be reconciled with her endorsement of necessary truths in mathematics, which are grounded in essences that we do not create. Finally, I discuss how mathematics and physics relate within Du Châtelet’s idealism. Because the primary objects of physics are partly grounded in the same kinds of acts as yield mathematical (...) objects, she thinks we are sometimes licensed in drawing conclusions about physical things from mathematical premises. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

A traditional problem of ethics in mathematics is the denial of social responsibility. Pure mathematics is viewed as neutral and value free, and therefore free of ethical responsibility. Applications of mathematics are seen as employing a neutral set of tools which, of themselves, are free from social responsibility. However, mathematicians are convinced they know what constitutes good mathematics. Furthermore many pure mathematicians are committed to purism, the ideology that values purity above applications in mathematics, and some historical reasons for this (...) are discussed. MacIntyre’s virtue ethics accommodates both the good mathematician and the ethics of the social practice of mathematics. It demonstrates that purism is compatible with acknowledging the social responsibility of mathematics. Four aspects of this responsibility are mentioned, two concerning the impact of mathematics via education, and two concerning explicit and implicit applications of mathematics. The last of these opens up the performativity of mathematical and measurement applications in society, which change the very processes they are supposed to measure. Although these applications are not explored in detail, they illustrate the importance of considering the ethics and social responsibility of mathematics in society. MacIntyre’s virtue theory opens a broad approach to the controversial topic of the ethics of mathematics encompassing purism, and absolutist and social constructivist philosophies of mathematics, but still enabling ethical critiques of the impact of mathematics on society. (shrink)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

Perceptual experiences provide an important source of information about the world. It is clear that having the capacity of undergoing such experiences yields an evolutionary advantage. But why should humans have developed not only the ability of simply seeing, but also of seeing that something is thus and so? In this paper, I explore the significance of distinguishing perception from conception for the development of the kind of minds that creatures such as humans typically have. As will become clear, it (...) is crucial to pay careful attention to the different kinds of information that are involved in perceiving and conceiving (including the way such information is gathered and transmitted). By identifying such kinds of information and the role they play, we can then understand an important feature of why creatures like us have the kind of consciousness and mental processes we do. (shrink)

This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these theories is also varied. (...) Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)

The late Imre Lakatos once hoped to found a school of dialectical philosophy of mathematics. The aim of this paper is to ask what that might possibly mean. But Lakatos's philosophy has serious shortcomings. The paper elaborates a conception of dialectical philosophy of mathematics that repairs these defects and considers the work of three philosophers who in some measure fit the description: Yehuda Rav, Mary Leng and David Corfield.

During the first half of the twentieth century, mainstream answers to the foundational crisis, mainly triggered by Russell and Gödel, remained largely perfectibilist in nature. Along with a general naturalist wave in the philosophy of science, during the second half of that century, this idealist picture was finally challenged and traded in for more realist ones. Next to the necessary preliminaries, the present paper proposes a structured view of various philosophical accounts of mathematics indebted to this general idea, laying the (...) ground for a desirable integration of their strenghts. (shrink)

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

The author of “Evidence, Explanation, Enhanced Indispensability” advances a criticism to the Enhanced Indispensability Argument and the use of Inference to the Best Explanation in order to draw ontological conclusions from mathematical explanations in science. His argument relies on the availability of equivalent though competing explanations, and a pluralist stance on explanation. I discuss whether pluralism emerges as a stable position, and focus here on two main points: whether cases of equivalent explanations have been actually offered, and which ontological consequences (...) should follow from these. (shrink)

According to the indispensability argument, scientific realists ought to believe in the existence of mathematical entities, due to their indispensable role in theorising. Arguably the crucial sense of indispensability can be understood in terms of the contribution that mathematics sometimes makes to the super-empirical virtues of a theory. Moreover, the way in which the scientific realist values such virtues, in general, and draws on explanatory virtues, in particular, ought to make the realist ontologically committed to abstracta. This paper shows that (...) this version of the indispensability argument glosses over crucial detail about how the scientific realist attempts to generate justificatory commitment to unobservables. The kind of role that the Platonist attributes to mathematics in scientific reasoning is compatible with nominalism, as far as scientific realist arguments are concerned. (shrink)

Mark Balaguer ha elaborado una peculiar variante del platonismo matemático –denominada ‘full-blooded platonism’ o ‘FBP’– para solucionar el problema de Benacerraf sobre la inaccesibilidad de las entidades abstractas. Según FBP, todos los objetos matemáticos consistentemente caracterizables existen, aunque de modo contingente. En este trabajo quisiera mostrar que la plenitud ontológica y la contingencia modal no pueden converger en una teoría de objetos matemáticos filosóficamente respetable. Para esto argumento que FBP no cubre algunos factores elementales de confiabilidad epistémica y que envuelve (...) un criterio de plenitud tanto matemática como metafísicamente implausible. (shrink)

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 is a discussion of Gödel's arguments for a Platonistic conception of mathematical objects. I review the arguments that Gödel offers in different papers, and compare them to unpublished material (from Gödel's Nachlass). My claim is that Gödel's later arguments simply intend to establish that mathematical knowledge cannot be accounted for by a reflexive analysis of our mental acts. In other words, there is at the basis of mathematics some data whose constitution cannot be explained by introspective analysis. This (...) does not mean that mathematics is independent of the human mind, but only that it is independent of our ?conscious acts and decisions?, to use Gödel's own words. Mathematical objects may then have been created by the human mind, but if so, the process of creation cannot be completely analysed and re-enacted. Such a thesis is weaker than some of the statements that Gödel made about his conceptual realism. However, there is evidence that Gödel seriously considered this weak thesis, or a position depending only on this weak thesis. He also criticized Husserl's Phenomenology from this point of view. (shrink)