Abstract
This paper explores the options available to the antirealist to defend a Quinean empirical underdetermination thesis using examples of dualities. I first explicate a version of the empirical underdetermination 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 underdetermination . But I argue that the resulting underdetermination is benign, and is not a threat to a cautious scientific realism. Thus dualities are not new ammunition for the antirealist. 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.
Introduction
Over the last twenty to thirty years, dualities have been central tools in theory construction in many areas of physics: from statistical mechanics to quantum field theory to quantum gravity. A duality is, roughly speaking, a symmetry between two (possibly very differentlooking) theories. So in physics: while a symmetry typically maps a state of the system into another appropriately related state (and likewise for quantities); in a duality, an entire theory is mapped into another appropriately related theory. And like for symmetries, there is a question of under what conditions dual theories represent empirically equivalent situations. Indeed, in some cases, physicists claim that dual pairs of theories describe the very same physical, not just the very same empirical, facts (more on this in Sect. 3).
Thus there is a natural question of whether dualities can generate interesting examples of empirical underdetermination, or underdetermination of theory by empirical data.
The empirical underdetermination thesis says that, roughly speaking, ‘physical theory is underdetermined even by all possible observations... Physical theories... can be logically incompatible and empirically equivalent’ (Quine 1970: p. 179).^{Footnote 1}
Despite the wide philosophical interest of the empirical underdetermination thesis, it is controversial whether there are any genuine examples of it (setting aside underdetermination ‘by the evidence so far’). Quine himself regarded this as an ‘open question’. One wellknown example is the various versions of nonrelativistic quantum mechanics, including its different interpretations; however, it is controversial whether these are cases of underdetermination by all the possible evidence, or by all the evidence so far. Likewise, Laudan and Leplin (1991: p. 459) say that most examples of underdetermination are contrived and limited in scope:
It is noteworthy that contrived examples alleging empirical equivalence always involve the relativity of motion; it is the impossibility of distinguishing apparent from absolute motion to which they owe their plausibility. This is also the problem in the preeminent historical examples, the competition between Ptolemy and Copernicus, which created the idea of empirical equivalence in the first place, and that between Einstein and H. A. Lorentz.
But dualities certainly go well beyond relative motion and the interpretation of nonrelativistic quantum mechanics. For they are at the centre of theory construction in theoretical physics: and so, if they turned out to give cases of underdetermination, this would show that the problem of underdetermination is at the heart of current scientific research. And since philosophers have thought extensively about underdetermination, this old philosophical discussion could contribute to the understanding of current developments in theoretical physics.
Furthermore, empirical underdetermination is also one of the arguments that have been mounted against scientific realism. Thus if dualities turn out to not illustrate underdetermination, then this particular argument against scientific realism would be undermined. Either way, the question of whether dualities give cases of underdetermination deserves scrutiny.
So far as I know, and apart from an occasional mention, the import of dualities for the underdetermination debate has so far only been studied in a handful of previous papers: see early papers by Dawid (2006), Dawid (2017a), Rickles (2011), Rickles (2017), Matsubara (2013) and recent discussions by Read (2016) and Le Bihan and Read (2018) .^{Footnote 2} Given that a rich Schema for dualities now exists equipped with the necessary notions for analysing underdetermination,^{Footnote 3} and several cases of rigorously proven dualities also exist, the time is ripe for a study of the question of empirical underdetermination visàvis dualities.
In this paper, I aim to undertake a study of the main options available to produce examples of empirical underdetermination using dualities. Thus, rather than giving a response to the various underdetermination theses or defending scientific realism, my aim is to analyse whether dualities offer genuine examples of underdetermination—as it is reasonable to expect that they do. We will find that, although the examples of dualities in physics do illustrate the underdetermination thesis, they do so in a benign way, i.e. they are not a threat to—cautious forms of—scientific realism. In particular, I will argue that—leaving aside cases of transient underdetermination^{Footnote 4}—not all of the interpretative options that have been considered by Matsubara (2013) and Le Bihan and Read (2018) are distinct or relevant options for the problem of emprical underdetermination, and that ultimately there is a single justified option for the cautious scientific realist. Thus dualities may be taken to favour a cautious approach to scientific realism.
In Sect. 2, I introduce the Quinean empirical underdetermination thesis. Section 3 introduces the Schema for duality. Section 4 then explores whether dualities give cases of underdetermination, and whether scientific realism is in trouble. Section 5 concludes.
The Empirical UnderDetermination Thesis
This Section introduces the Quinean empirical underdetermination thesis, and the allied concepts of empirical and theoretical equivalence.
Quine’s UnderDetermination Thesis, and Strategies for Response
The word ‘underdetermination’ is notoriously overused in philosophy of science. The underdetermination thesis that I am concerned with here is what Quine (1975: p. 314) called ‘empirical underdetermination’, which is not to be confused with the DuhemQuine thesis, or holism: indeed a quite different doctrine.^{Footnote 5} Quine gives several different formulations of his own thesis, of which the simplest version is:
\({\mathbf{Quine\,and\,underdetermination}}_{0}\): two theory formulations are underdetermined if they are empirically equivalent but logically incompatible.
Underdetermination theses are prominent as arguments against scientific realism. For if the same empirical facts can be described by two theories that contradict one another, why should we believe what one of the theories says?^{Footnote 6}
There are, roughly, two strategies for realists to try to respond to the challenge of empirical underdetermination, as follows:

(i)
One can try to undercut the underdetermination threat through appropriate modifications of one’s notions of equivalence, so that on the correct notions there is no underdetermination after all, i.e. what one thought were examples of empirical underdetermination turn out not to be. Since underdetermination\(_0\) involves two notions of equivalence in tension (underdetermination “lives in the space between empirical and logical equivalence”), this can be done in two ways. First, one can try to argue that an appropriate notion of empirical equivalence is sufficiently strong, so that the class of potential examples of underdetermination is reduced (i.e. because the two theory formulations in the putative example are not empirically equivalent). Or one can try to argue that the appropriate notion of logical equivalence (or, more generally, theoretical equivalence: see Sect. 2.3) is sufficiently weak, so that the class of potential examples of underdetermination is reduced (i.e. because the criterion of logical equivalence adopted is liberal, and makes the pairs of theory formulations in the putative examples logically equivalent).

(ii)
One can try to use alternative assessment criteria that do not involve modifications of the notions of equivalence. These criteria may be empirical, superempirical, or even nonempirical. They are often forms of ampliative inference which offer more “empirical support” to one theory than the other; or one theory may be “better confirmed by the evidence than the other” (Laudan 1990: p. 271).
I take Quine’s challenge of underdetermination\(_0\) to be primarily about (i) not (ii). This follows from the formulation of the challenge itself. Thus my position is that in so far as Quinean underdetermination\(_0\) poses a challenge to scientific realism, one must aspire to meet it in its own terms, i.e. by adopting the first strategy.
If (i) turns out to fail, so that we need to adopt strategy (ii) instead, this might still not be a blow to scientific realism, since (ii) can indeed solve the empirical underdetermination problems that the practicing scientist might be concerned with. In particular, if we adopt the strategy (i), we may still be left with some cases of underdetermination, and then we may, and should, still ask: which of these two theory formulations is better confirmed, and which one should we further develop or accept? That is, the strategy (ii) remains relevant.
Also, one should note that, although the strategy (i) is semantic and (ii) is epistemic, epistemic considerations are relevant to both approaches, since we are interested in theories that are proposed as candidate descriptions of the actual world. Thus in various parts of the paper, when I talk about holding a certain thesis (e.g. giving a verdict of theoretical equivalence), I will also consider the justification that we have for this thesis.
Fortunately so far, for realists, cases of underdetermination seem hard to come by. Quine (1975: p. 327) could find no good examples, and concluded that it is an ‘open question’ whether such alternatives to our best ‘system of the world’ exist. (See also Earman (1993: pp. 30–31)).^{Footnote 7} As late as 2011, Lyre (2011: p. 236) could write that empirical underdetermination ‘suffers from a severe but rarely considered problem of missing examples’.^{Footnote 8}
In the rest of the paper, I will discuss strategy (i), and how dualities address this problem of missing examples. As we will see, my analysis will in effect be as follows. (A) I will only minimally strengthen the notion of empirical equivalence (in Sect. 2.2), although I will also use this notion in a liberal way (in Sect. 4.3). (B) I will also strengthen the notion of equivalence that is to replace Quine’s condition of logical equivalence. Thus the effects of my two modifications on the empirical underdetermination thesis are in tension with each other. (A) strengthens empirical equivalence, which should help strategy (i) (cf. the beginning of this Section), but I will also allow a liberal use of it, which again runs against (i). (B) is a substantial strengthening of the logical criteria of equivalence. So the overall effect of my analysis will not necessarily be good news for scientific realists—and this is of course the case we should consider, if we are to make the challenge to scientific realism as strong as possible. My liberal use of (A) will be motivated by how physicists use dualities, and by a discussion of the semantic and syntactic conceptions of empirical equivalence. The strengthening (B) will also be based on work on dualities, and how dualities give us a plausible criterion of theory individuation, that was developed independently of the question of empirical underdetermination.
Empirical Equivalence
Quine’s (1975: p. 319) criterion of empirical equivalence is syntactic: two theories are empirically equivalent if they imply the same observational sentences, also called observational conditionals, for all possible observations—present, past, future or ‘pegged to inaccessible placetimes’ (p. 234)
Another influential and, as we will see, complementary account of the meaning of ‘empirical’ is by van Fraassen (1980: p. 64), who puts it thus:
To present a theory is... to present certain parts of those models (the empirical substructures) as candidates for the direct representation of observable phenomena. The structures which can be described in experimental and measurement reports we call appearances: the theory is empirically adequate if it has some model such that all appearances are isomorphic to empirical substructures of that model.
Van Fraassen famously restricts the scope of ‘observable phenomena’ to observation by the unaided human senses. Accordingly, his mention of ‘experimental and measurement reports’ is restricted to certain kinds of experiments and measurements.^{Footnote 9} Thus I will set van Fraassen’s notion of observability aside but keep his notion of empirical adequacy as a useful semantic alternative to Quine’s syntactic construal of the empirical—and in this sense the two views are complementary to each other.
In Sect. 4.3, I will give a judicious reading of these two criteria of empirical equivalence, which will give us a verdict that duals, i.e. dual theories, are empirically equivalent, as a surprising but straightforward application of van Fraassen’s and Quine’s proposals.
Theoretical Equivalence
The second notion entering the definition of underdetermination\(_0\)—namely, logical equivalence—was replaced by Quine, and later by others, by other (weaker) notions, often under the heading of ‘theoretical equivalence’. In this Section, I will introduce some of these notions, and then present my own account, following De Haro (2019).
Note that ‘logical equivalence’ is defined in logic books as relative to a vocabulary or signature, and so it is obviously too strict.^{Footnote 10} For example, one would not wish to count French and English formulations of the theory of electrodynamics as different theories, while they would count as logically inequivalent by the criterion in logic books, since their vocabularies are different.
Quine also argues that logical equivalence is too strong a criterion. He proposes the following criterion of equivalence between theory formulations: ‘I propose that we count two formulations as formulations of the same theory if, besides being empirically equivalent, the two formulations can be rendered identical by switching predicates in one of them’ (Quine, 1975: p. 320). He broadens this criterion further to allow not only ‘switchings’ of terms, but more generally ‘reconstrual of predicates’, i.e. any mapping of the lexicon of predicates that is used by the theory, into open formulas (i.e. mapping nplace predicates to nvariable formulas). For a formalization of this, see Barrett and Halvorson (2016: pp. 4–6). I will follow these authors in calling this new kind of theoretical equivalence Quine equivalence. Thus we arrive at:
Quinean underdetermination: two theory formulations are underdetermined if they are empirically equivalent but there is no reconstrual of predicates that renders them logically equivalent (i.e. they are Quineinequivalent).
Barrett and Halvorson (2016: pp. 68) argue that Quine equivalence is too liberal a criterion for theoretical equivalence (which, in turn, means that one ends up with a strict notion of empirical underdetermination, which will have few instantiations). Indeed, they give several examples of theories that are equivalent according to Quine’s criterion, but that one has good reason to consider inequivalent. They then introduce another criterion, due to Glymour (1970), that better captures what one means by intertranslatability, i.e. the existence of a suitable translation between two theory formulations. The criterion is, roughly speaking, the existence of reconstrual maps “both ways”, i.e. from T to \(T'\) and back. They show that, in first order logic, intertranslatability is equivalent to the notion of definitional equivalence: which had already been defined in logic and advocated for philosophy of science by Glymour (1970: p. 279). Since the criterion of intertranslatability is Quine’s criterion taken “both ways”, it can be seen as an improvement of it.
In De Haro (2019), I argued that there is an interesting project of finding criteria of equivalence that are mostly formal, while the full project, of formal plus interpretative equivalence that I am interested in here, requires the consideration of ontological matters. In particular, theoretical equivalence requires that the interpretations are the same. Thus we can give the following definition:
Theoretical equivalence: two theory formulations are theoretically equivalent if they are formally equivalent and, in addition, they have the same interpretations.
The following Sections will further articulate the above definition. Thus pace Quine, the criterion of individuation of theories that is relevant to scientific theories is not merely formal, but is a criterion of theoretical equivalence. Interpretation matters in science,^{Footnote 11} and two theories can only be said to be equivalent if they have the same interpretations, i.e. they have the same ontology. Thus taking theoretical equivalence as our notion of equivalence, we arrive at the following conception of underdetermination, based on Quine’s original notion, but now with the correct criterion of individuation of physical theories:
Empirical underdetermination: two theory formulations are underdetermined if they are empirically equivalent but theoretically inequivalent.
As we will see in the next Section, the most straightforward way to look for examples of empirical underdetermination is if the theories have different interpretations. This is because, as I argued above, empirical underdetermination is primarily a matter of meaning, interpretation, and ontology.
In what follows, we will always deal with theory formulations, and so will not need to distinguish between ‘theory’ and ‘theory formulation’. So for brevity, I will from now on often talk of ‘theories’ instead of ‘theory formulations’.
Duality
This Section introduces the notion of duality, along with our Schema (with Butterfield) for understanding it, and a few examples.^{Footnote 12} The Schema encompasses our overall treatment of dualities: which comprises the notions of bare theory, interpretation, duality, and theoretical equivalence and its conditions (Sect. 3.1); and two different kinds of interpretations, dubbed ‘internal’ and ‘external’ (Sect. 3.3). Section 3.2 discusses two examples of dualities.
The Schema for Dualities
In this Section, I illustrate the Schema for dualities with an example from elementary quantum mechanics.
Consider positionmomentum duality in onedimensional quantum mechanics, represented on wavefunctions by the Fourier transformation. For every position wavefunction with value \(\psi (x)\), there is an associated momentum wavefunction whose value is denoted by \(\tilde{\psi }(p)\), and the two are related by the Fourier transformation as follows:
Likewise for operators: any operator can be written down in a position representation, A, or in a momentum representation, \(\tilde{A}\). Because of the linearity of the Fourier transformation, all the transition amplitudes are invariant under it, so that the following holds (using standard textbook braket notation for the inner product):
Since the Schrödinger equation is linear in the Hamiltonian and in the wavefunction, the equation can itself be written down and solved in either representation.
The Fourier transformation between position and momentum gives us an isomorphism between the position and momentum formulations of quantum mechanics. For Eq. (1) maps, onetoone, each wavefunction in the position formulation to the corresponding wavefunction in the momentum formulation, and likewise for operators. Furthermore, the map preserves the dynamics, i.e. the Schrödinger equation in position or in momentum representation, and all the values of all the physical quantities, i.e. the transition amplitudes Eq. (2), are invariant under this map.
Positionmomentum duality illustrates what we mean by duality in general: a duality is an isomorphism between theories, which I will denote by \(d:T\rightarrow T'\). States, quantities, and dynamics are mapped onto each other onetoone by the duality map, while the values of the quantities, Eq. (2), which determine what will be the physical predictions of the theory, are invariant under the map.
Notice the dependent clause ‘which determine what will be the physical predictions of the theory’. The reason for the insertion of the italicised phrase is, of course, that my talk of quantum mechanics has so far been mostly formal. Unless one specifies a physical interpretation for the operators and wavefunctions in Eq. (2), the formalism of quantum mechanics does not make any physical predictions at all, i.e. only interpreted theories make physical predictions. Without an interpretation, the formalism of quantum mechanics could equally well be describing some probabilistic system that happens to obey a law whose resemblance with Schrödinger’s equation is only formal.
This prompts the notions of bare theory and of interpretation which, together, form what we call a ‘theory’. A bare theory is a theory (formulation) before it is given an interpretation—like the formal quantum mechanics above: it was defined in terms of its states (the set of wavefunctions), quantities (operators) and dynamics (the Schrödinger equation). Thus it is useful to think of a bare theory in general as a triple of states, quantities, and dynamics. I will usually denote bare theories by T, and a duality will be an isomorphism between bare theories.^{Footnote 13}
Interpretations can be modelled using the idea of interpretation maps. Such a map is a structurepreserving partial function mapping a bare theory (paradigmatically: the states and the quantities) into the theory’s domain of application, i.e. appropriate objects, properties, and relations in the physical world. I will denote such a (set of) map(s) by: \(i:T\rightarrow D\).^{Footnote 14}
The above notions of bare theory, of interpretation as a map, and of duality as an isomorphism between bare theories, allow us to make more precise the notion of theoretical equivalence, from Sect. 2.3. First, suppose that we have two bare theories, \(T_1\) and \(T_2\), with their respective interpretation maps, \(i_1\) and \(i_2\), which map the two theories into their respective domains of application, \(D_1\) and \(D_2\). Further, assume that there is a duality map between the two bare theories, \(d:T_1\rightarrow T_2\), i.e. an isomorphism as just defined. Theoretical equivalence can then be defined as the condition that the domains of application of the two theories are the same, i.e. \(D:=D_1=D_2\), as in Fig. 1, so that the two interpretation maps have the same range. Note that, while the domains of application of theoretically equivalent theories are the same, the bare theories \(T_1\) and \(T_2\) are different, and so the theories are equivalent but not identical.
As I mentioned in the definition of empirical underdetermination in Sect. 2.3, in this paper we are mostly interested in situations in which the two theories are theoretically inequivalent, i.e. the ontologies of two dual theories are different. This means that the ranges of the interpretation maps, i.e. the domains of application of the two theories, are distinct, so that: \(D_1\not =D_2\). Thus the diagram for the three maps, \(d,i_1,i_2\), does not close: the diagram for theoretical inequivalence is a square, as in Fig. 2. This notion of theoretical inequivalence makes precise the first condition for underdetermination, at the end of Sect. 2.3.
This will allow us, in Sect. 4, to give precise verdicts of underdetermination. In order to do that, we also need to make more precise the second condition for underdetermination in Sect. 2.3, i.e. the notion of empirical equivalence. We turn to this next.
To illustrate the notion of empirical equivalence, let me first briefly discuss the standard textbook interpretation of quantum mechanics, in the language of the Schema—the other interpretations are obtained by making the appropriate modifications. Since my aim here is only to illustrate the Schema, rather than to try to shed light on quantum mechanics itself, I will set aside the measurement problem, and simply adopt the standard Born rule for making probabilistic predictions about the outcomes of measurements. On this understanding, the interpretation map(s) i map the bare theory to its domain of application^{Footnote 15} as follows:
etc., where x is an eigenvalue of the position operator.^{Footnote 16}
Although all of the above notions (outcomes of measurements, Born probabilities, physical states of a system, etc.) are in the domain D, and they all enter in the assessment of theoretical equivalence, not all of them are relevant for empirical equivalence, since not all of them qualify as ‘observable’, in the sense of Sect. 2.2. For while the position of a particle can be known by a measurement of the particle’s position on a detection screen or in a bubble chamber, the state of a particle cannot be so known: thus it is a theoretical concept. On the other hand, a probability (on the standard—and admittedly simplistic!—frequentist interpretation of probabilities in quantum mechanics, where probabilities are relative frequencies of events for an ensemble of identically prepared systems) is an observational concept, since it can be linked to relations between measurements (i.e. frequencies), even if it does not itself correspond to an outcome of a measurement or physical interaction.
Thus in the case of quantum mechanics, the empirical substructures in van Fraassen’s definition in Sect. 2.2 are the subsets of structures of the theory that correspond to outcomes of measurements, in a broad sense, and relations between measurements. These structures are, quite generally, the set of (absolute values of) transition amplitudes of selfadjoint operators, Eq. (2), and expressions constructed from them, including powers of transition amplitudes. These are the empirical substructres (on van Fraassen’s semantic conception), which make true or false the observational conditionals of the theory (Quine’s phrase). The remaining terms of the theory may have a physical significance, but they are theoretical. Thus this discussion distinguishes, for elementary textbook quantum mechanics, between what is theoretical and what is empirical.
Examples of Dualities
I will now give two other important examples of dualities: Tduality in string theory, and black holequarkgluon plasma duality.
To this end, I will first say a few words about string theory. String theory is a generalisation of the theory of relativistic point particles to relativistic, onedimensional extended objects moving in time, i.e. strings. On analogy with the worldline swept out by a point particle, the twodimensional (one space plus one time dimension!) surface swept out by the string in spacetime is called the ‘worldsheet’ of the string. Strings can be open or closed, so that their worldsheet is topologically an infinitely long strip (for open strings) or an infinitely long tube (for closed strings). Type I theories contain both open and closed strings, while type II theories contain only closed strings. In what follows, I will focus on type II theories. In order to render string theories quantum mechanically consistent, fermionic string excitations are introduced that make the theories supersymmetric, i.e. so that the number of bosonic degrees of freedom is matched by the number of fermionic degrees of freedom. Depending on the chirality of these fermionic excitations, i.e. roughly whether they are all handed in the same direction on the worldsheet or not, we have a type IIA (leftright symmetric) or a type IIB theory (leftright antisymmetric). The quantum mechanical consistency of string theory also requires that the number of spacetime dimensions be 10, so that the spacetime is the Lorentzian \(\mathbb {R}^{10}\).
Tduality first appears when one of these ten dimensions is compact, for example a circle of radius R.^{Footnote 17} Thus the spacetime is \(\mathbb {R}^9\times S^1\), where \(S^1\) is the circle. The periodicity of the circle then entails that the centreofmass momentum of a string along this direction is quantised in units of the radius R; so \(p=n/R\), where n is an integer. Furthermore, closed strings can wind around the circle (this is only possible if the spacetime is \(\mathbb {R}^9\times S^1\) not \(\mathbb {R}^{10}\)): so they have, in addition to momentum, an additional winding quantum number, m, which counts the number of times that a string wraps around the circle. Now the contribution of the centreofmass momentum, and of the winding of the string around the circle, to the square of the mass \(M^2\) of the string, is quadratic in the quantum numbers, as follows:
where the subscript nm indicates that this is the contribution of the momentum and the winding around the circle—there are other contributions to the mass that are independent of the momentum, winding, and radius, which I suppress—and \(\ell _{\hbox {s}}\) is the fundamental string length, i.e. the length scale with respect to which one measures distances on the worldsheet. We see that the contribution to the mass, Eq. (3), is invariant under the simultaneous exchange:
In fact, one can show that the entire spectrum, and not only the centreofmass contribution Eq. (3), is invariant under this map (cf. Zwiebach (2009: pp. 392–397), Polchinski (2005: pp. 235–247)). This is the basic statement of Tduality: namely, that the theory is invariant under Eq. (4), i.e. the exchange of the momentum and winding quantum numbers, in addition to the inversion of the radius.^{Footnote 18}
Tduality is a duality in the sense of the previous Section, in that it maps states of type IIA string theory to states of type IIB, and likewise for quantities, while leaving all the values of the physical quantities, such as the mass spectrum Eq. (3), invariant.
My second example is gaugegravity duality, itself a large subject (cf. De Haro et al. (2016)), but here I focus on its use in the Relativistic Heavy Ion Collider (RHIC) experiments carried out in Brookhaven, NY. Here, the duality successfully relates the fourdimensional quantum field theory (QCD, quantum chromodynamics) that describes the quarkgluon plasma, produced in highenergy collisions between lead atoms, to the properties of a fivedimensional black hole. The latter was employed to perform a calculation that, via an approximate duality, provided a result in QCD: namely, the shearviscositytoentropydensity ratio of the plasma, which could not be obtained in the theory of QCD describing the plasma. Thus a fivedimensional black hole was used to describe, at least approximately, an entirely different (fourdimensional!) empirical situation.
The level of rigour to which duality has been established differs among various examples. Tduality can be proven perturbatively, i.e. order by order in perturbation theory; but not (yet) exactly. Gaugegravity duality is hard to prove beyond the semiclassical approximation: and, although much evidence has been amassed, it is still a conjecture. A rigorously proven duality is KramersWannier duality (see e.g. Baxter (1982)): this, and other cases treated elsewhere,^{Footnote 19} show that nothing that I will have to say depends on the conjectural status of the string theory dualities. Indeed, my analysis here will be independent of those details.
Internal and External Interpretations
In the previous two Sections, I defined dualities formally (Sect. 3.1) and then I gave two examples (Sect. 3.2). The examples already came with an interpretation, i.e. I discussed not just the bare theories but the interpreted theories, since that is the best way to convey the relevant physics. In this Section, I will be more explicit about the kinds of interpretations that can lead to theoretically equivalent theories.
Not all interpretations lead to theoretically equivalent theories: and this fact—that theoretical equivalence is not automatic—creates space for empirical underdetermination. For, as I will argue in the next Section, the interpretations that fail to lead to theoretical equivalence introduce the possibility of empirical underdetermination.
Which interpretations lead to theoretically equivalent theories, as in Fig. 1, or to theoretically inequivalent ones, as in Fig. 2? Note that theoretical equivalence requires that the domains of the two theories (the ranges of the interpretation maps) are the same, i.e. the two theories have the same ontology.^{Footnote 20} This imposes a strong condition on the interpretations of two dual theories: whereas theoretical inequivalence comes at a low cost. Thus one expects that, generally speaking, an interpretation of two dual theories—for example, the interpretations with which dual theories have been historically endowed—renders two theories inequivalent. I will call such interpretations, that deliver theoretically inequivalent theories, external.
An external interpretation is best defined in contrast with an internal interpretation, which maps all of and only what is common to the two theory formulations, i.e. an internal interpretation interprets only the invariant content under the duality. An external interpretation, by contrast, also interprets the content that is not invariant under the duality—thereby typically rendering two duals theoretically, and potentially also empirically, inequivalent.
I will dub this additional structure, which is not part of what I have called the ‘invariant content’, the specific structure. An isomorphism of theories maps the states, quantities, and dynamics, but not the specific structure, which is specified additionally for each specific theory formulation. Indeed, theory formulations often contain structure (e.g. gaugedependent structure) beyond the bare theory’s empirical and theoretical structure (which is gaugeindependent).
In the example of Tduality, the interpretation of string quantum numbers as ‘momentum’ or as ‘winding’ is external and makes two Tdual theories inequivalent, since the interpretation maps to distinct elements of the domain under the exchange in Eq. (4).
If an interpretation does not map the specific structure of a theory but only common structure, I will call it an internal interpretation. This means that it only maps the structure that is common to the duals. Such an interpretation gives rise to two maps, \(i_1\) and \(i_2\), one for each theory: their domains differ, but their range can be taken to be the same, since for each interpretation map of one theory there is always a corresponding interpretation map of the other theory with the same domain of application.^{Footnote 21} Thus we get the situation of theoretical equivalence, in Fig. 1.^{Footnote 22}
Unextendability justifies the use of an internal interpretation There is an important epistemic question, that will play a role in Sect. 4.2’s analysis, about whether we are justified in adopting an internal interpretation, according to which the duals are theoretically equivalent.
The question is, roughly speaking, whether the interpretation i of a bare theory T, and T itself, are “detailed enough” and “general enough” that they cannot be expected to change, for a given domain of application D. I call this condition unextendability. De Haro (2020: Section 1.3.3) gives a technical definition of the two conditions for unextendability, the ‘detail’ and ‘generality’ conditions. Roughly speaking, the condition that the interpreted theory is detailed enough means that it describes the entire domain of application D, i.e. it does not leave out any details. And the generality condition means that both the bare theory T and the domain of application D are general enough that the theory “cannot be extended” to a theory covering a larger set of phenomena. Thus T is as general as it can/should be, and D is an entire “possible world”, and cannot be extended beyond it.
To give an example involving symmetries: imagine an effective quantum field theory with a classical symmetry, valid up to some cutoff, and imagine an interpretation that maps symmetryrelated states to the very same elements in the domain of application. Now imagine that extending the theory beyond the cutoff reveals that the symmetry is broken (for example, by a higherloop effect), so that it is anomalous. The possibility of this extension, with the corresponding breaking of the symmetry, will lead us to question that our interpretation is correct: maybe we should not identify symmetryrelated states by assigning them the same interpretation, especially if it turns out that the states are different after the extension (for example, if higherloop effects correct the members of a pair of symmetryrelated states in different ways). And so, it will probably prompt us to develop an interpretation that is consistent with the theory’s extension to high energies, so that symmetryrelated states are now mapped to distinct elements in the domain. In conclusion, we are not epistemically justified in interpreting symmetryrelated states as equivalent, because we should take into account the possibility that an extension of the theory to higher energies might compel us to change our interpretation.
External interpretations of two dual theories do not in general classify them as having the same interpretation. And so, although these interpretations could be subject to change, this does not affect the verdict that the theories are theoretically inequivalent.
There is a weaker sense of unextendability, which allows that a theory might be extended in some cases, but only in such a way that the interpretation in the original domain of application does not change, and the theories continue to be theoretically equivalent after the extension. In what follows, I will often use ‘unextendability’ in this weaker sense.
The example of positionmomentum duality in elementary quantum mechanics can be interpreted internally once we have developed quantum mechanics on a Hilbert space. The two theories are then representations of a single Hilbert space, and we can describe the very same phenomena, regardless of whether we use the momentum or the position representation. And quantum mechanics is an unextendable theory in the weaker sense (namely, with respect to this aspect with which we are now concerned, of position vs. momentum interpretations) because, even if we do not have a “final” Hamiltonian (we can often add new terms to it), the position and momentum representations keep their power of describing all possible phenomena equally well. Namely, because of quantum mechanics’ linear and adjoint structure, unitary transformations remain symmetries of the theory regardless of which terms we may add to the Hamiltonian: so that our interpretation in terms of position or momentum will not change.
Dualities in string and Mtheory are also expected to be dualities between unextendable theories, at least in the weak sense. For example, the type II theories discussed in Sect. 3.2 have the maximal amount of supersymmetry possible in ten dimensions; and the number of spacetime dimensions is determined by requiring that the quantum theories be consistent. Also, their interactions are fixed by the field content and the symmetries. If we imagine, for a moment, that these theories are exactly welldefined (since the expectation is that Mtheory gives an exact definition of these theories, and that Tduality is a manifestation of some symmetry of Mtheory), then they are in some sense “unique”, constrained by symmetries, and thus unextendable: they are picked out by the field content, their set of symmetries, and the number of spacetime dimensions.^{Footnote 23} Thus, if these conjectures can be fleshed out, taking type IIA and type IIB on a circle to be theoretically equivalent will be justified, because the theories describe an entire possible world, and there is no other theory “in their vicinity”.
Duality and UnderDetermination
In this Section, I first make some remarks about aspects of scientific realism relevant for dualities (Sect. 4.1). Then I will illustrate the notions of theoretical inequivalence of dual theory formulations (Sect. 4.2) and empirical equivalence (Sect. 4.3). This will lead to a surprising but straightforward conclusion, which will give us our final verdict about whether dualities admit empirical underdetermination. Section 4.4 discusses how to obtain internal interpretations. Section 4.5 will then ask whether scientific realism is in trouble.
Scientific Realism: Caution andor Virtue?
My discussion of scientific realism aims to be as general as possible, i.e. as independent as possible of a specific scientific realist position.^{Footnote 24} The notion of underdetermination that we are considering has both semantic and epistemic aspects (see Sect. 2.1), and also the interesting scientific realism to consider has both semantic and epistemic aspects. Roughly, the relevant scientific realism is the belief in the approximate truth of scientific theories that are wellconfirmed in a given domain of application.
The semantic aspect does not involve a naïve “direct reading” of a scientific theory (as some formulations, like van Fraassen’s (1980), could lead us to think). Rather, it involves a literal, but nevertheless cautious, reading, informed by current scientific practice and by history. This is essential to secure that the belief in the theory’s statements is epistemically justified. Indeed, one does not simply take the nearest scientific textbook and quantify existentially over the entities that are defined on the page. There are many cases where one is not justified in believing in the entities that are introduced by even our best scientific theories, and so one proceeds tentatively. In such cases, a cautious scientific realist ought to suspend judgment about the existence of the posited entities, until further interpretative work has been carried out that justifies the corresponding belief. For example, consider the cases of local gauge symmetries, and of a complex phase in the overall wavefunction of a system: in both cases, belief in the corresponding entities ought to be postponed until the further analysis is done. This contrasts with, say, the particle content of our best theories, whose confirmed existence, under normal circumstances, one accepts (even if the particles are microscopic).
Proponents of selective scientific realist views, for example Psillos (1999) and Kitcher (1993), are in this sense cautious. Their accounts assign reference only to those entities that are in some sense indispensable or important to explain the empirical success of the theories, while stating that other terms (like ‘phlogiston’) were less central to the theories’ success, e.g. because they are not causally involved in the production of the relevant phenomena, and so should be regarded as nonreferring, or as referring on some occasions but not others.^{Footnote 25}
While I do not myself endorse the details of these proposals, I am sympathetic to them: and they do illustrate the general idea of ‘caution’ about realist commitments endorsed above. Namely, that determining the realist’s commitments is not a matter of “reading off”, but sometimes involves judgment.
Let me now say more about how this applies to dualities (more details in Sect. 4.5), without aiming to develop a new scientific realist view here: since, as I said, my arguments should apply to different versions of scientific realism. Rather, I wish to express a general attitude—which I denote with the word ‘caution’—towards the role of intertheoretic relations in the constitution of scientific theories.
In so far as a duality can have semantic implications—namely, in so far as dualities contribute to the criteria of theory individuation—the cautious scientific realist should take notice of those implications, and suspend judgment about whether two dual theoryformulations are distinct theories, until those criteria have been clarified. Indeed, the account of dualities that I favour proposes that, under sufficient conditions of:

(1)
internal interpretation,

(2)
unextendability,

(3)
having a philosophical conception of ‘interpretation’,^{Footnote 26} one is justified (but not obliged) to view duals as notational variants of a single theory.
This view of theory individuation takes a middle way—“the best of both worlds”—between two positions that, in the recent literature, have been presented as antagonistic. Read and MøllerNielsen (2020: p. 276) defend what they call a ‘cautious motivationalism’: dualityrelated models may only be regarded as being theoretically equivalent once an interpretation affording a coherent explication of their common ontology is provided, and there is no guarantee that such an interpretation exists.
Huggett and Wüthrich (2020: p. 19) dub this position an ‘agnosticism about equivalence’ and object that, though it is cautious, it is less epistemically virtuous than their own position: namely, to assert that ‘string theory is promising as a complete unified theory in its domain, and so it is reasonably thought to be unextendable. And from that we do think physical equivalence is the reasonable conclusion’.
The position that I defend takes a middle way between these apparently contrasting positions: one is justified, but not obliged, (i) to take duals to be theoretically equivalent (under the three conditions, (1)–(3), mentioned above), and (ii) to be a realist about their common core.^{Footnote 27}
But even if the three conditions above, (1)–(3), are not fully met, or are not explicitly formulated, it may still be legitimate, lacking full epistemic justification, to take the duals as equivalent and to be a realist about their common entities: as a working assumption, a methodological heuristic, or a starting point for the formulation of a new theory.
Theoretically Inequivalent Duals
In Sect. 3.1, I defined theoretically equivalent theories in terms of the triangular diagram in Fig. 1, and theoretically inequivalent theories in terms of a diagram that does not close, i.e. a square diagram as in Fig. 2.
In Sect. 3.3, we made a distinction between internal and external interpretations. Thus the Schema gives us two cases in which dual theories can prima facie be theoretically inequivalent. The first is through the adoption of external interpretations. These interpretations lead to the square diagram in Fig. 2, with different domains of application. I will discuss this case in Sect. 4.5.
The second case is that of two theoretically equivalent but extendable dual theories. In this case, although the judgment, based on a given pair of internal interpretations, is that the theories are theoretically equivalent, this judgment is epistemically unjustified because the theory is extendable (as I discussed in Sect. 3.3). And since the judgment of theoretical equivalence is unjustified, this could prima facie give a new way to get theoretically inequivalent theories.
However, this second case is not a genuine new possibility. For the lack of justification for adopting the internal interpretations prompts us to either: (i) Justify the use of these, or some other, internal interpretations, thus getting a justified verdict of theoretical equivalence; or (ii) conclude that the internal interpretations under consideration are indeed not adequate interpretations, and adopt external interpretations instead, which then judge the two theories to be inequivalent.
In case (i), where one finds internal interpretations whose use is justified, we end up with a case of theoretical equivalence and not inequivalence, i.e. a case of the triangle diagram Fig. 1; and so this case is irrelevant to the underdetermination thesis. In case (ii), we are back to the situation of external interpretations. Thus external interpretations exhaust the interesting options for empirical underdetermination.^{Footnote 28}
Recall the examples of external interpretations from Sect. 3.3. External interpretations of T dual pairs of strings winding on a circle interpret the momentum and winding quantum numbers, n and m respectively, as corresponding to different elements in the domain (namely, to momentum and to winding, respectively), and in addition they would interpret the circle as having a definite radius of either R or \(R':=\ell _{\hbox {s}}^2/R\): so that the duality transformation Eq. (4) leads to physically inequivalent theories, despite the existence of a formal duality that pairs up the states and quantities. Such an external interpretation can for example include ways to measure the quantities of interest—momentum, winding, and the radius of the circle—so that they indeed come to have definite values, according to the external interpretation. An indirect way to measure the radius is by measuring the time that a massless string takes to travel around the circle.
Empirically Equivalent Duals are UnderDetermined
In this Section, I will use Sect. 2.2’s account of empirical equivalence, which will enable our final verdict about empirical underdetermination in cases of duality. The Section summarises De Haro (2020b) (see also Weatherall (2020)).
According to the syntactic conception of theories, two theories are empirically equivalent if they imply the same observational sentences.^{Footnote 29} As I argued in Sect. 3.3, externally interpreted theories are in general not empirically equivalent, in this sense. The domains are distinct, as Fig. 2 illustrates.
On the semantic conception, two theories are empirically equivalent if the empirical substructures of their models are isomorphic to each other (cf. Sect. 2.2).
For dualities, the duality map d gives us a natural—even if surprising—new candidate for an isomorphism between the empirical substructures of the models: I will dub it the ‘induced duality map’, \(\tilde{d}:D_1\rightarrow D_2\).^{Footnote 30} It is an isomorphism between the domains of application, subject to the condition that the resulting (fourmap) diagram, in Fig. 3, commutes. This commutation condition is the natural condition for the induced duality map to mesh with the interpretation (the condition for its commutation is that \(i_2\,\circ \,d=\tilde{d}\,\circ \,i_1\)). If such a map exists, then the two theories are clearly empirically equivalent on van Fraassen’s conception, even though they are theoretically inequivalent, because the induced duality map is not the identity, and the domains differ: \(D_1\not =D_2\).
Thus, if such an induced duality map exists, on this literal account the dualities that we have discussed do in fact (and surprisingly!) relate empirically equivalent theories.^{Footnote 31} Take for example Tduality: here, by construction, we can map the parts of the theory that depend on the quantum numbers (n, m) and radius R to the quantum numbers (m, n) and radius \(R'=\ell ^2_{\hbox {s}}/R\), and likewise in the domain, by swapping measurements of positions of momenta, and inverting the physical radii.
The semantic notion is prima facie more liberal than Quine’s syntactic notion (in the sense that it is less finegrained, because it gives a verdict of empirical equivalence more easily), and more in consonance with the scientific practice of dualities—thus it prompts a judicious reading of the syntactic notion of empirical equivalence. To this end, it is not necessary to change Quine’s criterion of empirical equivalence from Sect. 2.2; all we need to do is to change one of the theories, generating a new theory by giving a nonstandard interpretation to the bare theory.
Since we have a nonstandard and innovative interpretation, we have abandoned what may have been the theory’s intended meaning, i.e. we have changed the theory, stipulating a reinterpretation of its terms, thus producing the desired observational sentences.^{Footnote 32} Thus we have been faithless to the meanings of words. But this is allowed, since we are dealing with external interpretations anyway: and external interpretations can be changed if one’s aims change. Indeed, nobody said that we had to stick to a single interpretation of a bare theory in order for it to make empirical predictions: for although theories may have intended interpretations, assigned to them by history and convenience, nothing—more precisely, none of the Quinean notions of empirical underdetermination and empirical equivalence—prevents us from generating new theories by reinterpreting the old ones, thus extending the predictive power of a bare theory: but also creating cases of underdetermination!
In Sect. 4.4, I first sketch how internal interpretations are usually obtained. For this will be important for the resolution of the problem of underdetermination, in Sect. 4.5.
Obtaining Interpretations by Abstraction
Internal interpretations of dual theory formulations are often obtained by a process of abstraction from existing (often, historically given) interpretations of the two formulations. Let me denote the common core theory obtained by abstraction, by \(\hat{t}\), and let \(\hat{T}_1\) and \(\hat{T}_2\) be two empirically equivalent dual theories from which \(\hat{t}\) is obtained. Here, the hats indicate that these are interpreted, rather than bare, theories.
We can view the formulation of the common core theory \(\hat{t}\) as a twostep procedure. We first develop the bare i.e. uninterpreted theory, and then its interpretation:

(1)
A common core bare theory, t, is obtained by a process of abstraction from the two bare theories, \(T_1\) and \(T_2\), so that these theory formulations are usually representations (in the mathematical sense) of this common core bare theory. This is discussed in detail in De Haro and Butterfield (2017).

(2)
The internal interpretation of the common core theory, \(\hat{t}\), is similarly obtained through abstraction: namely, by abstracting from the commonalities shared by the interpretations of \(\hat{T}_1\) and \(\hat{T}_2\). In this way, one obtains an internal interpretation that maps only the common core of the two dual theory formulations.^{Footnote 33}
The incompatibility of the interpretations of two theory formulations is thus resolved through an internal interpretation that captures their common aspects, and assigns no theoretical or physical significance to the rest.
Let me spell out the consequences of this a bit more. The result of the process of abstraction, i.e. points (1) and (2), is that the interpreted theories \(\hat{T}_1\) and \(\hat{T}_2\) are representations or instantiations of the common core theory, \(\hat{t}\). Thus in particular, we have:
where I temporarily adopt a syntactic construal of theories (but the same idea can also be expressed for semantically construed theories). That is, because \(\hat{T}_1\) and \(\hat{T}_2\) are representations or instantiations of \(\hat{t}\), and in particular because \(\hat{t}\) has a common core interpretation (more on this below): whenever either of \(\hat{T}_1\) and \(\hat{T}_2\) is true, then \(\hat{t}\) is also true.^{Footnote 34} (For example, think of how a representation of a group, being defined as a homomorphism from the group to some structure, satisfies the abstract axioms that define the group, and thus makes those axioms true for that structure).
Further, for empirically equivalent but theoretically inequivalent theories, we have:
Let me first give a simple example, not of a full common core theory, but of a single quantity that is represented by different theory formulations. Consider the quantity that is interpreted as the ‘energy’ of a system: while different theory formulations may describe this quantity using different specific structure, and so their external interpretations differ (even greatly) in their details, the basic quantity represented—the energy of the system—is the same, as described by the internal interpretation. Indeed, in all of the following examples, the energy is indeed represented, on both sides of the duality, by quantities that match, i.e. map to one another under the duality: positionmomentum duality (Sect. 3.1), Tduality and gaugegravity duality (Sect. 3.2; Huggett (2017); De Haro et al. (2016), bosonization (De Haro and Butterfield 2017), electricmagnetic duality.
Read and MøllerNielsen (2020) question that a common core theory \(\hat{t}\) always exists, since they require an explication of the shared ontology of two duals, before a verdict of theoretical equivalence is justified.^{Footnote 35}
Since points (1) and (2) sketch a procedure for obtaining \(\hat{t}\) by abstraction, the question of “whether \(\hat{t}\) exists” is effectively the question of whether the common core theory \(\hat{t}\) thus obtained has a welldefined ontology. This can be divided into two further subquestions:
(1′) Is the thus obtained structure t, of which \(T_1\) and \(T_2\) are representations, itself a bare theory, i.e. a triple of states, quantities, and dynamics?
(2′) Does t also have a welldefined ontology?
If these two questions are answered affirmatively, then \(\hat{t}\) is a common core theory in the appropriate domain of application.
While examples of dualities have been given in De Haro (2019) for extendable theories, where the answer to at least one of these questions is negative (so that a common core theory does not exist): I am not aware of any examples of unextendable theories for which it is known that a common core does not exist.
Let me briefly sketch whether and how some of the familiar examples of dualities satisfy the requirements (1’) and (2’) (this paragraph is slightly more technical and can be skipped). Consider bosonization (De Haro and Butterfield (2017)). (1’): The set of quantities is constructed from an infinite set of currents that are the generators of the enveloping algebra of the affine Lie algebra of \(\hbox {SU}(2)\) (or other gauge group). The states are the irreducible unitary representations of this algebra. Finally, the dynamics is simply given by a specific Hamiltonian operator. (2’): The theory has an appropriate interpretation: the states can be interpreted as usual field theory states describing fermions and bosons. The operators are likewise interpreted in terms of energy, momentum, etc. And the dynamics is ordinary Hamiltonian dynamics in two dimensions. Thus bosonization answers both (1’) and (2’) affirmatively.
Other string theory dualities are less wellestablished, and so the results here are restricted to special cases. In the case of gaugegravity dualities, under appropriate conditions, the states include a conformal manifold with a conformal class of metrics on it (De Haro, 2020: p. 278). The quantities are specific sets of operators (which again can be interpreted in terms of energy and momentum), and the dynamics is again a choice of a Hamiltonian operator. Thus, at least within the given idealisations and approximations, and admitting that gaugegravity dualities are not yet fully understood; they also seem to answer (1’) and (2’) affirmatively.^{Footnote 36}
There are two reasons to set aside the worry that \(\hat{t}\) does not exist, together with its threatened problem of underdetermination: so that in Sect. 4.5 I can safely assume that \(\hat{t}\) exists. (I restrict the discussion to unextendable theories).
First, as just discussed, there is evidence that such common core theories exist in many (not to say all!) examples of such dualities. Indeed, dualities would be much less interesting for physicists if the common core was some arbitrary structure that does not qualify as a physical theory in the appropriate domain of application. Thus it is safe to conjecture, for unextendable theories, that of all the putative dualities, those that are genuine dualities and are of scientific importance (and that would potentially give rise to a more serious threat of underdetermination, because the theory formulations differ from each other more) do have common cores.
The second, and main, reason is that there are, to my knowledge, no examples of dualities for unextendable theories where a common core is known to not exist. For some dualities, it is not known whether a common core exists. For example, Huggett and Wüthrich (2020) mention Tduality as an example where a common core has not been formulated explicitly: working it out explicitly would, in their view, require a formulation of Mtheory. It might also be possible to work out a common core theory perturbatively. But so long as it is not known whether a common core exists, rather than having positive knowledge that it does not exist, this just means that there is work to be done: the lack of an appropriate common core theory \(\hat{t}\) can, at best, give a case of transient underdetermination, which, as I argued in Sect. 2, reflects our current state of knowledge, and is not really worrisome.
This agrees with Stanford’s requirement that, before such putative cases of underdetermination are accepted, actual examples should be produced (cf. footnotes 6 and 7). And so, this worry can be set aside.
Trouble for Scientific Realism?
In this Section, I address the question announced at the beginning of Sect. 4.2: namely, whether, for dual bare theories, the underdetermination of external interpretations gives a problem of empirical underdetermination. Let us return to the distinction between extendable and unextendable theories:

(A)
Extendable theories I will argue that here we have a case of transient underdetermination (see Sect. 1 and footnotes 1 and 8), i.e. underdetermination by the evidence so far. And so, I will argue that there is no problem of empirical underdetermination here, but only a limitation of our current state of knowledge. The reason is that extensions of the theory formulations that break the duality are allowed by the external interpretations, i.e. such that two duals map to a different domain of application with different empirical substructures (or different observation sentences). Interpreting the specific structure, as external interpretations do, introduces elements into the domains that, in general, render the two theory formulations empirically inequivalent. This is in the ordinary business of theory construction. For, although in our current state of knowledge it may appear that the theory formulations are empirically equivalent, the fact that the theory is extendable means that future theory development could well make an empirical difference. Thus one should interpret such theories tentatively. This is the ordinary business of transient underdetermination: and one should here look for the ordinary responses of scientific realist positions.

(B)
Unextendable theories In this case, the theories are somehow “unique”, perhaps ‘isolated in the space of related theories’ (cf. Sect. 3.3). I will argue that a cautious scientific realism (see Sect. 4.1) does not require belief in either of the (incompatible) interpretations of the dual theory formulations. Rather, belief in the internal interpretation, obtained by a process of abstraction from the external interpretations, is justified. And so, there is underdetermination, but of a kind that is benign. Thus dualities may be taken to favour a cautious approach to scientific realism.
In more detail: as I discussed in Sect. 4.1, in the presence of intertheoretic relations (and given the three conditions discussed at the end of Sect. 4.1), the cautious scientific realist will take the intertheoretic relations into account when she determines her realist commitments. Although the underdetermination prevents her from being able to choose between \(\hat{T}_1\) and \(\hat{T}_2\), she has an important reason to favour \(\hat{t}\). Namely, she will prefer \(\hat{t}\) over \(\hat{T}_1\) and \(\hat{T}_2\) on logical grounds. For, on the basis of the implications Eqs. (5) and (6), and regardless of which of \(\hat{T}_1\) and \(\hat{T}_2\) is true, she can consistently (and at this point, also should) accept the truth of \(\hat{t}\). Thus, since her scientific realism commits her to at least one of these three theories (notably, because they are empirically adequate theories, and they otherwise satisfy the requirements of her scientific realism), she will in any case be committed to \(\hat{t}\). Namely, a commitment to either \(\hat{T}_1\) or \(\hat{T}_2\) commits her, in virtue of Eq. (5), ipso facto to \(\hat{t}\), while she cannot know which of \(\hat{T}_1\) or \(\hat{T}_2\) is true.
This does not prevent the scientific realist from, in addition, being committed to one of the two external interpretations, i.e. committing herself to one of the two theory formulations (perhaps using alternative assessment criteria, i.e. point (ii) in Sect. 2.1): \(\hat{T}_1\), say. Indeed, \(\hat{t}\) and \(\hat{T}_1\) are of course compatible, by Eq. (5): and so, there is no underdetermination here either.
In any case, the scientific realist does not make a mistake if (perhaps in the absence of additional assessment criteria) she commits only to \(\hat{t}\). Thus the cautious scientific realist is, in the cases under consideration, always justified in believing the common core theory.
This is a conclusion that the multiple interpretative options considered in Le Bihan and Read (2018: Figure 1) obscures. They also consider a “common core” theory, but theirs is not constructed by abstraction: in any case, they do not consider the possibility of a constraint, Eqs. (5) and (6), that follows from the process of abstraction.^{Footnote 37} This constraint^{Footnote 38} eliminates four out of six of the options in their taxonomy. The remaining two are the two cases just discussed, i.e. commitment only to \(\hat{t}\), or possible commitment to both \(\hat{t}\) and \(\hat{T}_1\). Thus, as just argued, the problem of underdetermination is thereby resolved.^{Footnote 39}
In sum, a scientific realist may lack the resources to know which of two dual theory formulations, \(\hat{T}_1\) or \(\hat{T}_2\), describes the world, but is not required to believe either of them. Rather, the cautious scientific realist is justified in adopting an internal interpretation, which abstracts from the external interpretations, and thereby resolves their incompatibilities. For unextendable theories, a scientific realist may take theoretical equivalence to be a criterion of theory individuation. Thus a catious scientific realism recommends only belief in the internal interpretation of unextendable theories.
My overall view can be well summarised in terms of how it clarifies previous discussions of underdetermination for dualities: by Matsubara (2013) and Rickles (2017). Matsubara presents two approaches to dualities: his first approach (‘Accept the different dual descriptions as describing two different situations’) corresponds to the Schema’s case of theoretically inequivalent theories, and he says that these theoretically inequivalent theories are nevertheless empirically equivalent (‘the world may in reality be more like one dual description than the other but we have no empirical way of knowing this’).
While I broadly agree with Matsubara, my analysis makes several clarifications. For example, my characterisation of the underdetermination is slightly different: there is an underdetermination specific to dualities only in the case of unextendable theories, but one is always justified in adopting internal interpretations. (For extendable theories, further theory development can distinguish between two theory formulations, so this is ordinary transient underdetermination.) Since, in the relevant examples, these are obtained by abstraction from the external interpretations of the various theory formulations, they do not contradict them (Eq. (5)). Thus I disagree with Matsubara’s conclusion that ‘This means that we must accept epistemic antirealism since in this situation it is hard to find any reason for preferring one alternative before another.’ Indeed, as I have argued, a cautious scientific realist does not need to choose one dual over the other: such a realist is justified in adopting an internal interpretation of the kind discussed, which agrees—in everything it says—with the external interpretations, and is silent about their other specific aspects.
Matsubara’s second approach (‘We do not accept that [the duals] describe different situations; instead they are descriptions of the same underlying reality’) corresponds to my case of theoretically equivalent duals. I agree with Matsubara that there is no underdetermination, but I think this position is less tangled with ontic structural realism than he seems to think (although it is of course compatible with it). As the notions of an internal interpretation and its justification through unextendability should make clear, judging two duals as being theoretically equivalent is a matter of setting both formal and interpretative criteria for individuating theories.
In the case of unextendable theories, a methodological preference for internal interpretations surfaces—because justified by unextendability and abstraction. This feeds into physicists’ main interest in dualities, which comes from their heuristic power in formulating new theories. On an internal interpretation, a duality is thus taken to be a starting point of theory individuation, with an interpretation of the theory’s common core, of which the various theory formulations are specific instantiations. This further motivates De Haro and Butterfield’s (2017) proposal to lift the usage of ‘theory’ and ‘model’ “one level up”, so that the various theory formulations are ‘models’ (i.e. instantiations or representations) of a single theory. And this now holds not only for bare theories and models, but also—on internal interpretations—for interpreted ones.^{Footnote 40}
Conclusion
The discussion of underdetermination begins slightly differently, and is complementary, to usual discussions of duality. While usual discussions of duality aim to establish conditions for when duals are theoretically equivalent, when analysing underdetermination we begin with theoretically inequivalent theories, whose inequivalence—as my analysis in Sect. 4.2 shows—ends up depending on external interpretations. Thus our discussion has put two underemphasised aspects of duality to good use: namely, theoretical inequivalence and external interpretations.
The Schema’s construal of bare theories, interpretation, and duality prompts a notion of theoretical equivalence that, although strict, turns out to generate cases of underdetermination: but I have also argued that these do not present a new problem for a catious scientific realism. For theory formulations that can be extended beyond their domain of application, we have the familiar situation of transient underdetermination, where further theory development may be expected to break the duality. For theory formulations that cannot be so extended (or only in a way that does not change their interpretations in the old domain), the underdetermination is benign, because—for dualities in the literature that are sufficiently wellundestood—a common core theory can be obtained by abstraction from the external interpretations. In this case, a cautious scientific realism does not commit to the external interpretations, but belief in the internal interpretation is justified. Thus the underdetermination is here benign, and dualities do not provide the antirealist with new ammunition, although they may be taken to favour a cautious approach to scientific realism.
Just as dualities bear on the problem of theory individuation that is central to the discussion of theoretical equivalence, they also bear on the question of scientific realism. Namely, they suggest a cautious approach, according to which intertheoretic relations should be taken into account when determining one’s realist commitments.
Notes
The qualification ‘all possible’ distinguishes this type of underdetermination thesis from the underdetermination of theories by the available evidence so far, also called ‘transient underdetermination’ (Sklar 1975: p. 380), which is of course a very common phenomenon. Transient underdetermination tends to blur the distinction between the limits of our current state of knowledge and understanding of a theory vs. the theory’s intrinsic limitations. Furthermore, underdetermination by all possible evidence is closer to discussions of dualities. For these reasons, in this paper I restrict attention to the original Quinean underdetermination thesis.
For a discussion of the import of dualities for the question of scientific realism, see Dawid (2017a).
Transient underdetermination for dualities is discussed in Dawid (2006).
Lyre (2011: p. 236) gives an interesting discussion of the relation and contrast between underdetermination, on the one hand, and DuhemQuine holism and Humean underdetermination, on the other.
I concur with Stanford (2006: p. 17) in rejecting the use of fictitious examples to put forward underdetermination theses: ‘[T]he critics of underdetermination have been well within their rights to demand that serious, nonskeptical, and genuinely distinct empirical equivalents to a theory actually be produced before they withhold belief in it and refusing to presume that such equivalents exist when none can be identified.’
Laudan and Leplin’s (1991: p. 458) example, the “bason”, illustrates how hardpressed the group of philosophers involved in the empirical underdetermination debate have sometimes been to find what remotely look like genuine physics examples. The “bason” is a mythical particle invented to detect absolute motion: it fortuitously arises as a result of absolute motion, and ‘the positive absolute velocity of the universe represents energy available for bason creation’. Unfortunately, this cunning philosophical thought experiment hardly deserves the name ‘scientific theory’. See my endorsement of Stanford’s critique of the use of fictitious theories, in footnote 6.
Lyre (2011: pp. 237241) contains a useful classification of some available examples. I agree with Lyre’s verdict about most of these examples being cases of transient underdetermination, so that ‘in retrospect such historic cases appear mainly as artefacts of incomplete scientific knowledge—and do as such not provide really worrisome... cases’ of empirical underdetermination (p. 240).
For example, van Fraassen’s conception of observability rules out collider experiments and astronomical observations, where the reports are based on computergenerated data that encode observations by artificial devices. A conception of observability that is more straightforwardly applicable to modern physics is in Lenzen (1955).
See, for example, Hodges (1997: pp. 37–38).
See e.g. Coffey (2014).
The full Schema is presented in De Haro (2020), De Haro and Butterfield (2017), Butterfield (2020), and De Haro (2019). Further philosophical work on dualities is in Rickles (2011), Rickles (2017), Dieks et al. (2015), Read (2016), De Haro (2017), Huggett (2017), Read and MøllerNielsen (2020). See also the special issue Castellani and Rickles (2017) and Rickles (2017).
One may object that the position and momentum representations of quantum mechanics are not two different bare theories, but two different formulations of the same theory. But recall that I have adopted ‘theory’ instead of ‘theory formulation’ for simplicity, so that it is correct to consider a duality relating two formulations of the same theory.
If a bare theory is presented as a triple of states, quantities, and dynamics, then the interpretation is a triple of maps, on each of the factors. However, I will here gloss over these details: for a detailed exposition of interpretations as maps, the conditions they satisfy, and how this formulation uses referential semantics and intensional semantics, see (De Haro 2019, 2020) and De Haro and Butterfield (2017).
See for example van Fraassen (1970: pp. 329, 334335).
Note that there are different kinds of elements that are here being mapped to in the domain. The first example is a standard extensional map, which gives a truth value to an observational conditional in a straightforward way. The second maps to the probability of an outcome over measurements of many identically prepared systems, rather than measurement of a single system. The third map describes the physical situation of a particle with given properties: thus the map’s range is a concrete rather than an abstract object.
Taking into account how Tduality acts on the fermionic string excitations, one can show that it exchanges the type IIA and type IIB string theories compactified on a circle.
As I stress in this Section, duality does not automatically give theoretical equivalence, because dual theories can have different ontologies.
This conception gives a formal generalisation of an earlier characterisation, in Dieks et al. (2015: pp. 209210) and (De Haro (2020): Section 1.3), of an internal interpretation as one where the meaning of the symbols is derived from their place and relation with other symbols in the theoretical structure, i.e. not determined from the outside. Those papers were concerned with theory construction, the idea being that when, in order to interpret T’s symbols, we e.g. couple a theory T to a theory of measurement, we do this either through T’s specific structure, or by changing T in some other way. Either way, we have an external interpretation, because the specific structure makes an empirical difference. Thus an internal interpretation, which does not introduce an external context or couplings, only concerns facts internal to the triples and our use of them.
The phrase ‘the internal interpretation does not map the specific structure’ can be weakened: one can allow that the interpretation map maps the specific structure to the domain of application, as long as the duality is respected (i.e. the domains of two duals are still the same), and the empirical substructures of the domain do not change.
See also Dawid (2006: pp. 310–311), who discusses a related phenomenon of ‘structural uniqueness’.
My own position is in De Haro (2020a: pp. 27–59).
These accounts have been criticised on various points, most notably because the defence of selective confirmation appears to involve a selective reading of the historical record (Stanford, 2006: p. 174).
This notion appears to be close to Ney’s (2012: p. 61) ‘core metaphysics’, which retains those common ‘entities, structures, and principles in which we come to believe as a result of what is found to be indispensable to the formulation of our physical theories’. However, one should keep in mind that I am here concerned with semantics and epistemology, and not chiefly with metaphysics. I thank an anonymous reviewer for pointing out this similarity.
My reasoning here bears a formal similarity with Norton’s (2006) analysis of Goodman’s new riddle of induction.
Since we are discussing empirical equivalence, the domains of application can here be restricted to the observable phenomena. However, I will not indicate this explicitly in my notation.
De Haro (2020b) argues that duality is indeed the correct type of isomorphism to be considered, on the semantic criterion of empirical equivalence.
For unextendable theories, the theory’s natural interpretation is surely an internal, not an external, interpretation.
‘Abstraction’ does not necessarily mean ‘crossing out the elements of the ontology that are not common to the two theory formulations’. Sometimes it also means ‘erasing some of the characterisations given to the entities, while retaining the number of entities’. For example, when we go from quantum mechanics described in terms of position, or of momentum, space (Eq. (1)), to a formulation in terms of an abstract Hilbert space, we do not simply cross out positions and momenta from the theory, but rather make our formulation independent of that choice of basis. In this sense, the formalism of the common core theory is not always a “reduced” or “quotiented” version of the formalisms the two theories.
Since the sentences of a scientific theory, observable or not, are given by the theory’s interpretation, the above entailments should be read as entailments between statements about the world. As I mentioned in (2), this requires that we adopt internal interpretations: so that \(\hat{t}\)’s interpretation is obtained from the interpretations of \(\hat{T}_1\) and \(\hat{T}_2\) by abstraction, and the entailments are indeed preserved.
Note that this answer to (2’) about the domain of application does not just mean getting correct predictions. For example, common core theories are also being used to give explanations and answer questions that are traditionally regarded as theoretical, e.g. about locality and causality (Balasubramanian et al. 1999) and about black hole singularities (Festuccia and Liu 2006). For a variety of other physical questions addressed using the AdS/CFT common core, see Part III of Ammon and Erdmenger (2015).
This is clear from e.g. the following quote (p. 5): ‘[T]here is a sense in which, absent further philosophical details, such a move [i.e. identifying the common core] has made the situation worse: we have, in effect, identified a further world which is empirically adequate to the actual world’.
Together with the assumption that at least one of \(\hat{T}_1\), \(\hat{T}_2\), \(\hat{t}\) is worth scientific realist commitment—else there is no question of underdetermination either!
It is of course not guaranteed that a common core theory \(\hat{t}\) always exists. However, as I argued in Sect. 4.4, this does not lead to cases of empirical underdetermination.
My conclusions are similar to some of Dawid’s (2017b). Where he says that there is a shift in the role played by empirical equivalence in theory construction (and I agree with this, see De Haro (2018)), I have argued that the traditional semantic and syntactic construals of empirical equivalence are in themselves sufficient to analyse dualities, and that the main difference is in the theories whose empirical equivalence is being assessed.
References
Ammon, M., & Erdmenger, J. (2015). Gauge/gravity duality. Foundations and applications. Cambridge: Cambridge University Press.
Balasubramanian, V., Kraus, P., Lawrence, A. E., & Trivedi, S. P. (1999). ‘Holographic probes of antide Sitter spacetimes’. Physical Review D, 59, 104021.
Barrett, T. W., & Halvorson, H. (2016). ‘Glymour and Quine on theoretical equivalence’. Journal of Philosophical Logic, 45(5), 467–483.
Baxter, R. J. (1982). Solved models in statistical mechanics. New York: Academic Press.
Butterfield, J. (2020). ‘On dualities and equivalences between physical theories’. In Huggett, N., & Wüthrich, C. (Eds.). Space and time after quantum gravity. An extended version is in http://philsciarchive.pitt.edu/14736. (Forthcoming)
Castellani, E., & Rickles, D. (2017). ‘Introduction to special issue on dualities’. Studies in History and Philosophy of Modern Physics, 59, 1–5. https://doi.org/10.1016/j.shpsb.2016.10.004.
Coffey, K. (2014). ‘Theoretical equivalence as interpretative equivalence’. The British Journal for the Philosophy of Science, 65(4), 821–844.
Dawid, R. (2006). ‘Underdetermination and theory succession from the perspective of string theory’. Philosophy of Science, 73(3), 298–322.
Dawid, R. (2017a). ‘Scientific realism and highenergy physics’. In Saatsi, J. (Ed.), The Routledge handbook of scientific realism, pp. 279–290.
Dawid, R. (2017b). ‘String dualities and empirical equivalence’. Studies in History and Philosophy of Modern Physics, 59, 21–29.
De Haro, S. (2017). ‘Dualities and emergent gravity: Gauge/gravity duality’. Studies in History and Philosophy of Modern Physics, 59, 109–125.
De Haro, S. (2019). ‘Theoretical equivalence and duality’. In M. Frisch, R. Dardashti, & G. Valente (Eds.), Synthese, topical collection on Symmetries (pp. 1–39). arXiv:1906.11144 [physics.histph].
De Haro, S. (2020). ‘Spacetime and Physical Equivalence’. In N. Huggett, K. Matsubara, & C. Wüthrich (Eds.), Beyond spacetime. The foundations of quantum gravity (pp. 257–283). Cambridge: Cambridge University Press. arXiv:1707.06581 [hepth].
De Haro, S. (2020a). On intertheoretic relations and scientific realism. PhD dissertation, University of Cambridge. http://philsciarchive.pitt.edu/17347.
De Haro, S. (2020b). ‘On empirical equivalence and duality’. In S. De Bianchi & C. Kiefer (Eds.), To appear in 100 years of gauge theory. Past, present and future perspectives. Springer. arXiv:2004.06045 [physics.histph].
De Haro, S. & Butterfield, J. N. (2017). ‘A schema for duality, illustrated by bosonization’. In: J. Kouneiher (Ed.), Foundations of mathematics and physics one century after hilbert (pp. 305–376). arXiv:1707.06681 [physics.histph].
De Haro, S., Mayerson, D. R., & Butterfield, J. (2016). ‘Conceptual aspects of gauge/gravity duality’. Foundations of Physics, 46, 1381–1425.
Dieks, D., van Dongen, J., & de Haro, S. (2015). ‘Emergence in holographic scenarios for gravity’. Studies in History and Philosophy of Modern Physics, 52(B), 203–216.
Earman, J. (1993). ‘Underdetermination, realism, and reason. XVIII’ (pp. 19–38). New York: Midwest Studies in Philosophy.
Festuccia, G., & Liu, H. (2006). ‘Excursions beyond the horizon: Black hole singularities in YangMills theories. I. Journal of HighEnergy Physics, 4, 1–28.
Glymour, C. (1970). ‘Theoretical equivalence and theoretical realism’. In PSA: Proceedings of the biennial meeting of the philosophy of science association 1970 (pp. 275–288).
Glymour, C. (1977). The epistemology of geometry. No\(\hat{u}\)s, 227–251.
Hodges, W. (1997). A shorter model theory. Cambridge: Cambridge University Press.
Huggett, N. (2017). ‘Target space \(\ne\) space’. Studies in History and Philosophy of Modern Physics, 59, 81–88.
Huggett, N., & Wüthrich, C. (2020). Out of nowhere: Duality, chapter 7. Oxford: Oxford University Press (forthcoming). http://philsciarchive.pitt.edu/17217.
Kitcher, P. (1993). The advancement of science. New York: Oxford University Press.
Laudan, L. (1990). ‘Demystifying underdetermination’. Minnesota Studies in the Philosophy of Science, 14, 267–297.
Laudan, L., & Leplin, J. (1991). ‘Empirical equivalence and underdetermination’. The Journal of Philosophy, 88(9), 449–472.
Le Bihan, B., & Read, J. (2018). ‘Duality and ontology’. Philosophy Compass, 13(12), e12555.
Lenzen, V. F. (1955). ‘Procedures of empirical science’. In O. Neurath, N. Bohr, J. Dewey, B. Russell, R. Carnap, & C. W. Morris (Eds.), International encyclopedia of unified science (vol. I, pp. 280–339).
Lyre, H. (2011). ‘Is structural underdetermination possible?’ Synthese, 180, 235–247.
Matsubara, K. (2013). ‘Realism, underdetermination and string theory dualities’. Synthese, 190, 471–489.
Ney, A. (2012). ‘Neopositivist metaphysics’. Philosophical Studies, 160, 53–78.
Norton, J. (2006). ‘How the formal equivalence of Grue and Green defeats what is new in the new riddle of induction’. Synthese, 150, 185–207.
Polchinski, J. (2005). String theory (Vol. Second). Cambridge: Cambridge University Press.
Psillos, S. (1999). Scientific realism. How science tracks truth. London: Routledge.
Quine, W. V. (1970). ‘On the reasons for indeterminacy of translation’. The Journal of Philosophy, 67(6), 178–183.
Quine, W. V. (1975). ‘On empirically equivalent systems of the world’. Erkenntnis, 9(3), 313–328.
Read, J. (2016). ‘The interpretation of stringtheoretic dualities’. Foundations of Physics, 46, 209–235.
Read, J., & MøllerNielsen, T. (2020). ‘Motivating dualities’. Synthese, 197, 263–291.
Rickles, D. (2011). ‘A philosopher looks at string dualities’. Studies in History and Philosophy of Modern Physics, 42, 54–67.
Rickles, D. (2017). ‘Dual theories: ‘Same but Different’ or ‘Different but Same’?’ Studies in History and Philosophy of Modern Physics, 59, 62–67.
Saatsi, J. (Ed.). (2017). The Routledge handbook of scientific realism. Routledge.
Schwarz, J. (1992). ‘Superstring compactification and target space duality’. In N. Berkovits, H. Itoyama, K. Schoutens, A. Sevrin, W. Siegel, P. van Nieuwenhuizen, & J. Yamron (Eds.), Strings and symmetries (pp. 3–18). Singapore: World Scientific.
Sklar, L. (1975). ‘Methodological conservatism’. The Philosophical Review, 84(3), 374–400.
Stanford, P. K. (2006). Exceeding our grasp. New York: Oxford University Press.
van Fraassen, B. C. (1970). ‘On the extension of Beth’s semantics of physical theories’. Philosophy of Science, 37(3), 325–339.
van Fraassen, B. C. (1980). The scientific image. Oxford: Clarendon Press.
Weatherall, J. O. (2020). ‘Equivalence and duality in electromagnetism’. Forthcoming in Philosophy of Science. https://doi.org/10.1086/710630.
Zwiebach, B. (2009). A first course in string theory. Cambridge: Cambridge University Press.
Acknowledgements
I thank Jeremy Butterfield, James Read, and two anonymous reviewers for comments on this paper. I also thank John Norton for a discussion of duality and underdetermination. This work was supported by the Tarner scholarship in Philosophy of Science and History of Ideas, held at Trinity College, Cambridge.
Funding
Funding was provided by Trinity College, University of Cambridge.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
De Haro, S. The Empirical UnderDetermination Argument Against Scientific Realism for Dual Theories. Erkenn (2021). https://doi.org/10.1007/s10670020003420
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10670020003420