Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

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

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

The aim of this work is to account for expressions like “Cantor’s diagonal proof is elegant” or “Euler identity is the most beautiful formula of mathematics”. This type of expressions is common among mathematicians; however, they may result in two kinds of puzzled reactions: first, the non mathematician may find the use of the word ‘beautiful’ strange in this context. Second, the mathematician may try to reinterpret mathematical beauty in terms of the principles and precepts of mathematics itself. I present (...) an account of mathematical beauty that offers a way to avoid these puzzled reactions: mathematical beauty is just a type of “normal” beauty and no reinterpretation is necessary. To support this claim, I devise an aesthetic theory -by using insights and findings from experimental psychology, neurology, philosophical and psychological theories of emotion in art, philosophy of music and philosophy of science- that shows that aesthetic judgments in mathematics are genuine aesthetic judgments. (shrink)

Some mathematical philosophers believe that we can achieve a new and better version of mathematical Platonism, by eliminating defects of original Platonism. According to Brown's version of Platonism, that here we call it “Modern Platonism”, the nature of mathematics can be formulated in these seven theses: realism, abstraction, particularity, Intuitiveness, priority, fallibility, and extensibility. This paper criticizes and evaluates the New Platonism, according to two major criteria: the social acceptability, and the methodological acceptability. The social acceptability of a theory, according (...) to my definition, is the interest and attitude of the people to that theory; and it can be measured on the frequency or percentage of interested parties. But the methodological acceptance of a theory means to match it with criteria such as consistency, simplicity and explanatory power; and its value can be assessed based on its success in solving philosophical problems related to it. According to Brown, the new Platonism, is the best philosophical theory about the nature of mathematics, both sociological and methodological. As for sociological criteria, we can be sympathetic and agree with Brown. That is, it seems that the new version of Platonism is still acceptable. But it needs to prove its methodological acceptability. Because the access problem and the certainty problem are still not resolved. (shrink)

There is growing debate about what is the correct methodology for research in the ontology of artworks. In the first part of this essay, I introduce my view: I argue that semantic descriptivism is a semantic approach that has an impact on meta-ontological views and can be linked with a hermeneutic fictionalist proposal on the meta-ontology of artworks such as works of music. In the second part, I offer a synthetic presentation of the four main positive meta-ontological views that have (...) been defended in philosophical literature about artworks and of some criticisms that can be lodged against them: Amie Thomasson’s global descriptivism, Andrew Kania’s local descriptivism, Julian Dodd’s folk-theoretic modesty, and David Davies’ rational accountability view. In the conclusion, I show the advantages of my view. (shrink)

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

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue (...) that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism). (shrink)

The initial motivating question for this thesis is what the standard of rigour in modern mathematics amounts to: what makes a proof rigorous, or fail to be rigorous? How is this judged? A new account of rigour is put forward, aiming to go some way to answering these questions. Some benefits of the norm of rigour on this account are discussed. The account is contrasted with other remarks that have been made about mathematical proof and its workings, and is tested (...) and illustrated by considering a case study discussed in the literature. On the view put forward here one can obtain a manner of informal, rigorous mathematics founded on any of a variety of proof systems. The latter part of the thesis is concerned with the question of how we should decide which of these competing proof systems we should base our mathematics on: i.e., the question of which proof system we should take as a foundation for our mathematics. A novel answer to this question is proposed, in which the key property we should require of a proof system is that for as many different kinds of structures as possible, when the proof system allows a generalization about that kind of structure to be proved, the generalization actually holds of all real examples of that kind of structure which exist. This is the requirement of soundness of the proof system. It is argued that the best way to establish the soundness of a proof system may be by giving an interpretation of its axioms on which they are established as true. As preparation for this discussion, the thesis first investigates the logical and conceptual basis of various arithmetic concepts, with the results obtained used in the final discussion of soundness. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...) be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

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

Je parlerai dans cet article du si-alors-sinon comme d’une stratégie de nos obligations ontologiques dans les mathématiques. Je commencerai par la définition du si-alors-sinon dans les Principia mathematica. Ensuite, je discuterai la critique du si-alors-sinon par Putnam. Suivront certains arguments de Ciana Dorra qui l’appuient. Finalement, il sera question de la « parcimonie » ontologique en tant que motif d’adoption du si-alors-sinon. Je traiterai de la parcimonie ontologique en liaison avec le naturalisme en essayant de démontrer que la parcimonie ontologique (...) n’est pas une exigence découlant du naturalisme. (shrink)

I defend a new position in philosophy of mathematics that I call mathematical inferentialism. It holds that a mathematical sentence can perform the function of facilitating deductive inferences from some concrete sentences to other concrete sentences, that a mathematical sentence is true if and only if all of its concrete consequences are true, that the abstract world does not exist, and that we acquire mathematical knowledge by confirming concrete sentences. Mathematical inferentialism has several advantages over mathematical realism and fictionalism.

I am a realist of a metaphysical stripe. I believe in an immense realm of "modal" and "abstract" entities, of entities that are neither part of, nor stand in any causal relation to, the actual, concrete world. For starters: I believe in possible worlds and individuals; in propositions, properties, and relations (both abundantly and sparsely conceived); in mathematical objects and structures; and in sets (or classes) of whatever I believe in. Call these sorts of entity, and the reality they comprise, (...) metaphysical. In contrast, call the actual, concrete entities, and the reality they comprise, physical. Physical and metaphysical reality together comprise all that there is. In this paper, it is not my aim to defend realism about any particular metaphysical sort of entity. Rather, I ask quite generally whether and how any brand of realism about metaphysical sorts of entity could be justified? (shrink)

En este artículo me gustaría concentrarme en al forma de tratar el problema de Benacerraf respecto de la inaccesibilidad de los objetos abstractos. Este es el principio (llamado FBP por Balaguer) que caracteriza a los objetos por axiomas de una teoría de la existencia consistente. Analizo los argume..

The Aristotelian Society’s Virtual Issue is a free, online publication, made publically available on the Aristotelian Society website. Each volume is theme-based, collecting together papers from the archives of the Proceedings of the Aristotelian Society and the Proceedings of the Aristotelian Society Supplementary Volume that address the chosen theme. This year's Virtual Issue includes a selection of papers from across the Society’s fourteen decades, each accompanied by a specially commissioned present-day response. The aim of the volume is to aid reflection (...) on how to go about doing moral and political philosophy, by bringing together papers that bear on their epistemology and methodology. In some cases this involves pieces whose declared focus is on one of those areas, as is the case with Margaret MacDonald’s 1941 essay ‘The Language of Political Theory’ and Mary Midgley’s 1974 article ‘The Neutrality of the Moral Philosopher’. In other cases the editor, Ben Colburn, selected papers whose primary focus is elsewhere, but which include some interesting epistemological or methodological reflections or implications along the way. The contributions from our present-day commentators vary similarly in how far their explicit attention is methodological. Nevertheless, there is throughout a concern on how to ‘be an honest reasoner’, to borrow a phrase from the late Dudley Knowles. (shrink)

L’Ipotesi del Continuo, formulata da Cantor nel 1878, è una delle congetture più note della teoria degli insiemi. Il Problema del Continuo, che ad essa è collegato, fu collocato da Hilbert, nel 1900, fra i principali problemi insoluti della matematica. A seguito della dimostrazione di indipendenza dell’Ipotesi del Continuo dagli assiomi della teoria degli insiemi, lo status attuale del problema è controverso. In anni più recenti, la ricerca di una soluzione del Problema del Continuo è stata anche una delle ragioni (...) fondamentali per la ricerca di nuovi assiomi in matematica. L’articolo fornisce un quadro generale dei risultati matematici fondamentali, e un’analisi di alcune delle questioni filosofiche connesse al Problema del Continuo. (shrink)

The paper's two theses are: First, that the historical and philosophical roots of argumentation are in ethics and politics, and not in any formal ideal, be it mathematical, scientific or other. Furthermore, argumentation is a human invention, deeply tied up with the emergence of democracy in ancient Greece. Second, that argumentation presupposes and advances concurrently humanistic values, especially the autonomy of the individual to think and decide in a free and uncoerced manner.

This paper proposes an approach to the philosophy of mathematics, deductive pluralism, that is designed to satisfy the criteria of inclusiveness of and consistency with mathematical practice. Deductive pluralism views mathematical statements as assertions that a result follows from logical and mathematical foundations and that there are a variety of incompatible foundations such as standard foundations, constructive foundations, or univalent foundations. The advantages of this philosophy include the elimination of ontological problems, epistemological clarity, and objectivity. Possible objections and relations with (...) some other philosophies of mathematics are also considered. (shrink)

Most science requires applied mathematics. This truism underlies the Quine-Putnam indispensability argument: we cannot be mathematical nominalists without rejecting whole swaths of good science that are seamlessly linked with mathematics. One style of response accepts the challenge head-on and attempts to show how to do science without mathematics. There is some consensus that the response fails because the nominalistic apparatus deployed either is not extendible to all of mathematical physics or is merely a deft reconstrual equivalent to standard mathematics. A (...) second style of response denies that indispensability entails realism: when we mathematize a physical problem we treat its physical content as if it were the mathematical representation; provided the two are sufficiently similar, we can use the mathematics to draw conclusions about the physics; even if we cannot represent physical facts without mathematical tools, as-if-fictionalism is reasonable. In this paper I argue that uses of mathematics in science reach deeper than is appreciated by this second response and, indeed, in the more general literature. More specifically, our confidence that we can use the mathematics to draw conclusions about the physics itself depends on mathematics. If the mathematical premises we employ in concluding that a certain application is trustworthy are false, we may lack a justification for supposing that the application will reliably lead us from correct input to correct output. For example, solutions to many physical problems require the determination of a function satisfying a differential equation. Sometimes the existence of a solution for initial value problems can be established directly; where direct methods fail, the existence of a solution must be established indirectly, generally by constructing a sequence of functions that converges to a limit function that satisfies the initial value problem. Moreover, the solution often cannot be evaluated by analytic methods, and scientists must rely on finite element numerical methods to approximate the solution. Mathematical analysis of errors provides further useful information governing the choice of approximation method and of the step size and number of elements needed for the approximation to reach a desired precision. Mathematical physicists rely on the background mathematical theories presupposed in proving the existence of the solutions and approximating them. It is difficult to see how they could do this while adding the fictionalist disclaimer, “But, you know, I don’t believe any of the mathematics I’m using”. It is difficult to see how a fictionalist pursuing the second strategy can account for the soundness of mathematical reasoning in mathematical physics and elsewhere in the sciences. The paper will fill out this argument by appeal to examples and attempt to make clear how mathematics is indispensable to understanding – and thus underwriting our confidence in – applications that would otherwise be shaky approximations and idealizations and how this role is difficult to square with fictionalism. (shrink)