Numbers -- Hallucinations -- Fictions -- Scientific languages, ontology, and truth -- Truth conditions and semantics.

In a 2005 paper, John Burgess and Gideon Rosen offer a new argument against nominalism in the philosophy of mathematics. The argument proceeds from the thesis that mathematics is part of science, and that core existence theorems in mathematics are both accepted by mathematicians and acceptable by mathematical standards. David Liggins (2007) criticizes the argument on the grounds that no adequate interpretation of “acceptable by mathematical standards” can be given which preserves the soundness of the overall argument. In this discussion (...) I offer a defense of the Burgess-Rosen argument against Liggins’s objection. I show how plausible versions of the argument can be constructed based on either of two interpretations of mathematical acceptability, and I locate the argument in the space of contemporary anti-nominalist views. (shrink)

Continuous entities are accordingly distinguished by the feature that—in principle at least— they can be divided indefinitely without altering their essential nature. So, for instance, the water in a bucket may be indefinitely halved and yet remain water. Aristotle nowhere to my knowledge defines discreteness as such but we may take the notion as signifying the opposite of continuity—that is, incapable of being indefinitely divided into parts. Thus discrete entities, typically, cannot be divided without effecting a change in their nature: (...) half a wheel is plainly no longer a wheel1. Thus we have two contrasting properties: on the one hand, the property of being indivisible, separate or discrete, and, on the other, the property of being indefinitely divisible and continuous although not actually divided into parts. Still, one and the same object can, in a sense, possess both of these properties. For example, if the wheel is regarded simply as a piece of matter, it remains so on being divided in half. In other words, the wheel qua wheel is discrete, but as a piece of matter, it is continuous. Examples like this show that continuity and discreteness are complementary attributes originating through the mind's ability to perform acts of abstraction, the one arising by abstracting an object’s divisibility and the other its self-identity. In mathematics it is the concept of whole number, later elaborated into the set concept, that provides an embodiment of the idea of pure discreteness, that is, of the idea of a collection of separate individual objects, all of whose properties—apart from their distinctness—have been refined away. The basic mathematical representation of the idea of continuity, on the other hand, is the geometric figure, and more particularly the straight line. By their very nature geometric figures are continuous; discreteness is injected into geometry, the realm of the.. (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)

I discuss a puzzle that shows there is a need to develop a new metaphysical interpretation of mathematical theories, because all well-known interpretations conflict with important aspects of mathematical activities. The new interpretation, I argue, must authenticate the ontological commitments of mathematical theories without curtailing mathematicians’ freedom and authority to creatively introduce mathematical ontology during mathematical problem-solving. Further, I argue that these two constraints are best met by a metaphysical interpretation of mathematics that takes mathematical entities to be constitutively constructed (...) by human activity in a manner similar to the constitutive construction of the US Supreme Court by certain legal and political activities. Finally, I outline some of the philosophical merits of metaphysical interpretations of mathematical theories of this type. (shrink)

In recent times there have been a number of proposals for a nominalistic philosophy of mathematics. These proposals divide into two quite distinct camps: those who take mathematical propositions to be true, and those who take them to be untrue.2 Both options face substantial difficulties, but let’s focus on the first option. The problem here is in asserting that mathematical propositions such as ‘there exist infinitely many complex roots of the Riemann zeta function’ are true (as this one surely is) (...) and then to go on to deny that there are any complex numbers. To do this just seems inconsistent, or at least “intellectually dishonest” (Putnam, 1971, p. 347). One way to approach this problem is to reinterpret the mathematical claims in question so that they come out true, but do not refer to mathematical objects. So for example, Geoffrey Hellman [1989] interprets mathematical claims to be about possible structures. Such options, since they do not take mathematical claims at face value, must employ a non-uniform semantics and this is thought, by almost everyone, to be a significant price to pay for one’s nominalism. The problem is particularly acute when one considers mixed mathematical and empirical statements such as ‘there exists a planet with mass m and location (x, y, z) and a function G that describes the gravitational potential of the planet at time t’. Here different parts of a single sentence must be treated differently—the talk of planets (and perhaps fields) is treated literally but the mathematical parts are treated non-literally. Apparently the only alternative to reinterpreting mathematical discourse is to follow Hartry Field [1980] and deny the truth of mathematical propositions. But this option is very counterintuitive. (shrink)

This paper treats the situation where a single mathematical construction satisfies a multitude of interesting mathematical properties. The examples treated are all infinitely large entities. The clustering of properties is termed ‘niceness’ by the mathematician Michiel Hazewinkel, a concept we compare to the ‘robustness’ described by the philosopher of science William Wimsatt. In the final part of the paper, we bring our findings to bear on the question of realism which concerns not whether mathematical entities exist as abstract objects, but (...) rather whether the choice of our concepts is forced upon us. (shrink)

This paper addresses two central questions within the philosophy of mathematics: (1) What is the ground of the necessity of mathematical theorems? and (2) How is our belief in the existence of the objects of the fundamental mathematical theories to be justified? Frege's logicist answer to these questions is analyzed in detail, as well as Crispin Wright's attempt to refashion it. Hardly anyone else, claims the author, has even tried to address these questions. The author argues that those mathematical theorems (...) that are genuinely applicable to reality hold of analytical necessity, since (he conjectures) it is possible to reformulate them so that the objects assumed are not purely mathematical objects, but ones abstracted from empirical reality. (shrink)

David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following upon Dedekind’s footsteps in his understanding of pure mathematics. This insight makes it possible to throw new light on the evolution of Hilbert’s foundational ideas, including his early contributions to the foundations of geometry and the real number system. The context of Dedekind-style logicism makes it possible to offer a new (...) analysis of the emergence of Hilbert’s famous ideas on mathematical existence, now seen as a revision of basic principles of the “naive logic” of sets. At the same time, careful scrutiny of his published and unpublished work around the turn of the century uncovers deep differences between his ideas about consistency proofs before and after 1904. Along the way, we cover topics such as the role of sets and of the dichotomic conception of set theory in Hilbert’s early axiomatics, and offer detailed analyses of Hilbert’s paradox and of his completeness axiom (Vollständigkeitsaxiom). (shrink)

As such this book fills a void in the philosophical literature and presents a challenge to every would-be (anti-)reductionist.

Oxford Studies in Epistemology is a biennial publicaton which offers a regular snapshot of state-of-the-art work in this important field.

This book of sixteen original essays is the first to explore this range of new developments in the philosophy of mathematics, in a language accessible to ...

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)

Reductivist programs in logicand philosophy, especially inthe philosophy of mathematics,are reviewed. The paper argues fora ``methodological realism'' towardsnumbers and sets, but still givesreductionism an important place,albeit in methodology/epistemologyrather than in ontology proper.

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.

A discussion of views first presented by this author and Edward Zalta in 1995 in the paper “Naturalized Platonism vs. Platonized Naturalism”. That paper presents an application of Zalta’s “object theory” to the ontology of mathematics, and claims that there is a plenitude of abstract objects, all the creatures of distinct mathematical theories. After a summary of the position, two questions concerning the view are singled out for discussion: just how many mathematical objects there are by our account, and the (...) nature of the properties we use to characterize abstract objects. The difference between the authors in more recent developments of the view are also discussed. (shrink)

In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)

Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...) scope of quantifiers reveals a natural way out. (shrink)

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

Naturalism in philosophy is sometimes thought to imply both scientific realism and a brand of mathematical realism that has methodological consequences for the practice of mathematics. I suggest that naturalism does not yield such a brand of mathematical realism, that naturalism views ontology as irrelevant to mathematical methodology, and that approaching methodological questions from this naturalistic perspective illuminates issues and considerations previously overshadowed by (irrelevant) ontological concerns.

Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...) She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics. (shrink)

In a previous paper, Thomas V. Morris and I sketched a view on which abstract objects, in particular, properties, relations, and propositions (PRPs), are created by God no less than contingent, concrete objects. In this paper r suggest a way of extending this account to cover mathematical objects as well. Drawing on some recent work in logic and metaphysics, I also develop a more detailed account of the structure of PRPs in answer to the paradoxes that arise on a naive (...) understanding of the structure ofthe abstract universe. (shrink)

The instability inherent in the historical inventory of mathematical objects challenges philosophers. Naturalism suggests we can construct enduring answers to ontological questions through an investigation of the processes whereby mathematical objects come into existence. Patterns of historical development suggest that mathematical objects undergo an intelligible process of reification in tandem with notational innovation. Investigating changes in mathematical languages is a necessary first step towards a viable ontology. For this reason, scholars should not modernize historical texts without caution, as the use (...) of anachronistic notation tends to impede, rather than enhance, our ability to recognize the emergent nature of mathematical objects. (shrink)

Kurt Gödel made many affirmations of robust realism but also showed serious engagement with the idealist tradition, especially with Leibniz, Kant, and Husserl. The root of this apparently paradoxical attitude is his conviction of the power of reason. The paper explores the question of how Gödel read Kant. His argument that relativity theory supports the idea of the ideality of time is discussed critically, in particular attempting to explain the assertion that science can go beyond the appearances and ‘approach the (...) things’. Leibniz and post-Kantian idealism are discussed more briefly, the latter as documented in the correspondence with Gotthard Günther. (shrink)

The paper undertakes to characterize Hao Wang's style, convictions, and method as a philosopher, centering on his most important philosophical work From Mathematics to Philosophy, 1974. The descriptive character of Wang's characteristic method is emphasized. Some specific achievements are discussed: his analyses of the concept of set, his discussion, in connection with setting forth Gödel's views, of minds and machines, and his concept of ‘analytic empiricism’ used to criticize Carnap and Quine. Wang's work as interpreter of Gödel's thought and the (...) importance of his writings as a source are also discussed. (shrink)

This paper articulates Sylvan's theory of mathematical objects as non-existent, by improving (arguably) his treatment of the Characterisation Postulate. It then defends the theory against a number of natural objections, including one according to which the account is just platonism in disguise.

Yet, he also says that it is philosophically indeterminate which criterion for what exists is correct. Nominalism is the view that certain objects ( i.e ., abstract objects) do not exist, and not the view that it is philosophically indeterminate whether or not they do. I resolve the dilemma that Azzouni's claims pose: Azzouni is a non-factualist about what exists, but he is a factualist about which criterion for what exists our community of speakers has adopted. It is in the (...) latter sense only that Azzouni can call himself a nominalist. My thanks to Jody Azzouni and to an anonymous referee for helpful suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

For Quine, the ontological commitments of a discourse are what fall under its (objectual) quantifiers. The recent literature, however, is beginning to move away from this picture. There are direct challenges to Quine's criterion, and there are also attempts to provide alternatives. Azzouni suggests that the ontological commitments of a discourse should be determined by an existence predicate instead. The availability of this alternative forces an adjudication between Qune's criterion and the predicate approach to ontological commitment. I argue that to (...) adjudicate between these criteria for ontological commitment, we need first to adjudicate between criteria for what exists. My thanks to Jody Azzouni and an anonymous referee for helpful suggestions. (shrink)

A plurality of axiomatic systems can be interpreted as referring to one and the same mathematical object. In this paper we examine the relationship between axiomatic systems and their models, the relationships among the various axiomatic systems that refer to the same model, and the role of an intelligent user of an axiomatic system. We ask whether these relationships and this role can themselves be formalized.

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)

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that theory—to provide insight into the abstract structure of groups—is performed employing their visual aspect. I suggest that the application of a visual graph theory in the purely non-visual theory of groups resulted in a new effective approach in which pictures have an essential role. Cayley graphs were initially developed as exact mathematical (...) constructions. Therefore, they are legitimate components of the theory (combinatorial and geometric group theory) and the pictures of Cayley graphs are a part of practical mathematical procedures. (shrink)

In his “The Foundations of Mathematics”, Ramsey attempted to marry the Tractarian idea that all logical truths are tautologies and vice versa, and the logicism of the Principia. In order to complete his project, Ramsey was forced to introduce propositional functions in extension (PFEs): given Ramsey's definitions of 1 and 2, without PFEs even the quantifier-free arithmetical truth that 1 ≠ 2 is not a tautology. However, a number of commentators have argued that the notion of PFEs is incoherent. This (...) response was first given by Wittgenstein but has been best developed by Sullivan. While I agree with Wittgenstein and Sullivan's common conclusion, I believe that even the most compelling of Sullivan's arguments is importantly mistaken and that Wittgenstein's remarks are too opaque to be left as the end of the matter. In this article I uncover the fault in Sullivan's argument and present an alternative criticism of PFEs which is Wittgensteinian in spirit without being too mystifying. (shrink)

I investigate how theoretical assumptions, pertinent to different perspectives and operative during the modeling process, are central in determining how nature is actually taken to be. I explore two different models by Michael Turelli and Steve Frank of the evolution of parasite-mediated cytoplasmic incompatility, guided, respectively, by Fisherian and Wrightian perspectives. Since the two models can be shown to be commensurable both with respect to mathematics and data, I argue that the differences between them in the (1) mathematical presentation of (...) the models, (2) explanations, and (3) objectified ontologies stem neither from differences in mathematical method nor the employed data, but from differences in the theoretical assumptions, especially regarding ontology, already present in the respective perspectives. I use my "set up, mathematically manipulate, explain, and objectify" (SMEO) account of the modeling process to track the model-mediated imposition of theoretical assumptions. I conclude with a discussion of the general implications of my analysis of these models for the controversy between Fisherian and Wrightian perspectives. (shrink)

In a recent paper in this journal, Mark Balaguer develops and defends a new version of mathematical fictionalism, what he calls ‘Hermeneutic non-assertivism’, and responds to some recent objections to mathematical fictionalism that were launched by John Burgess and others. In this paper I provide some fairly compelling reasons for rejecting Hermeneutic non-assertivism — ones that highlight an important feature of what understanding mathematics involves (or, as we shall see, does not involve).

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

Hermeneutic non-assertivism is a thesis that mathematical fictionalists might want to endorse in responding to a recent objection due to John Burgess. Brad Armour-Garb has argued that hermeneutic non-assertivism is false. A response is given here to Armour-Garb's argument.

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument (...) for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct. (shrink)

(No abstract is available for this citation).

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...) discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peano's Arithmetic known as IΣ₁ is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA). IΣ₁ has a super-exponential speed-up over PRA. On the other hand, theories studied in the Program of Reverse Mathematics (...) that formalize powerful mathematical principles have only polynomial speed-up over IΣ₁. (shrink)

Fictionalism in the philosophy of mathematics is the view that mathematical statements, such as ‘8+5=13’ and ‘π is irrational’, are to be interpreted at face value and, thus interpreted, are false. Fictionalists are typically driven to reject the truth of such mathematical statements because these statements imply the existence of mathematical entities, and according to fictionalists there are no such entities. Fictionalism is a nominalist (or anti-realist) account of mathematics in that it denies the existence of a realm of abstract (...) mathematical entities. It should be contrasted with mathematical realism (or Platonism) where mathematical statements are taken to be true, and, moreover, are taken to be truths about mathematical entities. Fictionalism should also be contrasted with other nominalist philosophical accounts of mathematics that propose a reinterpretation of mathematical statements, according to which the statements in question are true but no longer about mathematical entities. Fictionalism is thus an error theory of mathematical discourse: at face value mathematical discourse commits us to mathematical entities and although we normally take many of the statements of this discourse to be true, in doing so we are in error (cf. error theories in ethics). (shrink)

<span class='Hi'>Mark</span> Balaguer’s project in this book is extremely ambitious; he sets out to defend both platonism and fictionalism about mathematical entities. Moreover, Balaguer argues that at the end of the day, platonism and fictionalism are on an equal footing. Not content to leave the matter there, however, he advances the anti-metaphysical conclusion that there is no fact of the matter about the existence of mathematical objects.1 Despite the ambitious nature of this project, for the most part Balaguer does not (...) shortchange the reader on rigor; all the main theses advanced are argued for at length and with remarkable clarity and cogency. There are, of course, gaps in the account (some of which are described below) but these should not be allowed to overshadow the sig-. (shrink)

This paper distinguishes revolutionary fictionalism from other forms of fictionalism and also from other philosophical views. The paper takes fictionalism about mathematical objects and fictionalism about scientific unobservables as illustrations. The paper evaluates arguments that purport to show that this form of fictionalism is incoherent on the grounds that there is no tenable distinction between believing a sentence and taking the fictionalist's distinctive attitude to that sentence. The argument that fictionalism about mathematics is ‘comically immodest’ is also evaluated. In place (...) of those arguments, an argument against fictionalism about abstract objects of any kind is presented in the last section. This argument takes the form of a trilemma against the fictionalist. (shrink)

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number of (...) themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

Hermeneutic fictionalism about mathematics maintains that mathematics is not committed to the existence of abstract objects such as numbers. Mathematical sentences are true, but they should not be construed literally. Numbers are just fictions in terms of which we can conveniently describe things which exist. The paper defends Stephen Yablo’s hermeneutic fictionalism against an objection proposed by John Burgess and Gideon Rosen. The objection, directed against all forms of nominalism, goes as follows. Nominalism can take either a hermeneutic form and (...) claim that mathematics, when rightly understood, is not committed to the existence of abstract objects, or a revolutionary form and claim that mathematics is to be understood literally but is false. The hermeneutic version is said to be untenable because there is no philosophically unbiased linguistic argument to show that mathematics should not be understood literally. Against this I argue that it is wrong to demand that hermeneutic fictionalism should be established solely on the basis of linguistic evidence. In addition, there are reasons to think that hermeneutic fictionalism cannot even be defeated by linguistic arguments alone. (shrink)

Scientific realists often appeal to some version of the conjunction objection to argue that scientific instrumentalism fails to do justice to the full empirical import of scientific theories. Whereas the conjunction objection provides a powerful critique of scientific instrumentalism, I will show that mathematical instrumentalism escapes the conjunction objection unscathed.

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.

Kitcher urges us to think of mathematics as an idealized science of human operations, rather than a theory describing abstract mathematical objects. I argue that Kitcher's invocation of idealization cannot save mathematical truth and avoid platonism. Nevertheless, what is left of Kitcher's view is worth holding onto. I propose that Kitcher's account should be fictionalized, making use of Walton's and Currie's make-believe theory of fiction, and argue that the resulting ideal-agent fictionalism has advantages over mathematical-object fictionalism.

This paper responds to John Burgess's ‘Mathematics and Bleak House’. While Burgess's rejection of hermeneutic fictionalism is accepted, it is argued that his two main attacks on revolutionary fictionalism fail to meet their target. Firstly, ‘philosophical modesty’ should not prevent philosophers from questioning the truth of claims made within successful practices, provided that the utility of those practices as they stand can be explained. Secondly, Carnapian scepticism concerning the meaningfulness of metaphysical existence claims has no force against a naturalized version (...) of fictionalism, according to which our ordinary standards of scientific evidence may show that we have no reason to believe the mathematical existence claims made within the context of our mathematical and scientific theories. (shrink)

What is the nature of mathematical knowledge? Is it anything like scientific knowledge or is it sui generis? How do we acquire it? Should we believe what mathematicians themselves tell us about it? Are mathematical concepts innate or acquired? Eight new essays offer answers to these and many other questions. Written by some of the world's leading philosophers of mathematics, psychologists, and mathematicians, Mathematical Knowledge gives a lively sense of the current state of debate in this fascinating field. Contents 1. (...) Mary Leng: Introduction 2. Michael Potter: What is the problem of mathematical knowledge? 3. Tim Gowers: Mathematics, memory, and mental arithmetic 4. Alan Baker: Is there a problem of induction for mathematics? 5. Marinella Cappelletti and Valeria Giardino: The cognitive basis of mathematical knowledge 6. Mary Leng: What's there to know? A fictionalist account of mathematical knowledge 7. Mark Colyvan: Mathematical recreation versus mathematical knowledge 8. Alexander Paseau: Scientific platonism 9. Crispin Wright: On quantifying into predicate position: Steps towards a (new)tralist position. (shrink)

A pretence theory of a discourse is one which claims that we do not believe or assert the propositions expressed by the sentences we utter when taking part in the discourse: instead, we are speaking from within a pretence. Jason Stanley argues that if a pretence account of a discourse is correct, people with autism should be incapable of successful participation in it; but since people with autism are capable of participiating successfully in the discourses which pretence theorists aim to (...) account for, all these accounts should be rejected. I discuss how pretence theorists can respond, and apply this discussion to two pretence theories, Stephen Yablo's account of arithmetic and Kendall Walton's account of negative existentials. I show how Yablo and Walton can escape Stanley's objection. (shrink)

I argue on the basis of an example, Fourier theory applied to the problem of vibration, that Field's program for nominalizing science is unlikely to succeed generally, since no nominalistic variant will provide us with the kind of physical insight into the phenomena that the standard theory supplies. Consideration of the same example also shows, I argue, that some of the motivation for mathematical fictionalism, particularly the alleged problem of cognitive access, is more apparent than real.

In the philosophy of mathematics, indispensability arguments aim to show that we are justified in believing that abstract mathematical objects exist. I wish to defend a particular objection to such arguments that has become increasingly popular recently. It is called instrumental nominalism. I consider the recent versions of this view and conclude that it has yet to be given an adequate formulation. I provide such a formulation and show that it can be used to answer the indispensability arguments. -/- There (...) are two main indispensability arguments in the literature, though one has received nearly all of the attention. They correspond to two ways in which we use mathematics in science and in everyday life. We use mathematical language to help us describe non-mathematical reality; and we use mathematical reasoning to help us perform inferences concerning non-mathematical reality using only a feasible amount of cognitive power. The former use is the starting point of the Quine-Putnam indispensability argument ([Quine, 1980a], [Quine, 1980b], [Quine, 1981a], [Quine, 1981b], [Putnam, 1979a], [Putnam, 1979b]); the latter provides the basis for Ketland’s more recent argument ([Ketland, 2005]). I begin by considering the Quine-Putnam argument and introduce instrumental nominalism to defuse it. Then I show that Ketland’s argument can be defused in a similar way. (shrink)

We set out a doctrine about truth for the statements of mathematics?a doctrine which we think is a worthy competitor to realist views in the philosophy of mathematics?and argue that this doctrine, which we shall call ?mathematical relativism?, withstands objections better than do other non-realist accounts.

Hans Vaihinger tried to explain how mathematical theories can be useful without being true or even coherent, arguing that mathematicians employ a special kind of fictional or “as if” reasoning that reliably extracts truths from absurdities. Moritz Pasch insisted that Vaihinger was wrong about the incoherence of core mathematical theories, but right about the utility of fictional discourse in mathematics. This essay explores this area of agreement between Pasch and Vaihinger. Pasch’s position raises questions about structuralist interpretations of mathematics.

This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.

The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is compared to mathematical structuralism, (...) and it is shown that a version of structuralism should be understood as embracing the same view. (shrink)

We attempt to extend the nominalistic project initiated in Hartry Field's Science Without Numbers to modern physical theories based in differential geometry.

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

This original and exciting study offers a completely new perspective on the philosophy of mathematics. Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similiar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things as well. Jody Azzouni argues that mathematical knowledge really is a special (...) kind of knowledge with its own special means of gathering evidence. He analyses the linguistic pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics both sensitive to mathematical practice, and to the ontological and epistemological issues that concern philosophers. (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)

In this paper, I respond to an objection that Jill Dieterle has raised to two arguments in my book, Platonism and Anti-Platonism in Mathematics. Dieterle argues that because I reject the notion of metaphysical necessity, I cannot rely upon the notion of supervenience, as I in fact do in two places in the book. I argue that Dieterle is mistaken about this by showing that neither of the two supervenience theses that I endorse requires a notion of metaphysical necessity.

Arguing for mathematical realism on the basis of Field’s explanationist version of the Quine–Putnam Indispensability argument, Alan Baker has recently claimed to have found an instance of a genuine mathematical explanation of a physical phenomenon. While I agree that Baker presents a very interesting example in which mathematics plays an essential explanatory role, I show that this example, and the argument built upon it, begs the question against the mathematical nominalist.

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

Current versions of nominalism in the philosophy of mathematics face a significant problem to understand mathematical knowledge. They are unable to characterize mathematical knowledge as knowledge of the objects mathematical theories are taken to be about. Oswaldo Chateaubriand’s insightful reformulation of Platonism (Chateaubriand 2005) avoids this problem by advancing a broader conception of knowledge as justified truth beyond a reasonable doubt, and by introducing a suitable characterization of logical form in which the relevant mathematical facts play an important role in (...) the truth of the corresponding mathematical propositions. In this paper, I contrast Chateaubriand’s proposal with an agnostic form of nominalism that is able to accommodate mathematical knowledge without the commitment to mathematical facts. (shrink)

Current versions of nominalism in the philosophy of mathematics have the benefit of avoiding commitment to the existence of mathematical objects. But this comes with the cost of not taking mathematical theories literally. Jody Azzouni's Deflating Existential Consequence has recently challenged this conclusion by formulating a nominalist view that lacks this cost. In this paper, we argue that, as it stands, Azzouni's proposal does not yet succeed. It faces a dilemma to the effect that either the view is not nominalist (...) or it fails to take mathematics literally. After presenting the dilemma, we suggest a possible solution for the nominalist. (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 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 present paper will argue that, for too long, many nominalists have concentrated their researches on the question of whether one could make sense of applications of mathematics (especially in science) without presupposing the existence of mathematical objects. This was, no doubt, due to the enormous influence of Quine’s “Indispensability Argument”, which challenged the nominalist to come up with an explanation of how science could be done without referring to, or quantifying over, mathematical objects. I shall admonish nominalists to enlarge (...) the target of their investigations to include the many uses mathematicians make of concepts such as structures and models to advance pure mathematics . I shall illustrate my reasons for admonishing nominalists to strike out in these new directions by using Hartry Field’s nominalistic view of mathematics as a model of a philosophy of mathematics that was developed in just the sort of way I argue one should guard against. I shall support my reasons by providing grounds for rejecting both Field’s fictionalism and also his deflationist account of mathematical knowledge—doctrines that were formed largely in response to the Indispensability Argument. I shall then give a refutation of Mark Balaguer’s argument for his thesis that fictionalism is “the best version of anti-realistic anti-platonism”. (shrink)

In the final chapter of their book A Subject With No Object, John Burgess and Gideon Rosen raise the question of the value of the nominalistic reconstructions of mathematics that have been put forward in recent years, asking specifically what this body of work is good for. The authors conclude that these reconstructions are all inferior to current versions of mathematics (or science) and make no advances in science. This paper investigates the reasoning that led to such a negative appraisal, (...) and it produces a rebuttal to this reasoning. I am grateful to the following mathematicians who were kind enough to provide me with their thoughts about nonstandard analysis: Martin Davis, Laura Chihara, Ted Chihara, Steve Galovich, Bonnie Gold, and especially Roger Simons, whose comments about an earlier version of this paper were very helpful. Thanks also go to two referees for their useful suggestions and criticisms of an earlier version of this paper. (shrink)

Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.