This book provides an up-to-date overview of the foundations of spacetime physics. It features original essays written by world-class experts in the physics and philosophy of spacetime. The foundational questions regarding the origin and nature of spacetime are branching into new and exciting directions. These questions are not restricted to the quantum gravity program but also arise in the context of a well-established theory like general relativity. Against the background of these quick and diverse developments, this (...) volume features a broad range of perspectives on spacetime. Part I focuses on the nature of spacetime in non-quantum theories, such as Newtonian mechanics and relativity. Part II explores some intriguing conceptual implications of developing a quantum theory of spacetime. The Foundations of Spacetime Physics is an essential resource for scholars and advanced students working in philosophy of physics, philosophy of science, and scientific metaphysics. (shrink)

This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models (...) are determined. Finally we give another physical model and discuss the philosophical implications. (shrink)

The main research programs in quantum gravity tend to suggest in one way or another that most spacetime structures are not fundamental. At the same time, work in quantum foundations highlights fundamental features that are in tension with any straightforward space- time understanding. This paper aims to explore the little investigated but potentially fruitful links between these two fields.

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem (...) of interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

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)

In a pair of articles and in his recent book, Miklos Redei has taken enormous strides toward characterizing the conditions under which relativistic quantum field theory is a safe setting for the deployment of causal talk. Here, we challenge the adequacy of the accounts of causal dependence and screening off on which rests the relevance of Redei's theorems to the question of causal good behavior in the theory.

A collection of essays discussing the philosophy and foundations of quantum gravity. Written by leading philosophers and physicists in the field, chapters cover the important conceptual questions in the search for a quantum theory of gravity, and the current state of understanding among philosophers and physicists.

An ab-initio foundation for relativistic spacetime is given, which is a conservative extension of Zermelo’s set theory with urelemente. Primitive entities are worldlines rather than spacetime points. Spacetime points are sets of intersecting worldlines. By the proper axioms, they form a manifold. Entities known in differential geometry, up to a metric, are defined and have the usual properties. A set-realistic point of view is adopted. The intended ontology is a set-theoretical hierarchy with a broad base of the (...) empty set and urelemente. Sets generated from the empty set are mathematically interpreted, all other sets are physically interpreted. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities (...) can give rise to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

This book argues that our current best theories of fundamental physics are best interpreted as positing spacetime as non-fundamental. It is written in accessible language and largely avoids mathematical technicalities by instead focusing on the key metaphysical and foundational lessons for the fundamentality of spacetime. -/- According to orthodoxy, spacetime and spatiotemporal properties are regarded as fundamental structures of our world. Spacetime fundamentalism, however, faces challenges from speculative theories of quantum gravity – roughly speaking, the project (...) of applying the lessons of quantum mechanics to gravitation and spacetime. This book demonstrates that the non-fundamentality of spacetime does not rely on speculative physics alone. Rather, one can give an interpretation of general relativity that supports some form of spacetime non-fundamentalism. The author makes the case for spacetime non-fundamentalism in three steps. First, he confronts the standard geometrical interpretation of general relativity with Brown and Pooley’s dynamical approach to relativity theory. Second, he considers an alternative derivation of the Einstein field equations, namely the classical spin-2 approach, and argues that it paves the way for a refined dynamical approach to general relativity. Finally, he argues that particle physics can serve as a continuity condition for the metaphysics of spacetime. -/- The Non-Fundamentality of Spacetime will be of interest to scholars and advanced students working in philosophy of physics, philosophy of science, and metaphysics. (shrink)

This paper presents two interpretations of the fiber bundle fonnalism that is applicable to all gauge field theories. The constructionist interpretation yields a substantival spacetime. The analytic interpretation yields a structural spacetime, a third option besides the familiar substantivalism and relationalism. That the same mathematical fonnalism can be derived in two different ways leading to two different ontological interpretations reveals the inadequacy of pure fonnal arguments.

I discuss the recent claims made by Mario Bunge on the philosophical implications of the discovery of gravitational waves. I think that Bunge is right when he points out that the detection implies the materiality of spacetime, but I reject his identification of spacetime with the gravitational field. I show that Bunge’s analysis of the spacetime inside a hollow sphere is defective, but this in no way affects his main claim.

This paper examines two cosmological models of quantum gravity to investigate the foundational and conceptual issues arising from quantum treatments of the big bang. While the classical singularity is erased, the quantum evolution that replaces it may not correspond to classical spacetime: it may instead be a non-spatiotemporal region, which somehow transitions to a spatiotemporal state. The different kinds of transition involved are partially characterized, the concept of a physical transition without time is investigated, and the problem of empirical (...) incoherence for regions without spacetime is discussed. (shrink)

A new theory of spacetime is proposed in which translations are considered as a part of the de Sitter gauge group. The theory is built along the general principles of classical gauge field theories, which are outlined. Applications of gauge principles to linear and affine connections are also given in order to make the presentation self-sufficient. A de Sitter invariant Lagrangian is constructed, which yields approximately Einstein's vacuum equations when it is subjected to variation with respect to gauge potentials (...) and the result expressed in a specific gauge class. As a difference from the usual use of de Sitter groups, the radius of its translations must be small in the present approach, which probably has the meaning of an elementary subatomic length. The solution of the equations describing flat spacetime is not the trivial zero-curvature connection of the conventional approach. (shrink)

Space and time, which should properly be taken conjointly, are both communicatively produced and created with certain contextual perspectives—they are not independent physical entities. The standpoint of production makes the relationship between space and time comprehensible. They can either be mental-subjective, physical-objective, or social-intersubjective. Social and intersubjective (or E-series) spacetime might shed new light on biological thinking. For general readers, this paper provides a clue regarding an alternative conceptualization of spacetime based on biology.

In this book, leading theorists present new contributions and reviews addressing longstanding challenges and ongoing progress in spacetime physics. In the anniversary year of Einstein's General Theory of Relativity, developed 100 years ago, this collection reflects the subsequent and continuing fruitful development of spacetime theories. The volume is published in honour of Carl Brans on the occasion of his 80th birthday. Carl H. Brans, who also contributes personally, is a creative and independent researcher and one of the founders (...) of the scalar-tensor theory, also known as Jordan-Brans-Dicke theory. In the present book, much space is devoted to scalar-tensor theories. Since the beginning of the 1990s, Brans has worked on new models of spacetime, collectively known as exotic smoothness, a field largely established by him. In this Festschrift, one finds an outstanding and unique collection of articles about exotic smoothness. Also featured are Bell's inequality and Mach's principle. Personal memories and historical aspects round off the collection. (shrink)

Some Philosophical Prehistory of General Relativity As history, my remarks will form rather a medley. If they can claim any sort of unity (apart from a ...

What is spacetime? General relativity and quantum field theory answer this question in very different ways. This collection of essays by physicists and philosophers looks at the problem of uniting these two most fundamental theories of our world, focusing on the nature of space and time within this new quantum framework, and the kind of metaphysical picture suggested by recent developments in physics and mathematics. This is a book that will inspire further philosophical reflection on recent advances in modern (...) physics. (shrink)

Coordinate-based approaches to physical theories remain standard in mainstream physics but are largely eschewed in foundational discussion in favour of coordinate-free differential-geometric approaches. I defend the conceptual and mathematical legitimacy of the coordinate-based approach for foundational work. In doing so, I provide an account of the Kleinian conception of geometry as a theory of invariance under symmetry groups; I argue that this conception continues to play a very substantial role in contemporary mathematical physics and indeed that supposedly ``coordinate-free'' differential geometry (...) relies centrally on this conception of geometry. I discuss some foundational and pedagogical advantages of the coordinate-based formulation and briefly connect it to some remarks of Norton on the historical development of geometry in physics during the establishment of the general theory of relativity. (shrink)

In this paper, I discuss whether the results of loop quantum gravity (LQG) constitute a fatal blow to Humeanism. There is at least a prima facie reason for believing so: while Humeanism regards spatiotemporal relations as fundamental, LQG describes the fundamental layer of our reality in terms of spin networks, which are not in spacetime. However, the question should be tackled more carefully. After explaining the importance of the debate on the tenability of Humeanism in light of LQG, and (...) having presented the Humean doctrine, I review two cases which present serious threats to Humeanism, one concerning the fundamentality of vectorial quantities and the other concerning quantum entanglement. In particular, I recall the strategies that are usually employed in these two cases in order to save Humeanism: in the first case, the strategy consists in amending the characterization of the Humean mosaic; in the second case, it consists in adopting a realist or nomological interpretation of the wave function. These solutions will turn out to be helpful in my discussion of LQG where, after describing LQG, I show that Humeans might save their doctrine either by endorsing a realist interpretation of spin networks, or by giving them a nomological status and, at the same time, by revisiting the characterization of the Humean mosaic. However, I conclude that both solutions are wanting. (shrink)

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its (...) principal predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements , renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed. (shrink)

This paper contains a tutorial introduction to the ideas of geometric algebra, concentrating on its physical applications. We show how the definition of a “geometric product” of vectors in 2-and 3-dimensional space provides precise geometrical interpretations of the imaginary numbers often used in conventional methods. Reflections and rotations are analyzed in terms of bilinear spinor transformations, and are then related to the theory of analytic functions and their natural extension in more than two dimensions (monogenics), Physics is greatly facilitated by (...) the use of Hestenes' spacetime algebra, which automatically incorporates the geometric structure of spacetime. This is demonstrated by examples from electromagnetism. In the course of this purely classical exposition many surprising results are obtained—results which are usually thought to belong to the preserve of quantum theory. We conclude that geometric algebra is the most powerful and general language available for the development of mathematical physics. (shrink)

Presents outstanding translations of the Greek philosopher's works by leading British and American scholars of the last century.

Experiments witnessing the entanglement between two particles interacting only via the gravitational field have been proposed as a test whether gravity must be quantized. In the language of quantum information, a non-quantum gravitational force would be modeled by local operations with classical communication, which cannot generate entanglement in an initially unentangled state. This idea is criticized as too constraining on possible alternatives to quantum gravity. We present a parametrized model for the gravitational interaction of quantum matter on a classical (...) class='Hi'>spacetime, inspired by the de Broglie–Bohm formulation of quantum mechanics, which results in entanglement and thereby provides an explicit counterexample to the claim that only a quantized gravitational field possesses this capability. (shrink)

Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.

We propose to model spacetime by a differential space rather than by a differential manifold. A differential space is the pair (M, C), where M is any set, and C a family of real functions on M, satisfying certain axioms; C is called a differential structure of a corresponding differential space. This concept suitably generalizes the manifold concept. We show that C can be chosen in such a way that it contains all information about the causal structure of (...) class='Hi'>spacetime. This information can be read out of C with the help of only one postulate, namely that physical signals travel along piecewise smooth curves in (M, C). We effectively construct the Minkowski spacetime, with its cone structure, in this way. Some comments are made. (shrink)

I discuss the recent claims made by Mario Bunge on the philosophical implications of the discovery of gravitational waves. I think that Bunge is right when he points out that the detection implies the materiality of spacetime, but I reject his identification of spacetime with the gravitational field. I show that Bunge’s analysis of the spacetime inside a hollow sphere is defective, but this in no way affects his main claim.

Michel Janssen and Harvey Brown have driven a prominent recent debate concerning the direction of an alleged arrow of explanation between Minkowski spacetime and Lorentz invariance of dynamical laws in special relativity. In this article, I critically assess this controversy with the aim of clarifying the explanatory foundations of the theory. First, I show that two assumptions shared by the parties—that the dispute is independent of issues concerning spacetime ontology, and that there is an urgent need for (...) a constructive interpretation of special relativity—are problematic and negatively affect the debate. Second, I argue that the whole discussion relies on a misleading conception of the link between Minkowski spacetime structure and Lorentz invari-ance, a misconception that in turn sheds more shadows than light on our understand-ing of the explanatory nature and power of Einstein’s theory. I state that the arrow connecting Lorentz invariance and Minkowski spacetime is not explanatory and uni-directional, but analytic and bidirectional, and that this analytic arrow grounds the chronogeometric explanations of physical phenomena that special relativity offers. (shrink)

We discuss what we take to be three possible misconceptions in the foundations of general relativity, relating to: the interpretation of the weak equivalence principle and the relationship between gravity and inertia; the connection between gravitational redshift results and spacetime curvature; and the Einstein equivalence principle and the ability to ``transform away" gravity in local inertial coordinate systems.

In this paper, we introduce the concept of N-dimensional generalized Minkowski space, i.e., a space endowed with a metric tensor, whose coefficients do depend on a set of non-metrical coordinates. This is the first of a series of papers devoted to the investigation of the Killing symmetries of generalized Minkowski spaces. In particular, we discuss here the infinitesimal-algebraic structure of the space-time rotations in such spaces. It is shown that the maximal Killing group of these spaces is the direct product (...) of a generalized Lorentz group and a generalized translation group. We derive the explicit form of the generators of the generalized Lorentz group in the self-representation and their related, generalized Lorentz algebra. The results obtained are specialized to the case of a 4-dimensional, “deformed” Minkowski space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $${\widetilde M}$$ \end{document}4, i.e., a pseudoeuclidean space with metric coefficients depending on energy. (shrink)

It has been shown that the orbits of motion for a wide class of non-relativistic Hamiltonian systems can be described as geodesic flows on a manifold and an associated dual by means of a conformal map. This method can be applied to a four dimensional manifold of orbits in spacetime associated with a relativistic system. We show that a relativistic Hamiltonian which generates Einstein geodesics, with the addition of a world scalar field, can be put into correspondence in this (...) way with another Hamiltonian with conformally modified metric. Such a construction could account for part of the requirements of Bekenstein for achieving the MOND theory of Milgrom in the post-Newtonian limit. The constraints on the MOND theory imposed by the galactic rotation curves, through this correspondence, would then imply constraints on the structure of the world scalar field. We then use the fact that a Hamiltonian with vector gauge fields results, through such a conformal map, in a Kaluza-Klein type theory, and indicate how the TeVeS structure of Bekenstein and Saunders can be put into this framework. We exhibit a class of infinitesimal gauge transformations on the gauge fields ${\mathcal{U}}_{\mu}(x)$ which preserve the Bekenstein-Sanders condition ${\mathcal{U}}_{\mu}{\mathcal{U}}^{\mu}=-1$ . The underlying quantum structure giving rise to these gauge fields is a Hilbert bundle, and the gauge transformations induce a non-commutative behavior to the fields, i.e. they become of Yang-Mills type. Working in the infinitesimal gauge neighborhood of the initial Abelian theory we show that in the Abelian limit the Yang-Mills field equations provide residual nonlinear terms which may avoid the caustic singularity found by Contaldi et al. (shrink)

We explore the intimate connection between spacetime geometry and electrodynamics. This link is already implicit in the constitutive relations between the field strengths and excitations, which are an essential part of the axiomatic structure of electromagnetism, clearly formulated via integration theory and differential forms. We review the foundations of classical electromagnetism based on charge and magnetic flux conservation, the Lorentz force and the constitutive relations. These relations introduce the conformal part of the metric and allow the study of (...) electrodynamics for specific spacetime geometries. At the foundational level, we discuss the possibility of generalizing the vacuum constitutive relations, by relaxing the fixed conditions of homogeneity and isotropy, and by assuming that the symmetry properties of the electro-vacuum follow the spacetime isometries. The implications of this extension are briefly discussed in the context of the intimate connection between electromagnetism and the geometry of spacetime. (shrink)

Abstract Einstein intended the general theory of relativity to be a generalization of the relativity of motion and, therefore, a radical departure from previous spacetime theories. It has since become clear, however, that this intention was not fulfilled. I try to explain Einstein's misunderstanding on this point as a misunderstanding of the role that spacetime plays in physics. According to Einstein, earlier spacetime theories introduced spacetime as the unobservable cause of observable relative motions and, in particular, (...) as the cause of inertial effects of ?absolute? motion. I use a comparative analysis of Einstein and Newton to show that spacetime is not introduced as an explanation of observable effects, but rather is defined through those effects in arguments like Newton's ?water bucket? argument and Einstein's argument for special relativity. I then argue that to claim that a spacetime theory is true, or to claim that a spacetime structure is ?real?, is not to claim that a theoretical object explains the observable. Rather, it is to claim that the fundamental definitions that link spacetime structure to physical phenomena are empirically sound, i.e. that they can be successfully applied empirically. This leads to a new and clearer view of the empirical content of spacetime theories and of the meaning of ?realism? about spacetime. (shrink)

The idea that spacetime has to be replaced by Clifford space (C-space) is explored. Quantum field theory (QFT) and string theory are generalized to C-space. It is shown how one can solve the cosmological constant problem and formulate string theory without central terms in the Virasoro algebra by exploiting the peculiar pseudo-Euclidean signature of C-space and the Jackiw definition of the vacuum state. As an introduction into the subject, a toy model of the harmonic oscillator in pseudo-Euclidean space is (...) studied. (shrink)

Measurements in spacetime can be classified as spacelike or timelike, according to the positional and temporal characteristics of the measuring process. A well-known adjective for the spacelike measurement is “synchronous.” To describe the timelike measurement the term “syntopic” is introduced. The use of these terms is illustrated in discussing the measurement of time dilatation and the Lorentz contraction.

Several studies have emphasized the limits of invariance-based approaches such as Klein’s and Cassirer’s when it comes to account for the shift from the spacetimes of classical mechanics and of special relativity to those of general relativity. Not only is it much more complicated to find such invariants in the case of general relativity, but even if local invariants in Weyl’s fashion are admitted, Cassirer’s attempt at a further generalization of his approach to the spacetime structure of general relativity (...) seems to obscure the fact that the determination of this structure requires a completely different approach that is derived from Riemann rather than Klein. This paper aims to reconsider these issues by drawing attention to the combination of subtractive and additive strategies (more in line with Riemann’s) in Klein’s own considerations about the determination of the structure of spacetime from 1897 to 1910. I will point out that Cassirer relied on Klein’s argument in some central passages from Substance and Function (1910), and elaborated further on his combined approach in Einstein’s Theory of Relativity (1921), also taking into account the application of Riemannian geometry in general relativity. My suggestion is that an appreciation of Cassirer’s continuing commitment to a variety of geometrical traditions may shed light on his particular understanding of a priori elements of knowledge and avoid some of the classical objections to the idea of a relativization of the a priori. (shrink)

Since the emergence of computing as a mode of investigation in the sciences, computational approaches have revolutionised many fields of inquiry. Recently in philosophy, the question has begun rendering bit by bit—could computation be considered a deeper fundamental building block to all of reality? This paper proposes a continuum computing construct, predicated on a set of core computational principles: computability, discretisation, stability and optimisation. The construct is applied to the set of most fundamental physical laws, in the form of non-relativistic (...) conservation equations which underpin our governing physics. The discretisation approach divides all of space into a mesh of discrete computational cells, and evolution of data in those cells must obey pre-defined stability conditions from established continuum computing theory, namely, the Courant–Friedrichs–Lewy condition. Evolving cell-state data in a manner which logically optimises computational efficiency, combined with the defined stability condition, the construct derives a central coupling of space, time, and the fastest speed of information propagation. This coupling formed at the lowest level by the computing construct, naturally and inherently produces aspects of special relativity and general relativity at the macroscale. This paper therefore proposes a new explanation of why the nature of space and time may be fused, and explores simple emergent congruities with relativity. The theory invites us to reverse the philosophical premise of the original Simulation Argument. This argument currently leads us to consider: how might all of the observed physics of our reality be reproduced computationally in a simulation of our existence? This work asks instead: could foundations of the physics of our universe—namely spacetime coupling—emerge inherently, and necessarily, from fundamental principles of computation? (shrink)

A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a (...) modified Galilei group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology. (shrink)