Past exam of the philosophy of science supplementary subject of the University of Oxford / 2015 / 8 / Solution

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]