Past exam of the philosophy of science supplementary subject of the University of Oxford / 2016 (A14139W1)

Source paper: www.whatdotheyknow.com/request/oxford_physics_past_papers_2/response/2340696/attach/4/Physics%20Papers%202015.pdf?cookie_passthrough=1. The cover identifies Hilary Term 2016, 15 March; the annual bundle filename says 2015. All prompts are answered, including both alternatives in question 7.

A useful response to the demarcation problem should identify practices which make claims answerable to evidence without equating scientific status with either truth or prestige. There is a defensible case for demanding testability, serious engagement with contrary results and the possibility of correction. There is a much weaker case for one simple criterion which assigns every past and present activity unambiguously to science or pseudoscience.

Karl Popper's falsifiability criterion makes an important distinction. A claim has empirical content when some possible outcomes would count against it under specified assumptions. A system which can accommodate every conceivable result without changing its commitments lacks that vulnerability. The strength of a risky prediction is precisely that an investigator cannot claim success whichever outcome occurs. This is a methodological criticism of immunizing a claim against testing, not a rule that a false claim must be unscientific.^[ref]

A simple counterexample shows why falsifiability alone cannot settle the whole question. A highly specific astrological prediction can be empirically testable and fail its test. Its logical form does not explain why a community continues presenting it as reliable after repeated failures. Conversely, a promising new physical conjecture may have no practicable decisive test yet, although it belongs to a programme seeking one. Testability in principle, present experimental access and responsible response to evidence are three different matters. Describing an isolated sentence is not always enough to characterize an activity.

Nor does a failed prediction logically identify its culprit. If a theory $T$ and an auxiliary hypothesis $A$ imply an outcome $E$, a contrary outcome establishes $\neg (T\wedge A)$, not uniquely $\neg T$. A damaged detector or an incorrect initial condition may deserve investigation before the target theory is abandoned. The Duhem problem therefore rules out the naive demand to discard a theory after every anomalous reading. It does not license endless rescue: independent calibration, further predictions and interventions can distinguish a justified repair from an ad hoc hypothesis introduced only to evade a result.^[ref]

Imre Lakatos accordingly evaluates a scientific research programme through its development. Alterations which lead to independently corroborated new predictions can be progressive; changes which merely accommodate difficulties without new success are less impressive. The relevant contrast concerns a pattern of inquiry over time. This explains why one temporary anomaly or an initially unsuccessful idea does not determine the status of a whole field. The difficulty is that the judgment may be retrospective, and there is no automatic deadline after which every stalled programme must be rejected.^[ref]

A defensible assessment therefore combines several considerations: specificity of claims, quality and independence of tests, handling of uncertainty, disclosure of methods, willingness to revise, and success in producing further research. None is individually sufficient. Scientific replication can be poor, consensus can be mistaken, and a genuine experiment can investigate a false proposal. These qualifications do not make all approaches equally credible; they make the reasons for a classification more informative than a label alone.

The resulting criterion is satisfactory as a fallible standard for evaluating inquiry, rather than as an exceptionless definition discovered by inspecting the grammar of a claim. For a practical decision, it is often more precise to identify a failure, such as an uncontrolled comparison or a refusal to specify what would count against a prediction. That criticism can remain valid when the exact boundary of science is disputed. The absence of a universal necessary-and-sufficient formula for science does not erase the difference between a tested account and one protected from every possible correction.

General philosophical scepticism has important implications for the standards and limits of scientific justification. It does not follow that scientists must defeat every conceivable deception before undertaking an experiment. The crucial distinction is between a demand for absolute foundations and a criticism which identifies a scientifically discriminable source of error.

Global philosophical scepticism questions whether experience establishes an external world at all. If a proposed sceptical scenario produces exactly the same experiences under every available intervention as an ordinary-world account, repeating a measurement does not separate them. The scientist who calibrates a second instrument has addressed the possibility that the first is faulty, not proved that all experience is independent of deception. Acknowledging that difference prevents experimental controls from being credited with a philosophical achievement they do not establish.

The problem of induction bears more directly on prediction. A finite record does not entail that an observed regularity will continue beyond the examined conditions. David Hume argues that an appeal to the past success of extrapolation cannot supply the missing noncircular justification: it uses precisely the extension from observed to unobserved cases which is in question. The relevant alternative is logically possible, not necessarily scientifically plausible. A sceptical argument exposes a gap in entailment without demonstrating that every logically possible continuation has the same support.^[ref]

For a physical example, measurements may establish a nearly linear relation between electrical resistance and temperature over a limited interval. That record alone does not prove the same linearity at arbitrarily low temperature; a superconducting transition is a concrete kind of physical change which can invalidate such an extrapolation. A scientist can respond by specifying the tested domain, investigating the material's state and using a more appropriate model. Those are improvements to a fallible inference, not a deduction of future regularity from no assumptions.

Similar care applies to instruments. An indicated voltage is evidence only with assumptions about calibration, background signals and the relation between the reading and the target phenomenon. Theory-ladenness does not mean that a detector can report anything whatever. Cross-checks using different physical principles can weaken a particular error explanation, while reversing inputs or using controls can distinguish a true response from drift. Such procedures make doubts specific and testable. They also show why accepting some background assumptions is different from accepting every component of the theory currently under test.

One response to the general challenge is fallibilism. Scientific warrant need not amount to an impossibility of error. An account supported by successful, varied and independent tests can rationally guide action while remaining revisable. Bayesian inference can make this dependence explicit through prior probabilities and likelihoods. It does not prove that the selected hypotheses exhaust reality or that the likelihood model is correct. Philosophical clarity requires stating these limits rather than calling a probability formula a proof against all scepticism.

There is nevertheless a practical difference between global and local doubt. If no possible observation could distinguish two proposed global worlds, choosing between them supplies no instruction for changing an experimental procedure. If contamination or a mistaken response function could explain a signal, there may be a clear next intervention. Scientists can proceed with the second inquiry without first resolving the first. This is not a logical refutation of the global sceptic; it explains why unresolved global doubt need not paralyse comparative investigation.

Thus the general problems matter by limiting claims to certainty, distinguishing deduction from empirical inference, and directing attention to assumptions. Their most useful scientific expression is a disciplined search for identifiable error. They do not imply that robustly tested models and unconstrained guesses are epistemically indistinguishable. An argument that certainty is unavailable needs an additional premise to become an argument that no difference in warrant is possible.

The problem of induction concerns the justification of inferences which go beyond what their premises deductively entail. Observing a regularity in examined cases does not by itself entail that it holds in the next case, elsewhere, or under new conditions. The problem is broader than induction by simple enumeration, although that is a convenient place to start.

David Hume separates demonstrative reasoning from reasoning about matters of fact. Denying that the next event resembles previous ones is not a contradiction. To justify the projection by saying that nature has been regular, or that previous projections succeeded, therefore appeals to further experience. Extending that experience to the unexamined case repeats the disputed step. The challenge is to supply a justification which neither assumes the needed uniformity nor covertly uses induction to validate induction.^[ref]

The scientific content is easy to expose with a finite data set. Suppose measured pairs are $(x_i,y_i)$ and $f(x_i)=y_i$. Every functionagrees with those measured values, while generally differing elsewhere. This construction is not a claim that every such function constitutes an equally good physical theory. Smoothness, dimensional constraints, known mechanisms and other experiments can restrict the candidates. It shows only that the finite observations alone do not deductively fix a unique continuation. The extra grounds for preferring one are part of the justificatory question.

A probabilistic answer can weaken the conclusion from certainty to support. For Bernoulli trials independent conditional on a common unknown success chance $\theta$, a uniform prior distribution gives the posterior density $(n+1){\theta }^n$ after $n$ successes. The posterior predictive probability of another success isThe model represents rationally increasing confidence conditional on its sampling assumptions and prior. It does not derive the suitability of that prior, independence, or a stable chance from logic alone. It also distinguishes prediction from a universal generalization: under this continuous prior, $P(\theta =1)=0$ both before and after any finite number of successes. A separate positive probability mass at one is needed if that exact possibility is to receive positive posterior probability mass. This is a useful mathematical clarification of the problem, not a final answer to it.

Karl Popper's falsificationism offers a different response. One need not positively establish a universal theory to expose it to severe tests and reject a theoretical package whose prediction fails. The deductive inference is valid. Nevertheless, deciding that a surviving theory is a better guide to a future application still demands an account of why its past survival matters, and deciding which assumption failed raises the Duhem problem. Rejecting inductive proof therefore does not automatically justify every practical preference among surviving conjectures.^[ref]

A pragmatic defence instead asks what procedure is sensible when predictions must be made. It can recommend methods responsive to evidence, acknowledge the risk of failure and compare their performance under explicit assumptions about the possible environment. Such a defence changes the demand from an unconditional proof of future success to a conditional recommendation. It would overreach if it claimed, without restricting environments, that one rule must outperform every competitor on every future sequence.

A naturalistic response explains why organisms form expectations and why reliable inquiry corrects them; a modest justification can appeal to coherence with other well-supported commitments. These responses may be worthwhile even if they do not meet a demand for a justification from outside all empirical practice. The choice is not simply between an impossible certainty and complete intellectual anarchy. The most defensible position is that the classical noncircular guarantee remains unavailable, while domain-specific models, tests and error estimates can support fallible expectations. Calling this a solution requires saying which problem has been answered and which foundational demand has been relinquished.

Bayes' theorem solves a precise part of the scientific confirmation problem: it gives a coherent relation between prior commitments, evidential likelihoods and updated probabilities. It does not select those commitments from no premises, and it should not be identified with every meaning of confirmation.

For background information $K$, a hypothesis $H$ and newly considered evidence $E$, let $p=P(H\mid K)$, $a=P(E\mid H,K)$ and $b=P(E\mid \neg H,K)$. With a positive denominator,The first formula requires a positive denominator; the odds formula additionally assumes $0<p<1$ and $b>0$. The second equation separates prior odds from the Bayes factor. For $0<p<1$, the evidence raises the probability of $H$ exactly when $a>b$. It is not enough that $E$ is likely under $H$; it must be more likely than under the relevant alternative mixture. This guards against an inverse-probability error in evaluating scientific tests.

For example, let the prior be 0.01 and the two likelihoods be 0.8 and 0.08. The Bayes factor is ten, but the posterior probability is only $10/109\simeq 0.0917$. The evidence strongly favours $H$ relative to its previous odds without making $H$ probable in an absolute sense. Evidence can therefore confirm a hypothesis while leaving a rational investigator doubtful. The comparison also depends on which alternatives are included in $\neg H$ and how their probabilities are distributed.

The raven paradox shows another benefit. Logically equivalent claims receive identical probabilities in the same probabilistic model, but this does not force every investigation of a white object to provide the same evidence about ravens. If an object is selected because it is already known to be a shoe, observing that it is not a raven may have equal likelihood under the rival hypotheses and provide a Bayes factor of one. Random selection from a specified population can give different likelihoods. The sampling procedure and background information must be represented, rather than letting a grammatical positive-instance rule determine evidential support.^[ref][ref]

The problem of old evidence is a genuine limit of the simplest updating account. If $E$ already belongs to $K$, conditioning on it again produces no increase. Yet an old measurement can be important support for a newly formulated theory. One may assess support relative to a specified earlier or counterfactual background, or model learning a previously unrecognized connection between theory and evidence. These are substantive additions. Simply applying the same conditioning rule to an already certain fact does not represent the new intellectual achievement.^[ref]

Other limitations concern model construction and priors. A hypothesis assigned zero prior probability remains at zero after ordinary conditioning on evidence of positive total probability. A badly specified likelihood can generate confident but unreliable results. Different reasonable priors need not disappear under finite or non-discriminating evidence. Nor does the theorem supply a noncircular solution to the problem of induction: the model's connection to future physical events remains an empirical commitment.

Thus the Bayesian framework gives a rigorous account of probability change, comparison of alternatives and some apparent paradoxes. These are real achievements. It is incomplete as a general recipe for scientific judgment unless the hypotheses, backgrounds, likelihoods and forms of learning are also defended. A mathematical rule of coherent updating can organize evidential reasoning without establishing that every coherent input represents nature correctly.

The no-miracles argument, in its familiar form, principally supports claims about the truth or approximate truth of successful theories. It is not naturally an argument for the bare existence of theoretical entities independently of the correctness of what is said about them. Entity realism can share its interest in scientific success while relying on a different and more local evidential argument.

Hilary Putnam's formulation treats the success of mature science as something requiring explanation. If theories describe relevant features of the world approximately correctly, their predictive and practical achievements become intelligible. If their central claims are far removed from reality, the same success appears surprising. The proposed inference uses abductive reasoning: accept the explanatory account which best makes sense of the achievements. It is not a valid deduction from successful prediction to truth, since a false theory can yield true consequences.^[ref]

The content of the explanandum matters. If the achievement is a quantitatively accurate prediction from equations about charges, fields and interactions, saying merely that electrons exist leaves most of that accuracy unexplained. Their existence is compatible with innumerable false accounts of their behaviour. A realist explanation of this success must therefore retain some trustworthy description of relevant properties or structure, not only an inventory of entities. This need not mean accepting every idealization or every speculative extension of the full theory.

Ian Hacking's intervention-based case for entity realism shifts the emphasis. Once investigators reliably use electrons to produce or investigate other phenomena, the entities are functioning as experimental tools rather than merely appearing in an explanatory story. Their causal powers can be supported across different apparatuses and theoretical descriptions. This provides a way of committing to particular entities while remaining selective about high-level theory. The argument rests on how the entities are manipulated, not simply on the statement that an encompassing theory has been successful.^[ref]

That position has limits too. Identifying the instrument, controlling its effects and distinguishing those effects from alternatives require some theoretical assumptions. Entity realism cannot plausibly mean that an investigator believes literally nothing about the properties or causal roles of an entity. Its more defensible form distinguishes localized, repeatedly usable knowledge from commitment to a complete theoretical picture. One can accept robust causal regularities about an electron source without treating every claim of a fundamental theory as equally established.

The principal challenge to the general no-miracles argument is that history contains successful theories with rejected central posits. The pessimistic induction presses the example of theories of light which retained a mechanical luminiferous aether, or accounts of combustion which included phlogiston. Such cases defeat an unrestricted inference from some success to the truth of every central assertion. A selective realist may ask which parts produced the successful predictions and which relations survived change. That reply must identify those parts with evidence; labelling an entire abandoned theory approximately true without explaining the retained content would merely rename the problem.^[ref][ref]

A constructive empiricist can also agree that theories are successful while treating empirical adequacy, rather than full truth about unobservables, as the appropriate aim of acceptance. The dispute then includes whether explanatory superiority licenses belief in the proposed unobservable account. Calling alternatives miraculous does not settle that epistemic issue by definition.^[ref]

The resulting judgment is selective. The original explanatory form reaches beyond entity existence toward a trustworthy representation of how nature works. It can support entity commitments as part of that representation, but cannot by itself isolate entity realism from all theory realism. Conversely, experimental manipulation can provide particular reasons for entity belief without establishing the whole no-miracles inference. Both arguments are strongest when they specify the achievement, the alternatives and the exact realist commitment being defended.

The claim is defensible if it means that whether an object is observable does not change merely because an investigator adopts a different theory. It is indefensible if it means that one can identify every observable object without empirical knowledge or theoretical assumptions. Bas van Fraassen's distinction between those two kinds of dependence is essential to assessing his position.

For constructive empiricism, observability is a relation to an epistemic community and its perceptual capacities. An object need not actually have been seen to be observable: there may be circumstances in which members of that community would perceive it. This differs from the claim that everything which exists is observable, and from the claim that something exists merely because it would be observable if present. A hypothetical macroscopic animal can satisfy the latter conditional without existing. Empirical adequacy consequently concerns more than agreement with the observations already recorded.^[ref]

There is a plausible objective component. Human eyes and nervous systems have physical capacities and limitations; changing one's account of them does not immediately change those capacities. Two theories may disagree about whether a particular object could be perceived under specified conditions, just as two theories can disagree about its temperature. The fact at issue need not be relative to the theories merely because the descriptions are theoretical. Confusing knowledge of a fact with the constitution of that fact would make almost every scientific question theory-dependent in an unhelpfully sweeping sense.

Nevertheless, inquiry into perceptual limits uses optics, physiology and psychophysics. It may involve assumptions about illumination, contrast, visual resolution and the relation between stimulus and response. An investigator cannot infer that every such assumption is harmless simply by declaring the underlying fact objective. Judgments about unperformed or impossible viewing situations are particularly demanding. Theory-ladenness of the evidence is therefore compatible with the modest independence claim, while creating a problem for any stronger promise of a wholly theory-free boundary.

Instruments sharpen the issue. A visible detector spot can be an observable event even when the particle inferred to have caused it is not itself perceived. Bas van Fraassen treats instruments as arrangements producing new phenomena to be represented, rather than automatically as windows making every inferred microscopic entity observable. His later discussion explicitly distinguishes detection by instruments from perception. Accepting that distinction does not require denying the reliability or scientific importance of the detection.^[ref]

A realist may object that the resulting boundary gives an undue epistemic privilege to unaided perception. Calibration and convergence among independent instruments can support a microscopic explanation as powerfully as some ordinary perceptual claims. That objection challenges the role of the distinction in governing belief, rather than showing that there are no objective facts about human perception. It is possible to accept the physiological distinction while denying that it marks the proper stopping point of scientific commitment.

There is also a reflexive question. If scientific theories disclose the boundary, how can an empiricist use those theories without already believing all their claims about unobservable mechanisms? A possible answer is to accept and use models while restricting belief to their adequate representation of observable capacities and effects. Whether that answer suffices depends on how much unobservable structure is indispensable to the particular boundary judgment. The issue cannot be resolved by either assuming all theory true or claiming that using a theory invariably amounts to believing every part of it.

The strongest conclusion distinguishes three propositions. Observability can be an objective but human-relative physical matter; our knowledge of its limits can remain theory-mediated and revisable; and the epistemic privilege assigned to that distinction can still be contested. Bas van Fraassen is right to reject the idea that a change of descriptive theory itself alters what our perceptual organs can do. He is not thereby entitled to a theory-free classification of every case or to a demonstration that belief about unobservables is always unwarranted. The disputed quotation supports the first distinction most plausibly, not those stronger conclusions.

The history of science is relevant wherever a philosophical claim concerns how inquiry actually develops, what its methods accomplish or what successful theories warrant us in believing. It cannot by itself determine every normative question about rationality. A historical event supplies evidence to an argument; it is not a rule that whatever scientists did must have been rational.

Thomas Kuhn's The Structure of Scientific Revolutions by Thomas Kuhn makes this relevance explicit. Its historical approach challenges the picture of development as the straightforward accumulation of facts and theories under an unchanging method. Investigations conducted within a shared framework can concentrate on puzzle-solving rather than on constant attempts to overthrow their foundations. Episodes of larger change can alter the relevant problems and standards. This is evidence that a philosophical account purporting to describe all successful inquiry must accommodate more than an isolated hypothesis confronted by an isolated observation.^[ref]

The force of a historical example depends on the claim being tested. If a methodology says that rational scientists must reject a theory at its first anomalous reading, a well-documented case of productive work through anomalies is a serious objection to its descriptive adequacy and possibly its practical advice. It does not refute the validity of a deductive rule. From a failed prediction one still infers that some element of the predictive package is wrong; history helps show why identifying that element is not automatic. The Duhem problem supplies the logical distinction, while historical investigation identifies how calibration, alternative explanations and further experiments were actually handled.

History is also central to the pessimistic induction. If some once-successful theories contained rejected posits, predictive success does not guarantee that every theoretical term refers. The replacement of phlogiston theory by an oxygen theory of combustion is philosophically relevant precisely because it changed explanatory roles and material accounting, rather than simply replacing an unpopular name. A responsible comparison examines what each version predicted, how it was modified and which experimental findings were decisive. It should not attribute one conveniently absurd doctrine to every earlier investigator.^[ref][ref]

A realist can respond by distinguishing the parts responsible for success from other commitments or by identifying structure retained across change. This response itself has historical content. It must show the connection between the retained relations and actual achievements, rather than drawing a retrospective line through whatever resembles the present theory. History can constrain both the objection and the defence. It does not uniquely choose between realism, structural realism and empiricism without further epistemic premises.

There are limits to the evidential role. A logical objection to an invalid inference does not require counting how many famous investigators used it. Nor does a prevalence of a practice establish its justification. One must distinguish an account of why a community accepted a view from an argument that the view was supported by the evidence. The context of discovery and the context of justification can be distinguished analytically without assuming that the circumstances of discovery never supply information relevant to justification.

Historical work also requires interpretive care. Sources written for patrons, students or critics can present an ideal of method rather than a complete record of practice. Later terminology can conceal changes in a term's role. Selecting only the eventual winners encourages historical presentism and an exaggerated appearance of inevitability. These are reasons to improve the source-based inquiry, not reasons to ignore it.

The qualified answer is therefore affirmative. History provides counterexamples, identifies live alternatives and tests sweeping pictures of progress, method and theoretical commitment. Philosophy helps formulate what would count as a counterexample and which conclusions the evidence supports. Neither discipline replaces the other. Their interaction is most productive when an explicit general claim is confronted with a carefully reconstructed case, leaving the normative or logical steps visible rather than treating a historical narrative as a self-sufficient verdict.

There are good examples of incommensurability when the claim is that some scientific terms and standards cannot be carried unchanged from one framework into another. They do not establish that rival theories cannot be understood, compared or rationally assessed. The strongest cases concern local interrelations among concepts, rather than a total absence of common experience or language.

The chemical transition associated with phlogiston provides one example. In a phlogistic account, a metal could be treated as a calx combined with phlogiston, with calcination involving the removal of that principle. In an oxygen theory of combustion, the relation is reorganized: the metal combines with oxygen to form the calx. Replacing one word with another while leaving every explanatory relation fixed does not translate the earlier system into the later one. The classifications of elements, compounds and principles are implicated together.^[ref]

This illustrates semantic dependence within a conceptual network. It does not entail that historians cannot reconstruct earlier claims. They can learn how the older vocabulary was used, describe the associated operations and compare its expectations with experimental records. Thomas Kuhn's later treatment distinguishes such interpretation and language-learning from supplying a sentence-by-sentence translation into an unchanged later vocabulary. Explaining the earlier practice need not produce a modern expression which preserves every inferential role of each old term. The fact that the example can be discussed is therefore not, on its own, a refutation of this more restricted thesis.^[ref]

A second example is the changing classification of planets. An Earth-centred arrangement can classify the Sun and Moon with the wandering celestial bodies while excluding the Earth. A heliocentric model reorganizes those relationships: the Earth is a planet and the Moon orbits it. A word-by-word substitution loses a change in the categories and relations used to frame the problem. Yet the investigators can still share observations of apparent positions and disagree about how to explain them. A change in classification is not proof that they inhabit incomparable worlds.

The comparison of Newtonian and relativistic momentum is particularly useful for limiting the claim. With invariant rest mass $m_0$, modern special relativity gives $p=\gamma m_{0}v$, whereas Newtonian mechanics uses $p=mv$. Here $c$ is the speed of light and $\gamma$ is the Lorentz factor. For $v/c\ll 1$ and matched rest-mass convention,This supplies a precise comparison of predictions within a domain. It does not derive all the older interpretation from the newer one with every concept unchanged. Conversely, it would be false to claim that relativity universally replaces invariant mass by a velocity-dependent quantity: invariant rest mass is a standard part of the relativistic account. The historical use of relativistic mass must be distinguished from this convention. For example, at $v=0.6c$, the invariant rest mass is still $m_0$ while $p=0.75m_{0}c$; defining relativistic mass as $p/v$ would give $1.25m_0$. These conventions must not be silently identified. A changed conceptual setting and a controlled mathematical relation between models can coexist.

Methodological differences supply another sense of incommensurability. Investigators may disagree about which problems are central, how much explanatory mechanism is required or how competing virtues should be weighted. Such disagreement can obstruct an algorithmic verdict without abolishing shared values such as accuracy or consistency. Shared criteria may themselves be applied differently. Neither fact demonstrates that no reasons can be offered across the disagreement.^[ref]

The conclusion is accordingly local and discriminating. Chemical kinds, astronomical categories and physical quantities can change their roles in ways not captured by a simple dictionary of synonyms. These examples challenge an account of progress as the addition of truths expressed in an eternally fixed vocabulary. They do not establish wholesale untranslatability, the impossibility of learning a rival framework, equal evidential merit or the irrationality of theory choice. To defend a stronger conclusion one would need to identify the precise comparison that fails and explain why available interpretation, common observations and domain-limited mathematical correspondences cannot repair it.

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.