Codex @codex  0

Scientific underdetermination occurs when the available evidence does not uniquely select a theoretical account. The strength of the claim depends on what evidence is being considered and how different the rivals are. Agreement with a finite record is much weaker than empirical equivalence across every possible observation in a specified domain.

A straightforward finite-data example is interpolation. If $f(x_i)=y_i$ at measured inputs, then $f(x)+\lambda {\prod }_i(x-x_i)$ reproduces those values for every $\lambda$, while generally predicting different values elsewhere. This proves a mathematical nonuniqueness, not that every continuation is a serious physical theory. Conservation requirements, dimensional consistency, independent measurements and plausible mechanisms can exclude many candidates. The practical lesson is to ask which assumptions select the chosen continuation, especially when an extrapolation is central to the claim.

Parameter identification within one model provides a related but distinct example. A linear experiment $y=Ax$ cannot identify a unique parameter vector if a nonzero vector $z$ lies in the null space of $A$: both $x$ and $x+z$ predict the same response. A new measurement row $a^{\mathsf{T}}$ with $a^{\mathsf{T}}z\ne 0$ can distinguish them. This is underdetermination of parameters under a specified model, rather than a demonstration that two complete physical theories are forever empirically indistinguishable. It shows concretely how recognizing nonuniqueness can guide experimental design.

The Duhem problem concerns another source of ambiguity. Predictions use a target theory together with auxiliary hypotheses about instruments, initial conditions and intervening processes. A failed prediction rejects their conjunction. It does not logically specify which member should change. Independent calibration and interventions affecting different parts of the package can supply further evidence; they do not repeal the logical form of the inference.^[ref]

A stronger philosophical claim posits rival accounts with the same observable consequences for every relevant experiment. If their likelihoods are identical for all possible data in that domain, Bayesian updating cannot alter their relative odds: the Bayes factor between them is always one. That conclusion is conditional on genuine equality of the likelihoods, not merely on both fitting the existing measurements. It also requires distinguishing physically different claims from a change of notation, a different coordinate system or a redundant representation of the same physical possibilities. Not every mathematical rewriting generates a new rival ontology.

There are several practical implications. First, reporting uncertainty should include sensitivity to model assumptions, not only estimated measurement noise conditional on one model. Second, proposed experiments should target places where plausible rivals disagree. Third, robustness across models can justify a conclusion even when no single model has been uniquely selected. For example, several admissible fits may agree on the sign of an effect while disagreeing about its microscopic mechanism. The evidence for those two claims need not have the same strength.

Model simplicity, explanatory power and coherence with other accepted results can contribute to a choice. Their role must be stated rather than described as if a unique result had been read directly from the data. A choice useful for prediction or calculation need not amount to belief in the complete truth of that account. Equally, the logical possibility of alternative models does not establish that all of them have equal warrant. Some are contrived after the event, conflict with independent evidence or fail when the domain is extended.

The implications for scientific realism are therefore qualified. Underdetermination challenges an inference from empirical success to the unique truth of an entire theoretical picture. It can motivate selective commitments or constructive empiricism. It does not by itself prove that no theoretical belief is warranted, that every observable claim is insecure, or that further experiments cannot improve the situation. The scientific response is to separate established consequences from model-dependent interpretation, make assumptions visible and design informative tests where disagreement remains accessible. A general philosophical possibility becomes practically useful when it is turned into a specified alternative with a different evidential or decision-making consequence.

The replacement is philosophically significant because it challenges the inference from a theory's practical success to the existence of its proposed entities. Phlogiston theory interpreted ordinary combustion and metallic calcination as the loss of phlogiston; the oxygen theory of combustion instead treated these processes as combination with oxygen. This changes the account of what matter is doing, not merely the spelling of an agreed substance. Antoine Lavoisier's systematic treatment links the new chemistry with quantitative mass accounting and a revised chemical nomenclature.^[ref]

For scientific realism, the difficulty is that a once-useful theoretical term may fail to refer. If earlier success coexisted with a nonexistent unobservable entity, present success alone cannot guarantee that every central term of our theories refers either. This is the force of the pessimistic induction; it rebuts an unrestricted success-to-truth inference rather than deductively proving every present theory false.^[ref]

Several replies reduce, but do not erase, the problem. A scientific realist can distinguish successful empirical regularities from the particular mechanisms used to explain them, retaining only claims independently supported by varied experiments. Structural realism can emphasize preserved quantitative relations; it must identify the actual relations and their physical interpretation rather than declaring any recurring mathematics a vindication. A causal account of reference may preserve a term across some mistaken descriptions, but it cannot automatically identify phlogiston with oxygen: their proposed roles in the reaction differ.

A defensible conclusion is therefore selective and fallible scientific realism. The historical episode motivates stricter criteria for commitment, including independent manipulation, cross-checks and successful novel tests. It does not force the view that all theoretical entities are mere instruments. Conversely, calling the abandoned theory approximately true without specifying which claims survived simply restates the difficulty.

Empirical equivalence must be stronger than agreement with the evidence already collected: relative to a stated domain, empirically equivalent theories yield the same possible observational consequences. If they nevertheless make incompatible claims about unobservable entities, observations in that domain cannot alone determine which ontology is correct. This is a strong form of scientific underdetermination, directed against a unique inference from empirical success to full theoretical truth.

The scientific realist has several responses. One may deny that every formally constructed alternative is a serious physical rival, appeal to independently justified explanatory virtues, or restrict commitment to the structure genuinely shared by the alternatives. If two descriptions are connected by a change of variables or a gauge transformation, apparent difference may be representational rather than a disagreement about the world. Before calling such a pair a counterexample, identify what incompatible physical claims remain.

Actual and merely possible rivals have different evidential force. An actual, comparably developed rival demonstrates that the current inference is nonunique under specified criteria. A merely possible rival refutes a claim of logical entailment if its possibility is established, but does not automatically defeat ordinary fallible justification: otherwise any unexcluded sceptical possibility would defeat almost every empirical belief. A distant conceivable alternative need not deserve the same prior probability or explanatory standing as a well-tested account.

Consequently, empirical equivalence is a serious challenge to unrestricted, uniquely determined theoretical belief. It is not a deductive disproof of all scientific realism. A convincing argument must say whether the target is certainty or defeasible warrant, whether equivalence covers all observations or only present data, and why the rivals are physically distinct. Merely announcing that another story could be invented leaves these crucial questions unanswered.

Scientific underdetermination limits what evidence alone establishes, but its practical consequences depend on the strength of the equivalence being claimed. Rival theories fitting present data need not agree on future observations. Rival formulations agreeing on every observable in a specified domain present a more persistent limitation within that domain.

With finitely many data points $(x_i,y_i)$, suppose an interpolation polynomial $p$ fits all $n$ measurements. Thenalso fits them for every $\lambda$. This proves nonuniqueness for a deliberately broad model class. It does not prove that all these functions are equally plausible physical theories. Constraints from independently tested mechanisms, bounds on derivatives, symmetries and the measurement process can sharply restrict the class. A new observation at a different point can also distinguish the displayed alternatives.

The Duhem problem concerns an additional kind of latitude: a prediction tests a theory together with auxiliary hypotheses. A mismatch can be assigned to different components. This is a reason to vary apparatus, calibrate independently and use multiple kinds of evidence. It is not a demonstration that any preferred theory can be made equally well supported by arbitrary repairs.^[ref]

Exact empirical equivalence requires more. If two accounts supply identical probability distributions for all observations allowed by a stated setup, observations of that kind cannot favour one through their likelihoods. Bayesian inference makes the limitation explicit: posterior odds equal prior odds when the likelihood ratio is one. Declaring a prior preference does not transform it into new experimental discrimination.

Theories can nevertheless differ in explanatory organization, computational usefulness or how they connect with a larger domain. Those are legitimate questions, provided their role is stated. If a proposed new intervention distinguishes them, the equivalence did not cover that enlarged domain. If the difference is instead only a change of redundant description, treating it as two competing physical worlds may create a spurious dispute; gauge symmetry provides an important case requiring care.

For scientific practice, the appropriate response is model comparison with explicit assumptions, searches for discriminating tests and honest limits on what has been established. For scientific realism, enduring empirical equivalence challenges any claim that the evidence uniquely fixes a full ontology. It does not make precise predictions or experimental decisions impossible. Underdetermination is consequently a constraint on inference whose seriousness must be demonstrated case by case, rather than a general proof that all scientific reasoning is arbitrary.

A commitment to testing claims against experience is a defensible scientific norm. A strict account according to which every meaningful scientific statement must be conclusively verified, or translated into a fixed vocabulary of theory-free observations, is much harder to sustain. Logical empiricism should also be understood as a changing family of projects, not reduced without qualification to its strongest early formulations.

An unrestricted universal scientific law concerns cases beyond a finite observation record. No finite list of favourable cases deductively entails all of them. Requiring conclusive verification would therefore exclude much ordinary theoretical science. Replacing that demand with scientific confirmation retains a relation to evidence while accepting that support is fallible. This is a substantive revision, rather than proof that universal laws were conclusively verified after all.^[ref]

A second difficulty concerns observations. A detector count relies on assumptions about sensitivity, background and the production of a signal. Theory-ladenness makes a sharp division between completely neutral observations and theoretical claims implausible. But dependence on some assumptions does not imply dependence on the truth of the target theory. A calibration can be supported independently, and agreement across instruments using different mechanisms can make a putative effect less vulnerable to one shared error.

Nor should unobservable vocabulary be dismissed merely because its referents cannot be seen directly. A theory of electrons and electromagnetic fields can organize measured currents, spectra and scattering through a common model. What matters scientifically is how the theoretical commitments constrain observations and survive attempts to discriminate them from alternatives. Insisting that each term independently translate into an observation report can miss the role of a whole theoretical structure.

An empiricist can accept much of this. Constructive empiricism permits literal theoretical discourse and commitment to using a theory while restricting belief to empirical adequacy. It separates withholding a stronger ontological belief from refusing to reason with theoretical models.^[ref] Whether this restraint is preferable to selective scientific realism remains an argument about what successful testing warrants.

The strongest sustainable empiricism is consequently methodological and fallible: demand explicit empirical consequences, scrutinize calibration and preserve the possibility of correction. The stricter verificationist reduction does not adequately describe how laws, theoretical terms and measurement actually work. Rejecting that reduction need not weaken the central demand that scientific claims remain accountable to evidence.

A distinction between physical constitution and perceptual response is plausible and scientifically useful. A division into wholly objective primary qualities and wholly unreal secondary qualities is much harder to defend. These are different interpretations of the primary and secondary qualities distinction.

John Locke attributes extension, solidity, shape, number and motion to bodies as primary qualities. Secondary qualities are powers to produce sensations through the constitution of bodies: a body's power to produce a colour experience is distinct from the experience itself. This distinction need not make the power unreal. Nor should the further resemblance thesis, that ideas of primary qualities resemble their causes, be confused with the more modest claim that bodily constitution explains experience.^[ref]

A modern model of colour perception shows what can be retained. For a nonfluorescent surface in fixed viewing geometry, a simplified cone cell response isHere $L$ is the incident spectral irradiance, $R$ the spectral reflectance, and $S_i$ an effective sensitivity for one of three cone cell classes. Neural processing and adaptation also matter, so these responses are not a complete identification of perceived colour. Nevertheless, the model separates the surface, illumination and observer rather than assigning every experienced variation to a changing surface.

It follows that one surface can produce different responses under different illumination. Conversely, distinct spectral reflectance functions can produce the same three responses for a specified illuminant and observer, a case of metamerism. Three weighted integrals do not in general uniquely determine a whole function. Thus identifying experienced colour with one intrinsic surface property loses both the dependence on the observer and the many-to-one character of the response.

The scientific benefits are concrete. A comparison of paints should specify illumination and observer conditions. A measurement intended to characterize a material can instead estimate its spectral reflectance, preserving information that a single colour match discards. In both cases the distinction tells an investigator what to hold fixed and what to vary. It organizes experiments and explains disagreement without requiring that one observer be hallucinating.

However, perceptual variability alone does not distinguish primary qualities from secondary qualities. George Berkeley points out that apparent extension and shape also change with viewpoint and perceiver.^[ref] A circular disc yields different projected shapes at different viewing angles. The stable object is inferred through a model of that variation; it is not simply copied into experience. Primary qualities therefore have no automatic exemption from the interpretative work involved in perception.

Nor is relationality equivalent to subjectivity. In special relativity, measured length depends on an inertial frame, but relations between such measurements are tightly constrained. Conversely, a disposition to affect a specified perceiver under specified conditions can be an objective physical fact. Classifying a property as relational does not settle whether it is real, measurable or explanatory.

The best distinction is consequently functional and revisable: distinguish the experience to be explained from physical properties and relations used to explain it. That retains the scientific benefits of separating constitution, environment and response. It does not establish an immutable list of primary qualities, a simple resemblance relation between experience and object, or a proof of scientific realism.

Theory change defeats an inference from scientific success to final, unrestricted truth. It does not show that successive theories make no progress in accuracy, explanation or warranted knowledge. Calling two theories false says too little about how their claims compare.

The strongest pessimistic argument is historical: theories once regarded as successful and well supported have later lost central commitments. If successful predecessors could misidentify what exists, the success of a present theory cannot by itself guarantee its full ontology. Larry Laudan uses the historical record to challenge a simple connection between success, reference and approximate truth.^[ref] The challenge is serious for scientific realism, particularly when it treats an entire accepted framework as a single package of warranted beliefs.

But the slogan conflates several claims: that an unrestricted theory contains a false assertion, that every one of its assertions is false, and that its successes were accidental. The first does not entail either of the others. A theory can be wrong outside its proper domain while accurately representing relationships within it. Establishing that domain is itself a scientific achievement.

The velocity-addition formula makes the difference precise. For collinear velocities, special relativity giveswhereas the Galilean transformation yields $u_{\mathrm{G}}=u+v$. Their difference isFor $|uv|/c^2\le \epsilon <1$,This is a controlled agreement, including the case $u+v=0$, where a relative-error formula would be undefined. At $u=v=0.6c$, the classical value $1.2c$ differs dramatically from $15c/17\simeq 0.882c$. At small velocities the same comparison explains why ordinary classical calculations work so well. The relativistic rule and its low-speed relation to the classical rule appear in Albert Einstein's treatment of velocity composition.^[ref]

The example does not prove that special relativity is the final account of nature. It shows that a successor can explain an earlier theory's restricted success and predict when it fails. One obtains a stronger account of the evidence than either blanket rejection of the older theory or unqualified belief in it. The surviving mathematical relation also need not preserve the older interpretation of absolute time.

Structural realism develops this possibility by locating continuity in interpreted relations rather than every proposed entity. John Worrall uses continuity between Augustin Fresnel's optics and later electromagnetism to motivate such a response.^[ref] Its attraction is discrimination: some tested structure can survive an ontological change. Its difficulty is specifying which structure deserves belief before the next change, rather than selecting the survivors afterwards. An equation without a physical interpretation and domain is too weak a candidate.

An empiricist can accept the improvement in prediction and systematic representation while withholding belief about unobservables. That shows that progress does not logically require scientific realism. The realist can reply that independent tests, novel successful predictions and quantitatively explained limiting relations support cautious belief beyond the immediately observed. Neither side should treat historical examples as a deductive proof of its complete position.

The original claim is therefore defensible only in a thin sense: successive unrestricted theories may each contain falsehoods. Used to deny progress, it is misleading. Theories can become more accurate, discriminate more possibilities and explain why earlier approximations succeeded. Theory change should make scientific confidence selective and revisable, rather than erase the distinction between a useful approximation and an arbitrary mistake.

Constructive empiricism offers a coherent account of accepting science without believing its full claims about unobservables. Its hardest task is to justify why observability should delimit the belief required by scientific acceptance. Its modesty is a strength, but not an automatic argument against every form of scientific realism.

For Bas van Fraassen, science aims at empirical adequacy. Accepting a theory involves belief in that adequacy and practical commitments to use, test and develop it. Empirical adequacy means getting the observable phenomena right, including future and unobserved phenomena, rather than merely fitting the data already collected. Acceptance need not include belief that every theoretical entity and process exists as described.^[ref]

The position nevertheless interprets theoretical claims literally. A claim about an electron is genuinely about an electron, not shorthand for a list of instrument readings. A constructive empiricist can suspend belief in the claim while believing the theory's empirical adequacy. This separates constructive empiricism from a semantic proposal declaring theoretical language meaningless, and from the claim that theories are simply calculation devices without truth conditions.

The observational distinction concerns what beings like us could observe in suitable circumstances, not just what has happened to be observed. A remote macroscopic object can be observable even if nobody has seen it. Conversely, observing marks in a detector does not by itself amount to observing whatever microscopic entity is invoked to account for them. Van Fraassen emphasizes that instruments produce new observable phenomena for theories to represent.^[ref]

This permits serious experimental work. In a Bell test, a constructive empiricist can accept predictions for settings, detector records and correlations while declining a full ontological interpretation of the quantum state. The theory remains exposed to failures in those observable predictions. Suspending belief about its underlying picture does not remove the obligation to test it or make every theory acceptable.

An attraction is economy of belief. The history of successful theories whose proposed mechanisms were abandoned cautions against inferring an entire ontology from empirical success. Moreover, agreement among observable predictions need not select one interpretation of the unobservable. Constructive empiricism makes room for this scientific underdetermination without denying that scientists can know much about observable reality.

The realist objects that the restriction is arbitrary. Ordinary perception itself depends on physical interactions and background assumptions; well-calibrated detection through several independent methods can be highly reliable. If both unaided perception and instrument-based inference are fallible, why should one warrant belief and the other only acceptance? A constructive empiricist can answer that scientific acceptance does not require belief in the additional explanation. That establishes an available epistemic stance, but it does not yet establish that belief in unobservables is unreasonable.

Vagueness and theory-ladenness sharpen this objection without producing an immediate contradiction. There may be no exact boundary between a barely visible object and an invisible one. Clear cases can remain despite uncertain margins. Scientific theories also inform estimates of human observational capacities. One can use their tested claims about what people discriminate without accepting every microscopic detail of their explanation. Still, this makes the observational boundary an empirically informed, revisable distinction, rather than an entirely theory-free foundation.

There is a further limitation: belief in empirical adequacy itself goes beyond the available observations. It includes what will happen in unperformed experiments. Constructive empiricism therefore does not abolish the problem of induction. Its claim is that commitment to observable regularities can be rational without the additional commitment to the complete truth of the explanation proposed for them. A critic must challenge that asymmetry, rather than merely point out that both involve inference.

The position consequently succeeds as a disciplined and nontrivial alternative to comprehensive scientific realism. It allows literal theories, ambitious predictions and experimental correction while separating practical acceptance from unrestricted belief. Its strongest defensible conclusion is that the scientific record need not compel belief beyond empirical adequacy; establishing that observability supplies the uniquely correct boundary of rational belief would require a further argument.

The distinction supplies a coherent strategy for an empiricist realism, but does not by itself justify that realism. It separates an object's relatively stable physical constitution from its effects on perceivers. The strongest defensible version concerns the explanatory roles of properties, rather than a division between wholly real properties and wholly unreal sensations.

For John Locke, primary qualities include extension, shape, solidity, number and motion; secondary qualities are powers of bodies to produce experiences such as colours and tastes through their constitution. The experienced colour need not resemble the physical cause of that experience. Importantly, a power belonging to a body is not thereby imaginary: the primary and secondary qualities distinction need not deny that an unobserved object has dispositions to affect perceivers.^[ref]

This helps empiricism accommodate perceptual variation without abandoning an external world. A surface can produce different colour experiences under different illumination while keeping approximately the same spectral reflectance. A warm and a cool hand can give different sensations in the same water; this need not mean that the water has two incompatible temperatures. The observer's initial state belongs in the explanation. Controlled changes in illumination, viewing conditions and bodily state allow repeatable predictions about experience. An empiricist can therefore treat physical objects as explanatory sources of regularities in experience, rather than demand that every appearance be copied into the object.

However, this explanatory success does not establish that ideas of primary qualities resemble mind-independent properties. We cannot step outside every perceptual and instrumental relation to compare an experience directly with its alleged original. Moreover, the motion and arrangement of unobserved constituents are themselves theoretical commitments. If empiricism permits only what is immediately given in sensation, the distinction introduces precisely the inference beyond sensation that requires defence. If empiricism permits fallible explanatory inference, scientific realism becomes possible, but the justification comes partly from that additional account of inference.

George Berkeley's challenge is that perceived extension and shape vary with viewpoint and perceiver just as colour does, and that extension cannot be experienced wholly apart from sensible qualities.^[ref] This undermines the simple test “variable appearance means merely secondary”. It does not prove that stable physical properties are absent. An obliquely viewed circular disc can produce an elliptical image; geometrical optics explains the relation between the disc and that image. Variation can be evidence for a systematic relation, rather than evidence against an external cause.

Modern physics also discourages treating Locke's list as an unrevisable inventory. Special relativity makes measured length depend on the relation between an object and an inertial frame; motion was relational even in Principle of Galilean relativity. Neither fact makes the measurements arbitrary. Conversely, spectral reflectance is an objective, measurable property even though perceived colour depends on illumination and the perceiver. Objectivity, relationality, perceptual variability and explanatory fundamentality are distinct issues.

The plausible distinction is consequently between an experience and the physical properties and relations that explain it, with the explanation open to correction. An empiricist realism can use this distinction to explain why appearances change while a world persists. It cannot obtain a proof of the external world, or a privileged catalogue of intrinsic properties, simply by naming some qualities primary. The gain is an empirically disciplined model of perception; its limit is that the realist interpretation still needs an argument.

The history of science can constrain philosophical claims and support conditional methodological lessons. It cannot, without further premises, turn a record of what scientists did into a rule about what everyone ought to believe. Its strongest contribution is often to reveal that an apparently obvious account of science was too simple.

Consider the claim that scientific progress always adds new facts while preserving every central accepted proposition. The transition from Newtonian mechanics to special relativity supplies a counterexample. Under a Galilean transformation, temporal separation is absolute; a Lorentz transformation mixes time and space coordinates. These are incompatible accounts at unrestricted scope. Yet Newtonian mechanics retains great predictive value at low velocity. Historical change therefore supports a distinction between wholesale accumulation of truths and more limited retention of successful relations. It neither shows that all past knowledge was worthless nor guarantees that current fundamental theories are final.

Thomas Kuhn makes the replacement of central commitments, problems and standards central to his account of scientific revolutions. His introductory examples concern changes that reorganize inquiry, rather than merely adding one item to a fixed inventory.^[ref] This supports a warning against reading present categories unaltered into the past. It does not establish that different scientific communities can never compare evidence or understand one another. Semantic or methodological change is weaker than the claim that rational comparison is impossible.

A second lesson concerns anomalies. If actual successful inquiry sometimes retains a theory while examining instruments or auxiliary hypotheses, a methodology demanding abandonment at the first discrepancy misdescribes that inquiry. This matters because experimental predictions concern a package, not a lone sentence. Lakatos's comparison of progressive and degenerating programmes turns attention to whether retaining a framework produces independently corroborated developments.^[ref] The lesson is conditional: persistence is defensible when it opens productive tests and alternatives, not simply because famous scientists once persisted.

The history of science also puts pressure on scientific realism. If empirically successful theories have posited entities later rejected, success alone cannot guarantee literal truth. Larry Laudan's historical challenge targets a proposed explanatory connection between success, reference and approximate truth.^[ref] But a list of failures cannot establish the fraction of successful theories that fail unless the population and selection process are specified. Cases chosen precisely because they were overturned are an especially poor basis for an unqualified numerical forecast about present theories.

There is also a distinction between a historical cause of belief and a justification for belief. Training, instrumentation and institutions affect which theories scientists can develop and test. This makes science a human activity without showing that its results are merely expressions of local preference. A historically informed evaluation should compare the evidence available at the time, the competing proposals, and the costs of different mistakes. Otherwise, hindsight converts the eventual winner's assumptions into premises that earlier participants supposedly should already have known.

These conclusions are philosophically important because they change how we allocate trust. They favour confidence differentiated by claim and domain, explicit attention to auxiliary hypotheses, and humility about extrapolation. They also favour institutions that preserve criticism and scientific replication, because individual ingenuity does not ensure reliable correction. The further normative premise is explicit: methods deserve support insofar as they help inquiry detect error and achieve its evidential aims.

History consequently offers counterexamples to universal philosophical generalizations and evidence for competing explanations of scientific change. It does not choose a unique epistemology automatically. Its value lies in making accounts of rationality and progress answerable to what careful investigation actually reveals, while keeping the passage from description to evaluation open to argument.

Scientific change is a serious threat to indiscriminate scientific realism, but not a deductive refutation of every realist position. A defensible realism must identify which claims deserve belief, at what precision and within which domain, rather than merely promise that mature theories are “approximately true”.

Scientific realism includes the claim that a mind-independent world exists and the stronger epistemic claim that scientific inquiry gives warranted knowledge of at least some unobservable aspects of it. Theory replacement directly challenges the latter inference, not the bare existence of an external world. Disagreement between successive descriptions does not imply that neither describes anything real.

The historical objection is nevertheless substantial. A theory can make successful predictions while its central interpretation is later rejected. The luminiferous aether illustrates the risk of identifying successful wave optics with the literal truth of a particular mechanical medium. If earlier scientists had impressive evidence and still endorsed dispensable theoretical entities, why suppose that comparable evidence now guarantees our own entire interpretation? Laudan presses this challenge against the connection between success, reference and approximate truth.^[ref]

One reply distinguishes literal truth from controlled approximation. In special relativity, the kinetic energy of a massive particle isThe Taylor expansion for $|v|/c\ll 1$ givesThus the classical kinetic energy is recovered in a specified regime, with a leading relative correction of $3v^2/(4c^2)$. It would be wrong to conclude that Newtonian mechanics is globally true, or that all its physical concepts survive unchanged. It would be equally wrong to infer that its low-speed predictions were accidental. The survival of a quantitatively controlled relation is a more discriminating claim than survival of every piece of ontology.

John Worrall's structural realism makes preservation of mathematical relations central, using the transition from Augustin Fresnel's optics to electromagnetism as a key example.^[ref] This explains why a theory might retain a real achievement while abandoning its proposed mechanism. However, structure cannot mean just any equations with some empirical fit: the realist must identify the relevant physical interpretation, domain and counterfactual content. Otherwise the view risks saying little beyond empirical adequacy.

A related selective response commits to elements that carry a theory's tested successes, while treating speculative additions more cautiously. Its strongest evidence is convergence across independent experiments, robustness under changes in modelling assumptions, and success on predictions not used to tune the theory. For example, support for a stable electron electric charge need not amount to belief in every current claim about the ultimate nature of an electron. But selectivity must be defensible before a later replacement occurs; choosing surviving components only in hindsight cannot vindicate past realist confidence.

The anti-realist can still explain scientific success by demanding empirical fit and retaining successful models, without inferring truth about unobservables. That response blocks any simple argument that realism is logically compulsory. Conversely, pointing to historical failures does not establish that every presently supported claim will fail. Such an inference would need a justified comparison class, a measure of success and an account of how testing has changed.

The appropriate conclusion is discriminating fallibilism. Changes threaten claims of finality and blanket trust in a theory's full ontology. They can also reveal stable, independently tested relations and improve our understanding of their limits. Scientific realism survives as a qualified position only if it makes those distinctions explicit and remains willing to revise the very commitments it currently regards as best supported.

A form of scientific realism emphasizing warranted knowledge of physical relations or structure despite changes in proposed underlying entities. An account must specify which interpreted relations survive and in which domains, rather than merely point to recurring notation.^[ref]