This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

In this article, I examine whether or not the Hamiltonian and Lagrangian formulations of classical mechanics are equivalent theories. I do so by applying a standard for equivalence that was recently introduced into philosophy of science by Halvorson and Weatherall. This case study yields three general philosophical payoffs. The first concerns what a theory is, while the second and third concern how we should interpret what our physical theories say about the world. 1Introduction 2When Are Two Theories Equivalent? 3Preliminaries on (...) Classical Mechanics 3.1Hamiltonian mechanics 3.2Lagrangian mechanics 4Are Hamiltonian and Lagrangian Mechanics Equivalent Theories? 4.1Tangent bundle versus cotangent bundle 4.2Tangent bundle versus symplectic manifold 4.3Lagrangian vector field versus Hamiltonian vector field 5Conclusion Appendix. (shrink)

Wilhelm (Forthcom Synth 199:6357–6369, 2021) has recently defended a criterion for comparing structure of mathematical objects, which he calls Subgroup. He argues that Subgroup is better than SYM \(^*\), another widely adopted criterion. We argue that this is mistaken; Subgroup is strictly worse than SYM \(^*\). We then formulate a new criterion that improves on both SYM \(^*\) and Subgroup, answering Wilhelm’s criticisms of SYM \(^*\) along the way. We conclude by arguing that no criterion that looks only to the (...) automorphisms of mathematical objects to compare their structure can be fully satisfactory. (shrink)

Shifts are a well-known feature of the literature on spacetime symmetries. Recently, discussions have focused on so-called dynamic shifts, which by analogy with static and kinematic shifts enact arbitrary linear accelerations of all matter (as well as a change in the gravitational potential). But in mathematical formulations of these shifts, the analogy breaks down: while static and kinematic shift act on the matter field, the dynamic shift acts on spacetime structure instead. I formulate a different, `active' version of the dynamic (...) shift which does act on matter. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 2, which addresses categorical equivalence, interpretational equivalence, and duality. (shrink)

This is an essay about general covariance, and what it says about spacetime structure. After outlining a version of the dynamical approach to spacetime theories, and how it struggles to deal with generally covariant theories, I argue that we should think about the symmetry structure of spacetime rather differently in generally-covariant theories compared to non-generally-covariant theories: namely, as a form of internal rather than external symmetry structure.

I discuss several issues related to "classical" spacetime structure. I review Galilean, Newtonian, and Leibnizian spacetimes, and briefly describe more recent developments. The target audience is undergraduates and early graduate students in philosophy; the presentation avoids mathematical formalism as much as possible.

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)

What, if anything, would be wrong with replacing the light postulate in Einstein’s 1905 formulation of special relativity with a ‘sound postulate’, stating that the speed of sound is independent of the speed of the source? After reviewing the historical reasons underlying the particular focus on light in the special theory, we consider the circumstances under which such a theory of ‘sonic relativity’ would be justified on empirical grounds. We then consider the philosophical upshots of ‘sonic relativity’ for four contemporary (...) areas of investigation in the philosophy of spacetime: global versus subsystem symmetries, dynamical versus geometrical approaches to spacetime, the possibility of a preferred frame in theories of quantum gravity, and spacetime functionalism. (shrink)

There is sometimes a sense in which one theory posits ‘less structure’ than another. Philosophers of science have recently appealed to this idea both in the debate about equivalence of theories and in discussions about structural parsimony. But there are a number of different proposals currently on the table for how to compare the ‘amount of structure’ that different theories posit. The aim of this paper is to compare these proposals against one another and evaluate them on their own merits.

In this article, I give a counterexample to a claim made in that empirically equivalent theories can often be regarded as theoretically equivalent by treating one as having surplus structure, thereby overcoming the problem of underdetermination of theory choice. The case I present is that of Lorentz's ether theory and Einstein's theory of special relativity. I argue that Norton's suggestion that surplus structure is present in Lorentz's theory in the form of the ether state of rest is based on a (...) misunderstanding of the role that the ether plays in Lorentz's theory, and that in general, consideration of the conceptual framework in which a theory is embedded is vital to understanding the relationship between different theories. (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 address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole argument.

Classical accounts of intertheoretic reduction involve two pieces: first, the new terms of the higher-level theory must be definable from the terms of the lower-level theory, and second, the claims of the higher-level theory must be deducible from the lower-level theory along with these definitions. The status of each of these pieces becomes controversial when the alleged reduction involves an infinite limit, as in statistical mechanics. Can one define features of or deduce the behavior of an infinite idealized system from (...) a theory describing only finite systems? In this paper, I change the subject in order to consider the motivations behind the definability and deducibility requirements. The classical accounts of intertheoretic reduction are appealing because when the definability and deducibility requirements are satisfied there is a sense in which the reduced theory is forced upon us by the reducing theory and the reduced theory contains no more information or structure than the reducing theory. I will show that, likewise, there is a precise sense in which in statistical mechanics the properties of infinite limiting systems are forced upon us by the properties of finite systems, and the properties of infinite systems contain no information beyond the properties of finite systems. (shrink)