As Harvey Brown emphasizes in his book Physical Relativity, inertial motion in general relativity is best understood as a theorem, and not a postulate. Here I discuss the status of the "conservation condition", which states that the energy-momentum tensor associated with non-interacting matter is covariantly divergence-free, in connection with such theorems. I argue that the conservation condition is best understood as a consequence of the differential equations governing the evolution of matter in general relativity and many other theories. I conclude (...) by discussing what it means to posit a certain spacetime geometry and the relationship between that geometry and the dynamical properties of matter. (shrink)

The relationship whereby one physical theory encompasses the domain of empirical validity of another is widely known as “reduction.” Elsewhere I have argued that one influential methodology for showing that one physical theory reduces to another, associated with the so-called “Bronstein cube” of theories, rests on an oversimplified and excessively vague characterization of the mathematical relationship between theories that typically underpins reduction. I offer what I claim is a more precise characterization of this relationship, which here is based on a (...) more basic notion of reduction between distinct models of a single physical system. Reduction between two such models, I claim, rests on a particular type of approximation relationship between group actions over the models’ state spaces, characterized by a particular function between the model state spaces and a particular subset of the more encompassing model’s state space. Within this approach, I show formally in what sense and under what conditions reduction is transitive, so that reduction of a model 1 to another model 2 and reduction of model 2 to a third model 3 entails direct reduction of model 1 to model 3. Building on this analysis, I consider cases in which reduction of a model 1 to a model 3 may be effected via distinct intermediate models 2a and 2b, and motivate a set of formal consistency requirements between distinct “reduction paths” having the same models as their “end points”. These constraints are explicitly shown to hold in the reduction of a model of non-relativistic classical mechanics to a model of relativistic quantum mechanics, which may be effected by a composite reduction that proceeds either via a model of non-relativistic quantum mechanics or a model of relativistic classical mechanics. I offer some brief speculations as to whether and how this sort of consistency requirement might serve to constrain the reductions relating other theories and models, including the relationship that the Standard Model and general relativity must bear to any viable unification of these frameworks. (shrink)

The equivalence principle has constituted one of the cornerstones of discussions in the foundations of spacetime theories over the past century. However, up to this point the principle has been considered overwhelmingly only within the context of relativistic physics. In this article, we demonstrate that the principle has much broader, super-theoretic significance: to do so, we present a unified framework for understanding the principle in its various guises, applicable to both relativistic and Newtonian contexts. We thereby deepen significantly our understanding (...) of the role played by the equivalence principle in a broad class of spacetime theories. (shrink)

How can a reflective scientist put forward an explanation using a model when they are aware that many of the assumptions used to specify that model are false? This paper addresses this challenge by making two substantial assumptions about explanatory practice. First, many of the propositions deployed in the course of explaining have a non-representational function. In particular, a proposition that a scientist uses and also believes to be false, i.e. an “idealization”, typically has some non-representational function in the practice, (...) such as the interpretation of some model or the specification of the target of the explanation. Second, when an agent puts forward an explanation using a model, they usually aim to remain agnostic about various features of the phenomenon being explained. In this sense, explanations are intended to be autonomous from many of the more fundamental features of such systems. I support these two assumptions by showing how they allow one to address a number of recent concerns raised by Bokulich, Potochnik and Rice. In addition, these assumptions lead to a defense of the view that explanations are wholly true that improves on the accounts developed by Craver, Mäki and Strevens. (shrink)

Pessimistic meta-induction is a powerful argument against scientific realism, so one of the major roles for advocates of scientific realism will be trying their best to give a sustained response to this argument. On the other hand, it is also alleged that structural realism is the most plausible form of scientific realism; therefore, the plausibility of scientific realism is threatened unless one is given the explicit form of a structural continuity and minimal structural preservation for all our current theories. This (...) essay aims to present what we call expansive structures, which are the structures that can be reconstructed from geometrized Newtonian gravitation and are capable of expanding into general relativity, explicitly. In this way, pessimistic meta-induction will be undermined. (shrink)

We discuss the status of gravitational radiation in Newtonian theories. In order to do so, we consider various options for interpreting the Poisson equation as encoding propagating solutions, reflect on the extent to which limit considerations from general relativity can shed light on the Poisson equation’s conceptual status, and discuss various senses in which the Poisson equation counts as a dynamical equation.

The concept of emergence is commonly invoked in modern physics but rarely defined. Building on recent influential work by Jeremy Butterfield, I provide precise definitions of emergence concepts as they pertain to properties represented in models, applying them to some basic examples from space-time and thermostatistical physics. The chief formal innovation I employ, similarity structure, consists in a structured set of similarity relations among those models under analysis—and their properties—and is a generalization of topological structure. Although motivated from physics, this (...) similarity-structure-based account of emergence applies to any science that represents its possibilia with models. (shrink)

Merely approximate symmetry is mundane enough in physics that one rarely finds any explication of it. Among philosophers it has also received scant attention compared to exact symmetries. Herein I invite further consideration of this concept that is so essential to the practice of physics and interpretation of physical theory. After motivating why it deserves such scrutiny, I propose a minimal definition of approximate symmetry—that is, one that presupposes as little structure on a physical theory to which it is applied (...) as seems needed. Then I apply this definition to three topics: first, accounting for or explaining the symmetries of a theory emeritus in intertheoretic reduction; second, explicating and evaluating the Curie-Post principle; and third, a new account of accidental symmetry. (shrink)

I argue that it is possible to give an interpretation of the classical ℏ→0 limit of quantum mechanics that results in a partial explanation of the success of classical mechanics. The interpretation...

I argue that philosophical issues concerning reductive explanations help constrain the construction of quantum theories with appropriate state spaces. I illustrate this general proposal with two examples of restricting attention to physical states in quantum theories: regular states and symmetry-invariant states. 1Introduction2Background2.1 Physical states2.2 Reductive explanations3The Proposed ‘Correspondence Principle’4Example: Regularity5Example: Symmetry-Invariance6Conclusion: Heuristics and Discovery.

Thermodynamic macro variables, such as the temperature or volume macro variable, can take on a continuum of allowable values, called thermodynamic macro values. Although referring to the same macro phenomena, the macro variables of Boltzmannian Statistical Mechanics (BSM) differ from thermodynamic macro variables in an important respect: within the framework of BSM the evolution of macro values of systems with finite available phase space is invariably modelled as discontinuous, due to the method of partitioning phase space into macro regions with (...) sharp, fixed boundaries. Conceptually, this is at odds with the continuous evolution of macro values as described by thermodynamics, as well as with the continuous evolution of the micro state assumed in BSM. This discrepancy I call the discontinuity problem. I show how it arises from BSM’s framework and demonstrate its consequences, in particular for the foundational project of reducing thermodynamics to BSM: thermodynamic macro values are shown to not supervene on the corresponding BSM macro values. With supervenience being a conditio sine qua non for the kind of reduction envisaged by the foundational project, the latter is in jeopardy. (shrink)

There are well-known problems associated with the idea of gravitational energy in general relativity. We offer a new perspective on those problems by comparison with Newtonian gravitation, and particularly geometrized Newtonian gravitation. We show that there is a natural candidate for the energy density of a Newtonian gravitational field. But we observe that this quantity is gauge dependent, and that it cannot be defined in the geometrized theory without introducing further structure. We then address a potential response by showing that (...) there is an analogue to the Weyl tensor in geometrized Newtonian gravitation. (shrink)

It is well-known that the conformal structure of a relativistic spacetime is of profound physical and conceptual interest. In this note, we consider the analogous structure for Newtonian theories. We show that the Newtonian Weyl tensor is an invariant of this structure.

This paper attempts to make sense of a notion of ``approximation on certain scales'' in physical theories. I use this notion to understand the classical limit of ordinary quantum mechanics as a kind of scaling limit, showing that the mathematical tools of strict quantization allow one to make the notion of approximation precise. I then compare this example with the scaling limits involved in renormalization procedures for effective field theories. I argue that one does not yet have the mathematical tools (...) to make a notion of ``approximation on certain scales" precise in extant mathematical formulations of effective field theories. This provides guidance on the kind of further work that is needed for an adequate interpretation of quantum field theory. (shrink)