I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to ``explain'' inertial motion. I argue that there is a sense in which both theories may be understood to explain inertial motion, but that the sense of ``explain'' is rather different from what one might have expected. This sense of explanation is (...) connected with a view of theories---I call it the ``puzzleball view''---on which the foundations of a physical theory are best understood as a network of mutually interdependent principles and assumptions. (shrink)

Here, we clarify the relationship among three space-time conditions of interest: geodesic completeness, hole-freeness, and inextendibility. In addition, we introduce a related fourth condition: effective completeness.

1.1 Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Tangent Vectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (...) . . . . . . . . . . . 7 1.3 Vector Fields, Integral Curves, and Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Tensors and Tensor Fields on Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.5 The Action of Smooth Maps on Tensor Fields . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.6 Lie Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 1.7 Derivative Operators and Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.8 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 1.9 Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 1.10 Hypersurfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 1.11 Volume Elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96.. (shrink)

The cosmological constant is back. Several lines of evidence point to the conclusion that either there is a positive cosmological constant or else the universe is filled with a strange form of matter (“quintessence”) that mimics some of the effects of a positive lambda. This paper investigates the implications of the former possibility. Two senses in which the cosmological constant can be a constant are distinguished: the capital Λ sense in which lambda is a universal constant on a par with (...) the charge of the electron, and the lower case λ sense in which lambda is a humble constant of integration. The latter interpretation has been touted as the means to a solution to various problems in physics. These claims are critically examined with an eye to discerning the implications for philosophy of science and foundations of physics. (shrink)

Cosmologists often use certain global properties to exclude "physically unreasonable" cosmological models from serious consideration. But, on what grounds should these properties be regarded as "physically unreasonable" if we cannot rule out, even with a robust type of inductive reasoning, the possibility of the properties obtaining in our own universe?

I argue that the need to understand spacetime structure as emergent in quantum gravity is less radical and surprising it might appear. A clear understanding of the link between general relativity's geometrical structures and empirical geometry reveals that this empirical geometry is exactly the kind of thing that could be an effective and emergent matter. Furthermore, any theory with torsion will involve an effective geometry, even though these theories look, at first glance, like theories with straightforward spacetime geometry. As it's (...) highly likely that there will be a role for torsion in quantum gravity, it's also highly likely that any theory of quantum gravity will require us to get to grips with emergent spacetime structure. (shrink)

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)

Determinism is a perennial topic of philosophical discussion. Very little acquaintance with the philosophical literature is needed to reveal the Tower of ...

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models is that it is an unsettled question what the epistemic goal of toy modeling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this paper is to (...) precisely articulate and to defend this claim. In particular, we will distinguish between autonomous and embedded toy models, and, then, argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. (shrink)

Ruetsche argues that a problem of unitarily inequivalent representations arises in quantum theories with infinitely many degrees of freedom. I provide an algebraic formulation of classical field theories and show that unitarily inequivalent representations arise there as well. I argue that the classical case helps us rule out one possible response to the problem of unitarily inequivalent representations called Hilbert Space Conservatism.

It is well known that the process of quantization—constructing a quantum theory out of a classical theory—is not in general a uniquely determined procedure. There are many inequivalent methods that lead to different choices for what to use as our quantum theory. In this paper, I show that by requiring a condition of continuity between classical and quantum physics, we constrain and inform the quantum theories that we end up with.

An energy condition, in the context of a wide class of spacetime theories, is, crudely speaking, a relation one demands the stress-energy tensor of matter satisfy in order to try to capture the idea that "energy should be positive". The remarkable fact I will discuss in this paper is that such simple, general, almost trivial seeming propositions have profound and far-reaching import for our understanding of the structure of relativistic spacetimes. It is therefore especially surprising when one also learns that (...) we have no clear understanding of the nature of these conditions, what theoretical status they have with respect to fundamental physics, what epistemic status they may have, when we should and should not expect them to be satisfied, and even in many cases how they and their consequences should be interpreted physically. Or so I shall argue, by a detailed analysis of the technical and conceptual character of all the standard conditions used in physics today, including examination of their consequences and the circumstances in which they are believed to be violated. (shrink)

Scientific models are frequently discussed in philosophy of science. A great deal of the discussion is centred on approximation, idealisation, and on how these models achieve their representational function. Despite the importance, distinct nature, and high presence of toy models, they have received little attention from philosophers. This paper hopes to remedy this situation. It aims to elevate the status of toy models: by distinguishing them from approximations and idealisations, by highlighting and elaborating on several ways the Kac ring, a (...) simple statistical mechanical model, is used as a toy model, and by explaining why toy models can be used to successfully carry out important work without performing a representational function. (shrink)

Constructive field theory aims to rigorously construct concrete, nontrivial solutions to Lagrangians used in particle physics. I examine the relationship of solutions in constructive field theory to both axiomatic and Lagrangian quantum field theory. I argue that Lagrangian QFT provides conditions for what counts as a successful constructive solution and other information that guides constructive field theorists to solutions. Solutions matter because they describe the behavior of QFT systems and thus what QFT says the world is like. Constructive field theory (...) clarifies existing disputes about which parts of QFT are philosophically relevant and how rigor relates to these disputes. (shrink)

I discuss singular space-times in the context of the geometrized formulation of Newtonian gravitation. I argue first that geodesic incompleteness is a natural criterion for when a model of geometrized Newtonian gravitation is singular, and then I show that singularities in this sense arise naturally in classical physics by stating and proving a classical version of the Raychaudhuri-Komar singularity theorem.

Theoretical models are an important tool for many aspects of scientific activity. They are used, i.a., to structure data, to apply theories or even to construct new theories. But what exactly is a model? It turns out that there is no proper definition of the term "model" that covers all these aspects. Thus, I restrict myself here to evaluate the function of models in the research process while using "model" in the loose way physicists do. To this end, I distinguish (...) four kinds of models. These are (1) models as special theories, (2) models as a substitute for a theory, (3) toy models and (4) developmental models. I argue that models of the types (3) and (4) are considerably useful in the process of theory construction. This will be demonstrated in an extended case-study from High-Energy Physics. (shrink)

ABSTRACT Ruetsche claims that an abstract C*-algebra of observables will not contain all of the physically significant observables for a quantum system with infinitely many degrees of freedom. This would signal that in addition to the abstract algebra, one must use Hilbert space representations for some purposes. I argue to the contrary that there is a way to recover all of the physically significant observables by purely algebraic methods. 1Introduction 2Preliminaries 3Three Extremist Interpretations 3.1Algebraic imperialism 3.2Hilbert space conservatism 3.3Universalism 4Parochial (...) Observables 4.1Parochial observables for the imperialist 4.2Parochial observables for the universalist 5Conclusion. (shrink)

From Kant’s first published work to recent articles in the physics literature, philosophers and physicists have long sought an answer to the question, why does space have three dimensions. In this paper, I will flesh out Kant’s claim with a brief detour through Gauss’ law. I then describe Büchel’s version of the common argument that stable orbits are possible only if space is three-dimensional. After examining objections by Russell and van Fraassen, I develop three original criticisms of my own. These (...) criticisms are relevant to both historical and contemporary proofs of the dimensionality of space (in particular, a recent one by Burgbacher, F. Lämmerzahl, C., and Macias). In general I argue that modern “proofs” of the dimensionality of space have gone off track. (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)

The usual equivalence between the Palalini and metric (or affinity and vielbein) formulations of Einstein theory fails in two spacetime dimensions for its “Kaluza-Klein” reduced (as well as for its standard) version. Among the differences is the necessary vanishing of the cosmological constant in the first-order forms. The purely affine Eddington formulation of Einstein theory also fails here.

There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on one’s (...) theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

A theorem due to Bob Geroch and Pong Soo Jang ["Motion of a Body in General Relativity." Journal of Mathematical Physics 16, ] provides a sense in which the geodesic principle has the status of a theorem in General Relativity. I have recently shown that a similar theorem holds in the context of geometrized Newtonian gravitation [Weatherall, J. O. "The Motion of a Body in Newtonian Theories." Journal of Mathematical Physics 52, ]. Here I compare the interpretations of these two (...) theorems. I argue that despite some apparent differences between the theorems, the status of the geodesic principle in geometrized Newtonian gravitation is, mutatis mutandis, strikingly similar to the relativistic case. (shrink)

Ruetsche claims that an abstract C*-algebra of observables will not contain all of the physically significant observables for a quantum system with infinitely many degrees of freedom. This would signal that in addition to the abstract algebra, one must use Hilbert space representations for some purposes. I argue to the contrary that there is a way to recover all of the physically significant observables by purely algebraic methods. 1 Introduction2 Preliminaries3 Three Extremist Interpretations3.1 Algebraic imperialism3.2 Hilbert space conservatism3.3 Universalism4 Parochial (...) Observables4.1 Parochial observables for the imperialist4.2 Parochial observables for the universalist5 Conclusion. (shrink)