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)

Debates about the ontological implications of the general theory of relativity have long oscillated between spacetime substantivalism and relationism. I evaluate such debates by claiming that we need a third option, which I refer to as “structural spacetime realism.” Such a tertium quid sides with the relationists in defending the relational nature of the spacetime structure, but joins the substantivalists in arguing that spacetime exists, at least in part, independently of particular physical objects and events, the degree of “independence” being (...) given by the extent to which geometrical laws exist “over and above” physical events exemplifying them. By showing that structural spacetime realism is the natural outcome of a semantic, model-theoretic approach to the nature of scientific theories, I conclude by arguing that the notion of partial isomorphic representation is the most plausible candidate to connect spacetime models with reality. (shrink)

Introduction: The Winding Road to Quantum Gravity Abhay Ashtekar Traveler, there are no paths; Paths are made by walking. ...

The no-miracles argument for realism and the pessimistic meta-induction for anti-realism pull in opposite directions. Structural Realism---the position that the mathematical structure of mature science reflects reality---relieves this tension.

What is the meaning of general covariance? We learn something about it from the hole argument, due originally to Einstein. In his search for a theory of gravity, he noted that if the equations of motion are covariant under arbitrary coordinate transformations, then particle coordinates at a given time can be varied arbitrarily - they are underdetermined - even if their values at all earlier times are held fixed. It is the same for the values of fields. The argument can (...) also be made out in terms of transformations acting on the points of the manifold, rather than on the coordinates assigned to the points. So the equations of motion do not fix the particle positions, or the values of fields at manifold points, or particle coordinates, or fields as functions of the coordinates, even when they are specified at all earlier times. It is surely the business of physics to predict these sorts of quantities, given their values at earlier times. The principle of general covariance therefore seems untenable. (shrink)

How can we reconcile two claims that are now both widely accepted: Kretschmann's claim that a requirement of general covariance is physically vacuous and the standard view that the general covariance of general relativity expresses the physically important diffeomorphism gauge freedom of general relativity? I urge that both claims can be held without contradiction if we attend to the context in which each is made.

There is a philosophical tradition of arguing against presentism, the thesis that only presently existing things exist, on the basis of its incompatibility with fundamental physics. I grant that presentism is incompatible with special and general relativity, but argue that presentism is not incompatible with quantum gravity, because there are some theories of quantum gravity that utilize a fixed foliation of spacetime. I reply to various objections to this defense of presentism, and point out a flaw in Gödel's modal argument (...) for the ideality of time. This paper provides an interesting case study of the interplay between physics and philosophy. (shrink)

This is the table of contents and first chapter of Physics Meets Philosophy at the Planck Scale (Cambridge University Press, 2001), edited by Craig Callender and Nick Huggett. The chapter discusses the question of why there should be a theory of quantum gravity. We tackle arguments that purport to show that the gravitational field *must* be quantized. We then introduce various programs in quantum gravity and discuss areas where quantum gravity and philosophy seem to have something to say to each (...) other. (shrink)

The classical field theories that underlie the quantum treatments of the electromagnetic, weak, and strong forces share a peculiar feature: specifying the initial state of the field determines the evolution of some degrees of freedom of the theory while leaving the evolution of some others wholly arbitrary. This strongly suggests that some of the variables of the standard state space lack physical content-intuitively, the space of states of such a theory is of higher dimension than the corresponding space of genuine (...) physical possibilities. The structure of such theories can helpfully be characterized in terms of the action of symmetry groups on their space of states; and the conceptual problems surrounding their strange behavior can be sharpened in light of the observation that it is usually possible to eliminate the redundant variables associated with these symmetries-which turn out to be precisely those variables whose evolution is unconstrained by the dynamical laws of the theory. This paper discusses this approach, uses it to frame questions about the interpretation of classical gauge theories, and to reflect (pessimistically) on our prospects of reaching satisfactory answers to these questions. (shrink)

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

The paper is about the physical theories which result when one identifies points in phase space related by symmetries; with applications to problems concerning gauge freedom and the structure of spacetime in classical mechanics.

It is often said that the Aharonov-Bohm effect shows that the vector potential enjoys more ontological significance than we previously realized. But how can a quantum-mechanical effect teach us something about the interpretation of Maxwell's theory—let alone about the ontological structure of the world—when both theories are false? I present a rational reconstruction of the interpretative repercussions of the Aharonov-Bohm effect, and suggest some morals for our conception of the interpretative enterprise.

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)

Substantivalists claim that spacetime enjoys an existence analogous to that of material bodies, while relationalists seek to reduce spacetime to sets of possible spatiotemporal relations. The resulting debate has been central to the philosophy of space and time since the Scientific Revolution. Recently, many philosophers of physics have turned away from the debate, claiming that it is no longer of any relevance to physics. At the same time, there has been renewed interest in the debate among physicists working on quantum (...) gravity, who claim that the conceptual problems which they face are intimately related to interpretative questions concerning general relativity . My goal is to show that the physicists are correct--there is a close relationship between the interpretative issues of classical and quantum gravity. ;In the first part of the dissertation I challenge the received view that substantivalism has a commanding advantage over relationalism on grounds internal to GR. I argue that this view is based on a misconception of the relationships between realism and substantivalism, and between empiricism and relationalism. This has led to a narrow conception of relationalism. Once this is relinquished it can be seen that none of the standard arguments in favor of substantivalism are cogent. ;In the second part of the dissertation, I consider the way in which considerations arising out of quantum gravity bear upon the substantival-relational debate. I develop a framework in which to discuss the interpretative problems of gauge theories and place GR in this context. From this perspective, I provide a taxonomy of interpretative options, and show how the hole argument arises naturally as a consequence of gauge freedom. This means that certain substantivalist interpretations of GR render the theory indeterministic. In the final chapter, I argue that, far from being a drawback, this presents an opportunity for substantivalists. Examples from quantum mechanics, quantum field theory, and quantum gravity, are used to demonstrate that the ambiguities inherent in quantization can lead to an interpretative interplay between theories. In the case of quantum gravity, this means that substantivalism and relationalism suggest, and are suggested by, distinct approaches to quantizing GR. (shrink)

This is a contribution to a book on quantum gravity and philosophy. I discuss nature and origin of the problem of quantum gravity. I examine the knowledge that may guide us in addressing this problem, and the reliability of such knowledge. In particular, I discuss the subtle modification of the notions of space and time engendered by general relativity, and how these might merge into quantum theory. I also present some reflections on methodological questions, and on some general issues in (...) philosophy of science which are are raised by, or a relevant for, the research on quantum gravity. (shrink)

Mark Hinchliff concludes a recent paper, "The Puzzle of Change," with a section entitled "Is the Presentist Refuted by the Special Theory of Relativity?" His answer is "no." I respond by arguing that presentists face great difficulties in merely stating their position in Minkowski spacetime. I round up some likely candidates for the job and exhibit their deficiencies.

It has long been a commonplace that there is a problem understanding the role of time when one tries to quantize the General Theory of Relativity (GTR). In his "Thoroughly Modern McTaggart" (Philosophers' Imprint Vol 2, No. 3), John Earman presents several arguments to the conclusion that there is a problem understanding change and the passage of time in the unadorned GTR, quite apart from quantization. His Young McTaggart argues that according to the GTR, no physical magnitude ever changes. A (...) close consideration of Young McTaggart's arguments show that they turn on either a bad choice of formalism or an unwarranted interpretation of the implications of the formalism. This suggests that the problems that arise in quantization may be founded in similar shortcomings. (shrink)

The philosophical literature on time and change is fixated on the issue of whether the B-series account of change is adequate or whether real change requires Becoming of either the property-based variety of McTaggart's A-series or the non-property-based form embodied in C. D. Broad's idea of the piling up of successive layers of existence. For present purposes it is assumed that the B-series suffices to ground real change. But then it is noted that modern science in the guise of Einstein's (...) general theory poses a threat to real change by implying that none of the genuine physical magnitudes countenanced by the theory changes its value with time. The aims of this paper are to explain how this seemingly paradoxical conclusion arises and to assess the merits and demerits of possible reactions to it. (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.

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

These notes discuss some aspects of the sort of symmetry considerations that arise in philosophy of physics. They describe and provide illustration of: (i) one common sort of symmetry argument; and (ii) a construction that allows one to eliminate symmetries from a given structure.

The doctrine of simple individuals has its equal and opposite reaction in the view that an individual is simply a bundle of properties, that the identity of an individual is entirely dependent on the identity of its properties. This view also seems to me to be in some sense wrong and I shall attack it in passing. If all my remarks have seemed excessively polemical it is because I have been anxious to make it as clear as possible what the (...) motivation behind this paper is. I am mainly concerned with the problem concerning the "it" which underlies or has properties and I shall want to argue that the identity of an individual--what it is that makes an individual that individual--does not depend merely on its being that individual or having that piece of substratum, but it depends partially and in a complicated way on the identity of its properties. The analysis will have to exhibit the nature of that dependence. Most of the discussion will revolve around proper names and their function since it is through linguistic considerations, I think, that we get the clearest illumination. The result, in case any one is interested, will be Absolute Idealism, or something like it. (shrink)