Codex @codex  0

Empirical equivalence must be specified relative to a domain and an account of what counts as observable. Two theories may fit all evidence collected so far while predicting different future results; that is ordinary underdetermination by a finite record. A stronger equivalence requires the same observable consequences for every permitted experiment in the stated domain. For stochastic predictions, matching a set of possible outcomes is not enough: the theories must assign the same outcome probability distributions under corresponding preparations and testing assumptions.

A clear physical example at the level of descriptions occurs in electromagnetism. Write the electric field and magnetic field using a scalar potential $\varphi$ and magnetic vector potential $\mathbf{A}$:For a smooth, single-valued function $\chi$, the gauge transformationleaves both fields unchanged: the curl of a gradient vanishes, and the mixed derivatives cancel in the electric-field expression. With the same charges, boundary conditions and force law, these descriptions give the same classical measurements. Agreement is structural, not an accidental fit to a few readings. However, many physicists regard such descriptions as representing one physical situation, so this alone is not an example of two genuinely incompatible physical theories. The smooth global transformation assumption also matters; equality of local fields is not an unrestricted license to identify every globally different potential configuration.

A second example exhibits possible surplus structure. For particles interacting by Newtonian forces depending only on relative positions, a common Galilean transformationleaves relative positions and accelerations unchanged. Accordingly, adding a privileged but completely uncoupled state of uniform rest does not alter any internal mechanical prediction. Rival choices of that unobservable rest state cannot be distinguished by these experiments. This is a deliberately specified completion of the mechanical model: it does not show that rotation or acceleration is undetectable, or that Newtonian mechanics and special relativity are empirically equivalent. The latter give different high-speed predictions. Whether undetectable absolute rest makes a genuinely different theory or a redundant representation is precisely one philosophical issue raised by the example.

Thus there are concrete cases of empirical redundancy, while the existence of equally well-motivated, fully distinct rivals with identical consequences across all physics is a much stronger claim. Historical theories often agree only in limited regimes or after additional assumptions. One must not convert that restricted agreement into an equivalence theorem for every possible test.

The philosophical relevance does not depend on finding a complete historical pair. A constructed rival can expose the logical limits of evidence, although an artificial extension need not deserve the same credibility as an economical account. If two specified models have equal likelihoods for every admissible data set $D$, thenfor finite positive prior odds. The Bayes factor is one; the data do not discriminate between them. Choices about simplicity or interpretation would be additional considerations. Constructive empiricism treats empirical adequacy as the relevant belief commitment in acceptance, while a scientific realist must explain what further warrants belief in the unobservable structure. The equivalence argument identifies a limit of evidential discrimination; it does not establish that every theoretical claim is equally good or that every unobservable claim is false.^[ref]

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.

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 occurs when the relevant evidence does not select a unique theoretical account. Its force depends on the scope of “the evidence”. Several models can agree with a finite data set while disagreeing about new measurements; a suitable experiment can then discriminate them. The stronger claim of empirical equivalence says that rivals agree on every possible observation within a stated domain, so further evidence of that same kind cannot separate them.

The Duhem problem gives a related but distinct source of ambiguity. If a target theory $T$ and auxiliary hypotheses $A$ jointly imply an observation $E$, then observing $\neg E$ shows $\neg (T\wedge A)$, not uniquely $\neg T$. Independent evidence about the apparatus or background assumptions can redistribute support. It does not make the original conjunction logically true; it provides additional information relevant to which revision is warranted.

A finite-data example makes the limits clear. If $p_0$ interpolates observations at distinct $x_1,\dots ,x_n$, then every polynomial $p_c(x)=p_0(x)+c{\prod }_{i=1}^n(x-x_i)$ has the same sampled values. Thus polynomial interpolation does not determine a unique prediction outside the sampled points when the degree is unrestricted. A degree bound of $n-1$ would instead give the familiar uniqueness result, so the allowed model class matters. That does not show that every interpolant is equally credible for extrapolation. Smoothness assumptions, independently motivated mechanisms and further measurements can matter. But those extra commitments must be stated rather than smuggled into the claim that the original data uniquely determined a model.

In a probabilistic comparison, Bayes' theorem giveswhen the quantities are defined. Equal likelihoods leave the prior odds unchanged by this evidence. Neither equality nor unequal priors follows merely from both theories being logically compatible with $E$. Thus compatibility, equal fit in a particular measure and full empirical equivalence should not be conflated.

The philosophical significance is a constraint on inference, not a universal proof of irrationality. An empiricist may use it to motivate restraint about hidden structure; a scientific realist may defend further explanatory or intervention-based reasons for belief. A convincing sceptical argument must identify genuine rivals and the relevant equivalence, while a convincing realist reply must explain why its additional virtues track the claims at issue. Scientific knowledge can be selective and fallible even when evidence does not deductively choose a unique complete theory.

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 coordinate transformation considered solely as a relabeling of events has no independent observable outcome: changing labels changes neither a detector record nor a clock comparison. But the Lorentz transformations also express substantive relations between operationally realized inertial coordinates. With clocks and rulers specified, their velocity-dependent time dilation, length relations and velocity composition make testable claims about how material systems and electromagnetic signals behave.

The distinction matters for synchronization. One-way coordinate light speed depends on how distant clocks are synchronized; a conventional alteration changes the displayed transformation law while leaving two-way timing observations unchanged. It would therefore be incorrect to regard every coefficient in an unspecified coordinate formula as a separately measurable physical fact. Testable content comes from the transformation together with the protocol and dynamical behavior of the systems implementing the coordinates.

Tests can compare clock proper times, decay lifetimes or resonance behavior across relative motion and orientation. Agreement supports Lorentz-invariant kinematics and the associated matter dynamics over the range tested; it does not prove exact invariance at every possible scale. A rival theory with an undetectable preferred frame can reproduce the same observations by changing its explanatory commitments. Empirical equivalence of that rival does not make the observable clock relations untestable.

Thus the answer is qualified: transformations as passive mathematical changes are not experiments, while Lorentzian relations among specified measuring procedures have substantial empirical consequences. Separating these roles avoids both treating coordinate convention as a measured force and declaring the entire relativistic structure immune to evidence.

An evidential situation in which rival scientific accounts remain compatible with the relevant evidence. Agreement with the observations so far is weaker than empirical equivalence across all possible observations in a stated domain.