What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

T. Franzén, Gödel's theorem. An incomplete guide to its use and abuse. Wellesley, MA: A. K. Peters, 2005. x + 172 pp. $24.95. ISBN 1-56881-238-8. Reviewed by R. Zach, Department of Philosophy, Univ...

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like ‘All the theorems are true’, ‘Everything Peter said is true’, etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first‐order logic, full second‐order logic, and existential second‐order logic. (shrink)

The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of the problem, suggests that many of the reasons for engaging in philosophy at all make an account of the relationship between mathematics and reality a priority, not only in philosophy of mathematics and philosophy of science, but also in general epistemology/metaphysics. This is followed by a (rather brief) survey of the major, traditional philosophies (...) of mathematics indicating how each is prepared to deal with the present problem. It is shown that (the standard formulations of) some views seem to deny outright that there is a relationship between mathematics and any non-mathematical reality; such philosophies are clearly unacceptable. Other views leave the relationship rather mysterious and, thus, are incomplete at best. The final, more speculative section provides the direction of a positive account. A structuralist philosophy of mathematics is outlined and it is proposed that mathematics applies to reality though the discovery of mathematical structures underlying the non-mathematical universe. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

In this paper I defend mathematical nominalism by arguing that any reasonable account of scientific theories and scientific practice must make explicit the empirical non-mathematical grounds on which the application of mathematics is based. Once this is done, references to mathematical entities may be eliminated or explained away in terms of underlying empirical conditions. I provide evidence for this conclusion by presenting a detailed study of the applicability of mathematics to measurement. This study shows that mathematical nominalism may be regarded (...) as a methodological approach to applicability, illuminating the use of mathematics in science. (shrink)

En este artículo se examinan algunas implicaciones del naturalismo matemático de P. Maddy como una concepción filosófica que permite superar las dificultades del ficcionalismo y el realismo fisicalista en matemáticas. Aparte de esto, la mayor virtud de tal concepción parece ser que resuelve el problema que plantea para la aplicabilidad de la matemática el no asumir la tesis de indispensabilidad de Quine sin comprometerse con su holismo confirmacional. A continuación, sobre la base de dificultades intrínsecas al programa de Maddy, exploramos (...) un camino naturalista mejor motivado, el enfoque cognitivista corporeizado, y sugerimos que él permite explicar de manera adecuada la postulación de ciertos cardinales grandes, en particular, la aceptación de conjuntos no-construibles. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

The author of “Parsimony and inference to the best mathematical explanation” argues for platonism by way of an enhanced indispensability argument based on an inference to yet better mathematical optimization explanations in the natural sciences. Since such explanations yield beneficial trade-offs between stronger mathematical existential claims and fewer concrete ontological commitments than those involved in merely good mathematical explanations, one must countenance the mathematical objects that play a theoretical role in them via an application of the relevant mathematical results. The (...) nominalist’s challenge is thus to undermine the platonistic force of such explanations by way of alternative nominalistic ones. The author’s contention is that such nominalistic explanations should provide a paraphrase of the proofs of the mathematical results being applied. There are reasons to doubt that proofs, construed here as formal derivations, actually contribute to the platonistc force to be undermined and, by parity, that nominalized proofs should bear responsability for the corresponding undermining. A discussion of two examples and of associated arguments by Lange, Pincock, Steiner and Tallant, point to a a wealth of worries concerning the construal of this explanatory role. Among those figure the distinction between the weak and strong role of proofs, the distinction between causal or “ordinary” explanations and genuine mathematical ones, and the unifying role of optimization explanations. More generally, the very idea that the explanatory advantages yielded by applied mathematical claims may be construed as gradual or progressive and the associated notion that the feasibility of their nominalistic paraphrases decreases as the generality and force of these claim increases, deserves a closer attention. (shrink)

Many long-standing problems pertaining to contemporary philosophy of mathematics can be traced back to different approaches in determining the nature of mathematical entities which have been dominated by the debate between realists and nominalists. Through this discussion conceptualism is represented as a middle solution. However, it seems that until the 20th century there was no third position that would not necessitate any reliance on one of the two points of view. Fictionalism, on the other hand, observes mathematical entities in a (...) radically different way. This is reflected in the claim that the concepts being used in mathematics are nothing but a product of human fiction. This paper discusses the relationship between fictionalism and two traditional viewpoints within the discussion which attempts to successfully determine the ontological status of universals. One of the main points, demonstrated with concrete examples, is that fictionalism cannot be classified as a nominalist position. Since fictionalism is observed as an independent viewpoint, it is necessary to examine its range as well as the sustainability of the implications of opinions stated by their advocates. (shrink)

The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of (...) recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences. (shrink)

In Science without numbers Hartry Field attempted to formulate a nominalist version of Newtonian physics?one free of ontic commitment to numbers, functions or sets?sufficiently strong to have the standard platonist version as a conservative extension. However, when uses for abstract entities kept popping up like hydra heads, Field enriched his logic to avoid them. This paper reviews some of Field's attempts to deflate his ontology by inflating his logic.

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

It is sometimes argued that mathematical knowledge must be a priori, since mathematical truths are necessary, and experience tells us only what is true, not what must be true. This argument can be undermined either by showing that experience can yield knowledge of the necessity of some truths, or by arguing that mathematical theorems are contingent. Recent work by Albert Casullo and Timothy Williamson argues (or can be used to argue) the first of these lines; W. V. Quine and Hartry (...) Field take the latter line. I defend a version of the argument against these, and other objections. (shrink)

In this article, I present a novel account of a priori warrant, which I then use to examine the relationship between a priori and a posteriori warrant in mathematics. According to this account of a priori warrant, the reason that a posteriori warrant is subordinate to a priori warrant in mathematics is because processes that produce a priori warrant are reliable independent of the contexts in which they are used, whereas this is not true for processes that produce a posteriori (...) warrant. Following this, I show how this difference explains why a priori warranting processes, such as proof (and mathematical intuition) can, and a posteriori warranting processes cannot, definitively establish mathematical results. I then show why, in the event of a conflict between a priori and a posteriori warranting processes, the former undermine, and cannot be undermined by, the latter. Finally, I explain the connection between apriority and mathematical necessity, but do so in a way that allows for the existence of contingent a priori knowledge. (shrink)

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

Though many working mathematicians embrace a rough and ready form of Platonism, that venerable position has suffered a checkered philosophical career. Indeed the three schools of thought with which most of us began our official philosophizing about mathematics—Intuitionism, Formalism, and Logicism—all stand in fundamental disagreement with Platonism. Nevertheless, various versions of Platonistic thinking survive in contemporary philosophical circles. The aim of this paper is to describe these views, and, as my title suggests, to trace their roots.I'll begin with some preliminary (...) remarks about the big three schools. This seems a reasonable approach to the issues both because most observers are familiar, at least in a general way, with the tenets of Intuitionism, Formalism, and Logicism, and because it is in reaction to these that contemporary Platonism has taken shape. (shrink)

One cannot escape the feeling that these mathematical formulae have an independent existence and an intelligence of their own, that they are wiser than we are, wiser even than their discoverers.

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.

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

This is a survey of contemporary work on ‘fictionalism in metaphysics’, a term that is taken to signify both the place of fictionalism as a distinctive anti‐realist metaphysics in which usefulness rather than truth is the norm of acceptance, and the fact that philosophers have given fictionalist treatments of a range of specifically metaphysical notions.

Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.

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 instnrunentalism escapes the conjunction objection unscathed.

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like 'All the theorems are true', 'Everything Peter said is true', etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first-order logic, full second-order logic, and existential second-order (?11-) logic. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

Opposing Quine, I defend the view that some of the statements we accept are immune to empirical revision. My examples include instances of Schema and abbreviative definitions. I argue that it serves important cognitive purposes to hold statements of these kinds immune to revision, and that it is epistemically permissible for us to do so. At the end, I briefly consider the question of whether the rationale for these claims might be extended to show that additional statements are unrevisable.

FieldHartry. Science Without Numbers: A Defense of Nominalism 2nd ed.Oxford University Press, 2016. ISBN 978-0-19-877792-2. Pp. vi + 56 + vi + 111.

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema “True(A)↔A”, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in “ordinary” contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A (...) within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are “defective”. We can in fact define a hierarchy of “defectiveness” predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (“revenge problems”) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various “levels of defectiveness” can all be made coherent together within a single object language. (shrink)

Julian Cole argues that mathematical domains are the products of social construction. This view has an initial appeal in that it seems to salvage much that is good about traditional platonistic realism without taking on the ontological baggage. However, it also has problems. After a brief sketch of social constructivist theories and Cole’s philosophy of mathematics, I evaluate the arguments in favor of social constructivism. I also discuss two substantial problems with the theory. I argue that unless and until social (...) constructivists can address the two concerns, we have reason to be skeptical about social constructivism in the philosophy of mathematics. (shrink)

In this paper, I explore Rosen’s ‘transcendental’ objection to constructive empiricism—the argument that in order to be a constructive empiricist, one must be ontologically committed to just the sort of abstract, mathematical objects constructive empiricism seems committed to denying. In particular, I assess Bueno’s ‘partial structures’ response to Rosen, and argue that such a strategy cannot succeed, on the grounds that it cannot provide an adequate metalogic for our scientific discourse. I conclude by arguing that this result provides some interesting (...) consequences in general for anti-realist programmes in the philosophy of science.Keywords: Constructive empiricism; Mathematical fictionalism; Partial structures; Modality. (shrink)

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

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)

This paper develops a novel version of mathematical fictionalism and defends it against three objections or worries, viz., (i) an objection based on the fact that there are obvious disanalogies between mathematics and fiction; (ii) a worry about whether fictionalism is consistent with the fact that certain mathematical sentences are objectively correct whereas others are incorrect; and (iii) a recent objection due to John Burgess concerning “hermeneuticism” and “revolutionism”.

HellmanGeoffrey* * and ShapiroStewart.** ** Varieties of Continua—From Regions to Points and Back. Oxford University Press, 2018. ISBN: 978-0-19-871274-9. Pp. x + 208.