This paper addresses John Burgess's answer to the ‘Benacerraf Problem’: How could we come justifiably to believe anything implying that there are numbers, given that it does not make sense to ascribe location or causal powers to numbers? Burgess responds that we should look at how mathematicians come to accept: There are prime numbers greater than 1010 That, according to Burgess, is how one can come justifiably to believe something implying that there are numbers. This paper investigates what lies behind (...) Burgess's answer and ends up as a rebuttal to Burgess's reasoning. (shrink)

The paper proposes to amend structuralism in mathematics by saying what places in a structure and thus mathematical objects are. They are the objects of the canonical system realizing a categorical structure, where that canonical system is a minimal system in a specific essentialistic sense. It would thus be a basic ontological axiom that such a canonical system always exists. This way of conceiving mathematical objects is underscored by a defense of an essentialistic version of (...) Leibniz’ principle according to which each object is uniquely characterized by its proper and possibly relational essence (where “proper” means “not referring to identity"). (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted _aussonderung_ but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for "low" sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set (...) constructed; so no set of _all_ ordinals is obtained thereby. This "recurrence problem" is discussed. (shrink)

The existence of mathematical objects may be explained in terms of their occurrence in problems. Especially interesting problems arise at the overlap of domains, and the items that intervene in them are hybrids sharing the characteristics of both domains in an ambiguous way. Euclid's geometry, and Leibniz' work at the intersection of geometry, algebra and mechanics in the late seventeenth century, provide instructive examples of such problems and items. The complex and yet still formal unity of these (...) items calls into question certain tenets of Resnik's structuralism, and of the reductive projects of the logicists. (shrink)

In this paper I examine a strategy which aims to bypass the technicalities of the indispensability debate and to offer a direct route to nominalism. The starting-point for this alternative nominalist strategy is the claim that--according to the platonist picture--the existence of mathematical objects makes no difference to the concrete, physical world. My principal goal is to show that the 'Makes No Difference' (MND) Argument does not succeed in undermining platonism. The basic reason why not is that (...) the makes-no-difference claim which the argument is based on is problematic. Arguments both for and against this claim can be found in the literature; I examine three such arguments, uncovering flaws in each one. In the second half of the paper, I take a more direct approach and present an analysis of the counterfactual which underpins the makes-no-difference claim. What this analysis reveals is that indispensability considerations are in fact crucial to the proper evaluation of the MND Argument, contrary to the claims of its supporters. (shrink)

Charles Parsons examines the notion of object, with the aim to navigate between nominalism, denying that distinctively mathematical objects exist, and forms of Platonism that postulate a transcendent realm of such objects. He introduces the central mathematical notion of structure and defends a version of the structuralist view of mathematical objects, according to which their existence is relative to a structure and they have no more of a 'nature' than that confers on them. (...) Parsons also analyzes the concept of intuition and presents a conception of it distantly inspired by that of Kant, which describes a basic kind of access to abstract objects and an element of a first conception of the infinite. (shrink)

Jody Azzouni argues that whilst it is indeterminate what the criteria for existence are, there is a criterion that has been collectively adopted to use ‘exist’ that we can employ to argue for positions in ontology. I raise and defend a novel objection to Azzouni: his view has the counterintuitive consequence that the facts regarding what exists can and will change when users of the word ‘exist’ change what criteria they associate with its usage. Considering three responses, I argue (...) Azzouni has best reason to take one that ultimately renders unsuccessful his arguments against mathematical abstracta. (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)

Contemporary philosophers of mathematics are deadlocked between two alternative ontologies for numbers: Platonism and nominalism. According to contemporary mathematical Platonism, numbers are real abstract objects, i.e. particulars which are nonetheless “wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal.” While this view does justice to intuitions about numbers and mathematical semantics, it leaves unclear how we could ever learn anything by mathematical inquiry. Mathematical nominalism, by contrast, holds that numbers do not exist extra-mentally, which raises difficulties about (...) how mathematical statements could be true or false. Both theories, moreover, leave inexplicable how mathematics could have such a close relationship with natural science, since neither abstract nor mental objects can influence concrete physical objects. The Thomist understanding of quantity as an accident inhering in concrete substances breaks this deadlock by granting numbers a foundation in extra-mental reality which explains why numeric expressions are relevant in natural science and how we come to know the truth or falsity of mathematical statements. Further, this kind of moderate realism captures the semantic advantages of the Platonists and the ontological parsimony of the nominalists (since for Thomists quantity is not a separate, free-standing ontological addition). Despite these advantages, the Thomistic understanding of number has been out of favor since the work of Cantor, who argued that actual infinities (regarded by Aristotelians as impossible) are required for modern developments in mathematics. This paper frees philosophers of mathematics to embrace the advantages of Thomistic realism by showing that Cantor’s understanding of actual and potential infinity is not the same as Aquinas’s, and that potential infinities (in Aquinas and Aristotle’s sense) can do all the work Cantor claims for actual infinities in modern mathematics. (shrink)

This ninth volume in the Library of Exact Philosophy series is a development of the author’s 1971 McGill University dissertation written under the guidance of Mario Bunge. The thesis of the book is that the objectivity of mathematics does not require that there be any mathematical objects. The objectivity of mathematics is the widespread agreement among working mathematicians on what is provable, i.e., on what entailments hold between mathematical constructs. Castonguay gives precise definitions of several terms; but, (...) unfortunately, "construct" is not one of them. He has set himself the task of arguing that we can account for community recognition and acceptance of proofs without assuming that working mathematicians have had to inspect some special mathematical objects to verify that things are in the mathematical realm as they are said to be in the proved propositions. He does concede that many mathematicians, for heuristic reasons, may need to speak as if there were a mind-independent mathematical realm. (shrink)

This paper focuses on an argument against the existence of mathematical objects called the “Makes No Difference Argument” (MND). Roughly, MND claims that whether or not mathematical objects exist makes no difference, and that therefore, we have no reason to believe in them. The paper analyzes four different versions of MND for their merits. It concludes that the defender of the existence of mathematical objects (the mathematical Platonist) does have some retorts (...) to the first three versions of MND, but that no adequate reply is possible to the fourth, and most crucial, version of MND. That version argues that mathematical objects make no difference to our epistemic processes: they play no role in the process of obtaining mathematical knowledge. (shrink)

This paper addresses John Burgess's answer to the ‘Benacerraf Problem’: How could we come justifiably to believe anything implying that there are numbers, given that it does not make sense to ascribe location or causal powers to numbers? Burgess responds that we should look at how mathematicians come to accept: There are prime numbers greater than 1010That, according to Burgess, is how one can come justifiably to believe something implying that there are numbers. This paper investigates what lies behind Burgess's (...) answer and ends up as a rebuttal to Burgess's reasoning. (shrink)

The goal of this paper is to raise a novel objection to Lewis’s modal realist epistemology. After reformulating his modal epistemology, I shall argue that his view that we have necessary knowledge of the existence of counterparts ends up with an absurdity. Specifically, his analogy between mathematical knowledge and modal knowledge leads to an unpleasant conclusion that one’s counterpart exists in all possible worlds. My argument shows that if Lewis’s modal realism is true, we cannot know what is (...) possible. Conversely, if we can know what is possible, his modal realism is false. In the remainder of the paper, I shall consider and block possible objections to my argument. (shrink)

This book offers a defence of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the (...) claims of our best empirical theories are (at least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focused on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. This book, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized. (shrink)

Mathematical Nominalism Mathematical nominalism can be described as the view that mathematical entities—entities such as numbers, sets, functions, and groups—do not exist. However, stating the view requires some care. Though the opposing view (that mathematical objects do exist) may seem like a somewhat exotic metaphysical claim, it is usually motivated by the thought that mathematical … Continue reading Mathematical Nominalism →.

The paper begins with an exposition of Aristotle’s own philosophy of mathematics. It is claimed that this is based on two postulates. The first is the embodiment postulate, which states that mathematical objects exist not in a separate world, but embodied in the material world. The second is that infinity is always potential and never actual. It is argued that Aristotle’s philosophy gave an adequate account of ancient Greek mathematics; but that his second postulate does not apply to (...) modern mathematics, which assumes the existence of the actual infinite. However, it is claimed that the embodiment postulate does still hold in contemporary mathematics, and this is argued in detail by considering the natural numbers and the sets of ZFC. (shrink)

The vitality of mathematics, however, “is conditioned upon the connection of its parts.” What, however, are the “parts” and “connections”? Is there, perhaps, some general pattern to this ongoing enterprise? In other words, is there some recognisable order to the mathematical project, not as in something to be imposed, but an order that can be verified in actual works and collaborations? A main purpose of this paper is to offer an answer to this question in the affirmative. For there (...) is accumulating evidence for the existence of an eight-fold periodic sequence of functionally related zones of enquiry H1, … , H8 – where for the rest of this paper these zones will be called functional specialties. In particular, each functional specialty would seem to have its own main objective and to involve its own differentiated type of enquiry. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical (...) sort: i.e. logically complex claims are explained by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

Platonists and nominalists disagree about whether mathematical objects exist. But they almost uniformly agree about one thing: whatever the status of the existence of mathematical objects, that status is modally necessary. Two notable dissenters from this orthodoxy are Hartry Field, who defends contingent nominalism, and Mark Colyvan, who defends contingent Platonism. The source of their dissent is their view that the indispensability argument provides our justification for believing in the existence, or not, of (...) class='Hi'>mathematical objects. This paper considers whether commitment to the indispensability argument gives one grounds to be a contingentist about mathematical objects. (shrink)

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, (...) and I discuss potential future directions of research for each side in the debate over the existence of abstract mathematical objects. (shrink)

Mathematical realism asserts that mathematical objects exist in the abstract world, and that a mathematical sentence is true or false, depending on whether the abstract world is as the mathematical sentence says it is. I raise two objections against mathematical realism. First, the abstract world is queer in that it allows for contradictory states of affairs. Second, mathematical realism does not have a theoretical resource to explain why a sentence about a tricle is (...) true or false. A tricle is an object that changes its shape from a triangle to a circle, and then back to a triangle with every second. (shrink)

Chihara seeks to avoid commitment to mathematical objects by replacing traditional assertions of the existence of mathematical objects with assertions about possibilities of constructing certain open-sentence tokens. I argue that Chihara's project can be defended against several important objections, but that it is no less epistemologically problematic than its platonistic competitors.

The indispensability argument seeks to establish the existence of mathematical objects. The success of the indispensability argument turns on finding cases of genuine extra- mathematical explanation. In this paper, I identify a new case of extra- mathematical explanation, involving the search patterns of fully-aquatic marine predators. I go on to use this case to predict the prevalence of extra- mathematical explanation in science.

This paper draws together two strands in the debate over the existence of mathematical objects. The first strand concerns the notion of extra-mathematical explanation: the explanation of physical facts, in part, by facts about mathematical objects. The second strand concerns the access problem for platonism: the problem of how to account for knowledge of mathematical objects. I argue for the following conditional: if there are extra-mathematical explanations, then the core thesis of (...) the access problem is false. This has implications for nominalists and platonists alike. Platonists can make a case for epistemic access to mathematical objects by providing evidence in favour of the existence of extra-mathematical explanations. Nominalists, by contrast, can use the access problem to cast doubt on the idea that mathematical objects play a substantive role in scientific explanation. (shrink)

Conventionalism about mathematics has much in common with two other views: fictionalism and the multiverse view (aka plenitudinous platonism). The three views may differ over the existence of mathematical objects, but they agree in rejecting a certain kind of objectivity claim about mathematics, advocating instead an extreme pluralism. The early parts of the paper will try to elucidate this anti‐objectivist position, and question whether conventionalism really offers a third form of it distinct from fictionalism and the multiverse (...) view. The paper then turns to anti‐objectivism about logic, and suggests that here too conventionalism offers no distinct alternative, and that there are limits on the extent of pluralism/anti‐objectivism. It also argues that these limits can't be used to argue for more extensive objectivity within mathematics, and also that they do allow for more limited pluralism within logic, e.g. as regards resolution of semantic and property‐theoretic paradoxes. (shrink)

Platonism is the most pervasive philosophy of mathematics. Indeed, it can be argued that an inarticulate, half-conscious Platonism is nearly universal among mathematicians. The basic idea is that mathematical entities exist outside space and time, outside thought and matter, in an abstract realm. In the more eloquent words of Edward Everett, a distinguished nineteenth-century American scholar, "in pure mathematics we contemplate absolute truths which existed in the divine mind before the morning stars sang together, and which will continue to (...) exist there when the last of their radiant host shall have fallen from heaven." In What is Mathematics, Really?, renowned mathematician Rueben Hersh takes these eloquent words and this pervasive philosophy to task, in a subversive attack on traditional philosophies of mathematics, most notably, Platonism and formalism. Virtually all philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Mathematical objects are created by humans, not arbitrarily, but from activity with existing mathematical objects, and from the needs of science and daily life. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of the book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Plato, Descartes, Spinoza, and Kant, to Bertrand Russell, David Hilbert, Rudolph Carnap, and Willard V.O. Quine--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, Peirce, Dewey, and Lakatos. In his epilogue, Hersh reveals that this is no mere armchair debate, of little consequence to the outside world. He contends that Platonism and elitism fit well together, that Platonism in fact is used to justify the claim that "some people just can't learn math." The humanist philosophy, on the other hand, links mathematics with geople, with society, and with history. It fits with liberal anti-elitism and its historical striving for universal literacy, universal higher education, and universal access to knowledge and culture. Thus Hersh's argument has educational and political ramifications. Written by the co-author of The Mathematical Experience, which won the American Book Award in 1983, this volume reflects an insider's view of mathematical life, based on twenty years of doing research on advanced mathematical problems, thirty-five years of teaching graduates and undergraduates, and many long hours of listening, talking to, and reading philosophers. A clearly written and highly iconoclastic book, it is sure to be hotly debated by anyone with a passionate interest in mathematics or the philosophy of science. (shrink)

Realists persuaded by indispensability arguments af- firm the existence of numbers, genes, and quarks. Van Fraassen's empiricism remains agnostic with respect to all three. The point of agreement is that the posits of mathematics and the posits of biology and physics stand orfall together. The mathematical Platonist can take heart from this consensus; even if the existence of num- bers is still problematic, it seems no more problematic than the existence of genes or quarks. If the (...) two positions just described were the only ones possible, there could be no objection to this melding of numbers with genes and quarks. However, the position I call contrastive empiricism (Sober 1990a) stands opposed to both realism and to Van Fraassen's em- piricism. As it turns out, contrastive empiricism entails that coalesc- ing mathematics with empirical science is highly problematic. I believe that there is an important kernel of truth in abductive ar- guments for genes and quarks. But no counterpart argument exists for the case of numbers. Of course, the existence of this third way would be uninteresting, if contrastive empiricism were wholly implausible. However, I will argue that contrastive empiricism captures what makes sense in standard versions of realism and empiricism, while avoiding the excesses of each. This third way is a middle way; it cannot be dismissed out of hand. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of (...) activities or we can realize or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

In this paper, I develop a "safety result" for applied mathematics. I show that whenever a theory in natural science entails some non-mathematical conclusion via an application of mathematics, there is a counterpart theory that carries no commitment to mathematical objects, entails the same conclusion, and the claims of which are true if the claims of the original theory are "correct": roughly, true given the assumption that mathematical objects exist. The framework used for proving the (...) safety result has some advantages over existing nominalistic accounts of applied mathematics. It also provides a nominalistic account of pure mathematics. (shrink)

Chapter 7 provides a noneist account of mathematical and other abstract objects, and of worlds. It then discusses a number of objections, such as that this is just a form of platonism in disguise.

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Kant's Mathematical World aims to transform our understanding of Kant's philosophy of mathematics and his account of the mathematical character of the world. Daniel Sutherland reconstructs Kant's project of explaining both mathematical cognition and our cognition of the world in terms of our most basic cognitive capacities. He situates Kant in a long mathematical tradition with roots in Euclid's Elements, and thereby recovers the very different way of thinking about mathematics which existed prior to its 'arithmetization' (...) in the nineteenth century. He shows that Kant thought of mathematics as a science of magnitudes and their measurement, and all objects of experience as extensive magnitudes whose real properties have intensive magnitudes, thus tying mathematics directly to the world. His book will appeal to anyone interested in Kant's critical philosophy -- either his account of the world of experience, or his philosophy of mathematics, or how the two inform each other. (shrink)

In order to address to the relation between philosophy and mathematics it is first necessary to distinguish the grand style and the little style. The little style painstakingly constructs mathematics as the object for philosophical scrutiny. It is called the little style for a precise reason, because it assigns mathematics to the subservient role of that which supports the definition and perpetuation of a philosophical specialisation. This specialisation is called the ‘philosophy of mathematics’, where the ‘of’ is objective. The philosophy (...) of mathematics can in turn be inscribed under the area of specialisation that supports the name ‘epistemology and history of science’, an area to which corresponds a specialised bureaucracy in the academic authorities and committees whose role it is to manage the personnel of researchers and teachers. But in philosophy, specialisation is invariably the means by which the little style insinuates itself. In Lacan terms, this occurs through the collapse of the discourse of the Master, which is rooted in the signifier of the same name, the S1 that gives rise to a signifying chain, onto the discourse of the University, that perpetual commentary which adequately represents the second moment of all speech, that is, the S2 which only exists by making the Master disappear under the commentary which exhausts it. The little style of the philosophy of mathematics, and of its epistemology, strives for such a disappearance of the ontological sovereignty of mathematics, its instituting aristocratism, its unrivalled mastery, by confining its dramatic and almost incomprehensible existence to a generally dusty compartment of academic specialisation. (shrink)

In the year 1894, Husserl had not been already contaminated by Bolzano’s realism. It was then that he conceived a theory of assumptions in order to “save an existence” for mathematical objects. Here we would like to explore this theory and show in what way it represented a convincing alternative to realistic ontology and its counterpart: the correspondence theory of truth. However, as soon as he designed it, Husserl shoved away all the implications for his theory of (...) assumptions, and merely abandoned it. We would also like to consider the wrong reasons for this renouncement, which undoubtedly have to do with the dichotomy between signification and perception in his elaboration of phenomenology. (shrink)

In his Realism, Mathematics, and Modality, Hartry Field attempted to revitalize the epistemological case against mathematical platontism by challenging mathematical platonists to explain how we could be epistemically reliable with regard to the abstract objects of mathematics. Field suggested that the seeming impossibility of providing such an explanation tends to undermine belief in the existence of abstract mathematical objects regardless of whatever reason we have for believing in their existence. After more than two (...) decades, Field’s explanatory challenge remains among the best available motivations for mathematical nominalism. This paper argues that Field’s explanatory challenge misidentifies the central epistemological problem facing mathematical platonism. Contrary to Field’s suggestion, inexplicability of epistemic reliability does not act as an epistemic defeater. The failure to explain our epistemic reliability with respect to the existence and properties of abstract mathematical objects is simply one aspect of a broader failure to establish that we are epistemically reliable with respect to abstract mathematical objects in the first place. Ultimately, it is this broader failure that is the source of mathematical platonism’s real epistemological problems. (shrink)

Philosophers of mathematics have become increasingly interested in the explanatory role of mathematics in empirical science, in the context of new versions of the Quinean ‘Indispensability Argument’ which employ inference to the best explanation for the existence of abstract mathematical objects. However, little attention has been paid to analysing the nature of the explanatory relation involved in these mathematical explanations in science (MES). In this paper, I attack the only articulated account of MES in the literature (...) (an account sketched by Mark Steiner), according to which a genuine MES incorporates an explanatory proof of the mathematical result being used. The central case study involves an explanation for why bees build the cells of their honeycombs in the shape of hexagons. I make a distinction between two kinds of MES, mathematics-driven explanation in science and science-driven mathematical explanation, and argue that it is the second category which is both scientifically and philosophical more central. I conclude that the explanatory relation involved in MES is genuinely scientific and hence that the phenomenon of MES poses a challenge to general accounts of scientific explanation. (shrink)

In this paper, the authors discuss Frege's theory of "logical objects" and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract (...) class='Hi'>objects uses unrestricted Comprehension for Logical Objects and banishes encoding formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: the theory of extensions, the theory of directions and shapes, and the theory of truth values. (shrink)

After reviewing some different indispensability arguments, I distinguish several different ways in which mathematics can make an important contribution to a scientific explanation. Once these contributions are highlighted it will be possible to see that indispensability arguments have little chance of convincing us of the existence of abstract objects, even though they may give us good reason to accept the truth of some mathematical claims. However, in the concluding part of this paper, I argue that even though (...) there is a valid indispensability argument for realism about some mathematical claims, this argument is problematic as it begs the question at issue. This challenge to indispensability arguments is then used to suggest that if mathematics is making these sorts of contributions to science, then it may be the case that mathematical claims receive some non-empirical support prior to their application in scientific explanation. (shrink)

At the beginning of the present century, a series of paradoxes were discovered within mathematics which suggested a fundamental unclarity in traditional mathemati­cal methods. These methods rested on the assumption of a realm of mathematical idealities existing independently of our thinking activity, and in order to arrive at a firmly grounded mathematics different attempts were made to formulate a conception of mathematical objects as purely human constructions. It was, however, realised that such formulations necessarily result in a (...) mathematics which lacks the richness and power of the old ‘platonistic’ methods, and the latter are still defended, in various modified forms, as embodying truths about self-existent mathematical entities. Thus there is an idealism-realism dispute in the philosophy of mathematics in some respects parallel to the controversy over the existence of the experiential world to the settle­ment of which lngarden devoted his life. The present paper is an attempt to apply Ingarden’s methods to the sphere of mathematical existence. This exercise will reveal new modes of being applicable to non-real objects, and we shall put forward arguments to suggest that these modes of being have an importance outside mathematics, especially in the areas of value theory and the ontology of art. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of (...) activities or we can realize or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

The application of mathematics to science and the enormous success that derives from it is, perhaps, the strongest evidence in favour of mathematical realism. Quine and Putnam have taken the indispensability of mathematics in doing science as the main premise in an argument for both the truth of mathematics and the existence of mathematical objects. This argument has been criticized, among other things, for presupposing a realist position with regard to science. In this chapter, I propose (...) a new argument, the pragmatic indispensability argument that avoids the problem by failing to presuppose that our best scientific theories are true. I argue that the justification for doing science also justifies our accepting as true, the mathematics that science uses. (shrink)

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the new axiom not merely postulates (...) the existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T 0 + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T 0 + UMID in relating them to fragments of second order arithmetic based on Π 1 2 comprehension. [14] showed that T $_0 \upharpoonright$ + UMID and T $_0 \upharpoonright$ + IND N + UMID have at least the strength of (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. Here we are concerned with the exact reversals. Let UMID N be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T $_0 \upharpoonright$ + UMID N and T $_0 \upharpoonright$ + IND N + UMID N have the same strength as (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

In the Reality we know, we cannot say if something is infinite whether we are doing Physics, Biology, Sociology or Economics. This means we have to be careful using this concept. Infinite structures do not exist in the physical world as far as we know. So what do mathematicians mean when they assert the existence of ω? There is no universally accepted philosophy of mathematics but the most common belief is that mathematics touches on another worldly absolute truth. Many (...) mathematicians believe that mathematics involves a special perception of an idealized world of absolute truth. This comes in part from the recognition that our knowledge of the physical world is imperfect and falls short of what we can apprehend with mathematical thinking. The objective of this paper is to present an epistemological rather than an historical vision of the mathematical concept of infinity that examines the dialectic between the actual and potential infinity. (shrink)

Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced (...) it wholeheartedly. This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

In this paper, we argue for an instrumental form of existence, inspired by Hilbert’s method of ideal elements. As a case study, we consider the existence of contradictory objects in models of non-classical set theories. Based on this discussion, we argue for a very liberal notion of existence in mathematics.

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...

At various times, mathematicians have been forced to work with inconsistent mathematical theories. Sometimes the inconsistency of the theory in question was apparent (e.g. the early calculus), while at other times it was not (e.g. pre-paradox na¨ıve set theory). The way mathematicians confronted such difficulties is the subject of a great deal of interesting work in the history of mathematics but, apart from the crisis in set theory, there has been very little philosophical work on the topic of inconsistent (...) mathematics. In this paper I will address a couple of philosophical issues arising from the applications of inconsistent mathematics. The first is the issue of whether finding applications for inconsistent mathematics commits us to the existence of inconsistent objects. I then consider what we can learn about a general philosophical account of the applicability of mathematics from successful applications of inconsistent mathematics. (shrink)