I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 2, which addresses categorical equivalence, interpretational equivalence, and duality. (shrink)

In this article I bring the recent philosophical literature on theoretical equivalence to bear on dualities in physics. Focusing on electromagnetic duality, which is a simple example of S-duality i...

For Knox, ‘spacetime’ is to be defined functionally, as that which picks out a structure of local inertial frames. Assuming that Knox is motivated to construct this functional definition of spacetime on the grounds that it appears to identify that structure which plays theoperationalrole of spacetime—i.e., that structure which is actually surveyed by physical rods and clocks built from matter fields—we identify in this paper important limitations of her approach: these limitations are based upon the fact that there is a (...) gap between inertial frame structure and that which is operationally significant in the above sense. We present five concrete cases in which these two notions come apart, before considering various ways in which Knox’s spacetime functionalism might be amended in light of these issues. (shrink)

There exists a common view that for theories related by a ‘duality’, dual models typically may be taken ab initio to represent the same physical state of affairs, i.e. to correspond to the same possible world. We question this view, by drawing a parallel with the distinction between ‘interpretational’ and ‘motivational’ approaches to symmetries.

For Knox, ‘spacetime’ is to be defined functionally, as that which picks out a structure of local inertial frames. Assuming that Knox is motivated to construct this functional definition of spacetime on the grounds that it appears to identify that structure which plays the operational role of spacetime—i.e., that structure which is actually surveyed by physical rods and clocks built from matter fields—we identify in this paper important limitations of her approach: these limitations are based upon the fact that there (...) is a gap between inertial frame structure and that which is operationally significant in the above sense. We present five concrete cases in which these two notions come apart, before considering various ways in which Knox’s spacetime functionalism might be amended in light of these issues. (shrink)

A common adage runs that, given a theory manifesting symmetries, the syntax of that theory should be modified in order to construct a new theory, from which symmetry-variant structure of the original theory has been excised. Call this strategy for explicating the underlying ontology of symmetry-related models reduction. Recently, Dewar has proposed an alternative to reduction as a means of articulating the ontology of symmetry-related models—what he calls sophistication, in which the semantics of the original theory is modified, and symmetry-related (...) models of that theory are treated as if they are isomorphic. In this paper, we undertake a critical evaluation of sophistication about symmetries—we find the programme underdeveloped in a number of regards. In addition, we clarify the interplay between sophistication about symmetries, and a separate debate to which Dewar has contributed—viz., that between interpretational versus motivational approaches to symmetry transformations. (shrink)

Dualities are a pervasive phenomenon in contemporary physics, in which two physical theories are empirically equivalent, yet prima facie make different ontological claims about the world (potentially very different claims—differing in e.g. the number and radius of dimensions of the universe). Dualities thus present a particular instantiation of the well-known notion of underdetermination of theory by evidence. Many different philosophical proposals have been made for how such putative underdetermination might be resolved—this continues to be a programme of active research.

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what (...) is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

Must a theory of quantum gravity have some truth to it if it can recover general relativity in some limit of the theory? This paper answers this question in the negative by indicating that general relativity is multiply realizable in quantum gravity. The argument is inspired by spacetime functionalism—multiple realizability being a central tenet of functionalism—and proceeds via three case studies: induced gravity, thermodynamic gravity, and entanglement gravity. In these, general relativity in the form of the Einstein field equations can (...) be recovered from elements that are either manifestly multiply realizable or at least of the generic nature that is suggestive of functions. If general relativity, as argued here, can inherit this multiple realizability, then a theory of quantum gravity can recover general relativity while being completely wrong about the posited microstructure. As a consequence, the recovery of general relativity cannot serve as the ultimate arbiter that decides which theory of quantum gravity that is worthy of pursuit, even though it is of course not irrelevant either qua quantum gravity. Thus, the recovery of general relativity in string theory, for instance, does not guarantee that the stringy account of the world is on the right track; despite sentiments to the contrary among string theorists. (shrink)

This paper investigates the significance of T-duality in string theory: the indistinguisha- bility with respect to all observables, of models attributing radically different radii to space – larger than the observable universe, or far smaller than the Planck length, say. Two interpretational branch points are identified and discussed. First, whether duals are physically equivalent or not: by considering a duality of the familiar simple harmonic oscillator, I argue that they are. Unlike the oscillator, there are no measurements ‘outside’ string theory (...) that could distinguish the duals. Second, whether duals agree or disagree on the radius of ‘target space’, the space in which strings evolve according to string theory. I argue for the latter position, because the alternative leaves it unknown what the radius is. Since duals are physically equivalent yet disagree on the radius of target space, it follows that the radius is indeterminate between them. Using an analysis of Brandenberger and Vafa (1989), I explain why – even so – space is observed to have a determinate, large radius. The conclusion is that observed, ‘phenomenal’ space is not target space, since a space cannot have both a determinate and indeterminate radius: instead phenomenal space must be a higher-level phenomenon, not fundamental. (shrink)

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is in terms of the isomorphism of models, as defined by the schema. This construal gives interpretative constraints that should be useful for discussions of theoretical equivalence more (...) generally. I illustrate the construal in various formulations of Maxwell’s electromagnetic theory. (shrink)

This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought to bear on theories of contemporary physics. Then I identify a class of examples of dualities that lead to empirical under-determination. But I argue that the resulting under-determination is benign, and is not a threat to a cautious scientific realism. Thus dualities are not new ammunition for (...) the anti-realist. The paper also shows how the number of possible interpretative options about dualities that have been considered in the literature can be reduced, and suggests a general approach to scientific realism that one may take dualities to favour. (shrink)

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the heuristic function (...) of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries. Overall, the account meshes well with standard treatments of symmetries. But the distinction between the common core and the dual theories prompts a distinction between three kinds of symmetry: which we call ‘stipulated’, ‘accidental’ and ‘proper’.

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

La physique contemporaine pourrait bien nous livrer un enseignement incroyable, à savoir que l'espace et le temps n'existent pas fondamentalement. Je présenterai succinctement les ontologies suggérées par les deux principaux programmes de recherche en gravité quantique : la théorie des cordes et la gravité quantique à boucles. Je soutiendrai ensuite qu'il est fructueux de prendre les différentes conceptions ontologiques de la conscience en philosophie de l'esprit en modèles pour la construction de solutions au problème de l'émergence de l'espace-temps.