Dean Rickles

This brief paper shows how an exact analogue of Einstein's original hole argument can be constructed in the loop representation of quantum gravity. The new argument is based on the embedding of spin-networks in a manifold and the action of the diffeomorphism constraint on them. The implications of this result are then discussed. I argue that the conclusions of many physicists working on loop quantum gravity---Rovelli and Smolin in particular---that the loop representation uniquely supports relationalism are unfounded.

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model.

The dominance of string theory in the research landscape of quantum gravity physics (despite any direct experimental evidence) can, I think, be justified in a variety of ways. Here I focus on an argument from mathematical fertility, broadly similar to Hilary Putnam’s ‘no miracles argument’ that, I argue, many string theorists in fact espouse in some form or other. String theory has generated many surprising, useful, and well-confirmed mathematical ‘predictions’—here I focus on mirror symmetry and the mirror theorem. These predictions were made on the basis of general physical principles entering into string theory. The success of the mathematical predictions are then seen as evidence for the framework that generated them. I shall attempt to defend this argument, but there are nonetheless some serious objections to be faced. These objections can only be evaded at a considerably high (philosophical) price

The AdS/CFT duality has been a source of several strong conceptual claims in the physics literature that have yet to be explored by philosophers. In this paper I focus on one of these: the extent to which spacetime geometry and locality can be said to emerge from this duality, so that neither is fundamental. I argue: that the kind of emergence in question is relatively weak, involving one kind of spacetime emerging from another kind of spacetime; inasmuch as there is something conceptually interesting to say about the emergence of spacetime and locality , it is no different from that already well known to those within canonical quantum gravity; that at the core of AdS/CFT is an issue of representation and redundancy in representation

‘Quantum Gravity’ does not denote any existing theory: the field of quantum gravity is very much a ‘work in progress’. As you will see in this chapter, there are multiple lines of attack each with the same core goal: to find a theory that unifies, in some sense, general relativity (Einstein’s classical field theory of gravitation) and quantum field theory (the theoretical framework through which we understand the behaviour of particles in non-gravitational fields). Quantum field theory and general relativity seem to be like oil and water, they don’t like to mix—it is fair to say that combining them to produce a theory of quantum gravity constitutes the greatest unresolved puzzle in physics. Our goal in this chapter is to give the reader an impression of what the problem of quantum gravity is; why it is an important problem; the ways that have been suggested to resolve it; and what philosophical issues these approaches, and the problem itself, generate. This review is extremely selective, as it has to be to remain a manageable size: generally, rather than going into great detail in some area, we highlight the key features and the options, in the hope that readers may take up the problem for themselves—however, some of the basic formalism will be introduced so that the reader is able to enter the physics and (what little there is of) the philosophy of physics literature prepared. I have also supplied references for those cases where I have omitted some important facts. Hence, this chapter is intended primarily as a catalyst for future research projects by philosophers of physics, both budding and well-matured.

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.

Many of the advances in string theory have been generated by the discovery of new duality symmetries connecting what were once thought to be distinct theories, solu- tions, processes, backgrounds, and more. Indeed, duality has played an enormously important role in the creation and development of numerous theories in physics and numerous fields of mathematics. Dualities often lie at those fruitful intersections at which mathematics and physics are especially strongly intertwined. In this paper I describe some of these dualities and unpack some of their philosophical conse- quences, focusing primarily on string-theoretic dualities. I argue that dualities fall uncomfortably between symmetries and gauge redundancies, but that they differ in that they point to genuinely new deeper structures.

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

In this chapter we consider economic systems, and in particular financial systems, from the perspective of the physics of complex systems (i.e. statistical physics, the theory of critical phenomena, and their cognates). This field of research is known as econophysics—alternative names are ‘financial physics’ and ‘statistical phynance.’ This title was coined in 1995 by Eugene Stanley, and since then its researchers have attempted to forge it as an independent and important field, one that stands in opposition to standard (‘Neo-Classical’) economic theory. Econophysicists argue that the empirical data is best explained in terms flowing out of statistical physics, according to which the (stylized) facts of economics are best understood as emergent properties of a complex system. However, some economists argue that the methods used by econophysics are not sufficient to prove the existence of underlying complexity in economic systems. The complexity claim can nonetheless be defended as a good example of an inference to the best explanation rather than a definitive deduction.

Background independence is generally considered to be ‘the mark of distinction’ of general relativity. However, there is still confusion over exactly what background independence is and how, if at all, it serves to distinguish general relativity from other theories. There is also some confusion over the philosophical implications of background independence, stemming in part from the definitional problems. In this paper I attempt to make some headway on both issues. In each case I argue that a proper account of the observables of such theories goes a long way in clarifying matters. Further, I argue, against common claims to the contrary, that the fact that these observables are relational has no bearing on the debate between substantivalists and relationalists, though I do think it recommends a structuralist ontology, as I shall endeavour to explain.

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.

I argue that, under the glitz, dual theories are examples of theoretically equivalent descriptions of the same underlying physical content: I distinguish them from cases of genuine underdetermination on the grounds that there is no real incompatibility involved between the descriptions. The incompatibility is at the level of unphysical structure. I argue that dual pairs are in fact very strongly analogous to gauge- related solutions even for dual pairs that look the most radically distinct, such as AdS/CFT.