Generalizing empirical adequacy II: partial structures

I show that extant attempts to capture and generalize empirical adequacy in terms of partial structures fail. Indeed, the motivations for the generalizations in the partial structures approach are better met by the generalizations via approximation sets developed in “Generalizing Empirical Adequacy I” (Lutz in Synthese 191:3195–3225, 2014b. https://doi.org/10.1007/s11229-014-0440-3). Approximation sets also generalize partial structures.


Introduction
Van Fraassen's constructive empiricism, with its central notion of empirical adequacy, and the partial structures approach, with its central notions of partial truth and partial isomorphism, are two major lines of research in the semantic view, according to which scientific theories are best represented by model-or set-theoretic structures. Proponents of the partial structures approach have argued that these two approaches are a perfect fit for each other: Da  have discussed a means for describing empirical adequacy as partial truth, and Bueno (1997) has used the notions of partial structure, partial isomorphism, and partial truth for generalizing empirical adequacy.
I will argue that da Costa and French's attempt at describing empirical adequacy fails (Sect. 2), as does Bueno's attempt at generalizing empirical adequacy (Sect. 4). As shown in the first part of this discussion (Lutz 2014b), empirical adequacy is under certain conditions equivalent to the technical notion of generalized approximate truth, and it can be generalized with the help of approximation sets so that it can deal with situations involving lack of knowledge and approximations. I argue in this part of the B Sebastian Lutz sebastian.lutz@gmx.net 1 Department of Philosophy, Uppsala University, Box 627, 751 26 Uppsala, Sweden discussion that this generalization of empirical adequacy fits Bueno's motivations better than his own generalizations (Sect. 4). I will further show that the central concepts of the partial structures approach, partial truth (Sect. 2), partial isomorphism, and partial homomorphism ("Appendix A") can be captured in terms of approximation sets. Therefore everything that can be expressed with partial structures can be expressed with approximation sets. Indeed, approximation sets are more expressive than partial structures, which cannot express approximate functions nor approximate constants (Sect. 3).
The initial motivation for Bueno's generalizations was Suárez's criticism of constructive empiricism. I briefly show that both the criticism ("Appendix B") and the first of Bueno's replies ("Appendix C") fail, while Bueno's second reply succeeds even against Suárez's unjustified criticism. This success, however, is the result of an almost trivially weak account of approximate empirical adequacy.
2 Empirical adequacy as partial truth I will rely on the standard notations used in model theory (cf. Chang and Keisler 1990, §1.3). 1 A structure B is a pair B, I consisting of a domain B and an interpretation function I from a set of λ i -place relation symbols R i , ρ j -place function symbols F j , and constant symbols c k to, respectively, λ i -ary relations, ρ j -ary functions, and constants on B. Unless stated otherwise, I will in the following always assume this set of symbols with the same arities. I will sometimes refer to symbols as 'terms' when this does not lead to ambiguity. B will always be the domain dom(B) of B, C = dom(C) etc. If B = B, I , I write R B i instead of I (R i ), and analogously for functions and constants. R C i is the relation in C that corresponds to relation R B i in B, and analogously for functions and constants. In displayed form, I write a structure B as B, R B 1 , . . . , R B s , F B 1 , . . . , F B t , c B 1 , . . . , c B u or, for possibly infinite index sets, B, R B i , F B j , c B k i∈I , j∈J ,k∈K . Substructures are defined as usual (see, e. g., Chang and Keisler 1990, pp. 21-22): A structure B is a substructure of structure C (B ⊆ C) if and only if B ⊆ C, and each relation R B i of B is the restriction to B of the corresponding relation R C i of C (i. e., R B i = R C i ∩ B λ i ), each function F B j of B is the restriction to B of the corresponding function F C j of C (i. e., F B j = F C j |B ρ j ), and each constant of B is the corresponding constant of C (cf. Hodges 1993, pp. 5-6).
Within this formalism, van Fraassen's definition of 'theory' (van Fraassen 1980, p. 64;cf. van Fraassen 2008, p. 238) can be expressed as follows: Definition 1 A theory {T n } n∈N , {E n } n∈N contains a family, i. e. an indexed set, of structures (the models of the theory) and for each structure T n = T n , R T n i , F T n j , c T n k i∈I n , j∈J n ,k∈K n a set E n of empirical substructures, such that for each E ∈ E n , E ⊆ T n . With each model, a theory also contains every isomorphic structure and its corresponding 2 empirical substructures.
The argument for this formalization is given in the first part of this discussion (Lutz 2014b, § §3.1-3.2), where it is shown in detail that a model of a theory can have multiple empirical substructures. 3 As a shorthand, define T n , E n := {T n } n∈N , {E n } n∈N . Van Fraassen's definition of 'appearances' (van Fraassen 1980, p. 64) can be expressed as follows: Definition 2 Appearances are given by a set A of structures. A structure A ∈ A is an appearance.
Again, the first part of this discussion contains an argument for there being multiple appearances.
Definitions 1 and 2 then allow for Definition 3 A theory T n , E n is empirically adequate for appearances A if and only if there is some n ∈ N such that for every A ∈ A, there is an E ∈ E n with E ∼ = A.
This is the precise formulation of the informal statement that "a theory is empirically adequate exactly if what it says about the observable things and events in this world, is true" (van Fraassen 1980, p. 12). And it is essential to go beyond this informal statement, since the notion of empirical adequacy "will have to be spelt out very carefully if it is not to bite the dust among hackneyed objections" (van Fraassen 1980, p. 19). It is with Definition 3, then, that van Fraassen (1980, p. 12, emphasis removed) defines constructive empiricism as the claim that science "aims to give us theories which are empirically adequate; and acceptance of a theory involves as belief only that it is empirically adequate". Da Costa and French (1990, p. 257) now claim that van Fraassen's notion of empirical adequacy can be expressed in terms of partial truth as it is defined in the partial structures approach. The partial structures approach is motivated by a simple epistemological point: Most of the time, scientists do not have enough information about a domain to determine its structure with arbitrary precision. For most relations, it is at best known of some tuples of objects that they fall under the relation and known of some objects that they do not fall under it. For many if not most tuples this is unknown. Similarly, the value of a function is not known for all of its possible arguments. Partial structures are defined to take this lack of knowledge into account.
While most works on partial structures in the philosophy of science (e. g., Bueno 1997; da French 1990, 2000) do not consider functions, and the foundational paper by Mikenberg et al. (1986) does not consider constants, the respective definitions can be easily combined to give Definition 4B is a partial structure for the symbols {R i , F j , c k } i∈I , j∈J ,k∈K if and only ifB = B, RB i , FB j , cB k i∈I , j∈J ,k∈K , The definition of partial structures by Mikenberg et al. (1986, def. 1) is recovered for K = ∅, the definition by da Costa and French (1990, pp. 255-256) and da Costa, Bueno, and French (1998, p. 605) for J = ∅. 4 Lack of knowledge is represented by Taking into account background knowledge, expressed by a setΠ of sentences, the primary statements, Mikenberg et al. (1986, def. 2.ii) and da Costa and French (1990, p. 256) give Definition 5 Structure C isB -normal for primary statementsΠ if and only if C = B, This allows for the definition of partial truth, also called 'pragmatic truth' or 'quasitruth': Definition 6 Sentence ϕ is partially true in partial structureB relative to primary statementsΠ if and only if there is a structure C that isB-normal forΠ and C ϕ.
Since a theory may be given by a family {T n } n∈N rather than a set of sentences, da Costa and French (1990, pp. 256-257) give 5 Definition 7 {T n } n∈N is partially true in partial structureB relative toΠ if and only if for some n ∈ N , T n isB-normal forΠ .
If thus {T n : n ∈ N } is the class of models of some finite set Σ of sentences, {T n } n∈N is partially true inB relative toΠ if and only if the conjunction of the elements of Σ is partially true inB relative toΠ.
Restricting their discussion to relational structures (which contain only relation symbols), da Costa and French (1990, p. 255) Costa and French (1990, p. 255) and da Costa et al. (1998, p. 605) define partial structures only for relations, their further definition ofB-normal structures presumes that partial structures can contain constants as well. 5 Da  actually assume that a theory is given by a set T, rather than a family, of structures. Definition 7 is the result of the natural conversion of family {T n } n∈N into the set {T n : n ∈ N }. The inverse conversion goes from the set T to the family {T T } T∈T . Note that these conversions do not provide a bijection between families and sets, since different families are converted into the same set. further relations {R i } i∈I , I ∩ I = ∅ over O ∪ U to arrive at a partial structurẽ B = O ∪ U , RB i i∈I ∪I (da Costa and French 1990, p. 256 Da Costa and French (1990, p. 257) then suggest thatB and the primary statements "can be taken to represent [a theory's] 'empirical substructures', if [the primary statements are] restricted to observation statements only." And this then, they claim, "leads us to understand the 'empirical adequacy' of a theory as its pragmatic truth" so that the formalism of partial structures "may provide a suitable theory of truth for van Fraassen's 'constructive empiricism'". But it is at least not obvious how it could do this: For one, it is not clear in what senseB "represents" the empirical substructures. As Bueno (1997, p. 595) furthermore points out, if it were clear, and empirical adequacy were then taken to be partial truth, it would follow that a theory is empirically adequate if and only if it is partially true according to its own empirical substructure. Thus the appearances would play no role whatsoever in the empirical adequacy of a theory.
It may be that da  had the following in mind: If the appearances A are but a singleton set {A} with A = O, R A i i∈I and T n , E n is empirically adequate for {A} (and hence contains the same predicates as A), then A is isomorphic to an empirical substructure E ∈ E n of T n for some n ∈ N . Since theories are closed under isomorphism, this is equivalent to A being an empirical substructure E ∈ E m of T m for some m ∈ N (Hodges 1993, ex. 1.2.4b). Now i∈I is a partial structure, and T m isB-normal for any setΠ with T m Π . Thus T n , E n is partially true in partial structureB relative toΠ and hence the empirical adequacy of a theory leads to its partial truth in a structure that corresponds to the appearance. Bueno's objection that the appearance plays no role in da Costa and French's attempt is thereby avoided, and it is clear in which sense the partial structure "represents" the appearance.
This result, however, does not show that van Fraassen's notion of empirical adequacy can be expressed as partial truth: Most obviously, the result relies on the assumption that the appearances have to be given by a single structure A, an assumption that van Fraassen decidedly does not share, as noted in connection with Definitions 1, 2 and 3. Furthermore, the partial structureB that corresponds to the appearance A can only be constructed with the help of the model of the theory of which the appearance is a substructure. ThusB is in part determined by the content of the theory (namely its claim about the cardinality of the domain). For van Fraassen (2008, p. 284), an appearance is determined jointly by the measurement set-up (involving both apparatus and the system to which it is applied), the experimental practice, and the theoretical conceptual framework in which the target and measurement procedure are classified, characterized, and understood [,] but not, it seems, additionally by the content of any particular theory. The difference between the theoretical conceptual framework and the content of a theory is crucial: The theoretical conceptual framework of a theory does not restrict the possible states of the world in any way and is neither true nor false. The content of a theory, on the other hand, does restrict the possible states of the world, and can therefore be false. 7 What is worse, it is theoretical content that is needed for the construction ofB: A contains the empirical content of the theory; everything else, and thus specifically the cardinality of the theory's domain, is about unobservables. In his criticism of syntactic approaches, van Fraassen (1980, p. 54) states that the "empirical import of a theory cannot be isolated in this syntactical fashion, by drawing a distinction among theorems in terms of vocabulary" because "we shall be able to state in the observational vocabulary (however conceived) that there are unobservable entities, and, to some extent, what they are like." When expressing the appearance A in its corresponding partial structurẽ B, we shall be able to state in the partial structure that there are unobservable entities, and how many there are. For van Fraassen, this should be a big step in the wrong direction.
Finally, empirical adequacy has not been defined in terms of partial truth; rather, it has been shown that the empirical adequacy of a theory leads to its partial truth in a specifically constructed partial structure. But this partial structure can differ from theory to theory (since different theories can have domains of different cardinalities). Furthermore, the partial truth of the theory does not entail its empirical adequacy, that is, partial truth is only a necessary, not a sufficient condition for empirical adequacy. This is because the partial truth of T n , E n inB only entails that A is a substructure of some T m , m ∈ N . It does not entail that A is an empirical substructure of T m .
Thus even in this charitable reconstruction, da Costa and French's attempt to capture empirical adequacy in terms of partial truth is not successful.

Generalizing partial structures
While partial structures are not as hospitable to empirical adequacy as claimed by its proponents, the bigger problem is that they are also not particularly well-suited for their initially intended applications. It is probably because the discussions of partial structures and partial truth in the philosophy of science have typically ignored functions and, to some extent, constants, that this lack of applicability has so far been overlooked: Partial structures cannot capture the lack of knowledge about functions that typically occurs in the sciences, and cannot capture lack of knowledge about constants at all.
The interpretation of a relation symbol R i in a partial structureB can capture fairly general cases of lack of knowledge by determining a set RB ,• i of tuples that may or may not be in the extension of R i ; however, in a partial structure each constant c k is interpreted by one unique element cB k ∈ B, so that the value of every constant is known precisely. Thus partial structures can be applied only in situations in which all constants are known with absolute precision, and thus almost only in situations in which no empirically determined constants like the fine structure constant, the gravitational constant, or any material constants occur at all. For instance, French and Ladyman (1997, p. 379) apply partial structures to the historical development of the Londons' equations for superconductivity, one of them relating the current density j and the magnetic field H via the speed of light c and the constant Λ = m n s e 2 , where m is the mass and e the charge of an electron, and n s is the density of electrons participating in superconduction (French and Ladyman 1997, p. 373). All the constants occurring in this equation (c, m, e, and n s ) have to be assumed as known with absolute precision. This is especially problematic for the phenomenological constant n s , which is experimentally determined by, for instance, measuring the conductivity of superconductors for alternating currents (Annett 2004, p. 60).
Such a measurement will probably never be perfectly precise, and even if, in the far future, the electron density could be determined with perfect precision, this would not be relevant for the analysis of the historical developoment of the Londons' equation. Regarding fundamental constants like the fine structure constant, one may take the view that the presence of such a constant is an indicator that the theory in which they occur is not the final theory, which should be free of any constants. This view is at least controversial, since it is not obvious that there is such a theory; but the main problem is again that even if there is such a theory, its existence will make no difference to the applicability of partial structures before it has been found. In short, the preceding two replies to the partial structures' problem with constants assume that partial structures are only applied in a state of complete knowledge (about constant values or the final theory); but partial structures were intended to be applied (and have been applied by its main proponents) to situations with incomplete knowledge. Finally, one may take the view that all alleged constants in theories are actually functions, because their values change with time, energy scale, or in some other way. This view is also controversial, and also does not solve the problem for the application of partial structures to those theories that do involve constants (like the Londons' equation); furthermore, the treatment of functions in partial structures is barely less problematic than the treatment of constants. 8 At first sight, partial structures seem to fare better with respect to function symbols, since they assign values to functions only over a restricted domain. But such a treatment of functions can capture only a lack of knowledge that is encountered very seldomly in the sciences. For in a partial structureB, the values of a function FB j are known with arbitrary precision over WB , j , but not at all over B ρ j − WB , j . The result is that for each argument of the function, one either knows the value of the function with absolute precision, or has no information whatsoever about its possible values. In contrast, the measurement of, say, the time averaged intensity ψ of a light wave over some spatial interval [x 1 , x 2 ] will typically have a finite precision, giving a range of possible intensity values [y 1 , y 2 ] ⊂ R ≥0 for each point x ∈ [x 1 , x 2 ]. A partial structure, however, can only capture measurements that, at any point x, give either a precise value ψ(x) = y 3 ∈ R ≥0 , or the trivial range R. In the case of the Londons' equation discussed by French and Ladyman (1997, p. 379), j and H are vec-tor valued functions over space and time. In a partial structure, these function values have to be absolutely precise over one (possibly empty, possibly all-encompassing) space-time volume and absolutely imprecise over the remainder. Over no space-time value can they be determined only up to a non-zero, finite interval. Similarly, if the fine-structure constant, for instance, is actually a function over the energy scale, partial structures could only render it completely undetermined at some energies, and determined with absolute precision at the remaining energies. Our current knowledge of the fine-structure constant as being within in some non-zero, finite interval could not be expressed.
Thus partial structures are ill-equipped to capture lack of knowledge about functions and constants, and accordingly also ill-equipped to capture approximations of constants and functions. It is possible to reformulate a theory so that it contains relations instead of functions and constants. However, this increases the number of axioms of the theory, complicates the application of partial structures in a way analogous to the way that it complicates the application of standard structures (Hodges 1993, p. 2), and removes partial structures further from actual scientific practice. Besides, if theories need to be reformulated so that they can be analyzed with partial structures, the partial structures approach becomes in a sense superfluous: Every analysis of a theory in terms of partial structures is equivalent to an analysis of a reformulated theory in standard model theory (Lutz 2015). And if a theory has to be reformulated for an analysis in terms of partial structures, it might just as well be reformulated for an analysis in terms of standard model theory.
As argued in the first part of this discussion (Lutz 2014b, § §5.2-5.3), imprecise functions and constants can be handled fairly satisfyingly with the help of approximation sets, which are sets of structures that are generated from the denotations of approximate relation, function, and constant symbols. The denotation of a λ i -place relation symbol R i that is approximate over some domain A tripartitions the product domain A λ i into a set R + i of definite instances (the positive extension of R i ), a set R − i of definite non-instances (the negative extension), and a set R • of borderline cases of R i (the neutral extension). The denotation of a function symbol F j that is approximate over A does not assign a single element b ∈ A to a ρ j -tuple a 1 , . . . , a ρ j ∈ A ρ j , but rather a set F +• j (a 1 , . . . , a ρ j ) ⊆ A. I will refer to the set a 1 , . . . , is a singleton set, I will say that F j has a positive extension for a 1 , . . . , a ρ j . Considering constant symbols 0-place function symbols, this means that the denotation of a constant symbol c k that is approximate over A is a set c +• k ⊆ A. The denotations of approximate terms over A lead to a set of of structures (Lutz 2014b, def. 7), which can be restricted to a penumbral set P to express additional information not expressed by the denotations of the terms. Fine (1997, p. 123) gives the example of 'pink' and 'red' having disjoint extensions even if the positive extension of one is not a subset of the negative extension of the other. Przełęcki (1976, p. 376) gives the example of a function symbol's extensions, which may be restricted "by some additional conditions of a more theoretical nature", demanding, for instance, that any extension of the symbol be continuous.

Definition 8 Let the terms {R
j∈J ,k∈K , and penumbral set P. Then the terms' approximation set M for A contains all and only structures M ∈ P for which The penumbral set is assumed to be such that In other words, the penumbral set is assumed to exclude only structures from the approximation set that cannot be excluded with the help of positive, negative, and non-negative extensions. Note that condition (4) for functions is equivalent to the demand that for each ρ Using approximation sets instead of partial structures does not lead to any loss of expressive power, because every partial structure can be expressed with the help of a corresponding approximation set: Definition 9 LetB = B, RB i , FB j , cB k i∈I , j∈J ,k∈K be a partial structure,Π a set of primary statements, and let P be the class of models ofΠ . Then the approximation set Claim 1 For any partial structureB, the set ofB-normal structures relative toΠ is the corresponding approximation set.
Proof '⇒': Let C beB-normal forΠ. Then C = B and C ∈ P. Furthermore, Thus C is in the approximation set corresponding toB andΠ . '⇐': Let C be in the approximation set for If the approximation set corresponding toB andΠ is a singleton set {C}, then I will say that C corresponds toB andB corresponds to C.
Since not every approximation set corresponds to a partial structure, the notion of an approximation set is a proper generalization of the notion of a partial structure. In fact, the notion of an approximation set generalizes the notion of a partial structure in a way that solves the latter's problems with constants and functions: In a partial structure's corresponding approximation set the non-negative extension of a constant c k is c +• k = {cB k }, that is, c k has a (unique) positive extension, and every structure in the approximation set assigns the same object to c k . By contrast, an approximation set in general allows any kind of non-negative extension, and thus can contain structures that assign different objects to c k . The situation is analogous for function symbols F j : In a partial structure's corresponding approximation set, the non-negative extension takes a unique value for any argument from WB , j and takes the whole domain B as value for any argument from B ρ j − WB , j . An approximation set, on the other hand, allows for a non-negative extension that is, for some or all of the arguments of F j , neither unique nor completely unrestricted. In other words, for each argument of F j , there is some set of values that F j is assigned by the structures in the approximation set, and this set of values may be any subset of the domain. Thus approximation sets can capture both imprecise values for constants and imprecise values for functions. 9 Using approximation sets, one can define the approximate truth of a class E and a family {T n } n∈N of structures: The relation between partial truth and approximate truth is given by Claim 2 {T n } n∈N is partially true in partial structureB forΠ if and only if {T n } n∈N is approximately true in the corresponding approximation set.
Proof Immediately from Claim 1.
Therefore approximate truth is a generalization of partial truth. Note that if {T n : n ∈ N } is the class of models of a set of sentences Σ and the partial structureB corresponds to a structure B, the partial truth of {T n } n∈N inB is equivalent to the truth of Σ in B.
Approximation sets generalize partial structures, approximate truth generalizes partial truth, and partial isomorphisms (Definition 12) and partial homomorphisms (Definition 20) can be expressed in terms of isomorphisms and homomorphisms between the elements of approximation sets ("Appendix A"). Hence the partial structures approach can be completely captured and generalized in terms of approximation sets, which has a convenient corollary: Every possible application of partial structures is also a possible application of approximation sets. Specifically, any application of partial structures can be translated into an application of their corresponding approximation sets. For the reasons given above, the converse is not true. 11 4 Generalizing empirical adequacy Bueno (1997, p. 595) suggests using the partial structures approach not for capturing, but rather for "extending van Fraassen's proposals within a partial structure conception". While his two generalizations are meant to allow for the formalization of common scientific practices within constructive empiricism and have been the basis of further development and applications of the partial structures approach, they have initially been suggested as a response to a criticism of empirical adequacy by Suárez (1995Suárez ( , 2005. I argue in "Appendix B" that this initial motivation is not relevant because Suárez's criticism fails. Both of Bueno's generalizations rely on the idea that the appearances are seldom known well enough to be described in a set A of structures, and that usually a set of partial structures must suffice, leading to the partial appearancesÃ. This is more than just a formal modification of the notion of empirical adequacy: Van Fraassen is arguably justified in assuming that the appearances are represented by structures, because a theory has to be empirically adequate with respect to all the appearances, known in all precision (cf. Monton and Mohler 2008, §1.5). While van Fraassen's notion of empirical adequacy thus relies exclusively on what the appearances are like, Bueno's notion includes our lack of knowledge about them. Bueno thus gives a generalization of empirical adequacy that takes epistemic states into account, and should therefore be equivalent to van Fraassen's notion in the special case that there is no epistemic uncertainty about the phenomena. I will argue in the sequel that both of Bueno's generalizations of empirical adequacy are inadequate, and that his intent is better captured by the generalizations of empirical adequacy suggested in the first part of this discussion.

Partial empirical adequacy
Bueno's first suggested generalization can be motivated by the simple observation that if the appearances are given by partial structures, there can be no isomorphisms between the appearances and the empirical substructures of any theory, because substructures and isomorphisms are defined only for structures. Bueno (1997, p. 596) therefore defines the partial substructures of a relational partial structure, which can easily be generalized to partial structures as follows: Definition 11B is a partial substructure of partial structureC,B ⊆C, if and only It is easy to see that if B corresponds toB and C corresponds toC, thenB ⊆C if and only if B ⊆ C.
Further, Bueno defines a partial isomorphism between two relational partial structures, which can also easily be generalized to partial structures: Definition 12 f : B −→ C is a partial isomorphism between partial structures B and C if and only if f is a bijection and it holds that f RB ,+ for each x 1 , . . . , x ρ j ∈ WB , j , j ∈ J , and f cB k = cC k for each k ∈ K . 12 B andC are called partially isomorphic (B ∼ =C) if and only if there is a partial isomorphism betweenB andC. 13 It is easy to see that if B corresponds toB and C corresponds toC, thenB ∼ =C if and only if B ∼ = C. Since the notion of partial isomorphism has been the basis of much further development in the partial structure approach (e. g., Bueno 1999, pp. 65-66;French 2000, p. 106;Bueno 2000, §3.2, §4.1;Bueno et al. 2002, p. 499;da Costa and French 2003, pp. 48-52;French 2003French , p. 1480Bueno and Colyvan 2011, p. 14) I show in "Appendix A" that the concept has an analogue for approximation sets. Bueno (1997, p. 596) further assumes that theories are given as families {T n } n∈N of partial structures, with a setẼ n of partial empirical substructures for each n ∈ N . 14 But this assumptions is problematic: In constructive empiricism, theories and their empirical substructures are assumed to be given by normal structures, not partial structures, and Tarski semantics only provides a way of translating the equations of a theory (like Maxwell's equations and the Londons' equations) into normal structures. 15 And it is not obvious how a theory T n , E n given by normal structures can be described as a set of partial structures. Of course, every normal structure corresponds to a partial structure, but in this identification partial truth, partial substructures, and partial isomorphisms amount to truth, substructures, and isomorphisms, respectively, so nothing is gained.
However, there may be a solution to this problem: Given T n , E n , one can try finding a set M ⊆ ℘ N of subsets of N such that for each m ∈ M, {T n : n ∈ m} is an approximation set corresponding to a partial structureT m and n∈m E n is a union of approximation sets that correspond to elements of a setẼ m of partial structures. This provides a partial theory T m m∈M , Ẽ m m∈M . Any theory with approximation claims about relations and functions (of the kind that can be captured by partial structures) leads in this way to non-trivial partial structures. As a toy theory, consider ∀x( The concept given by Definition 12 must not be confused with the concept that French and Ladyman (1997, p. 371, n. 16) call 'partial isomorphism', the isomorphism between substructures (cf. Ebbinghaus et al. 1994, def 1.1). 14 Bueno (2000, §3.2) relies on this assumption as well. P B ⊂ R B , it leads to the non-trivial partial structureB = B, PB, QB, RB with 16 Using the notions of partial substructure and partial isomorphism and the assumption of partial theories, Bueno (1997, p. 596

) introduces
Definition 13 A partial theory T m m∈M , Ẽ m m∈M is partially empirically adequate for the partial appearancesÃ if and only if there is some m ∈ M such that for everyÃ ∈Ã, there is anẼ ∈Ẽ m withẼ ∼ =Ã.
As noted, capturing the appearances as a set of partial structures rather than a set of structures introduces an epistemic element into empirical adequacy. If there is no lack of knowledge about the appearances, then RB ,• i = ∅ and WB , j = A ρ j for all i ∈ I , j ∈ J , and partial appearancesÃ, so that there are structures corresponding to the partial structures. Since furthermore partial substructures and partial isomorphisms generalize substructures and isomorphisms, Definition 13 generalizes Definition 3 of empirical adequacy to partial theories and partial appearances. Therefore, for full information, partial empirical adequacy is equivalent to empirical adequacy, as required.
Since Suárez's criticism fails, it is not important that partial empirical adequacy cannot cope with Suárez's criticism ("Appendix C.1"). A real problem is that almost no theory is ever partially empirically adequate, and if so, only for a very short time (with some notable exceptions). This is because the partial appearances are meant to represent our lack of knowledge of the appearances. And to be partially empirically adequate, the partial theory must have a partial empirical substructure that is partially isomorphic to the partial appearances, and therefore describe our state of knowledge about the appearances. Formally, for each relation RÃ i of a partial appearance, there has to be a relation RẼ i of a partial empirical substructure of the partial theory such that a partial isomorphism maps all and only elements in RÃ ,• i to elements in RẼ ,• i . Therefore, if a theory asserts more about any appearance than what is currently known (so that RÃ ,• i is mapped to a proper subset of RẼ ,• i ), it is not partially empirically adequate. If a theory asserts in some respects more about any appearance than what is currently known about any appearance and in some respects asserts less (so that RÃ ,• i is mapped neither to a subset nor a superset of RẼ ,• i ), it is not partially empirically adequate either. This point becomes even clearer when considering Bueno's claim that partial isomorphisms to partial substructures amount to "approximate embeddings" (Bueno 1997, p. 597): If the partial appearances are meant to describe the approximation with which we know the appearances, then a partial theory is partially empirically adequate only if for some n ∈ N , the partial empirical substructures inẼ n contain the exact approximations up to which we know the appearances. Therefore, if a partial 16 Suárez and Cartwright (2008, p. 75) instead suggest introducing additional relations that are partial. But this does not solve the current problem of the original relations (e. g., Q) not being partial. Bueno (personal communication, 30 September 2011) has suggested that partial structures describe the scientists' uncertainty about specific aspects of a theory. For example, the accuracy of a theory may be known only up to a certain approximation. In this case, however, partial structures do not formalize theories, but scientists' beliefs, and a theory would have to be formalized differently depending on how much of it is accepted in the scientific community. This is not how, e. g., French and Ladyman (1997) apply partial structures to theories. theory describes the appearances up to some approximation, the theory is not partially empirically adequate until we have determined the appearances with exactly that approximation. Of course, if later the we know a little bit more, the theory ceases to be partially empirically adequate. 17 The concept of approximate empirical adequacy defined in the first part of this discussion (Lutz 2014b, def. 10, 13) avoids these problems by using, instead of a setÃ of partial structures, a set A of approximation sets for the appearances (called 'approximate appearances'). As argued in Sect. 3, this also generalizes the kind of approximations for functions and constants that can be captured in partial appearances.

Definition 14
Given the approximate appearances A, a theory T n , E n is approximately empirically adequate for A if and only if there is some n ∈ N such that for every Q ∈ A, there are an A ∈ Q and an E ∈ E n with E ∼ = A. The difference to Definition 10 stems from the difference between the notion of partial truth (Definition 7), which relies on the identity of structures, and van Fraassen's notion of empirical adequacy (that is, the truth of the empirical part of a theory), which relies on isomorphism. 18 This difference turns out to be crucial considering Bueno's dismissal of the following suggestion for generalizing the empirical adequacy of a theory T n , E n : One could demand that there be some n ∈ N such that for everyÃ ∈ A, there is anÃ-normal structure A with A ∈ E n . However, because of the definition of 'Ã-normal structure', this would require that the empirical substructures in E n have the same domains as the partial appearances. The problem with this requirement, so Bueno (1997, p. 594), is that in practice "we would hardly, if ever, see such a constraint satisfied". Since the identity of empirical substructures and appearances is Bueno's sole stated reason for rejecting this generalization, Definition 14 should be acceptable, because it avoids exactly this identity: Claim 3 If each approximate appearance in the approximate appearances A correspond to a partial appearance in the partial appearancesÃ and vice versa, a theory T n , E n is approximately empirically adequate for A if and only if there is some 17 Similar criticisms apply to the applications of the notion of partial isomorphism by Bueno (1999, p. 67), French (2000, Bueno (2000, §3.2), da French (2003, pp. 73, 102, 150, 193), French (2003, §4-5), and Bueno and Colyvan (2011, §5.3). If partial structures are taken to formalize scientists' beliefs (see n. 16), a theory that is not partially empirically adequate in light of new appearances may subsequently become partially empirically adequate simply because scientists change their beliefs according to the new appearances. In this case, partial empirical adequacy could be seen as a criterion for the adequacy of scientists beliefs. Specifically, a completely false theory may be partially empirically adequate if everyone is uncertain about its truth. 18 In the first part of this discussion (Lutz 2014b, def. 7), 'truth' is defined in the way that 'truth up to isomorphism' is defined here.
n ∈ N such that for everyÃ ∈Ã, there are anÃ-normal structure A and an E ∈ E n with E ∼ = A.
Proof Immediately from Claim 1.
The demand that Bueno dismisses is recovered by substituting '=' for ' ∼ =' in Definition 14 and Claim 3. 19 Note that, besides allowing for approximations more general than those that can be described by partial structures, Definition 14 additionally avoids the need for partial theories.

Pragmatic empirical adequacy
Bueno's second generalization (Bueno 1997, §5) starts from the ideas that the structures of data are often changed in multiple steps into structures of theories (Suppes 1962), and that theories are not compared directly to data, but more refined structures (Bogen and Woodward 1988). To capture both points, Bueno (1997, pp. 600-601) gives an informal description of a hierarchy of partial structures (cf. French and Ladyman 1999, p. 113). Since he makes a distinction between partial structures with finite and with infinite domains, this can be captured in the following two more explicit definitions.
Definition 16 A hierarchy of finite partial structures is a finite sequence B l 1≤l≤m of relational partial structures with finite domains for the λ i -place relation symbols {R i } i∈I , 20 such that (i)B m corresponds to a structure, and (ii) for all 1 ≤ l < m and Definition 17 A hierarchy of infinite partial structures is a finite sequence B l 1≤l≤m of relational partial structures with infinite domains for the λ i -place relation symbols {R i } i∈I , such that (i)B m corresponds to a structure and (ii) for all 1 ≤ l < m and A hierarchy of partial structures is either a hierarchy of finite or a hierarchy of infinite partial structures. Bueno (1997, p. 601) further defines a reduced partial structureB of a partial structureC to be a partial substructure ofC such that every element ofB's domain has been measured at some point with a specific measurement result. Finally, Bueno (1997, pp. 601, 607) seems to define the partial models of the phenomena to be a hierarchy of partial structures (a) whose lowest partial structure represents the data, (b) whose 19 The set theoretic result used in Sect. 4.1 (Hodges 1993, ex highest partial structure represents the appearances, and (c) where there is a cardinal number w such that the partial structure at each level has a reduced partial structure with a domain of cardinality w. 22 By Definition 11, there is for every relational partial structureB and set C ⊆ B a partial substructureC ⊆B with dom C = C. Thus condition (c) simply demands that for each l, 1 ≤ l ≤ m, at least one element of domain A l has been measured. Bueno (1997, p. 601, my notation) claims that partial models of the phenomena formalize the idea that at each level, partial relations R, which were not yet defined at a lower level (whose elements thus belong to R • ) come to be defined: either taking their elements as belonging to the domain of R (i. e. R + ) or belonging to the complement of R (that is, R − ). The partial relations are extended until one obtains normal (total) structures. These are then to be compared to scientific theories in testing them.
This description is rather misleading because it incorrectly suggests that each new level in the hierarchy introduces new relations. What is probably meant is that at each levelB l and for each relation symbol R i , tuples of members of the domain that were borderline cases at the lower levelB l−1 (and thus belong to A bigger problem is that the demands on the relations are radically different for hierarchies of finite and infinite domains. Infinite structures form a hierarchy if from one level to the next, some borderline cases of each relation symbol become members of its positive or negative extension, but not vice versa. The relations of finite structures, on the other hand, only have to have a decreasing number of borderline cases, no matter which ones they are. This means that the concept of a hierarchy of infinite partial structures does not constitute a limit of the concept of a hierarchy of finite 22 Conditions (a) and (b) are inferred from Bueno's informal discussion. 23 Bueno (email from 5 January, 2011) has confirmed that this is an accurate paraphrase. . Thus these two structures can be elements of hierarchies of finite partial structures with arbitrarily big finite domains B, but cannot be elements of a hierarchy of infinite partial structures. Note also that for infinite domains, the elements in RB l ,• i for any i ∈ I , 1 ≤ l ≤ m have to be in every RB k ,• i , k ≤ l, so that, since RB l ,• i = 0 for all i ∈ I , 1 ≤ l < m, partial structures at all levels except the last one have to have some elements in common. In contradistinction, the domains of the finite structures can change completely from one level to the next.
This radical difference between hierarchies of finite and infinite structures has a number of odd implications. First and foremost, there is no obvious reason for the change in condition (ii). If the subset-relation is justified for infinite domains, its lack of justification for finite domains first has to be shown. Second, it is not clear how to define a hierarchy of partial structures some of which have finite, and some of which have infinite domains. Third, any concept relying on the concept of a hierarchy of partial structures will also have very different properties for finite and infinite domains. This, though, renders typical scientific methods unusable, for example the use of limiting cases, where a very big but finite domain is used as approximation of an infinite domain. Results for finite domains thus will typically have little bearing on results for infinite domains, and vice versa. 24 The biggest problem of the concept of a hierarchy of partials structures, however, is starkly illustrated by Bueno's own informal description (quoted above) of each level in the hierarchy as "extending" the relations of the partial structure from the previous level. In the rest of his article, Bueno (e. g., 1997, pp. 592-593) uses the concept of one relation "extending" another only to state that the relations {R B i } i∈I in aB l -normal structure B extend the relations {RB l i } i∈I . This entails that to B there corresponds a partial structureB so that for all i ∈ I , RB l ,+ . This solution, however, would go beyond the partial structure formalism and would require a justification of each measure μ l,i . 25 This is what Bueno and de Souza (1996, definition 5) call an 'expansion' of one partial structure by another. and vice versa. In hierarchies of finite partial structures, any instance, non-instance, or borderline case can become an instance, non-instance, or borderline case on the next level of the hierarchy, as long as the number of borderline cases overall decreases. Hence at each level, any information one has about the domain can be negated on the next level. It is thus a stretch to say that the hierarchy is "built in such a way that, at each level, there is a gain of information regarding the phenomena being modeled" (Bueno 1997, p. 603), because then one would convey information by saying: "They are certainly scoundrels, though they may not be". 26 This problem is severe enough that the relation of the highest level of a pragmatic empirical hierarchy to the rest of the hierarchy is almost trivial:  '⊇', '>', or '≥' in condition (ii).) Since RC ,• i = ∅ for all i ∈ I and the empty set is a proper subset of every nonempty set, condition (ii) is fulfilled. If condition (ii) is formulated with '>', then for all i ∈ I . If condition (ii) is formulated with '⊇' or '≥', the proof is immediate.
Therefore any level of a hierarchy of partial structures below the highest one only restricts the relation symbols of the partial structure at the highest level (and in the finite case also the minimal size of the domain). 27 This almost trivial restriction of the highest level of the hierarchy of partial structures by the lower levels is not meaningfully strengthened in Bueno's definition of the partial models of the phenomena, for the only additional restriction on the structure at the highest level of the hierarchy is that at least one object in its domain must have been measured. Which element is measured, however, is independent from the lower levels. Bueno (1997, p. 602, my notation) goes on to define that a theory is empirically adequate if it is pragmatically true in the (partial) empirical sub-structureẼ according to a structure B, where B is the last level of the hierarchy of models of phenomena (being thus a total structure).
A sentence is "pragmatically true inẼ according to B" if and only if it is true in B and B isẼ-normal (Bueno 1997, p. 592, my notation). Technically, B is the total structure that corresponds to the last levelB of the hierarchy of models of phenomena, since each level in such a hierarchy is a partial structure. Bueno's definition of what I will call 'pragmatic empirical adequacy' requires some unpacking, since it defines the pragmatic empirical adequacy of a sentence (and thus, via Tarski semantics, of a class or a family of structures), not the pragmatic empirical adequacy of a family of partial structures. But Bueno's definition presumes that theories have partial empirical substructures, hence it presumes that theories are at the same time given as families of partial structures. Luckily, this puzzle is easily solved by relying on the suggestion for arriving at partial structures of theories that was developed in Sect. 4.1. The suggestion provides, for a theory given by a sentence ϑ and thus by a family of structures {T n } n∈N , a corresponding family of partial structures {T m } m∈M . Hence one can state Bueno's definition as follows: A theory ϑ with the corresponding partial theory T m m∈M , Ẽ m m∈M is pragmatically empirically adequate iff there is an m ∈ M and anẼ ∈Ẽ m such that ϑ is pragmatically true inẼ according to B, where B is the last level of the hierarchy of models of phenomena. Given the definition of 'pragmatically true inẼ according to B', this is means that ϑ is pragmatically empirically adequate iff ϑ is true in B, where B is the last level of the hierarchy of models of phenomena and isẼ-normal for some m ∈ M andẼ ∈Ẽ m . If the theory is expressed as a family T n , E n of structures, Bueno's definition entails that T n , E n is pragmatically empirically adequate iff there is an n ∈ N , an m ∈ M, and anẼ ∈Ẽ m such that T n isẼ-normal and the last level of the hierarchy of models of phenomena.
This definition has a number of peculiar features that cast its adequacy into doubt. For one, it defines pragmatic empirical adequacy relative to a single hierarchy of partial structures, with a single structure on its highest level that represents the appearances. Hence the definition presumes, contrary to van Fraassen, that there is only one appearance. Second, since T n isẼ-normal, dom(T n ) = E, so that all the objects that occur in the theory also have to occur in its partial empirical substructure, which thereby is not a proper substructure. Third, every element of the approximation set corresponding toẼ n isẼ n -normal, so that Bueno's definition entails the following: T n , E n is pragmatically empirically adequate iff there is an n ∈ N such that T n is the last level of the hierarchy of models of phenomena. In other words, a theory is pragmatically empirically adequate if and only if it is true in the highest level of the partial models of the phenomena, that is, in the single appearance. 28 Thus empirical adequacy is the same as truth in the structure of the appearance, which trivializes van Fraassen's idea of substituting empirical adequacy for truth as the goal of science. Fourth, there is only the almost trivial relation between the appearances at the highest level and the data at the lowest level of the models of the phenomena. Claim 4 shows that the last level is almost independent from the lower levels, so that, if the data are meant to determine the appearances, the notion of pragmatic empirical adequacy is almost trivial. If, on the other hand, the appearances are determined on their own, then pragmatic empirical adequacy simply presumes that the appearance is given by a structure, not a partial structure, and thus does not differ in this respect from empirical adequacy. A corollary of these four points is that pragmatic empirical adequacy clearly does not properly gen-eralize empirical adequacy. The effects of these modifications of empirical adequacy on Suárez's criticism are discussed in "Appendix C.2".
The fifth peculiarity of the definition is that it contradicts the presupposition of Bueno's claim that "there is no problem with the fact thatẼ and B have distinct domains" (Bueno 1997, p. 603, my notation). There is indeed no problem, but only becauseẼ and B = T n have the same domain, since B isẼ-normal. Oddly, Bueno (1997, p. 603, n. 16) seems to acknowledge this in a footnote, in which he states that "one of the conditions for a total structure to be employed as one that extends the relations of a partial structure, is that both of them have the same domain. Such a condition obviously could not hold here." 29 This identity of the domain of the partial appearance and the partial empirical substructure should be fatal for the definition according to Bueno's own standards, since he has dismissed another suggestion for generalizing empirical adequacy (discussed in connection with Claim 3) on exactly these grounds.
Finally, the definition is in tension with Bueno's informal description. Bueno (1997, p. 603) states: The basic point of [the definition] consists in the fact that, intuitively, a theory is empirically adequate if that part of it which is concerned with the observable phenomena (its empirical substructures) can be extended to a total structure that represents the information provided by the observational side of 'experience' (the last level in the hierarchy of partial models of phenomena).
If {T m } m∈M is given via approximation sets, and thus the partial empirical substruc-turesẼ are given via approximation sets as well, theẼ-normal structures are just empirical substructures of T n , E n . Further, the highest level of the models of the phenomena corresponds to a structure A. If a structure is represented by another through an isomorphism between the two, Bueno's informal description then states that a theory is pragmatically empirically adequate if and only if one of its empirical substructures is isomorphic to the appearance A. In Bueno's informal description, pragmatic empirical adequacy thus differs from empirical adequacy only in that there can be only one appearance, and there must also be an almost unrelated data structure. But this is not the case for Bueno's more formal definition.
The first part of this discussion (Lutz 2014b, def. 14, 15, 17) contains a generalization of empirical adequacy that avoids all of the above criticisms. It provides a substitute for Bueno's notion of the models of the phenomena: Definition 18 A restricted hierarchy of approximate appearances {A l } l∈L , C contains an indexed set {A l } l∈L of approximate appearances with an ordered index set L and a set C containing for any A l , A m , l, m ∈ L, l ≤ m exactly one bijection b : Additionally, for any three bijections b, c, d ∈ C with b : 29 He adds that "the condition can be easily changed for a weaker one, still preserving the main features of the concept of pragmatic truth. I have pursued this line of argument elsewhere [ …]." The referenced article (Bueno and de Souza 1996), however, gives no indication on how to avoid the identity of the domains ofẼ and B, as it does not discuss possible relations between partial structures with different domains.
As explained in the first part of this discussion, this definition leads to a real increase of information from one point of the hierarchy to the next, allows more than one appearance, and is not restricted to hierarchies of finitely many levels; 30 with the help of the set C, it also determines for any appearance at any level in the hierarchy a unique line of ancestors and descendants and thus, specifically, which appearances from different levels describe the same phenomenon.
One can define which appearances are possible given the knowledge one has about them at some point (cf. Lutz 2014b, def. 11 Thus for every approximation set in the approximate appearances, any of its members can be a member of the appearances. These definitions lead to the following result (Lutz 2014b, Claim 7): Claim 5 T n , E n is approximately empirically adequate at all points of all restricted hierarchies of approximate appearances with the initial sequence A l l≤m if and only if T n , E n is empirically adequate for all appearances that are approximately possible given A l .
By Claim 5, the growth of information can be represented by the restricted hierarchy of approximate appearances, and at each point of the hierarchy, it is clear which theories are approximately empirically adequate. Thus, while Bueno's generalizations based on partial structures are inadequate, his motivations provide reasons for adopting the generalizations suggested in the first part of this discussion.

Conclusion
Partial structures and van Fraassen's notion of empirical adequacy do not go well together: Empirical adequacy has been neither successfully expressed nor successfully generalized in terms of partial structures. Partial structures even face problems in their initial intended domain of application: They are inadequate for expressing approximations of functions and constants. The notion of an approximation set generalizes the notion of a partial structure to allow for approximations of functions and constants, and allows for the notions of partial isomorphism and partial homomorphism without the use of partial structures. These results show that approximation sets can be used to formalize all theories, models, and appearances that can be formalized in partial structures, and can in fact formalize more. That approximation sets do not rely on any new technical notions allows for a simple transfer of known results from model theory. Furthermore, approximation sets are the basis of the notion of approximate empirical adequacy and of a restricted hierarchy of approximate empirical appearances, which capture the basic intuitions behind Bueno's notions of partial and pragmatic empirical adequacy without succumbing to their problems.
Together with the results of the first part of this discussion, these results show the adequacy and flexibility of approximation sets, approximate empirical adequacy, and hierarchies of approximate empirical appearances.
If (i) holds for some i ∈ I and x 1 , . . . , x λ i , then choose aB-normal structure with R B i x 1 . . . x λ i , if (ii) holds for some i ∈ I and x 1 , . . . , x λ i , then choose aC-normal structure with R C i f (x 1 ) . . . f (x λ i ), and analogously for (iii) and (iv). Then, if f is an isomorphism between B and C, in case (i) C is notC-normal because R C,+ . . x λ i does not hold, and analogously for (iii) and (iv). If (v) holds for some and analogously for (vi). Then, if f is an isomorphism between B and C, in case . . x ρ j , and analogously for (vii). For anyB-normal structure B and anyC-normal structure ( * ) follows by Claim 1. Bueno et al. (2002, pp. 503-504) define partial homomorphisms between partial structures: Definition 20 A partial homomorphism from partial structureB to partial structurẽ C is a mapping f : B −→ C for which the following holds: The claim that partial homomorphisms generalize standard homomorphisms (Bueno et al. 2002, p. 504) relies on an atypical definition of 'homomorphism', in which (Lutz 2015, p. 571), while the typical definition only requires that if (Hodges 1993, p. 5). In the following, 'homomorphism' refers to the atypical notion as well.
Claim 7 Let B and C be the approximation sets corresponding to partial structuresB andC withΠ = ∅. Then f is a partial homomorphism fromB toC if and only if for every C ∈ C there is a B ∈ B such that f is a homomorphism from B to C.
Proof '⇒': Let f : B −→ C be a partial homomorphism fromB toC and let C be in C. By Claim 1, C isC-normal for ∅. By construction, f is a homomorphism from B to −1 f x' denotes the pre-image of x under function f , to be distinguished from the inverse function f −1 applied to x.
Therefore B can be chosen to beB-normal. By Claim 1, B ∈ B.
'⇐': Assume that f : B −→ C is not a partial homomorphism fromB toC. Then there are an i ∈ I and some x 1 , . . . , If (i) holds for some i ∈ I and x 1 , . . . , x λ i , then choose aC-normal structure in which R C i f (x 1 ) . . . f (x λ i ) does not hold, and if (ii) holds for some i ∈ I and x 1 , . . . , x λ i , then choose aC-normal structure with Then, if f is a homomorphism from B to C, in case (i) B is notB-normal because R B x 1 . . . x λ i does not hold even though RB ,+ x 1 . . . x λ i does, and analogously for (ii). If (iii) or (iv) holds, to its superconductive state (Suárez 2005, p. 53), the speed of light c, and the constant Λ; this equation was meant to deal with the behavior of the magnetic flux in superconductors. The acceleration equation therefore describes the empirical substructure of the classic electromagnetic theory as far as superconductivity is concerned. But the magnetic field H in superconductors in fact is, with slight idealizations, correctly described by the Londons' equation for Λ, c, and H, which therefore describes the structure of the appearances.
There is, as is demanded for empirical adequacy, a bijection between the domains of the empirical substructure and the structure of the appearances, since, according to Suárez (2005, p. 54), the two domains are isomorphic: for every physical entity (i. e. j, H, etc.) in the domain over which the 'acceleration equation' model is defined, there is a corresponding entity in the domain of the London model.
But the Londons' equation is incompatible with the acceleration equation for H = 0, that is, their conjunction is inconsistent (Suárez 2005, p. 54), so that the structures cannot be isomorphic. There can also be no other empirical substructure of the classic electromagnetic theory that could be isomorphic to the Londons' equation when H = 0, since then the theory would yield incompatible predictions for the same domain and would thus be inconsistent.
One could also take electromagnetic theory to consist only of Maxwell's equations, without the acceleration equation. This theory is compatible with the Londons' equation even when H = 0, but, says Suárez (2005, p Therefore Suárez concludes that neither classical electromagnetic theory nor electromagnetic theory according to Maxwell's equations is empirically adequate in light of the appearances of superconductivity. There are a number of problems with Suárez's argument. The main one is its overly impressionistic nature. Suárez does not define a family of structures for the classic electromagnetic theory, nor does he define its empirical substructures. Instead, he mentions the equations that hold for the functions that occur in the respective structures. For this reason, his description of the domain of the theory may seem more plausible than it is: According to Suárez, the domain of the empirical substructure contains the physical quantities j and H, so that, apparently, the domain of the classical electromagnetic theory contains the physical quantities that occur in Maxwell's equations and the acceleration equation: E, H, H 0 , Λ, j, c, and ρ. (I am unsure about the way in which time development would be represented in this formalization.) The relations that hold between these objects are thus, presumably, the equations themselves. Suárez (2005, p. 54) furthermore seems to consider any equation that follows from these equations to be part of the structure, since he claims on the ground that one equation follows from both the Londons' and the acceleration equation that "at least one relation over the domain is isomorphic".
The empirical substructures of the classic electromagnetic theory therefore are structures that contain some, but not necessarily all, of the quantities that occur in the classic electromagnetic theory itself. The first part of Suárez's argument then is that the relations that are given by Maxwell's equation and the acceleration equation cannot be fulfilled by the same objects that fulfill the relation given by the Londons' equation, since the equations are incompatible. The second, rather loosely formulated part of his argument could be reconstructed as follows: Maxwell's equations alone do not entail the Londons' equation, and therefore there is no relation in any structure of the electromagnetic theory (as described by Maxwell's equations) that corresponds to the Londons' equation. Since any substructure of a structure has the same relations as the structure itself, no empirical substructure of the electromagnetic theory can be isomorphic to a structure that contains the Londons' equation. 34 Suárez's formalization of the electromagnetic theory is very different from a formalization in van Fraassen's spirit, which would rather describe the state space of the systems with the respective physical quantities (van Fraassen 1970, § §3-5). In the state space description of a classical system of finitely many objects, each fundamental quantity of each object is assigned a dimension of the state space, so that at each time, the values of all quantities of all objects are given by a vector in state space. Laws are expressed as restrictions on state space. For a classical field, each point in physical space can have a different value, so that each quantity of each point in physical space would have to be assigned a dimension in state space. This would result in a non-denumerably dimensional state space. 35 Not as close to van Fraassen's preferred formalization but still typical in the semantic view (van Fraassen 1980, p. 67) would be to give a structure with physical spacetime in its domain, the physical quantities E, H, and j as functions from spacetime points to triples of real numbers, H 0 as a function from space points to triples of real numbers, the physical quantity ρ as a function from spacetime points to real numbers, and c and Λ as real constants. Maxwell's, the Londons', and the acceleration equation would then be demanded to hold between these functions and constants of the structures. 36 Since the Londons' equation describes superconductors, each of its models (and specifically each of its models for H = 0) must be isomorphic to some empirical substructure of electromagnetic theory. Otherwise, electromagnetic theory is not empirically adequate. In a formalization that follows this sketch, Suárez's argument against the empirical adequacy of classic electromagnetic theory is valid, since the functions and constants cannot simultaneously fulfill two incompatible equations. However, Suárez's argument against the empirical adequacy of the electromagnetic theory as described by Maxwell's equations alone fails: A structure with the points in physical space and the real numbers as its domain, and the physical quantities given above as its relations is a structure of the electromagnetic theory if and only if the physical quantities fulfill Maxwell's equations. Since Maxwell's equations are compatible with the Londons' equations for restricted domains, there are empirical substructures of the electromagnetic theory that are isomorphic to the structure of the phenomenon of superconductivity as described by the Londons' equation. Thus the electromagnetic theory as described by Maxwell's equations is empirically adequate for the appearances of superconductivity. 37 Therefore, Suárez's criticism is not fatal for the concept of empirical adequacy, because in a plausible formalization, only the classic electromagnetic theory fails to be empirically adequate. And this is as it should be, since the acceleration equation describes the appearances incorrectly, and the conjunction of Maxwell's equation and the acceleration equation can therefore not be considered to save the appearances.

Appendix C.1: Partial empirical adequacy
According to Bueno (1997, §4.4, my notation), classic electromagnetic theory as described by Maxwell's equation and the acceleration equation is partially empirically adequate, so that his generalization of empirical adequacy to partial empirical adequacy avoids Suárez first criticism: Indeed, the kind of new relation discovered at the phenomenological level might be represented by one of those partial relations that initially were not defined for some elements of the domain under investigation (whose elements thus belong to its R • -component), and with the introduction of further bits of information, came to be defined-hence, the relevant elements belong then either to its domain (R + -component), or to its complement (R − -component).
This reply to Suárez is rather vague, but it seems that the Londons' equation is the "new relation discovered" between objects of the domain, or better: It is the discovery that some relation holds between objects of the domain (Bueno is thus relying on Suárez's formalization).
A major problem with this reply is that it is not clear in what way the notion of partial empirical adequacy is time dependent, and thus it is not clear how the discovery that some elements of the domain have some relation can be represented as partial empirical adequacy. Another problem is that it is utterly artificial to use partial relations to formalize a situation in which an equation is discovered to hold between physical quantities: Before the Londons' equation was discovered to hold for Λ, c, and H, no one was of the opinion that it held (or did not hold) for, say c, c, and E and was wondering whether it also held for other physical quantities of the above list. Staying in Suárez's formalization, it was rather that the Londons discovered a new relation-just as Bueno puts it informally in his reply quoted above. Finally, Suárez (2005, §6.2) points out In the formalization that I have sketched, the classic electromagnetic theory is not partially empirically adequate either: The domain of the Londons' equation consists of superconductors, and its terms are Λ, c, and H. In each appearance of superconductivity, these terms' interpretations fulfill the Londons' equation. Since this is known, every partial structureÃ of the appearances must be such that everyÃ-normal structure fulfills the Londons' equation. The classic electromagnetic theory, on the other hand, must be such that for no partial empirical substructureẼ, there is anẼ-normal structure that fulfills the Londons' equation, since it is part of the theory that the Londons' equation is not fulfilled by superconductors. Since noÃ-normal andẼ-normal structures are isomorphic,Ã andẼ are not partially isomorphic either, by Claims 1 and 6 ("Appendix A"). Electromagnetic theory as described by Maxwell's equations is partially empirically adequate, however, because partial empirical adequacy generalizes empirical adequacy and electromagnetic theory is empirically adequate.

Appendix C.2: Pragmatic empirical adequacy
The requirements for the pragmatic empirical adequacy of a theory are almost trivially weak. This has the intended effect of avoiding Suárez's counterexample if the relation described by the Londons' equation is considered to determine the structure of the data (the lowest level of the models of the phenomena), not the appearance at the highest level: While the relation between Λ, c, and H described by the Londons' equation has to hold for the structure of the data, the structure of the appearances can contain any relation between Λ, c, and H under one further condition: At least one element in the domain of the highest level must have been measured. Apart from this condition, one can choose any structure with the acceleration equation as relation between Λ, c, and H. Therefore the classic electromagnetic theory is pragmatically empirically adequate.
In the formalization of the classic electromagnetic theory that I have sketched, the case is similar: The domain of the Londons' equation contains superconductors, and its terms are Λ, c, and H. (To apply Bueno's definitions for relational structures, the theory first has to be reformulated to contain only relations rather than functions and constants.) Since the domain of the appearances, the volume of the superconductors over time, has infinite cardinality, there is no restriction on the domain of the highest level of the models of the phenomena. One can now choose a structure with the same terms and at least one measured object in its domain in which the classic electromagnetic theory is true, so that the theory is pragmatically empirically adequate. Of 38 That is, the tuple Λ, c, H clearly fulfills relation RÃ i . course, this strength of Bueno's definition is also a huge weakness, since any other theory with the same relation symbols is pragmatically empirically adequate as well.
In summary, the notion of partial empirical adequacy does not avoid Suárez's criticism, and the notion of pragmatic empirical adequacy does avoid it, but only on pain of (almost) triviality. Neither failure poses a problem for empirical adequacy or the project of constructive empiricism in general, however, because Suárez's criticism is an artifact of an ill-chosen formalization of the theory of electromagnetism.