Many mathematicians, physicists, and philosophers have suggested that the fact that mathematics—an a priori discipline informed substantially by aesthetic considerations—can be applied to natural science is mysterious. This paper sharpens and responds to a challenge to this effect. I argue that the aesthetic considerations used to evaluate and motivate mathematics are much more closely connected with the physical world than one might presume, and (with reference to case-studies within Galois theory and probabilistic number theory) show that they are correlated with (...) generally recognized theoretical virtues, such as explanatory depth, unifying power, fruitfulness, and importance. (shrink)

The so-called Ramsey–Carnap approach, or Ramseyfication, has gone out of fashion in the philosophy of science. Advocates have tried to argue for a revival by writing methodological and metatheoretical studies of Ramseyfication. For this paper I have chosen a different approach; I will apply Ramseyfication to infrared spectroscopy—a method used in analytical chemistry—in order to logically analyse the relation between measurements and mathematical structures. My aim in doing so is to contribute to the debate about the _Application Problem of Mathematics_, (...) thereby making a case for Ramseyfication as a method of study for scientific theories. (shrink)

I discuss the applicability of mathematics via a detailed case study involving a family of mathematical concepts known as ‘fractional derivatives.’ Certain formulations of the mystery of applied mathematics would lead one to believe that there ought to be a mystery about the applicability of fractional derivatives. I argue, however, that there is no clear mystery about their applicability. Thus, via this case study, I think that one can come to see more clearly why certain formulations of the mystery of (...) applied mathematics are not convincing. (shrink)

This paper aims to reassess the philosophical puzzle of the “applicability of mathematics to physical sciences” as a misunderstood disciplinary interplay. If the border isolating mathematics from the empirical world is based on appropriate criteria, how does one explain the fruitfulness of its systematic crossings in recent centuries? An analysis of the evolution of the criteria used to separate mathematics from experimental sciences will shed some light on this question. In this respect, we will highlight the historical influence of three (...) major disciplinary paradigms. According to the Aristotelian classification of the sciences, the separation of mathematics from physics is based on their respective objects of study. The Baconian system distinguishes these sciences by the type of knowledge involved in each field. Finally, the Whewellian disciplinary layout categorises these disciplines by their respective methods. In this paper, we argue that the cascading effect of such disciplinary categorisations—based successively on ontological, epistemological, and heuristic criteria—resulted in a profound redefinition of the border between mathematics and physics, with the consequence of obscuring the foundations of the interplay between these fields. Our approach intends to put forward such a mechanism as a constitutive piece of the puzzle of the applicability of mathematics. (shrink)

According to the indispensability argument, scientific realists ought to believe in the existence of mathematical entities, due to their indispensable role in theorising. Arguably the crucial sense of indispensability can be understood in terms of the contribution that mathematics sometimes makes to the super-empirical virtues of a theory. Moreover, the way in which the scientific realist values such virtues, in general, and draws on explanatory virtues, in particular, ought to make the realist ontologically committed to abstracta. This paper shows that (...) this version of the indispensability argument glosses over crucial detail about how the scientific realist attempts to generate justificatory commitment to unobservables. The kind of role that the Platonist attributes to mathematics in scientific reasoning is compatible with nominalism, as far as scientific realist arguments are concerned. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply (...) the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism. (shrink)

In a paper titled, “The Unreasonable Effectiveness of Mathematics”, published 20 years after Wigner’s seminal paper, the mathematician Richard W. Hamming discussed what he took to be Wigner’s problem of Unreasonable Effectiveness and offered some partial explanations for this phenomenon. Whether Hamming succeeds in his explanations as answers to Wigner’s puzzle is addressed by other scholars in recent years I, on the other hand, raise a more fundamental question: does Hamming succeed in raising the same question as Wigner? The answer (...) is no. My goal is to show that Hamming’s reading misses Wigner’s highly original formulation of the problem.Through a close and contextual reading of Wigner’s work, as I will show, we are led in new directions in addressing and solving the applicability problem. (shrink)

In his seminal 1960 paper, the physicist Eugene Wigner formulated the question of the applicability of mathematics in physics in a way nobody had before. This formulation has been entirely overlooked due to an exclusive concern with solving Wigner’s problem and explaining the effectiveness of mathematics in the natural sciences, in one way or another. Many have attempted to attribute Wigner’s unjustified conclusion—that mathematics is unreasonably effective in the natural sciences—to his formalist views on mathematics. My goal is to show (...) that this reading misses out on Wigner’s highly original formulation of the problem which is presented throughout his body of work in physics as well as in philosophy. This formulation, as I will show, leads us in a new direction in solving the applicability problem. (shrink)

In his seminal 1960 paper, the physicist Eugene Wigner formulated the question of the applicability of mathematics in physics in a way nobody had before. This formulation has been entirely overlooked due to an exclusive concern with solving Wigner’s problem and explaining the effectiveness of mathematics in the natural sciences, in one way or another. Many have attempted to attribute Wigner’s unjustified conclusion—that mathematics is unreasonably effective in the natural sciences—to his formalist views on mathematics. My goal is to show (...) that this reading misses out on Wigner’s highly original formulation of the problem which is presented throughout his body of work in physics as well as in philosophy. This formulation, as I will show, leads us in a new direction in solving the applicability problem. (shrink)

In his influential 1960 paper ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Eugene P. Wigner raises the question of why something that was developed without concern for empirical facts—mathematics—should turn out to be so powerful in explaining facts about the natural world. Recent philosophy of science has developed ‘Wigner’s puzzle’ in two different directions: First, in relation to the supposed indispensability of mathematical facts to particular scientific explanations and, secondly, in connection with the idea that aesthetic criteria track (...) theoretical desiderata such as empirical success. An important aspect of Wigner’s article has, however, been overlooked in these debates: his worries about the underdetermination of physical theories by mathematical frameworks. The present paper argues that, by restoring this aspect of Wigner’s argument to its proper place, Wigner’s puzzle may become an instructive case study for the teaching of core issues in the philosophy of science and its history. (shrink)

The standard mathematical models in population ecology assume that a population's growth rate is a function of its environment. In this paper we investigate an alternative proposal according to which the rate of change of the growth rate is a function of the environment and of environmental change. We focus on the philosophical issues involved in such a fundamental shift in theoretical assumptions, as well as on the explanations the two theories offer for some of the key data such as (...) cyclic populations. We also discuss the relationship between this move in population ecology and a similar move from first-order to second-order differential equations championed by Galileo and Newton in celestial mechanics. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (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)

The problem of ‘applicability’ of mathematics to modern physical sciences has been labeled as an ‘unreasonably effective’ and unexplainable ‘miracle’ by prominent physicists such as Eugene Wigner a...

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

In Metaphysics A, Aristotle offers some objections to Plato’s theory of Forms to the effect that Plato’s Forms would not be explanatory in the right way, and seems to suggest that they might even make the explanatory project worse. One interesting historical puzzle is whether Aristotle can avoid these same objections to his own theory of universals. The concerns Aristotle raises are, I think, cousins of contemporary concerns about the usefulness and explanatoriness of abstract objects, some of which have recently (...) been receiving attention in the philosophy of mathematics. After discussing Aristotle’s objections and their contemporary cousins, the paper discusses some of the main available lines of response to these sorts of challenges, before concluding with an examination of whether these responses could assist Plato or Aristotle in responding to these challenges. (shrink)

Siyaves Azeri (2020) quite well shows that arithmetical thinking emerges on the basis of specific social practices and material engagement (clay tokens for economic exchange practices beget number concepts, e.g.). But his discussion here is relegated mostly to Neolithic and Bronze Age practices. While surely such practices produced revolutions in the cognitive abilities of many humans, much of the cognitive architecture that allows normative conceptual thought was already in place long before this time. This response, then, is an attempt to (...) sketch the deep prehistory of human cognition in order to show the inter-social bases of normative thought in general. To do this, I will look first to the work of Vygotsky and Leontiev, two often neglected psychologists whose combined efforts culminate in a developmental account of human cognitive origins. Then, I will review some key insights from the contemporary comparative psychologist Michael Tomasello—whose project is admittedly a Vygotskian one—in order to further shed light on the social-practical basis of abstract thought, of which mathematical cognition is surely a part. (shrink)