I develop a non-representationalist account of mathematical thought, on which the point of mathematical theorizing is to provide us with the conceptual capacity to structure and articulate information about the physical world in an epistemically useful way. On my view, accepting a mathematical theory is not a matter of having a belief about some subject matter; it is rather a matter of structuring logical space, in a sense to be made precise. This provides an elegant account of the cognitive utility (...) of mathematics. Further, it makes explicit how the brand of non-representationalism I develop is compatible with there being substantive rationality constraints on our mathematical theorizing. (shrink)

The Weak Principle of the Identity of Indiscernibles (weak PII), states that numerically distinct items must be discernible by a symmetrical and irreflexive relation. Recently, some authors have proposed that weak PII holds in non relativistic quantum mechanics, contradicting a long tradition claiming PII to be simply false in that theory. The question that arises then is: are relations allowed in the scope of PII? In this paper, we propose that quantum mechanics does not help us in deciding matters concerning (...) that problem, since that is a metaphysical problem rather than a quantum mechanical one. We argue further that weak PII is unmotivated on metaphysical grounds. We examine three metaphysical theses (bundle theory, counting, empiricism) that may provide reasons for one to sustain PII, and we conclude that weak PII gets no independent motivation from them. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

Mathematics and logic are indispensable in science, yet how they are deployed and why they are so effective, especially in the natural sciences, is poorly understood. In this paper, I focus on the how by analysing Jean Piaget’s application of mathematics to the empirical content of psychological experiment; however, I do not lose sight of the application’s wider implications on the why. In a case study, I set out how Piaget drew on the stock of mathematical structures to model psychological (...) content, namely, the operations of thought involved in reasoning. In particular, I show how operations of thought form structured wholes that initially resisted modelling by either lattices or groups but could be modelled adequately by modifications of these mathematical structures. Piaget coined the term ‘grouping’ for the modified structure, and I conclude that it represents a non-canonical application of mathematics to the empirical content of experimental psychology. I also touch on the role external factors played in Piaget’s development of the grouping. According to the genetic epistemology conceived by Piaget, the origin of intelligence lies in the biological organism and develops in stages over time, and, via the grouping, Piaget established a genetic relationship between two stages of reasoning. I show how this relationship explains why mathematics and logic fit the psychological content of reasoning whilst simultaneously making their successful deployment in the natural sciences more mysterious. Finally, I turn to the explanation Piaget envisaged for the unreasonable effectiveness of mathematics in the natural sciences and consider some consequences for naturalism and Pythagoreanism. (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)

I identify and characterize a type of noncausal explanation in physics. I first introduce a distinction, between the physical properties of a system, and the representational properties of the mathematical expressions of the system’s physical properties. Then I introduce a novel kind of property, which I shall call a dual property. This is a special kind of representational property, one for which there is an interpretation as a physical property. It is these dual properties that, I claim, are amenable to (...) noncausal (mathematical, in fact) explanations. I discuss a typical example of such a dual property, and an example of an explanation as to why that dual property holds (the explanation of the quantization of the linear momentum). (shrink)

We can distinguish between two different ways in which mathematics is applied in science: when mathematics is introduced and developed in the context of a particular scientific application; when mathematics is used in the context of a particular scientific application but it has been developed independently from that application. Nevertheless, there might also exist intermediate cases in which mathematics is developed independently from an application but it is nonetheless introduced in the context of that particular application. In this paper I (...) present a case study, that of the Lagrange multipliers, which concerns such type of intermediate application. I offer a reconstruction of how Lagrange developed the method of multipliers and I argue that the philosophical significance of this case-study analysis is twofold. In the context of the applicability debate, my historically-driven considerations pull towards the reasonable effectiveness of mathematics in science. Secondly, I maintain that the practice of applying the same mathematical result in different scientific settings can be regarded as a form of crosschecking that contributes to the objectivity of a mathematical result. (shrink)

Foundational projects disagree on whether pure and applied mathematics should be explained together. Proponents of unified accounts like neologicists defend Frege’s Constraint (FC), a principle demanding that an explanation of applicability be provided by mathematical definitions. I reconsider the philosophical import of FC, arguing that usual conceptions are biased by ontological assumptions. I explore more reasonable weaker variants — Moderate and Modest FC — arguing against common opinion that ante rem structuralism (and other) views can meet them. I dispel doubts (...) that such constraints are ‘toothless’, showing they both assuage Frege’s original concerns and accommodate neo-logicist intents by dismissing ‘arrogant’ definitions. (shrink)

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how$AC$generalizes Frege’s views while$FC$comes closer to his original conceptions. Different authors diverge on the interpretation of$FC$and on whether it (...) applies to definitions of both natural and real numbers. Our aim is to trace the origins of$FC$and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish$AC$from$FC$(§2). We discuss six rationales which may motivate the adoption of different instances of$AC$and$FC$(§3). We turn to the possible interpretations of$FC$(§4), and advance a Semantic$FC$(§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of$FC$is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of$FC$to Frege and appreciating the role of the Architectonic$FC$can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5). (shrink)

Philosophical analysis of mathematical knowledge are commonly conducted within the realist/antirealist dichotomy. Nevertheless, philosophers working within this dichotomy pay little attention to the way in which mathematics evolves and structures itself. Focusing on mathematical practice, I propose a weak notion of objectivity of mathematical knowledge that preserves the intersubjective character of mathematical knowledge but does not bear on a view of mathematics as a body of mind-independent necessary truths. Furthermore, I show how that the successful application of mathematics in science (...) is an important trigger for the objectivity of mathematical knowledge. (shrink)

Just as mathematics helps us to represent and reason about the natural world, in its internal applications one branch of mathematics helps us to represent and reason about the subject matter of another. Recognition of the close analogy between internal and external applications of mathematics can help resolve two persistent philosophical puzzles concerning its applicability: a platonist puzzle arising from the abstractness of mathematical objects; and an empiricist puzzle arising from mathematical propositions’ lack of empirical factual content. In order to (...) see how this is the case, we will examine what it is to apply mathematics internally and describe examples. (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.

The aim of this paper is to argue that some objections raised by Jantzen (Synthese, 2010 ) against the separation of the concepts of ‘counting’ and ‘identity’ are misled. We present a definition of counting in the context of quasi-set theory requiring neither the labeling nor the identity and individuality of the counted entities. We argue that, contrary to what Jantzen poses, there are no problems with the technical development of this kind of definition. As a result of being able (...) to keep counting and identity apart for those entities, we briefly suggest that one venerable tradition concerning the nature of quantum particles may be consistently held. According to that tradition, known as the Received View on particles non-individuality, quantum particles may be seen as entities having both features: (i) identity and individuality do not apply to them, (ii) they may be gathered in collections comprising a plurality of them. (shrink)