Mathematical Fictionalism

O ficcionalismo, geralmente classificado como um tipo de nominalismo, apresenta como perspectiva precípua a tese de que os entes matemáticos são ficções. Para o ficcionalista, o discurso matemático é desprovido de conteúdo. Hartry Field, que é o principal defensor dessa concepção ontológica da matemática, contesta, em Science Without Numbers, a utilização de entes matemáticos na redação de teorias da física, alegando que a defesa mais plausível do realismo ontológico matemático é o argumento da indispensabilidade de Quine-Putnam. O ficcionalismo defendido por (...) Field nos permite, de acordo com Shapiro, classificá-lo no grupo filosofia-primeiro, ou seja, entre os filósofos que defendem que a filosofia deve ser responsável por legislar a respeito da prática matemática. Dessa forma, podemos considerar Field um revisionista epistemológico. Como se sabe, a dependência da ciência moderna em relação ao discurso matemático coloca a tese ficcionalista em xeque. Ainda assim, se partirmos dos pressupostos filosóficos da vertente formalista da filosofia da matemática, que concebe a matemática como constituída de um conjunto de regras sem significado que podem ser manipuladas de maneira puramente sintática, poderemos traçar importantes analogias entre matemática e ficção, tal como também entre metamatemática e metaficção. Para um formalista simpático à tese ficcionalista, o estatuto ontológico da matemática é semelhante ao das regras de um jogo de xadrez. (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)

This book provides philosophers of science with new theoretical resources for making their own contributions to the scientific realism debate. Readers will encounter old and new arguments for and against scientific realism. They will also be given useful tips for how to provide influential formulations of scientific realism and antirealism. Finally, they will see how scientific realism relates to scientific progress, scientific understanding, mathematical realism, and scientific practice.

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

Easy-road mathematical fictionalists grant for the sake of argument that quantification over mathematical entities is indispensable to some of our best scientific theories and explanations. Even so they maintain we can accept those theories and explanations, without believing their mathematical components, provided we believe the concrete world is intrinsically as it needs to be for those components to be true. Those I refer to as “mathematical surrealists” by contrast appeal to facts about the intrinsic character of the concrete world, not (...) to explain why our best mathematically imbued scientific theories and explanations are acceptable in spite of having false components, but in order to replace those theories and explanations with parasitic, nominalistically acceptable alternatives. I argue that easy-road fictionalism is viable only if mathematical surrealism is and that the latter constitutes a superior nominalist strategy. Two advantages of mathematical surrealism are that it neither begs the question concerning the explanatory role of mathematics in science nor requires rejecting the cogency of inference to the best explanation. (shrink)

This paper discusses the nature of, problems for, and benefits delivered by fictionalist strategies in metaphysics.

The Enhanced Indispensability Argument appeals to the existence of Mathematical Explanations of Physical Phenomena to justify mathematical Platonism, following the principle of Inference to the Best Explanation. In this paper, I examine one example of a MEPP—the explanation of the 13-year and 17-year life cycle of magicicadas—and argue that this case cannot be used defend the EIA. I then generalize my analysis of the cicada case to other MEPPs, and show that these explanations rely on what I will call ‘optimal (...) representations’, which are representations that capture all that is relevant to explain a physical phenomenon at a specified level of description. In the end, because the role of mathematics in MEPPs is ultimately representational, they cannot be used to support mathematical Platonism. I finish the paper by addressing the claim, advanced by many EIA defendants, that quantification over mathematical objects results in explanations that have more theoretical virtues, especially that they are more general and modally stronger than alternative explanations. I will show that the EIA cannot be successfully defended by appealing to these notions. (shrink)

In this paper, I explore Bunge’s fictionism in philosophy of mathematics. After an overview of Bunge’s views, in particular his mathematical structuralism, I argue that the comparison between mathematical objects and fictions ultimately fails. I then sketch a different ontology for mathematics, based on Thomasson’s metaphysical work. I conclude that mathematics deserves its own ontology, and that, in the end, much work remains to be done to clarify the various forms of dependence that are involved in mathematical knowledge, in particular (...) its dependence on mental/brain states and material objects. (shrink)

Conversational exculpature is a pragmatic process whereby information is subtracted from, rather than added to, what the speaker literally says. This pragmatic content subtraction explains why we can say “Rob is six feet tall” without implying that Rob is between 5'0.99" and 6'0.01" tall, and why we can say “Ellen has a hat like the one Sherlock Holmes always wears” without implying Holmes exists or has a hat. This article presents a simple formalism for understanding this pragmatic mechanism, specifying how, (...) in context, the result of such subtractions is determined. And it shows how the resulting theory of conversational exculpature accounts for a varied range of linguistic phenomena. A distinctive feature of the approach is the crucial role played by the question under discussion in determining the result of a given exculpature. (shrink)

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical possibility of the (...) theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, what counts as a mathematical object, and how (...) we can have knowledge about an unchanging object. (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.

Yablo has argued for an alternative form of if-thenism that is more conducive with his figurative fictionalism. This commentary sets out to challenge whether the remainder, ρ, tends to be an inaccurate representation of the conditions that are supposed to complete the enthymeme from φ to Ψ. Whilst by some accounts the inaccuracies shouldn't set off any alarm bells, the truth of ρ is too inexact. The content of ρ, a partial truth, must display a sensitivity to the contextual background (...) conditions for subtraction to work properly in Yablo's view. Using a toy example, I argue that Yablo's subtraction model tends to yield partial truths as remainders that fail to rule out inaccurate expressions that may prove to be problematic for it. (shrink)

We argue that if Stephen Yablo (2005) is right that philosophers of mathematics ought to endorse a fictionalist view of number-talk, then there is a compelling reason for deflationists about truth to endorse a fictionalist view of truth-talk. More specifically, our claim will be that, for deflationists about truth, Yablo’s argument for mathematical fictionalism can be employed and mounted as an argument for truth-theoretic fictionalism.

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

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

I defend Joseph Melia’s nominalist account of mathematics from an objection raised by Mark Colyvan.

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)

This article investigates the semantics of sentences that express numerical averages, focusing initially on cases such as 'The average American has 2.3 children'. Such sentences have been used both by linguists and philosophers to argue for a disjuncture between semantics and ontology. For example, Noam Chomsky and Norbert Hornstein have used them to provide evidence against the hypothesis that natural language semantics includes a reference relation holding between words and objects in the world, whereas metaphysicians such as Joseph Melia and (...) Stephen Yablo have used them to provide evidence that apparent singular reference need not be taken as ontologically committing. We develop a fully general and independently justified compositional semantics in which such constructions are assigned truth conditions that are not ontologically problematic, and show that our analysis is superior to all extant rivals. Our analysis provides evidence that a good semantics yields a sensible ontology. It also reveals that natural language contains genuine singular terms that refer to numbers. (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)

Any philosophy of science ought to have something to say about the nature of mathematics, especially an account like constructive empiricism in which mathematical concepts like model and isomorphism play a central role. This thesis is a contribution to the larger project of formulating a constructive empiricist account of mathematics. The philosophy of mathematics developed is fictionalist, with an anti-realist metaphysics. In the thesis, van Fraassen's constructive empiricism is defended and various accounts of mathematics are considered and rejected. Constructive empiricism (...) cannot be realist about abstract objects; it must reject even the realism advocated by otherwise ontologically restrained and epistemologically empiricist indispensability theorists. Indispensability arguments rely on the kind of inference to the best explanation the rejection of which is definitive of constructive empiricism. On the other hand, formalist and logicist anti-realist positions are also shown to be untenable. It is argued that a constructive empiricist philosophy of mathematics must be fictionalist. Borrowing and developing elements from both Philip Kitcher's constructive naturalism and Kendall Walton's theory of fiction, the account of mathematics advanced treats mathematics as a collection of stories told about an ideal agent and mathematical objects as fictions. The account explains what true portions of mathematics are about and why mathematics is useful, even while it is a story about an ideal agent operating in an ideal world; it connects theory and practice in mathematics with human experience of the phenomenal world. At the same time, the make-believe and game-playing aspects of the theory show how we can make sense of mathematics as fiction, as stories, without either undermining that explanation or being forced to accept abstract mathematical objects into our ontology. All of this occurs within the framework that constructive empiricism itself provides the epistemological limitations it mandates, the semantic view of theories, and an emphasis on the pragmatic dimension of our theories, our explanations, and of our relation to the language we use. (shrink)

Epicurean philosophy, as Epicurus's teachings became known, was used as the basis for how the community lived and worked. At the time, founding a school and teaching a community of students was the main way philosophical ideas were developed and transmitted. Greek philosopher Aristotle (384–322 BCE), for instance, founded a school in Athens called the Lyceum. Epicurus and his disciples believed either there were no gods or, if there were, the gods were so remote from humans that they were not (...) worth worrying about. Similarly, humans would not have to worry about the afterlife. Instead, humans should live by maximizing their pleasure. The highest pleasure was to be found in the absence of pain. Epicurus taught that humans could maximize their pleasure by living simply and enjoying those impulses that are natural to humans. These impulses include the need to eat and the desire for good friends and company. The Principal Doctrines are 40 statements outlining the basis for the beliefs of Epicurus and his followers about how to lead a good life. Epicurus's other philosophical beliefs (such as his belief that existence was composed of indivisible particles called atoms) are expressed in other writings. Almost none of Epicurus's original writings survive to the present day. His works, including the Principal Doctrines, are known to us because of the work of later writers. In the 3rd century CE, Diogenes Laërtius reproduced Epicurus's writings in Lives, Teachings, and Sayings of Famous Philosophers. Produced centuries after Epicurus's death, such collections may not be Epicurus's precise words or formulations. The Principal Doctrines should thus be regarded as the core principles not only of Epicurus but also of his followers, the Epicureans. (shrink)

We present colorful illustrations of particular properties of functorial diamonds, in the sense of Scholze; namely profinite reflections as categorical colors.We discuss sight as site using representable functors in the condensed formalism. We illuminate diamonds using our novel constructions of categorical Ozma and Cinderella, the site of Oz, and condensed Through the Looking-Glass.