The Empirical Under-determination Argument Against Scientific Realism for Dual Theories

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.


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 different-looking) 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 Section 3).
Thus there is a natural question of whether dualities can generate interesting examples of empirical under-determination, or under-determination of theory by empirical data.
The empirical under-determination 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). 2 Despite the wide philosophical interest of the empirical under-determination 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 well-known example is the various versions of non-relativistic quantum mechanics, including its different interpretations; however, it is controversial whether these are cases of under-determination by all the possible evidence, or by all the evidence so far. Likewise, Laudan and Leplin (1991: p. 459) say that most examples of under-determination 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 pre-eminent 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 under-determination, this would show that the problem of under-determination is at the heart of current scientific research. And since philosophers have thought extensively about under-determination, this old philosophical discussion could contribute to the understanding of current developments in theoretical physics.
Furthermore, empirical under-determination 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 under-determination deserves scrutiny.
So far as I know, and apart from an occasional mention, the import of dualities for the under-determination debate has so far only been studied in a handful of previous papers: see early papers by Dawid (2006Dawid ( , 2017a, Rickles (2011Rickles ( , 2017, Matsubara (2013) and recent discussions by Read (2016) and Le Bihan and Read (2018). 3 Given that a rich Schema for dualities now exists equipped with the necessary notions for analysing under-determination, 4 and several cases of rigorously proven dualities also exist, the time is ripe for a study of the question of empirical under-determination vis-à-vis dualities.
In this paper, I aim to undertake a study of the main options available to produce examples of empirical under-determination using dualities. Thus, rather than giving a response to the various under-determination theses or defending scientific realism, my aim is to analyse whether dualities offer genuine examples of under-determination-as it is reasonable to expect that they do. We will find that, although the examples of dualities in physics do illustrate the under-determination 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 thatleaving aside cases of transient under-determination 5 -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 under-determination, 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 Section 2, I introduce the Quinean empirical under-determination thesis. Section 3 introduces the Schema for duality. Section 4 then explores whether dualities give cases of under-determination, and whether scientific realism is in trouble. Section 5 concludes.

The Empirical Under-determination Thesis
This Section introduces the Quinean empirical under-determination thesis, and the allied concepts of empirical and theoretical equivalence.

Quine's under-determination thesis, and strategies for response
The word 'under-determination' is notoriously over-used in philosophy of science. The under-determination thesis that I am concerned with here is what Quine (1975: p. 314) called 'empirical under-determination', which is not to be confused with the Duhem-Quine thesis, or holism: indeed a quite different doctrine. 6 Quine gives several different formulations of his own thesis, of which the simplest version is: Quinean under-determination 0 : two theory formulations are under-determined if they are empirically equivalent but logically incompatible.
Under-determination 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? 7 There are, roughly, two strategies for realists to try to respond to the challenge of empirical under-determination, as follows: (i) One can try to undercut the under-determination threat through appropriate modifications of one's notions of equivalence, so that on the correct notions there is no under-determination after all, i.e. what one thought were examples of empirical underdetermination turn out not to be. Since under-determination 0 involves two notions of equivalence in tension (under-determination "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 under-determination 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 Section 2.3) is sufficiently weak, so that the class of potential examples of under-determination 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, super-empirical, or even non-empirical. 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 under-determination 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 under-determination 0 poses a challenge to scientific realism, one must aspire to meet it in its own terms, i.e. by adopting the first strategy. 6 Lyre (2011: p. 236) gives an interesting discussion of the relation and contrast between underdetermination, on the one hand, and Duhem-Quine holism and Humean under-determination, on the other. 7 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.' 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 under-determination 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 under-determination, 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 under-determination 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)). 8 As late as 2011, Lyre (2011: p. 236) could write that empirical underdetermination 'suffers from a severe but rarely considered problem of missing examples '. 9 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 Section 2.2), although I will also use this notion in a liberal way (in Section 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 under-determination 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 under-determination. 8 Laudan and Leplin's (1991: p. 458) example, the "bason", illustrates how hard-pressed the group of philosophers involved in the empirical under-determination 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 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 place-times ' (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:

Empirical equivalence
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. 10 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 Section 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 under-determination 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. 11 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 n-place predicates to n-variable 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 under-determination: two theory formulations are under-determined if they are empirically equivalent but there is no reconstrual of predicates that renders them logically equivalent (i.e. they are Quine-inequivalent). Barrett and Halvorson (2016: pp. 6-8) 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 under-determination, 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, 12 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 under-determination, based on Quine's original notion, but now with the correct criterion of individuation of physical theories: Empirical under-determination: two theory formulations are under-determined 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 under-determination is if the theories have different interpretations. This is because, as I argued above, empirical under-determination 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. 13 The Schema encompasses our overall treatment of dualities: which comprises the notions of bare theory, interpretation, duality, and theoretical equivalence and its conditions (Section 3.1); and two different kinds of interpretations, dubbed 'internal' and 'external' (Section 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 position-momentum duality in one-dimensional quantum mechanics, represented on wave-functions by the Fourier transformation. For every position wave-function with value ψ(x), there is an associated momentum wave-function whose value is denoted byψ(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,Ã. Because of the linearity of the Fourier transformation, all the transition amplitudes are invariant under it, so that the following holds (using standard textbook bra-ket notation for the inner product): Since the Schrödinger equation is linear in the Hamiltonian and in the wave-function, 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, one-to-one, each wave-function in the position formulation to the corresponding wave-function 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.
Position-momentum duality illustrates what we mean by duality in general: a duality is an isomorphism between theories, which I will denote by d : T → T ′ . States, quantities, and dynamics are mapped onto each other one-to-one 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 wave-functions 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 wave-functions), 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. 14 Interpretations can be modelled using the idea of interpretation maps. Such a map is a structure-preserving 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 → D. 15 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 Section 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 Figure 1: Theoretical equivalence. The two interpretations describe "the same sector of reality", so that the ranges of the interpretations coincide. duality map between the two bare theories, d : T 1 → 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 Figure 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 under-determination in Section 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 = 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 Figure 2. This notion of theoretical inequivalence makes precise the first condition for under-determination, at the end of Section 2.3.
This will allow us, in Section 4, to give precise verdicts of under-determination. In order to do that, we also need to make more precise the second condition for underdetermination in Section 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 16 as follows: i(x) = 'the position, with value x, of the particle upon measurement' i |ψ(x)| 2 = 'the probability density of finding the particle at position x, upon measurement' i(ψ) = 'the physical state of the system (the particle)', etc., where x is an eigenvalue of the position operator. 17 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 Section 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 Section 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: T-duality in string theory, and black hole-quark-gluon 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, one-dimensional extended objects moving in time, i.e. strings. On analogy with the world-line swept out by a point particle, the two-dimensional (one space plus one time dimension!) surface 16 See for example van Fraassen (1970: pp. 329, 334-335). 17 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. swept out by the string in spacetime is called the 'world-sheet' of the string. Strings can be open or closed, so that their world-sheet 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 (left-right symmetric) or a type IIB theory (left-right 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 R 10 .
T-duality first appears when one of these ten dimensions is compact, for example a circle of radius R. 18 Thus the spacetime is R 9 × S 1 , where S 1 is the circle. The periodicity of the circle then entails that the centre-of-mass 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 R 9 × S 1 not 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 centre-of-mass 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 ℓ s is the fundamental string length, i.e. the length scale with respect to which one measures distances on the world-sheet. We see that the contribution to the mass, Eq. (3), is invariant under the simultaneous exchange: (n, m) ↔ (m, n) (4) R ↔ ℓ 2 s /R . In fact, one can show that the entire spectrum, and not only the centre-of-mass 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 T-duality: 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. 19 T-duality 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 gauge-gravity duality, itself a large subject (cf. De Haro, Mayerson, Butterfield, 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 four-dimensional quantum field theory (QCD, quantum chromodynamics) that describes the quark-gluon plasma, produced in high-energy collisions between lead atoms, to the properties of a five-dimensional black hole. The latter was employed to perform a calculation that, via an approximate duality, provided a result in QCD: namely, the shear-viscosity-to-entropy-density ratio of the plasma, which could not be obtained in the theory of QCD describing the plasma. Thus a five-dimensional black hole was used to describe, at least approximately, an entirely different (four-dimensional!) empirical situation.
The level of rigour to which duality has been established differs among various examples. T-duality can be proven perturbatively, i.e. order by order in perturbation theory; but not (yet) exactly. Gauge-gravity duality is hard to prove beyond the semi-classical approximation: and, although much evidence has been amassed, it is still a conjecture. A rigorously proven duality is Kramers-Wannier duality (see e.g. Baxter (1982)): this, and other cases treated elsewhere, 20 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 (Section 3.1) and then I gave two examples (Section 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 under-determination. For, as I will argue in the next Section, the interpretations that fail to lead to theoretical equivalence introduce the possibility of empirical under-determination.
Which interpretations lead to theoretically equivalent theories, as in Figure 1, or to theoretically inequivalent ones, as in Figure 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. 21 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 20 Another example of a mathematically proven duality is bosonization, or the duality between bosons and fermions in two dimensions. See De Haro and Butterfield (2017: Sections 4 and 5). Cf. also Butterfield (2020). 21 As I stress in this Section, duality does not automatically give theoretical equivalence, because dual theories can have different ontologies.
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. gauge-dependent structure) beyond the bare theory's empirical and theoretical structure (which is gauge-independent).
In the example of T-duality, the interpretation of string quantum numbers as 'momentum' or as 'winding' is external and makes two T-dual 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. 22 Thus we get the situation of theoretical equivalence, in Figure 1. 23 Unextendability justifies the use of an internal interpretation. There is an important epistemic question, that will play a role in Section 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. 22 This conception gives a formal generalisation of an earlier characterisation, in Dieks et al. (2015: pp. 209-210) 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. 23 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.
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 symmetry-related 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 higher-loop 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 symmetry-related states by assigning them the same interpretation, especially if it turns out that the states are different after the extension (for example, if higher-loop effects correct the members of a pair of symmetry-related 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 symmetry-related states are now mapped to distinct elements in the domain. In conclusion, we are not epistemically justified in interpreting symmetry-related 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 position-momentum 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 M-theory are also expected to be dualities between unextendable theories, at least in the weak sense. For example, the type II theories discussed in Section 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 well-defined (since the expectation is that M-theory gives an exact definition of these theories, and that Tduality is a manifestation of some symmetry of M-theory), 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. 24 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 Under-determination
In this Section, I first make some remarks about aspects of scientific realism relevant for dualities (Section 4.1). Then I will illustrate the notions of theoretical inequivalence of dual theory formulations (Section 4.2) and empirical equivalence (Section 4.3). This will lead to a surprising but straightforward conclusion, which will give us our final verdict about whether dualities admit empirical under-determination. Section 4.4 discusses how to obtain internal interpretations. Section 4.5 will then ask whether scientific realism is in trouble.

Scientific realism: caution and-or 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. 25 The notion of under-determination that we are considering has both semantic and epistemic aspects (see Section 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 well-confirmed 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 wave-function 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 non-referring, or as referring on some occasions but not others. 26 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 Section 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 inter-theoretic 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', 27 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øller-Nielsen (2020: p. 276) defend what they call a 'cautious motivationalism': duality-related 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. 28 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 Section 3.1, I defined theoretically equivalent theories in terms of the triangular diagram in Figure 1, and theoretically inequivalent theories in terms of a diagram that does not close, i.e. a square diagram as in Figure 2.
In Section 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 Figure 2, with different domains of application. I will discuss this case in Section 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 Section 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 Figure 1; and so this case is irrelevant to the under-determination thesis. In case (ii), we are back to the situation of external interpretations. Thus external interpretations exhaust the interesting options for empirical under-determination. 29 Recall the examples of external interpretations from Section 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 ′ := ℓ 2 s /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 under-determined
In this Section, I will use Section's 2.2 account of empirical equivalence, which will enable our final verdict about empirical under-determination 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. 30 As I argued in Section 3.3, externally interpreted theories are in general not empirically equivalent, in this sense. The domains are distinct, as Figure 2 illustrates.
On the semantic conception, two theories are empirically equivalent if the empirical substructures of their models are isomorphic to each other (cf. Section 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',d : D 1 → D 2 . 31 It is an isomorphism between the domains of application, subject to the condition that the resulting (four-map) diagram, in Figure 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 • d = d • 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: 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. 32 Take for example T-duality: 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 ′ = ℓ 2 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 fine-grained, 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 Section 2.2; all we need to do is to change one of the theories, generating a new theory by giving a non-standard interpretation to the bare theory.
Since we have a non-standard 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. 33 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 under-determination 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 Section 4.4, I first sketch how internal interpretations are usually obtained. For this will be important for the resolution of the problem of under-determination, in Section 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, byt, and letT 1 andT 2 be two empirically equivalent dual theories from whicht is obtained. Here, the hats indicate that these are interpreted, rather than bare, theories.
We can view the formulation of the common core theoryt as a two-step 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,t, is similarly obtained through abstraction: namely, by abstracting from the commonalities shared by the inter-pretations ofT 1 andT 2 . In this way, one obtains an internal interpretation that maps only the common core of the two dual theory formulations. 34 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 theoriesT 1 andT 2 are representations or instantiations of the common core theory,t. Thus in particular, we have:T 1 ⇒t andT 2 ⇒t , where I temporarily adopt a syntactic construal of theories (but the same idea can also be expressed for semantically construed theories). That is, becauseT 1 andT 2 are representations or instantiations oft, and in particular becauset has a common core interpretation (more on this below): whenever either ofT 1 andT 2 is true, thent is also true. 35 (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 systemis 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: position-momentum duality (Section 3.1), T-duality and gauge-gravity duality (Section 3.2;Huggett 2017;De Haro, Mayerson, Butterfield, 2016), bosonization (De Haro andButterfield, 2017), electric-magnetic duality. Read and Møller-Nielsen (2020) question that a common core theoryt always exists, since they require an explication of the shared ontology of two duals, before a verdict of theoretical equivalence is justified. 36 Since points (1) and (2) sketch a procedure for obtainingt by abstraction, the question of "whethert exists" is effectively the question of whether the common core theoryt thus obtained has a well-defined 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 well-defined ontology? If these two questions are answered affirmatively, thent 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 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 well-established, and so the results here are restricted to special cases. In the case of gauge-gravity 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 gauge-gravity dualities are not yet fully understood; they also seem to answer (1') and (2') affirmatively. 37 There are two reasons to set aside the worry thatt does not exist, together with its threatened problem of under-determination: so that in Section 4.5 I can safely assume 36 I endorse their requirement, which is more specific than my own earlier requirement of a 'deeper analysis of the notion of reference itself' (2020: Section 1.3.2) and 'an agreed philosophical conception of the interpretation' (2019: Section 2.3.1). 37 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 and Kraus, 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). thatt 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 under-determination, 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 T-duality as an example where a common core has not been formulated explicitly: working it out explicitly would, in their view, require a formulation of M-theory. 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 theoryt can, at best, give a case of transient underdetermination, which, as I argued in Section 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 7 and 8). And so, this worry can be set aside.

Trouble for scientific realism?
In this Section, I address the question announced at the beginning of Section 4.2: namely, whether, for dual bare theories, the under-determination of external interpretations gives a problem of empirical under-determination. 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 under-determination (see Section 1 and footnotes 2 and 9), i.e. under-determination by the evidence so far. And so, I will argue that there is no problem of empirical under-determination 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 under-determination: 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. Section 3.3).
I will argue that a cautious scientific realism (see Section 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 under-determination, 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 Section 4.1, in the presence of inter-theoretic relations (and given the three conditions discussed at the end of Section 4.1), the cautious scientific realist will take the inter-theoretic relations into account when she determines her realist commitments. Although the under-determination prevents her from being able to choose betweenT 1 andT 2 , she has an important reason to favourt. Namely, she will prefert overT 1 andT 2 on logical grounds. For, on the basis of the implications Eqs. (5) and (6), and regardless of which ofT 1 andT 2 is true, she can consistently (and at this point, also should) accept the truth oft. 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 commmitted tot. Namely, a commitment to eitherT 1 orT 2 commits her, in virtue of Eq. (5), ipso facto tot, while she cannot know which ofT 1 orT 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 Section 2.1): T 1 , say. Indeed,t andT 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 tot. 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. 38 This constraint 39 eliminates four out of six of the options in their taxonomy. The remaining two are the two cases just discussed, i.e. commitment only tot, or possible commitment to botht andT 1 . Thus, as just argued, the problem of under-determination is thereby resolved. 40 In sum, a scientific realist may lack the resources to know which of two dual theory formulations,T 1 orT 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 under-determination 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 under-determination is slightly different: there is an under-determination 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 under-determination.) 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 anti-realism 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 agreesin 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 rep-resentations) of a single theory. And this now holds not only for bare theories and models, but also-on internal interpretations-for interpreted ones. 41

Conclusion
The discussion of under-determination 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 under-determination we begin with theoretically inequivalent theories, whose inequivalence-as my analysis in Section 4.2 shows-ends up depending on external interpretations. Thus our discussion has put two under-emphasised 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 under-determination, 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 under-determination is benign, because-for dualities in the literature that are sufficiently well-undestood-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 under-determination is here benign, and dualities do not provide the anti-realist 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 inter-theoretic relations should be taken into account when determining one's realist commitments.