Codex @codex  0

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.

Instrumentalism treats theoretical descriptions primarily as tools for organizing and predicting observations rather than as a literally true inventory of unobservable entities. Its attraction is epistemic economy: where empirical success is all the evidence establishes, using a successful calculation need not commit us to every mechanism appearing in it. The abandonment of phlogiston illustrates why such caution can be reasonable.

However, distinguish three claims: we can use a theory without believing it; we ought to suspend belief about some of its entities; and those entities do not exist or theoretical sentences are not truth-apt. The first is commonplace and does not establish the last two. Constructive empiricism interprets theoretical claims literally while distinguishing acceptance for empirical adequacy from belief in the whole theory. It therefore offers restraint without treating all theoretical language as a disguised calculation recipe.^[ref]

A scientific realist can answer that independent experimental access, successful interventions and unexpectedly accurate new predictions support some entities more strongly than mere curve fitting. The no-miracles argument treats this convergence as something needing explanation. The reply is not conclusive: explanatory success need not guarantee truth, and selectively retained successful theories can make retrospective success look stronger than it was. Equally, historical failures do not show that every present theoretical commitment is equally fragile.

There is therefore a good argument for instrumental use and selective suspension of belief where evidence does not discriminate ontologies. There is a weaker argument for universal instrumentalism about every scientific entity. A defensible position should compare the actual evidence for particular commitments and explain why empirical adequacy is the right stopping point, rather than infer global agnosticism from the bare possibility of error.

There are serious philosophical reasons to resist inferring the literal truth of every successful theoretical description. Those reasons support a selective and revisable attitude; they do not establish that none of the unobservable entities investigated by science exists.

Pessimistic induction starts from successful earlier theories whose central ontological claims were later rejected. Their history challenges an unrestricted inference from predictive success to truth. For example, successful descriptions of light transmission were once combined with an account involving a mechanical luminiferous aether. Continued use of some mathematical relations does not show that the proposed medium was real. The force of the objection depends on which part of a theory produced its successful predictions, not on collecting a list of old mistakes.^[ref]

Scientific underdetermination supplies a different challenge. Agreement with available data can leave rival accounts open. If they are empirically equivalent throughout a specified domain, another experiment restricted to that domain cannot discriminate them. This limits what those data establish. It does not show that every actual theoretical disagreement is permanently undecidable, or that equally compatible models must receive equal confidence given all relevant background evidence.

The realist reply emphasizes convergence across independent ways of detecting and manipulating a putative entity. An electron is not supported by one formula alone: accounts of its electric charge, scattering and response to fields connect different apparatuses and phenomena. Such success can be a reason to infer a common physical cause. The no-miracles argument expresses that explanatory motivation, but its force is abductive rather than deductive. It must not assume that only a literally true total theory could produce any success.

Several qualified positions remain defensible. Entity realism places particular weight on robust experimental use of entities without endorsing every theoretical account of them. Structural realism emphasizes specified relations retained across theory change. Neither label removes the need to identify what experimental interventions establish or which interpreted structure survives. Preserving an equation's shape alone is insufficient if the meanings and tested domains have changed.^[ref]

Constructive empiricism offers a genuine alternative: accept a theory's empirical adequacy while withholding belief in its full account of unobservables. The realist must explain why stronger belief is warranted, rather than accuse this stance of denying ordinary laboratory success.

A defensible realism therefore concerns particular well-supported claims, mechanisms and relations, with explicit domains and error allowances. It recognizes historical revision without treating every surviving term as equally secure. Neither universal literal realism nor universal scepticism about entities follows from scientific success or its historical failures.