The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

Baker claims to provide an example of mathematical explanation of an empirical phenomenon which leads to ontological commitment to mathematical objects. This is meant to show that the positing of mathematical entities is necessary for satisfactory scientific explanations and thus that the application of mathematics to science can be used, at least in some cases, to support mathematical realism. In this paper I show that the example of explanation Baker considers can actually be given without postulating mathematical objects and thus (...) cannot be used by the mathematical realist. I also show that, despite this, mathematics keeps playing an important methodological role in the explanation and does not reduce to a merely computational or descriptive framework. (shrink)

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)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

Initially, you judge that p. You then learn that most experts disagree. All things considered, you believe that the experts are probably right. Still, p continues to seem right to you, in some sense. You don’t yet see what, if anything, is wrong with your original reasoning. In such a case, we’ll say that you are ‘inclined’ toward p. This paper explores various roles that this state of inclination can play, both within epistemology and more broadly. Specifically, it will be (...) argued that: (i) inclinations can promote the accuracy of inquiring groups; (ii) they can support rational participation within philosophy despite pervasive disagreement; (iii) they allow us to make sense of an important way in which two people can continue to disagree even after they ‘conciliate’; (iv) inclinations carry information about individuals’ independent judgments and for this reason must be accounted for when updating on the opinions of others; (v) inclinations are connected to understanding in a way that belief is not; (vi) and awareness of the inclination-belief distinction enables us to respond to a provocative challenge purporting to show that critical thinking, or ‘thinking for oneself’, typically reduces expected accuracy and hence should be discouraged. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what the (...) world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

"A theoretical juice extractor: The role of mathematics in scientific explanation". There have recently been proposed cases where, supposedly, mathematics would play a genuinely explanatory role in science. These have been divided into those situations where the explanatory role would be played by mathematical operations, and those where it would be played by mathematical entities. In this article, I analyze some of these purported cases and argue that claims that mathematics can be genuinely explanatory are unfounded. Throughout my discussion, I (...) emphasize the representational role of mathematics, as opposed to its supposed explanatory role: the role of mathematics, even in the cases that I discuss, is to represent physical facts and help draw inferences about those facts. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

Arguments from perceptual variation challenge the view that colors are objective properties of objects, properties that objects have independent of how they are perceived. This paper attempts, first, to diagnose one central reason why arguments from perceptual variation seem especially challenging for objectivists about color. Second, we offer a response to this challenge, claiming that once we focus on determinate colors rather than the determinables they determine, a response to arguments from perceptual variation becomes apparent. Third, our nominal opponents are (...) relationalist (like Cohen in The red and the real: an essay on color ontology, Oxford University Press, Oxford, 2009) and we will argue that the main argument for rejecting objectivism commits the relationalist to a position that is more radical than the one he would wish to endorse. Fourth, we suggest that insight into which properties could be relational may be found by looking to our best scientific theories. (shrink)

This paper argues that in mathematical practice, conjectures are sometimes confirmed by “Inference to the Best Explanation” as applied to some mathematical evidence. IBE operates in mathematics in the same way as IBE in science. When applied to empirical evidence, IBE sometimes helps to justify the expansion of scientists’ ontological commitments. Analogously, when applied to mathematical evidence, IBE sometimes helps to justify mathematicians' in expanding the range of their ontological commitments. IBE supplements other forms of non-deductive reasoning in mathematics, avoiding (...) obstacles sometimes faced by enumerative induction or hypothetico-deductive reasoning. Both platonist and non-platonist interpretations of mathematics ought to accommodate explanation in mathematics and ought to recognize IBE in mathematics, though these interpretations disagree on the ontological commitments that mathematicians ought to have. This paper offers an inductive account of why mathematical IBE tends to lead to mathematical truths. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of IBE, (...) the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

COVID-19 has substantially affected our lives during 2020. Since its beginning, several epidemiological models have been developed to investigate the specific dynamics of the disease. Early COVID-19 epidemiological models were purely statistical, based on a curve-fitting approach, and did not include causal knowledge about the disease. Yet, these models had predictive capacity; thus they were used to ground important political decisions, in virtue of the understanding of the dynamics of the pandemic that they offered. This raises a philosophical question about (...) how purely statistical models can yield understanding, and if so, what the relationship between prediction and understanding in these models is. Drawing on the model that was developed by the Institute of Health Metrics and Evaluation, we argue that early epidemiological models yielded a modality of understanding that we call descriptive understanding, which contrasts with the so-called explanatory understanding which is assumed to be the main form of scientific understanding. We spell out the exact details of how descriptive understanding works, and efficiently yields understanding of the phenomena. Finally, we vindicate the necessity of studying other modalities of understanding that go beyond the conventionally assumed explanatory understanding. (shrink)

In this paper, I discuss the ways in which epistemic anxiety promotes well-being, specifically by examining the positive contributions that feelings of epistemic anxiety make toward intellectually virtuous inquiry. While the prospects for connecting the concept of epistemic anxiety to the two most prominent accounts of intellectual virtue, i.e., “virtue-reliabilism” and “virtue-responsibilism”, are promising, I primarily focus on whether the capacity for epistemic anxiety counts as an intellectual virtue in the reliabilist sense. As I argue, there is a close yet (...) unexplored connection between feelings of epistemic anxiety and the form of inference commonly known as “Inference to the Best Explanation” (IBE). Specifically, I argue that both the recognition that some fact requires an explanation—a necessary first step in applying IBE—and the subsequent motivation to employ IBE are typically facilitated by feelings of epistemic anxiety. So, provided IBE is truth-conducive the capacity for epistemic anxiety should count as an intellectual virtue in the reliabilist sense. After outlining my main argument, I address the challenge that the capacity for epistemic anxiety has the potential to be misleading. To respond to this challenge, I discuss how our recognition that a fact requires an explanation must in part be a species of practical knowledge, rather than theoretical knowledge. For the agent to skillfully distinguish between facts that require an explanation and facts that do not, she must develop the virtuous disposition to feel the appropriate amount of epistemic anxiety. Despite the many negative aspects associated with anxiety, as I conclude, being disposed to feel the appropriate amount of epistemic anxiety is ultimately good for us. (shrink)

Mathematics appears to play an explanatory role in science. This, in turn, is thought to pave a way toward mathematical Platonism. A central challenge for mathematical Platonists, however, is to provide an account of how mathematical explanations work. I propose a property-based account: physical systems possess mathematical properties, which either guarantee the presence of other mathematical properties and, by extension, the physical states that possess them; or rule out other mathematical properties, and their associated physical states. I explain why Platonists (...) should accept that physical systems have mathematical properties, and why a property based account is better than existing accounts of mathematical explanation. I close by considering whether nominalists can accept the view I propose here. I argue that they cannot. (shrink)

Some scientific explanations appear to turn on pure mathematical claims. The enhanced indispensability argument appeals to these ‘mathematical explanations’ in support of mathematical platonism. I argue that the success of this argument rests on the claim that mathematical explanations locate pure mathematical facts on which their physical explananda depend, and that any account of mathematical explanation that supports this claim fails to provide an adequate understanding of mathematical explanation.

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

The philosophical problem that stems from the successful application of mathematics in the empirical sciences has recently attracted growing interest within philosophers of mathematics and philosophers of science. Nevertheless, little attention has been devoted to the converse applicability issue of how physical considerations find successful application in mathematics. In this article, focusing on some case studies, I address the latter issue and argue that some successful applications of physics to mathematics essentially depend on the use of conservation principles. I conclude (...) with a short discussion of how the successful interplay between conservation principles and mathematics can be accounted for. (shrink)

There is a tension in Emilie Du Châtelet’s thought on mathematics. The objects of mathematics are ideal or fictional entities; nevertheless, mathematics is presented as indispensable for an account of the physical world. After outlining Du Châtelet’s position, and showing how she departs from Christian Wolff’s pessimism about Newtonian mathematical physics, I show that the tension in her position is only apparent. Du Châtelet has a worked-out defense of the explanatory and epistemic need for mathematical objects, consistent with their metaphysical (...) nonfundamentality. I conclude by sketching how Du Châtelet’s conception of mathematical indispensability differs interestingly from many contemporary approaches. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

Can there be mathematical explanations of physical phenomena? In this paper, I suggest an affirmative answer to this question. I outline a strategy to reconstruct several typical examples of such explanations, and I show that they fit a common model. The model reveals that the role of mathematics is explicatory. Isolating this role may help to re-focus the current debate on the more specific question as to whether this explicatory role is, as proposed here, also an explanatory one.

This paper argues for an interpretation of Leibniz’s claim that physics requires both mechanical and teleological principles as a view regarding the interpretation of physical theories. Granting that Leibniz’s fundamental ontology remains non-physical, or mentalistic, it argues that teleological principles nevertheless ground a realist commitment about mechanical descriptions of phenomena. The empirical results of the new sciences, according to Leibniz, have genuine truth conditions: there is a fact of the matter about the regularities observed in experience. Taking this stance, however, (...) requires bringing non-empirical reasons to bear upon mechanical causal claims. This paper first evaluates extant interpretations of Leibniz’s thesis that there are two realms in physics as describing parallel, self-sufficient sets of laws. It then examines Leibniz’s use of teleological principles to interpret scientific results in the context of his interventions in debates in seventeenth-century kinematic theory, and in the teaching of Copernicanism. Leibniz’s use of the principle of continuity and the principle of simplicity, for instance, reveal an underlying commitment to the truth-aptness, or approximate truth-aptness, of the new natural sciences. The paper concludes with a brief remark on the relation between metaphysics, theology, and physics in Leibniz. (shrink)

I defend the following argument in this paper. Premise 1: Laws of nature are intrinsic to the universe. Premise 2: Humeanism maintains that laws of nature are extrinsic to the universe. Conclusion: Humeanism is false. This argument is inspired by John Hawthorne’s (2004) argument in “Why Humeans are out of their Minds”. My argument differs from his; Hawthorne focuses on Humean views of causation and how they interact with judgments about consciousness. He thinks Humeans are forced to treat certain mental (...) properties (insofar as they involve causal features) as extrinsic to conscious minds. I do not discuss causation or consciousness here. I focus on Humean accounts of laws. I argue that Humean laws are extrinsic to the entire universe. As such, Humeans are not just out of their minds; they are out of this world. I aim to show that premises 1 and 2 are well-supported and that denying either of them comes at a cost. Nevertheless, Humeans may prefer to reject 1 or 2 rather than give up Humeanism. Even if the Humean takes one of these routes, the argument above has philosophical import: it shows that Humeanism involves surprising commitments. (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)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

It has seemed, to many, that there is an important connection between the ways in which some theoretical posits explain our observations, and our reasons for being ontologically committed to those posits. One way to spell out this connection is in terms of what has become known as the explanatory criterion of ontological commitment. This is, roughly, the view that we ought to posit only those entities that are indispensable to our best explanations. Our primary aim is to argue that (...) the moral nonnaturalist places herself in an invidious position if she simply accepts that the nonnatural moral facts that she posits are not explanatory. Instead, we offer the nonnaturalist an alternative strategy for dealing with moral explanations. The strategy is to retain the explanatory criterion of ontological commitment and maintain that moral properties are, in fact, explanatory. The explanations they provide are not causal explanations; instead, moral properties make a non-causal difference to the physical facts. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense outlined by Hartry Field. (...) The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

Explaining the behaviour of ecosystems is one of the key challenges for the biological sciences. Since 2000, new-mechanicism has been the main model to account for the nature of scientific explanation in biology. The universality of the new-mechanist view in biology has been however put into question due to the existence of explanations that account for some biological phenomena in terms of their mathematical properties (mathematical explanations). Supporters of mathematical explanation have argued that the explanation of the behaviour of ecosystems (...) is usually provided in terms of their mathematical properties, and not in mechanistic terms. They have intensively studied the explanation of the properties of ecosystems that behave following the rules of a non-random network. However, no attention has been devoted to the study of the nature of the explanation in those that form a random network. In this paper, we cover that gap by analysing the explanation of the stability behaviour of the microbiome recently elaborated by Coyte and colleagues, to determine whether it fits with the model of explanation suggested by the new-mechanist or by the defenders of mathematical explanation. Our analysis of this case study supports three theses: (1) that the explanation is not given solely in terms of mechanisms, as the new-mechanists understand the concept; (2) that the mathematical properties that describe the system play an essential explanatory role, but they do not exhaust the explanation; (3) that a non-previously identified appeal to the type of interactions that the entities in the network can exhibit, as well as their abundance, is also necessary for Coyte and colleagues’ account to be fully explanatory. From the combination of these three theses we argue for the necessity of an integrative pluralist view of the nature of behaviour explanation when this is given by appealing to the existence of a random network. (shrink)

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)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural analysis of (...) the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

The contemporary Platonists in the philosophy of mathematics argue that mathematical objects exist. One of the arguments by which they support this standpoint is the so-called Enhanced Indispensability Argument (EIA). This paper aims at pointing out the difficulties inherent to the EIA. The first is contained in the vague formulation of the Argument, which is the reason why not even an approximate scope of the set objects whose existence is stated by the Argument can be established. The second problem is (...) reflected in the vagueness of the very term indispensability, which is essential to the Argument. The paper will remind of a recent definition of the concept of indispensability of a mathematical object, reveal its deficiency and propose an improvement of this definition. Following this, we will deal with one of the consequences of the arbitrary employment of the concept of indispensability of a mathematical theory. We will propose a definition of this concept as well, in accordance with the common intuition about it. Eventually, on the basis of these two definitions, the paper will describe the relation between these two concepts, in the attempt to clarify the conceptual apparatus of the EIA. (shrink)

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

A way to argue that something plays an explanatory role in science is by linking explanatory relevance with importance in the context of an explanation. The idea is deceptively simple: a part of an explanation is an explanatorily relevant part of that explanation if removing it affects the explanation either by destroying it or by diminishing its explanatory power, i.e. an important part is an explanatorily relevant part. This can be very useful in many ontological debates. My aim in this (...) paper is twofold. First of all, I will try to assess how this view on explanatory relevance can affect the recent ontological debate in the philosophy of mathematics—as I will argue, contrary to how it may appear at first glance, it does not help very much the mathematical realists. Second of all, I will show that there are big problems with it. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non-causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka–Volterra equations. There are (...) at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, and another that yields explanations that are distinctively mathematical in terms of nomological strength. In the first case, one first picks out a system or class of systems, and finds that the equations hold in a causal–explanatory way. In the second case, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non-causal explanations can complement one another. _1_. Introduction _2._ Delineating the Boundaries of Causal Explanation _2.1._ Why construe causal explanation narrowly? The land of explanation versus grain-focusing _2.2._ Reasons to narrow the scope of causal explanation _3._ Broadening the Scope of Mathematical Explanation _4._ Lotka–Volterra: Same Model, Different Explanation Types _4.1._ General biocide in the Lotka–Volterra model _4.2._ Two ways a model can hold, yielding causal versus mathematical explanations _5._ Four Complementary Relationships between Mathematical and Causal Explanation _5.1._ Slight reformulations of explananda _5.2._ Causal distortion of idealized mathematical models _5.3._ Partial explanations requiring supplementation _5.4._ Explanatory dimensionality _6._ Conclusion. (shrink)

This chapter examines issues surrounding inference to the best explanation, its justification, and its role in different arguments for scientific realism, as well as more general issues concerning explanations’ ontological commitments. Defending the reliability of inference to the best explanation has been a central plank in various realist arguments, and realists have drawn various ontological conclusions from the premise that a given scientific explanation best explains some phenomenon. This chapter stresses the importance of thinking carefully about the nature of explanation (...) in connection with evaluating realists’ appeals to explanatory reasoning and inference to the best explanation. (shrink)

This discussion note points to some verbal imprecisions in the formulation of the Enhanced Indispensability Argument. The examination of the plausibility of alternative interpretations reveals that the argument’s minor premise should be understood as a particular, not a universal, statement. Interpretations of the major premise and the conclusion oscillate between de re and de dicto readings. The attempt to find an appropriate interpretation for the EIA leads to undesirable results. If assumed to be valid and sound, the argument warrants the (...) rationality of the belief in an unusual variant of Platonism. On the other hand, if taken as it stands, the argument is either invalid or is unsound or does not support the mathematical Platonism. Thus, the EIA in its present form cannot serve as a useful device for the Platonist. (shrink)

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical descriptions (...) and so there is no such thing as a solely mathematical account of a target system. (shrink)

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

I examine explanations’ realist commitments in relation to dynamical systems theory. First I rebut an ‘explanatory indispensability argument’ for mathematical realism from the explanatory power of phase spaces (Lyon and Colyvan 2007). Then I critically consider a possible way of strengthening the indispensability argument by reference to attractors in dynamical systems theory. The take-home message is that understanding of the modal character of explanations (in dynamical systems theory) can undermine platonist arguments from explanatory indispensability.

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (shrink)

State of the art paper on the topic realism/anti-realism. The first part of the paper elucidates the notions of existence and independence of the metaphysical characterization of the realism/anti-realism dispute. The second part of the paper presents a critical taxonomy of the most important positions and doctrines in the contemporary literature on the domains of science and mathematics: scientific realism, scientific anti-realism, constructive empiricism, structural realism, mathematical Platonism, mathematical indispensability, mathematical empiricism, intuitionism, mathematical fictionalism and second philosophy.

This thesis examines possible philosophies to account for the practice of mathematics, exploring the metaphysical, ontological, and epistemological outcomes of each possible theory. Through a study of the two most probable ideas, mathematical platonism and fictionalism, I focus on the compelling argument for platonism given by an appeal to the sciences. The Indispensability Argument establishes the power of explanation seen in the relationship between mathematics and empirical science. Cases of this explanatory power illustrate how we might have reason to believe (...) in the existence of mathematical entities present within our best scientific theories. The second half of this discussion surveys Newtonian Cosmology and other inconsistent theories as they pose issues that have received insignificant attention within the philosophy of mathematics. The application of these inconsistent theories raises questions about the effectiveness of mathematics to model physical systems. (shrink)

This paper argues that scientific realism commits us to a metaphysical determination relation between the mathematical entities that are indispensible to scientific explanation and the modal structure of the empirical phenomena those entities explain. The argument presupposes that scientific realism commits us to the indispensability argument. The viewpresented here is that the indispensability of mathematics commits us not only to the existence of mathematical structures and entities but to a metaphysical determination relation between those entities and the modal structure of (...) the physical world. The no-miracles argument is the primary motivation for scientific realism. It is a presupposition of this argument that unobservable entities are explanatory only when they determine the empirical phenomena they explain. I argue that mathematical entities should also be seen as explanatory only when they determine the empirical facts they explain, namely, the modal structure of the physical world. Thus, scientific realism commits us to a metaphysical determination relation between mathematics and physical modality that has not been previously recognized. The requirement to account for the metaphysical dependence of modal physical structure on mathematics limits the class of acceptable solutions to the applicability problem that are available to the scientific realist. (shrink)