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)

If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, which I (...) call blackbox models, drives home the unsurprising effectiveness of mathematics. I illustrate it on the examples of Einstein’s principle theories, the S-matrix approach in quantum field theory, effective field theories, and device-independent approaches in quantum information. (shrink)

Euclidean geometry, statics, and classical mechanics, being in some sense the simplest physical theories based on a full-fledged mathematical apparatus, are well suited to a historico-philosophical analysis of the way in which a physical theory differs from a purely mathematical theory. Through a series of examples including Newton’s Principia and later forms of mechanics, we will identify the interpretive substructure that connects the mathematical apparatus of the theory to the world of experience. This substructure includes models of experiments, models of (...) measurement, and modular connections with partial theories. It evolves during the life of a theory as physicists learn how to apply it in various contexts. It should nevertheless be regarded as an integral part of a genuine physical theory since the theory would otherwise degenerate into pure mathematics. (shrink)

In French mechanical treatises of the nineteenth century, Newton’s second law of motion was frequently derived from a relativity principle. The origin of this trend is found in ingenious arguments by Huygens and Laplace, with intermediate contributions by Euler and d’Alembert. The derivations initially relied on Galilean relativity and impulsive forces. After Bélanger’s Cours de mécanique of 1847, they employed continuous forces and a stronger relativity with respect to any commonly impressed motion. The name “principle of relative motions” and the (...) very idea of using this principle as a constructive tool were born in this context. The consequences of Poincaré’s and Einstein’s awareness of this approach are analyzed. Lastly, the legitimacy and significance of a relativity-based derivation of Newton’s second law are briefly discussed in a more philosophical vein. (shrink)

The relativistic revolution led to varieties of neo-Kantianism in which constitutive principles define the object of scientific knowledge in a domain-dependent and historically mutable manner. These principles are a priori insofar as they are necessary premises for the formulation of empirical laws in a given domain, but they lack the self-evidence of Kant’s a priori and they cannot be identified without prior knowledge of the theory they purport to frame. In contrast, the rationalist endeavors of a few masters of theoretical (...) physics have led to comprehensibility conditions that are easily admitted in a given domain and yet suffice to generate the theory of this domain. The purpose of this essay is to compare these two kinds of relativized a priori, to discuss the nature of the comprehensibility conditions, and to demonstrate their effectiveness in a modular conception of physical theories. (shrink)

Previous discussions of Robb’s work on space and time have offered a philosophical focus on causal interpretations of relativity theory or a historical focus on his use of non-Euclidean geometry, or else ignored altogether in discussions of relativity at Cambridge. In this paper I focus on how Robb’s work made contact with those same foundational developments in mathematics and with their applications. This contact with applications of new mathematical logic at Göttingen and Cambridge explains the transition from his electron research (...) to his treatment of relativity in 1911 and finally to the axiomatic presentation in 1914 in terms of postulates. At the heart of Robb’s physical optics was the model of the light cone. The model underwent a transition from a working mechanical model in the Maxwellian Cambridge sense of a pedagogical and research tool to the semantic model, in the logical, model-theoretic sense. Robb tracked this transition from the 19th- to the 20th-century conception with the earliest use of the term ‘model’ in the new sense. I place his cone models in a genealogy of similar models and use their evolution to track how Robb’s physical researches were informed by his interest in geometry, logic and the foundations of mathematics. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)