What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

We outline a framework for analyzing episodes from the history of science in which the application of mathematics plays a constitutive role in the conceptual development of empirical sciences. Our starting point is the inferential conception of the application of mathematics, recently advanced by Bueno and Colyvan. We identify and discuss some systematic problems of this approach. We propose refinements of the inferential conception based on theoretical considerations and on the basis of a historical case study. We demonstrate the usefulness (...) of the refined, dynamical inferential conception using the well-researched example of the genesis of general relativity. Specifically, we look at the collaboration of the physicist Einstein and the mathematician Grossmann in the years 1912--1913, which resulted in the jointly published ``Outline of a Generalized Theory of Relativity and a Theory of Gravitation,'' a precursor theory of the final theory of general relativity. In this episode, an independently developed mathematical theory, the theory of differential invariants and the absolute differential calculus, was applied in the process of physical theorizing aiming at finding a relativistic theory of gravitation. We argue that the dynamical inferential conception not only provides a natural framework to describe and analyze this episode, but it also generates new questions and insights. We comment on the mathematical tradition on which Grossmann drew, and on his own contributions to mathematical theorizing. We argue that the dynamical inferential conception allows us to identify both the role of heuristics and of mathematical resources as well as the systematic role of problems and mistakes in the reconstruction of episodes of conceptual innovation and theory change. (shrink)

This is the chapter on general relativity for the Cambridge Companion to Einstein which I am co-editing with Christoph Lehner.

Two fundamental errors led Einstein to reject generally covariant gravitational field equations for over two years as he was developing his general theory of relativity. The first is well known in the literature. It was the presumption that weak, static gravitational fields must be spatially flat and a corresponding assumption about his weak field equations. I conjecture that a second hitherto unrecognized error also defeated Einstein's efforts. The same error, months later, allowed the hole argument to convince Einstein that all (...) generally covariant gravitational field equations would be physically uninteresting. (shrink)