I critically examine the assumption that the theoretical structure that varies under theoretical symmetries is redundant and should be eliminated from a metaphysical picture of the universe, following a ‘symmetry to reality’ inference. I do so by analysing the status of coordinate change symmetries taking a pragmatic approach. I argue that coordinate systems function as indexical devices, and play an important pragmatic role for representing concrete physical systems. I examine the implications of considering this pragmatic role seriously, taking what I (...) call a perspectivist stance. My conclusion is that under a perspectivist stance, all symmetries (including local gauge symmetries) potentially have a direct empirical status: they point to dynamical aspects that are invariant under changes of operationalisation, and they constitute a guide not to reality, but to nomology and kinship. (shrink)

It is argued that certain quantum theories of gravity — string theory, loop quantum gravity, non-commutative field theory — do not include spacetime as part of their fundamental ontology. There is a concern in the literature that theories of this kind are physically opaque and empirically incoherent. In this paper, I clarify and amend Huggett and Wüthrich’s argument against these claims. Whereas the content of this paper centres on the disappearance and re-emergence of spacetime in quantum gravity, much of the (...) philosophical work centres more generally on issues of (emergent) ontology and how this ontology can be extracted from formal theories, the role of formal derivations in justifying ontological relations, the nature of Kuhnian revolutions, and the application of these revolutions to quantum gravity. (shrink)

The Hole Argument was originally formulated by Einstein and it haunted him as he struggled to understand the meaning of spacetime coordinates in the context of the diffeomorphism invariance of general relativity. This argument has since been put to philosophical use by Earman and Norton to argue against a substantival conception of spacetime. In the present work I demonstrate how Earman and Norton’s Hole Argument can be extended to exclude everything and not merely substantival manifolds. These casualties of the hole (...) demonstrate that the Hole Argument hinges essentially on our notion of determinism and not on the diffeomorphic freedom of general relativity. Just as Earman and Norton argue that we should not let our metaphysics run roughshod over the structure of our physical theories, so I will argue that, in particular, we should not uncritically allow our metaphysics to dictate what our physical theories must determine. The central conviction which drives the arguments of this paper is that deterministic theories are not required to determine for future moments what they cannot determine for any present or past moments. I provide two arguments to the effect that a physically informed notion of determinism does not require general relativity to determine substantival facts. Consequently the Hole Argument cannot be used against substantival spacetime. The position that I advocate is an instance of “sophisticated determinism.”. (shrink)

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2018.

While the relation between visualization and scientific understanding has been a topic of long-standing discussion, recent developments in physics have pushed the boundaries of this debate to new and still unexplored realms. For it is claimed that, in certain theories of quantum gravity, spacetime ‘disappears’: and this suggests that one may have sensible physical theories in which spacetime is completely absent. This makes the philosophical question whether such theories are intelligible, even more pressing. And if such theories are intelligible, the (...) question then is how they manage to do so. In this paper, we adapt the contextual theory of scientific understanding, developed by one of us, to fit the novel challenges posed by physical theories without spacetime. We construe understanding as a matter of skill rather than just knowledge. The appeal is thus to understanding, rather than explanation, because we will be concerned with the tools that scientists have at their disposal for understanding these theories. Our central thesis is that such physical theories can provide scientific understanding, and that such understanding does not require spacetimes of any sort. Our argument consists of four consecutive steps: We argue, from the general theory of scientific understanding, that although visualization is an oft-used tool for understanding, it is not a necessary condition for it; we criticise certain metaphysical preconceptions which can stand in the way of recognising how intelligibility without spacetime can be had; we catalogue tools for rendering theories without a spacetime intelligible; and we give examples of cases in which understanding is attained without a spacetime, and explain what kind of understanding these examples provide. (shrink)

Within the philosophy of time there has been a growing interest in positions that deny the reality of time. Those positions, whether motivated by arguments from physics or metaphysics, have a shared conclusion: time is not real. What has not been made wholly clear, however, is exactly what it entails to deny the reality of time. Time is unreal, sure. But what does that mean? There has been only one sustained attempt to spell out exactly what it would mean to (...) endorse a temporal error theory; a theory that denies the reality of time—Baron & Miller’s ‘What is temporal error theory?’. Despite the fact that their paper makes significant strides in spelling out what would be required of a temporal error theory, my claim in this paper is that their position must be rejected and replaced. As well as looking to reject Baron and Miller’s position, I also look to provide that replacement. (shrink)

In this paper, I will argue that metaphysicians ought to utilize quantum theories of gravity as incubators for a future metaphysics. In §1, I will argue why this ought to be done. In §2, I will present case studies from the history of science where physical theories have challenged both the dogmatic and speculative metaphysician. In §3, I will present two theories of QG and demonstrate the challenge they pose to certain aspects of our current metaphysics; in particular, how they (...) challenge our understanding of the abstract-concrete distinction. In this section I demonstrate how five different accounts of the distinction each fail to hold under the received interpretations of loop quantum gravity and string theory. The central goal of this paper is to encourage metaphysicians to look to physical theories, especially those involving cosmology such as string theory and loop quantum gravity, when doing metaphysics. (shrink)

The analysis of the temporal structure of canonical general relativity and the connected interpretational questions with regard to the role of time within the theory both rest upon the need to respect the fundamentally dual role of the Hamiltonian constraints found within the formalism. Any consistent philosophical approach towards the theory must pay dues to the role of these constraints in both generating dynamics, in the context of phase space, and generating unphysical symmetry transformations, in the context of a hypersurface (...) embedded within a solution. A first denial of time in the terms of a position of reductive temporal relationalism can be shown to be troubled by failure on the first count, and a second denial in the terms of Machian temporal relationalism can be found to be hampered by failure on the second. A third denial of time, consistent with both of the Hamiltonian constraints roles, is constituted by the implementation of a scheme for constructing observables in terms of correlations and leads to a radical Parmenidean timelessness. The motivation for and implications of each of these three denials are investigated. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

The constrained Hamiltonian formalism is recommended as a means for getting a grip on the concepts of gauge and gauge transformation. This formalism makes it clear how the gauge concept is relevant to understanding Newtonian and classical relativistic theories as well as the theories of elementary particle physics; it provides an explication of the vague notions of “local” and “global” gauge transformations; it explains how and why a fibre bundle structure emerges for theories which do not wear their bundle structure (...) on their sleeves; it illuminates the connections of the gauge concept to issues of determinism and what counts as a genuine “observable”; and it calls attention to problems which arise in attempting to quantize gauge theories. Some of the limitations and problematic aspects of the formalism are also discussed. (shrink)

It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of general covariance is explained (...) and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance. (shrink)

info:eu-repo/semantics/publishedVersion.

The essay revisits the puzzle of the ‘passage’ of time in relation to EPR-type measurements and asks what philosophical consequences can be drawn from them. Some argue that the lack of invariance of temporal order in the measurement of a space-like related EPR pair, under relativistic motion, casts serious doubts on the ‘reality’ of the lapse of time. Others argue thatcertain features of quantum mechanics establisha tensed theory of time – understood here as Possibilism or the growing block universe. The (...) paper analyzes the employment of frame-invariant entropic clocks in a relativistic setting and argues that tenselessness does not imply timelessness. But this conclusion does not support a tensed theory of time, which requires a preferred foliation. It is argued that the only reliable inference from the EPR example and the use of entropic clocks is an inference not just to a Leibnizian order of the succession of events but a frame-invariant order according to some selected clocks. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

The paper considers the "GR-desideratum", that is, the way general relativity implements general covariance, diffeomorphism invariance, and background independence. Two cases are discussed where 5-dimensional generalizations of general relativity run into interpretational troubles when the GR-desideratum is forced upon them. It is shown how the conceptual problems dissolve when such a desideratum is relaxed. In the end, it is suggested that a similar strategy might mitigate some major issues such as the problem of time or the embedding of quantum non-locality (...) into relativistic spacetimes. (shrink)

The widely held picture of dynamical symmetry as surplus structure in a physical theory has many metaphysical applications. Here, I focus on its relevance to the question of which quantities in a theory represent fundamental natural properties.

Symplectic reduction is a formal process through which degeneracy within the mathematical representations of physical systems displaying gauge symmetry can be controlled via the construction of a reduced phase space. Typically such reduced spaces provide us with a formalism for representing both instantaneous states and evolution uniquely and for this reason can be justifiably afforded the status of fun- damental dynamical arena - the otiose structure having been eliminated from the original phase space. Essential to the application of symplectic reduction (...) is the precept that the first class constraints are the relevant gauge generators. This prescription becomes highly problematic for reparameterization invariant theories within which the Hamiltonian itself is a constraint; not least because it would seem to render prima facie distinct stages of a history physically identical and observable functions changeless. Here we will consider this problem of time within non-relativistic me- chanical theory with a view to both more fully understanding the temporal struc- ture of these timeless theories and better appreciating the corresponding issues in relativistic mechanics. For the case of nonrelativistic reparameterization invariant theory application of symplectic reduction will be demonstrated to be both unnec- essary; since the degeneracy involved is benign; and inappropriate; since it leads to a trivial theory. With this anti-reductive position established we will then examine two rival methodologies for consistently representing change and observable func- tions within the original phase space before evaluating the relevant philosophical implications. We will conclude with a preview of the case against symplectic re- duction being applied to canonical general relativity. (shrink)

The paper spells out five different accounts of the relationship between objects and relations three of which are versions of ontic structural realism. We argue that the distinction between objects and properties, including relations, is merely a conceptual one by contrast to an ontological one: properties, including relations, are modes, that is the concrete, particular ways in which objects exist. We then set out moderate OSR as the view according to which irreducible relations are central ways in which the fundamental (...) physical objects exist. Physical structures thus consist in objects for whom it is essential that they are related in certain ways. There hence are objects, but they do not possess an intrinsic identity. This view can also admit intrinsic properties as ways in which objects exist provided that these do not amount to identity conditions for the objects. Finally, we indicate how this view can take objective modality into account. (shrink)

This paper delves into McTaggart’s metaphysical account of reality without time, and compares and contrasts McTaggart’s account with the account of reality given by modern physics. This comparison is of interest, because there are suggestions from contemporary physics that there is no time at the fundamental level. Physicists and philosophers of physics recognize that we do not have a good understanding of how the world could be such that time is unreal. I argue that, from the perspective of one who (...) is trying to understand modern physics, McTaggart’s metaphysical views do provide some insight into how reality can be timeless at the fundamental level, but the insight that they provide is limited. (shrink)

In this paper I wish to make some headway on understanding what \emph{kind} of problem the ``problem of time'' is, and offer a possible resolution---or, rather, a new way of understanding an old resolution. The response I give is a variation on a theme of Rovelli's \emph{evolving constants of motion} strategy. I argue that by giving correlation strategies a \emph{structuralist} basis, a number of objections to the standard account can be blunted. Moreover, I show that the account I offer provides (...) a suitable ontology for time in both classical and quantum canonical general relativity. (shrink)

Doubts are raised concerning Rickles' claim that ``an exact analog of the hole argument can be constructed in the loop representation of quantum gravity'' (Rickles, `A new spin on the hole argument', Studies in History and Philosophy of Modern Physics 36 (2005) 415–434).

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

All change involves temporal variation of properties. There is change in the physical world only if genuine physical magnitudes take on different values at different times. I defend the possibility of change in a general relativistic world against two skeptical arguments recently presented by John Earman. Each argument imposes severe restrictions on what may count as a genuine physical magnitude in general relativity. These restrictions seem justified only as long as one ignores the fact that genuine change in a relativistic (...) world is frame-dependent. I argue on the contrary that there are genuine physical magnitudes whose values typically vary with the time of some frame, and that these include most familiar measurable quantities. Frame-dependent temporal variation in these magnitudes nevertheless supervenes on the unchanging values of more basic physical magnitudes in a general relativistic world. Basic magnitudes include those that realize an observer's occupation of a frame. Change is a significant and observable feature of a general relativistic world only because our situation in such a world naturally picks out a relevant class of frames, even if we lack the descriptive resources to say how they are realized by the values of basic underlying physical magnitudes. (shrink)

The conceptual and technical difficulties involved in creating a quantum theory of gravity have led some physicists to question, and even in some cases to deny, the reality of time. More surprisingly, this denial has found a sympathetic audience among certain philosophers of physics. What should we make of these wild ideas? Does it even make sense to deny the reality of time? In fact physical science has been chipping away at common sense aspects of time ever since its inception. (...) Section 1 offers a brief survey of the demolition process. Section 2 distinguishes a tempered from an extremely radical form that a denial of time might take, and argues that extreme radicalism is empirically self-refuting. Section 3 begins an investigation of the prospects for tempered radicalism in a timeless theory of quantum gravity. (shrink)

The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...) actuality of what is virtual insofar as it is virtual’). In other words: to grasp what change is, one has to resort to the modal idiom of potentialities, while the fact that there is change is indicative of the fact that nature is full of modal properties. -/- Aristotle’s modal and kinetic realism finds a negative in the figure of the Megaric Diodorus Kronus. The polemical situation of Greek philosophy has indeed the dialectical advantage of not opposing the Aristotelian position to a sui generis straw man. Both in its reduction of modal judgements to temporal quantifications and in its dissolution of the reality of the state-of-being-in-motion in favour of a cinematographic view of processes, the philosophical figure of reductionist antirealism embodied by Diodorus constitutes an alternative that takes the opposite view of Aristotle’s realism. -/- The present study is structured as a discussion between these two positions. In the face of Diodorus’ antirealist challenges, Aristotle articulates modal and kinetic considerations: the answers he gives to Diodorus’ puzzles thus provide valuable insight into his metaphysics. Moreover, the examination of Aristotle’s and Diodorus’ metaphysics, because of their insight and originality, will not fail to interest the philosopher concerned with the metaphysical foundations of modern physics, insofar as the entanglement between modalities and processes is nowadays at the core of mechanics (phase spaces, path integrals, etc.). (shrink)

Research in quantum gravity strongly suggests that our world in not fundamentally spatiotemporal, but that spacetime may only emerge in some sense from a non-spatiotemporal structure, as this paper illustrates in the case of causal set theory and loop quantum gravity. This would raise philosophical concerns regarding the empirical coherence and general adequacy of theories in quantum gravity. If it can be established, however, that spacetime emerges in the appropriate circumstances and how all its relevant aspects are explained in fundamental (...) non-spatiotemporal terms, then the challenge is fully met. It is argued that a form of spacetime functionalism offers the most promising template for this project. (shrink)

Theories of quantum gravity generically presuppose or predict that the reality underlying relativistic spacetimes they are describing is significantly non-spatiotemporal. On pain of empirical incoherence, approaches to quantum gravity must establish how relativistic spacetime emerges from their non-spatiotemporal structures. We argue that in order to secure this emergence, it is sufficient to establish that only those features of relativistic spacetimes functionally relevant in producing empirical evidence must be recovered. In order to complete this task, an account must be given of (...) how the more fundamental structures instantiate these functional roles. We illustrate the general idea in the context of causal set theory and loop quantum gravity, two prominent approaches to quantum gravity. (shrink)

The present paper attempts to show that a 1915 article by Erich Kretschmann must be credited not only for being the source of Einstein’s point-coincidence remark, but also for having anticipated the main lines of the logical-empiricist interpretation of general relativity. Whereas Kretschmann was inspired by the work of Mach and Poincaré, Einstein inserted Kretschmann’s point-coincidence parlance into the context of Ricci and Levi-Civita’s absolute differential calculus. Kretschmann himself realized this and turned the point-coincidence argument against Einstein in his second (...) and more famous 1918 paper. While Einstein had taken nothing from Kretschmann but the expression “point-coincidences”, the logical empiricists, however, instinctively dragged along with it the entire apparatus of Kretschmann’s conventionalism. Disappointingly, in their interpretation of general relativity, the logical empiricists unwittingly replicated some epistemological remarks Kretschmann had written before General Relativity even existed. (shrink)

In this paper I am concerned with analyzing in detail how ideas and expectations regarding the role of time in quantum theory arose and evolved in the early years of quantum mechanics. The general theme is that expectations which seemed reasonable from the point of view of matrix mechanics and Dirac's q-number formalism became implausible in light of Dirac-Jordan transformation theory, and were dashed by von Neumann's Hilbert space formalism which came to replace it. Nonetheless, I will identify two concerns (...) that remain relevant today, and which blunt the force of Hilgevoord's claim that the demand that time feature as an observable arose as the result of a simple conceptual error. (shrink)

This is an essay review of two textbooks on quantum gravity by Carlo Rovelli and Claus Kiefer.

We set out a fundamental ontology of atomism in terms of matter points. While being most parsimonious, this ontology is able to match both classical and quantum mechanics, and it remains a viable option for any future theory of cosmology that goes beyond current quantum physics. The matter points are structurally individuated: all there is to them are the spatial relations in which they stand; neither a commitment to intrinsic properties nor to an absolute space is required. The spatial relations (...) change. All that is needed to capture change is a dynamical structure, namely dynamical relations as expressed in terms of the dynamical parameters of a physical theory. (shrink)

This paper issues a call to arms and seeks to entice the reader with some of the most captivating philosophical puzzles arising in quantum gravity. The analysis will be prefaced, in Section 1, by general considerations concerning the need for finding a quantum theory of gravity and the methods used in the pursuit of this goal. After mapping the field in Section 2, loop quantum gravity is introduced as an important competitor and particularly rich source of philosophical trouble in Section (...) 3. The so-called problem of time, i.e. the puzzle that no genuine physical quantity can change, is discussed in Section 4. Finally, Section 5 analyzes how the familiar continuous spacetime structure might re-emerge from the fundamental, non-spatiotemporal structure. (shrink)

Traditionally one main emphasis of the quantum mechanical measurement theory is on the question how the pure state of the compound system 'measured system + measuring apparatus' is transformed into the 'mixture' of all possible results of that measurement, weighted with their probability: the so-called “disappearance of the interference terms”. It is argued in this note that in reality there is no such transformation, so that there is no need to account for such a transformation theoretically. _German_ Gewöhnlich liegt ein (...) Hauptgewicht der quantenmechanischen Messtheorie auf der Frage des Übergangs vom,reinen Fall' des Gesamtsystems,gemessenes System + Messgerät' in das,Gemenge' aus allen möglichen Messergebnissen, gewichtet mit ihren Wahrscheinlichkeiten: Das sog.,,Verschwinden der Interferenzterme“. In dieser Notiz wird die Meinung vertreten, dass es einen solchen Übergang faktisch nicht gibt, so dass es nicht notwendig ist, eine theoretische Erklärung für den Übergang zu geben. (shrink)

Ulrich Meyer's book The Nature of Time uses tense logic to argue for a `modal' view of time, which replaces substantial times with `ersatz times' constructed using conceptually basic tense operators. He also argues against Bertrand Russell's relationist theory, in which times are classes of events, and against the idea that relativity compels the integration of time and space. I find fault with each of these negative arguments, as well as with Meyer's purported reconstruction of empty spacetime from tense operators (...) and substantial spatial points. I suggest that Meyer's positive project is best conceived as an elimination of time in the mode of Julian Barbour's The End of Time. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

This paper offers a new way to evaluate counterfactual conditionals on the supposition that actually, there is no time. We then parlay this method of evaluation into a way of evaluating causal claims. Our primary aim is to preserve, at a minimum, the assertibility of certain counterfactual and causal claims once time has been excised from reality. This is an important first step in a more general reconstruction project that has two important components. First, recovering our ordinary language claims involving (...) notions such as persistence, change and agency and, second, recovering enough observational evidence so that any timeless metaphysics is not empirically self-refuting. However, the project of investigating causation in a timeless setting has a greater relevance than its application to timeless physical theory alone. For, as we show, it can be used to model the assertibility conditions of causal claims more generally. (shrink)

This paper aims to discuss two realist conceptions about causation in the light of the general theory of relativity. I first consider the conserved quantity of causation, which explicitly relies on the energy conservation principle. Such principle is however problematic within GTR, mainly because of the dynamical nature of the spacetime structure itself. I then turn to the causal theory of properties, according to which properties are such that insofar as they are certain qualities, they are powers to produce certain (...) effects. In order to be compatible with GTR, such theory has to assume non-trivial global conditions on the spacetime structure; such assumptions seem to deprive the „singularist‟ non-Humean feature of this theory of causation. The question of the possible causal nature of spacetime properties is addressed in the conclusion. (shrink)

String Theory is the result of the conjunction of three conceptually independent elements: the metaphysical idea of a nomological unity of the forces, the model-theoretical paradigm of Quantum Field Theory, and the conflict resulting from classical gravity in a quantum world - the motivational starting point of the search for a theory of Quantum Gravity. String Theory is sometimes assumed to solve this conflict: by means of an application of the model-theoretical apparatus of Quantum Field Theory, interpreting gravity as the (...) result of an exchange of gravitons, taken here to be dynamical states of the string. But, String Theory does not really solve the conflict. Rather it exemplifies the inadequacy of the apparatus of Quantum Field Theory in the context of Quantum Gravity: After several decades of development it still exists only in an essentially perturbative formulation. And, due to its quantum field theoretical heritage, it is conceptually incompatible with central implications of General Relativity, especially those resulting from the general relativistic relation between gravity and spacetime. All known formulations of String Theory are background-dependent. And no physical motivation is given for this conceptual incompatibility. On the other hand, although String Theory identifies all gauge bosons as string states, it was not even possible to reproduce the Standard Model. Instead, String Theory led to a multitude of internal problems - and to the plethora of low-energy scenarios with different nomologies and symmetries, known as the String Landscape. All attempts to find a dynamically motivated selection principle remained without success, leaving String Theory without any predictive power. The nomological unification of the fundamental forces, including gravity, is only achieved in a purely formal way within the model-theoretical paradigm of Quantum Field Theory - by means of physically unmotivated epicycles like higher dimensionality, Calabi-Yau spaces, branes, etc. Finally, the possibility remains that some of the central assumptions of String Theory are physically wrong. On the one hand, the idea of a nomological unity of the forces could be simply wrong. On the other hand, even if a nomological unity of all fundamental forces should be realized in nature, the possibility remains that gravity is not a fundamental force, but a residual, emergent and possibly intrinsically classical phenomenon, resulting from a quantum substrate without any gravitational degrees of freedom. (shrink)

The main aim of our paper is to show that interpretative issues belonging to classical General Relativity (GR) might be preliminary to a deeper understanding of conceptual problems stemming from on-going attempts at constructing a quantum theory of gravity. Among such interpretative issues, we focus on the meaning of general covariance and the related question of the identity of points, by basing our investigation on the Hamiltonian formulation of GR. In particular, we argue that the adoption of a peculiar gauge-fixing (...) within the canonical reduction of ADM metric gravity may yield a new solution to the debate between substantivalists and relationists, by suggesting a \emph{tertium quid} between these two age-old positions. Such a third position enables us to evaluate the controversial relationship between entity realism and structural realism in a well-defined case study. After having indicated the possible developments of this approach in Quantum Gravity, we discuss the structuralist and holistic features of the class of spacetime models that are used in the above mentioned canonical reduction. (shrink)

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

In this paper, I will argue that metaphysicians ought to utilize quantum theories of gravity as incubators for a future metaphysics. I will argue why this ought to be done and will present cases studies from the history of science where physical theories have challenged both the dogmatic and speculative metaphysician. I provide two theories of QG and demonstrate the challenge they pose to certain aspects of our current metaphysics; in particular, how they challenge our understanding of the abstract–concrete distinction. (...) I demonstrate how five different accounts of the distinction each fail to hold under the received interpretations of loop quantum gravity and string theory. The central goal of this paper is to encourage metaphysicians to look to physical theories, especially those involving cosmology such as string theory and loop quantum gravity, when doing metaphysics. (shrink)

The elucidation of the gauge principle ‘‘is the most pressing problem in current philosophy of physics’’ said Michael Redhead in 2003. This paper argues for two points that contribute to this elucidation in the context of Yang–Mills theories. (1) Yang–Mills theories, including quantum electrodynamics, form a class. They should be interpreted together. To focus on electrodynamics is potentially misleading. (2) The essential role of gauge and BRST symmetries is to provide a local field theory that can be quantized and would (...) be equivalent to the quantization of the non-local reduced theory. If this is correct, the gauge symmetry is significant, not so much because it implies ontological consequences, but because it allows us to quantize theories that we would not be able to quantize otherwise. Thus, in the context of Yang–Mills theories, it is essentially a pragmatic principle. This does not seem to be the case for the gauge symmetry in general relativity. (shrink)

The conceptual incompatibility between General Relativity and Quantum Mechanics is generally seen as a sufficient motivation for the development of a theory of Quantum Gravity. If - so a typical argumentation - Quantum Mechanics gives a universally valid basis for the description of the dynamical behavior of all natural systems, then the gravitational field should have quantum properties, like all other fundamental interaction fields. And, if General Relativity can be seen as an adequate description of the classical aspects of gravity (...) and spacetime - and their mutual relation -, this leads, together with the rather convincing arguments against semi-classical theories of gravity, to a strategy which takes a quantization of General Relativity as the natural avenue to a theory of Quantum Gravity. And, because in General Relativity the gravitational field is represented by the spacetime metric, a quantization of the gravitational field would in some sense correspond to a quantization of geometry. Spacetime would have quantum properties. But, this direct quantization strategy to Quantum Gravity will only be successful, if gravity is indeed a fundamental interaction. Only if it is a fundamental interaction, the given argumentation is valid, and the gravitational field, as well as spacetime, should have quantum properties. - What, if gravity is instead an intrinsically classical phenomenon? Then, if Quantum Mechanics is nevertheless fundamentally valid, gravity can not be a fundamental interaction; a classical and at the same time fundamental gravity is excluded by the arguments against semi-classical theories of gravity. An intrinsically classical gravity in a quantum world would have to be an emergent, induced or residual, macroscopic effect, caused by a quantum substrate dominated by other interactions, not by gravity. Then, the gravitational field (as well as spacetime) would not have any quantum properties. And then, a quantization of gravity (i.e. of General Relativity) would lead to artifacts without any relation to nature. The serious problems of all approaches to Quantum Gravity that start from a direct quantization of General Relativity (e.g. non-perturbative canonical quantization approaches like Loop Quantum Gravity) or try to capture the quantum properties of gravity in form of a 'graviton' dynamics (e.g. Covariant Quantization, String Theory) - together with the, meanwhile, rich spectrum of (more or less advanced) theoretical approaches to an emergent gravity and/or spacetime - make this latter option more and more interesting for the development of a theory of Quantum Gravity. The most advanced emergent gravity (and spacetime) scenarios are of an information-theoretical, quantum-computational type. A paradigmatic model for the emergence of gravity and spacetime comes from the Pregeometric Quantum Causal Histories approach. (shrink)

The `problem of time' is a cluster of interpretational and formal issues in the foundations of general relativity relating to both the representation of time in the classical canonical formalism, and to the quantization of the theory. The purpose of this short chapter is to provide an accessible introduction to the problem.

In their modern classic ``What Price Substantivalism? The Hole Story'' Earman and Norton argued that substantivalism about spacetime points implies that general relativity is indeterministic and, for that reason, must be rejected as a candidate ontology for the theory. More recently, Earman has cottoned on to a related argument (in fact, related to a \emph{response} to the hole argument) that arises in the context of canonical general relativity, according to which the enforcing of determinism along standard lines---using the machinery of (...) gauge theory---leads to a `frozen universe' picture (grounded in an absence of changes in values of general relativity's observables). \emph{Prima facie} this would seem to land the anti-substantivalist in waters at least as deep as those that Earman and Norton argued troubled substantivalism. In this paper I introduce the argument in what I think are clearer terms than Earman's, and assess his treatment of the problem. For the most part I agree with Earman about the nature of the problem, but I find aspects of his discussion wanting, especially as regards his proposed ontology. I argue that ontological sense can be made of the changelessness if a structuralist stance is adopted with respect to a natural class of observables. (shrink)

The A-theory of time has intuitive and metaphysical appeal, but suffers from tension, if not inconsistency, with the special and general theories of relativity (STR and GTR). The A-theory requires a notion of global simultaneity invariant under the symmetries of the world's laws, those ostensible transformations of the state of the world that in fact leave the world as it was before. Relativistic physics, if read in a realistic sense, denies that there exists any notion of global simultaneity that is (...) invariant under the symmetries of the world's laws. If physics is at least a decent guide to metaphysics--as sympathies for scientific realism would suggest--then relativistic physics supports the B-theory. If there were a physically natural way to modify the symmetries of the physical laws so as to remove those that are repugnant to the A-theory, while retaining empirical adequacy, then such an altered physics might be attractive to the A-theorist and would weaken the support given by relativity to the B-theory. I exhibit a way to do so here, displaying a Lagrangian density explicitly containing distant simultaneity, yet implying Einstein's field equations. The modification involves a change in the nature of the lapse function and makes use of the Dirac-Bergmann formalism of constrained dynamics, which recently has been discussed much by John Earman. Here this formalism is adapted slightly to permit both local and global generalized coordinates. A classification of senses in which time might be absolute or not is made along the way. Some suggestions for extending the work by finding a first principles motivation are made. An appendix outlines an argument why many local presents are insufficient and a global present is attractive, while two more appendices review the Dirac-Bergmann apparatus for GTR and then apply it to the theory at hand. (shrink)