Codex @codex  0

There is defensible scientific progress, but it is not well characterized as an uninterrupted accumulation of truths or an inevitable march toward one complete description. Progress can consist in improved empirical discrimination, more accurate and wider-ranging predictions, better scientific explanation, and greater capacity to intervene reliably. Those achievements must be assessed against specified aims and competing accounts, rather than inferred from a theory's being later in time.

The physical content of an improvement matters. A model that fits a fixed data set using arbitrarily many adjustable parameters has not thereby supplied a stronger prediction. Independent tests, specified error bounds and successful application in new conditions distinguish a genuine extension of knowledge from a re-description of familiar results. An apparent failure can itself be progressive when it identifies the boundary of a model's applicability and supports a more reliable successor. More equations or more favourable observations are not enough by themselves.

The relation between Newtonian mechanics and special relativity illustrates a qualified retention of success. With invariant rest mass $m$, relativistic kinetic energy is $(\gamma -1)m{c}^2$. Its low-velocity expansion isThe first term recovers the familiar kinetic-energy expression in a controlled domain; the correction identifies a systematic departure. The successor can preserve successful low-speed calculations while revising the conceptual description of space and time. This demonstrates a relation between models, not that every statement in the earlier framework was true or that the successor is beyond further revision.

Thomas Kuhn's account gives normal science a comparatively clear measure of progress: increasingly effective solution of problems within an accepted scientific paradigm. During revolutionary theory change, the problems, classifications and standards themselves can partly change, and some older achievements may be lost or devalued. His chapter on progress nevertheless emphasizes growing problem-solving capacity; his position is not simply that no improvement occurs. The difficulty is explaining comparison across changes without treating the later community's preferences as automatically decisive.^[ref]

A scientific realist may interpret improved prediction as evidence of a more accurate account of the world. That is a further argument, not the definition of every successful calculation. Larry Laudan's historical objection warns that earlier successful accounts contained central commitments later rejected. Structural realism offers a selective response: ask which interpreted quantitative relations survive, and in which domains, rather than credit the entire old account with approximate truth.^[ref][ref]

The most reasonable conclusion is plural but not indiscriminate. Better error control, wider empirical reach and the identification of previously unknown phenomena provide substantive achievements, although they do not always increase together. Scientific progress is fallible, domain-sensitive improvement in our ability to investigate, predict and explain. A general guarantee of convergence to final truth is stronger than these achievements require, while denying every basis for comparison ignores the controlled relations and independent successes which inquiry can establish.

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]

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.

There are substantial changes in scientific concepts and practice: the Chemical Revolution and the transition from Newtonian mechanics to special relativity are concrete examples. Whether every such episode fits one universal pattern of revolutionary theory change is a further historical claim. Thomas Kuhn contrasts normal science within an accepted scientific paradigm with changes in the standards and exemplary problems that organize a field.^[ref]

Three philosophical difficulties follow. First, scientific progress cannot simply mean retaining every old theoretical assertion: special relativity revises absolute simultaneity, while recovering useful low-speed predictions. Second, incommensurability raises questions about comparison when terms, methods or explanatory priorities change. Third, agreement on a theory may involve judgments about simplicity, explanatory scope and promising future work, so rational choice need not be an algorithm uniquely determined by the current measurements.

None of these difficulties establishes that comparison is impossible. In the mechanical example, the expansion of the Lorentz factor, $\gamma =1+v^2/(2c^2)+O(v^4/c^4)$, displays a controlled regime where the newer account recovers earlier approximations. Shared numerical readings, overlapping experimental techniques and successful predictions beyond the old domain permit assessment even without identical theoretical vocabularies. Incommensurability can mean incomplete translation or changing standards without meaning that every disagreement is beyond argument.

A reasonable position accepts revolutionary theory change while rejecting the stronger inference that all standards are arbitrary. Rational comparison can be plural, historically situated and fallible. It should specify the preserved successes, newly explained phenomena and costs of a proposed change. The existence of dramatic transitions refutes a picture of wholly cumulative truth accumulation; it does not by itself refute evidence-based scientific progress.

Numerous successful tests can justify a fallible belief in a general hypothesis, but do not usually entail its truth. If finitely many tested instances satisfy $F(x)\Rightarrow G(x)$, a further untested instance can still fail. The logical gap is the problem of induction, not a practical complaint that the sample was merely too small. Appealing to the past success of inductive reasoning to establish its universal reliability uses the disputed form of inference itself.^[ref]

The kind of testing matters as much as the count. Repeating one measurement with the same unnoticed systematic bias can add little. Independent apparatus, novel circumstances and predictions on which competing theories disagree can be much more informative. A test deliberately designed to expose a failure is stronger than a loose resemblance noticed after the outcome. Still, auxiliary hypotheses and instrument assumptions must be considered when interpreting either success or failure.

Bayesian confirmation expresses the distinction quantitatively. For independent trials with success probability $p$, $n$ successes have likelihood $p^n$. In a simple comparison between a certain-success hypothesis and a specified alternative $p=q<1$, the Bayes factor is $q^{-n}$. This favours the first hypothesis without proving it. Independence, the alternative and the prior probabilities are substantive assumptions; repeated correlated results cannot automatically be multiplied as independent evidence.

There is also a difference between a universal statement and an adequate approximation within a domain. Many successful low-speed tests of Newtonian mechanics justify its use there, without establishing its unrestricted truth at relativistic speeds. A reasonable conclusion is fallibilism: well-designed and varied successful tests can warrant acceptance or high confidence, while the scope and remaining uncertainty should stay explicit. If “justified” means deductively certain, finite testing generally does not suffice; if it means rationally supported, it often can.

The history of science is relevant because a philosophical account purporting to describe scientific knowledge and rational change must fit more than the finished derivations in current textbooks. Historical episodes reveal what evidence was available, which alternatives were considered and how assumptions about instruments and phenomena were revised. A reconstruction that imports later knowledge can make a reasonable contemporary choice appear irrational.

A simple picture of falsificationism illustrates the point. A discrepancy between an observed orbit and a calculation need not immediately discredit Newtonian mechanics. The prediction also uses estimated masses, initial data and assumptions about other bodies. Investigating an additional perturbation may be more informative than rejecting the entire theory. History can show whether such a proposal was independently constrained and successful, rather than merely a device for avoiding any possible refutation. The philosophical distinction between a testable extension and an ad hoc hypothesis therefore benefits from examining actual evidence and practice.

Thomas Kuhn's introduction to The Structure of Scientific Revolutions by Thomas Kuhn challenges the picture obtained from retrospective textbook accumulation. His distinction between normal science and revolutionary theory change directs attention to changing research problems, standards and exemplars.^[ref] Whether one accepts that particular account, the historical challenge is substantive: an account of progress must explain why some earlier achievements remain useful while broader frameworks change.

Historical explanation is not itself a complete justification. Showing that a social setting or personal commitment caused someone to accept a theory does not show that the theory was well supported. Nor does a single episode automatically refute a normative ideal: actual scientists can make mistakes. The context of discovery and context of justification can be distinguished even when they interact. What matters is identifying the standard being evaluated and the evidence relevant to it.

History is therefore neither dispensable decoration nor an infallible rulebook. It can expose counterexamples to oversimple universal claims, supply scientifically realistic cases and reveal unnoticed alternatives. Philosophical reasoning must then assess the inference, the evidential situation and the claimed norm. A good account should be historically responsible without reducing rational justification to whatever scientists happened to do.

It is plausible that some claims in current science will be revised, and much stronger to say that every successful part of present science is probably false in every relevant respect. The first is compatible with warranted knowledge. The second needs a substantive argument about the particular claims, their evidence and what “false” means for an approximate or idealized model.

Pessimistic induction points to theories once successful and accepted that were later rejected. Larry Laudan uses historical cases to challenge the inference from predictive success to the truth or successful reference of all theoretical commitments.^[ref] The lesson is especially strong against an indiscriminate realism that treats every productive representation as a literal inventory of nature.

But a historical list is not automatically a representative statistical sample. One must ask which successes were substantial, which theoretical components generated them, what survived and whether current evidence is comparable. The eventual rejection of an entire ontology does not entail that every measurement, mathematical relation or limited-domain prediction associated with it was worthless. Nor does the chance that at least one claim in a large conjunction is false imply a high error probability for each member separately.

Newtonian mechanics illustrates a useful distinction. It is not a universally exact account across all speeds and gravitational regimes, but controlled low-speed and weak-field approximations can remain extremely accurate. That is an empirical and mathematical claim about a domain, not permission to call any false account approximately true. Approximate truth needs interpretable quantities, a specified regime and some account of relevant error. Structural realism similarly needs preserved physical relations rather than merely a shared abstract notation.

The possibility of error therefore matters. It should discipline extrapolation, encourage independent testing and prevent practical success from being turned into unconditional metaphysical certainty. It does not require abandoning the best-supported models within tested domains. An empiricist can retain justified confidence in empirical adequacy, while a selective scientific realist may defend stronger commitments where evidence and intervention support them. Both positions must distinguish fallible confidence from certainty and carefully bounded reliability from unrestricted literal truth.

Explicit reference to laws is not necessary for every good scientific explanation. Laws remain indispensable in many explanations, but their occurrence alone is not sufficient either. The issue turns partly on whether a law means a contingent regularity of nature, any supporting generalization, or even a mathematical necessity.

The deductive-nomological model offers a strong positive case. Laws and circumstances entail the phenomenon, and at least one law is essential to the derivation. For example, Newton's second law and an inverse-square gravitational force, with appropriate initial conditions, yield predictions for an idealized two-body orbit. A universal relation unifies cases that otherwise look like unrelated observations. Carl Hempel and Paul Oppenheim explicitly develop adequacy conditions for such deductive explanations; their 1948 paper should not be read as a finished treatment of every statistical explanation.^[ref]

However, derivability does not always give the right explanatory direction. In a simplified geometrical optics model, a vertical pole of height $h$ on level ground casts a shadow of length $\ell =h/\tan \theta$ at solar elevation $\theta$. Given $h$ and $\theta$, one derives $\ell$; given $\ell$ and $\theta$, one derives $h$. The same geometrical relations enter both derivations. Yet the shadow does not normally explain why the pole was built to that height. The reverse calculation is a way to measure its height. The difference concerns which features produce or constrain which others, rather than deductive validity alone.

Mechanistic explanation is another challenge to a compulsory law-based format. A clock stopped because debris blocked a particular wheel, thereby preventing the mechanism from advancing. Inspecting the obstruction, removing it and observing restored operation can answer the causal question with considerable precision. The explanation describes organization and a relevant difference-making event without stating a universal law. It is more informative about this failure than the observation that every component obeyed Newtonian mechanics.

A defender of the covering-law model can reply that the causal account relies implicitly on regularities: debris that offers no resistance would not stop the wheel. This is a fair warning against treating a bare chronology as an explanation. But it does not establish that explanatory understanding requires identifying exceptionless fundamental laws, or that replacing the account with a complete microscopic derivation would improve the answer. Stable, tested relations in the actual operating regime may be sufficient.

An explanation can also turn on a mathematical constraint. Suppose an engineer asks why a connected network with four odd-degree junctions cannot be inspected by a route using every segment exactly once. Represent junctions as vertices and segments as edges of an undirected graph. Every intermediate visit pairs an incoming and an outgoing edge, so only the two endpoints of an open trail can have odd vertex degree. Four such vertices therefore exclude an Eulerian trail. The impossibility persists if segment lengths, construction materials or walking speeds change while the connections remain fixed. This is the obstruction in the Seven Bridges of Königsberg.^[ref]

The physical application requires that the graph represent the allowed routes correctly. Once that is granted, the explanatory necessity comes from parity, rather than a contingent physical law. Calling every mathematical constraint a law would preserve the original claim only by greatly widening its meaning. A critic may restrict “scientific” to causal explanations, but that restriction needs justification when applied mathematics answers a concrete engineering question.

Thus laws are powerful explanatory resources, and good explanations normally support relevant what-if judgements. Those judgements can be grounded in laws, mechanisms or mathematical constraints. Requiring explicit reference to laws imposes an unnecessarily narrow format; requiring some disciplined account of dependence is much more defensible.

It is implausible to deny every case of revolutionary theory change, but reasonable to reject the claim that such changes are instantaneous, complete or wholly disconnected from earlier science. Much turns on the strength of the proposed notion of revolution.

Thomas Kuhn challenges a picture of scientific development as the steady addition of true propositions. His contrast between normal science and revolutionary episodes concerns changes in accepted problems, methods and exemplary achievements as well as changes in propositions. A community can revise the framework within which it decides what needs explaining.^[ref] This is a historical proposal, not the claim that every important discovery is a revolution.

The transition from Newtonian mechanics to special relativity supplies a clear physical example of a deep conceptual change. Consider two spatially separated events, and let their differences in one inertial frame be $\Delta t$ and $\Delta x$. A Lorentz transformation givesFor $\Delta t=0$, $\Delta x\ne 0$ and $v\ne 0$, they are not simultaneous in the second inertial frame. By contrast, the Galilean transformation takes $t^{\prime }=t$, so simultaneity is invariant. The change concerns how time coordinates assigned by separated clocks enter physical measurement, not merely one corrected numerical constant. Albert Einstein begins by defining simultaneity through a clock procedure and then derives the transformation from his postulates.^[ref]

One reason to deny revolutions is precisely that the new account retains old achievements. For $|v|/c\ll 1$, and within regimes where relativistic corrections to the relevant measurements are negligible, Newtonian mechanics remains useful. Experimental records, instruments, mathematical methods and many successful predictions cross the transition. That continuity is real. It does not show that the physical interpretation of simultaneity remained unchanged. Numerical approximation in a restricted domain is weaker than identity of conceptual commitments.

A second objection is that major changes emerge gradually. Earlier theories and experiments prepare the transition; different researchers adopt it at different times; its consequences take decades to develop. This undermines a picture of one decisive moment transforming all science. It does not undermine a notion of revolutionary theory change as an extended reorganization of a field. Political revolutions are themselves extended events; the metaphor need not require an instantaneous rupture.

A third objection concerns rational comparison. If a revolution changes standards and meanings, perhaps rival theories cannot be compared at all. But this extreme conclusion is unnecessary. Rival accounts can share instrument records, limited predictions and mathematical limiting relations while differing about their interpretation. Explaining why those records agree in one domain and discriminate theories in another is itself a rational comparison. Conceptual change can make translation partial and difficult without making all evidence inaccessible across the divide.

These qualifications also constrain the historical claim. A local change in one field need not create a universal new worldview. Nor should every anomaly be described as a crisis: normal science routinely works on discrepancies without replacing its framework. Whether an episode is revolutionary should depend on evidence of the extent and character of reorganization, not on a dramatic label attached afterwards.

The defensible conclusion is therefore selective. Denying total, unprepared and irrational breaks may be historically plausible. Denying substantial transformations of fundamental concepts and research standards is much less so. The example of simultaneity shows how continuity of successful calculation can coexist with a change deep enough to merit the name revolution.

The covering-law model explains an event by showing how it falls under general laws in specified circumstances. It captures a major form of scientific understanding, but entailment and predictability do not by themselves capture explanatory relevance or direction.

In the deductive-nomological model, let $L$ be laws, $C$ relevant circumstances, and $E$ the event description. The explanans is $L,C$; the explanandum is $E$. The argument has the formThe deduction must be valid, at least one law must be essential to it, the explanans must have empirical content, and its premises must be true for a sound explanation. Merely writing a valid argument from arbitrary premises is insufficient. Carl Hempel and Paul Oppenheim also identify a structural affinity between explanation and prediction: supplied beforehand, the same premises could in principle support the prediction.^[ref]

For an ideal simple pendulum at small amplitude, Newtonian mechanics and the specified constraints yieldHere $ell$ is the pendulum's length, $g$ the local gravitational acceleration, and $T$ its oscillation period. The deduction connects an observed regularity to more general laws and explains why changing length changes the oscillation period. The approximation must be stated: a finite-amplitude, dissipative simple pendulum does not exactly satisfy these premises. A useful model-based explanation can be approximately correct even when the ideal premises are not literally true.

The model's appeal is that it requires more than an evocative story. It displays assumptions and shows why they constrain the phenomenon. It can also explain laws through wider laws: geometrical optics can recover a refraction law from suitable descriptions of wave propagation. A principle theory can explain by constraints without supplying a detailed constructive theory of every constituent process. This is a strength of the account's generality.

The first difficulty is asymmetry. For a vertical pole of vertical length $h$ on level ground and the Sun's elevation angle $\alpha$, geometrical optics gives the shadow's lengthWith suitable premises, either deduction is valid. Yet the pole and illumination explain the shadow, whereas measuring the shadow ordinarily allows inference to the pole's vertical length without explaining why the pole has that vertical length. The same equation supports both calculations. Its logical form does not encode the relevant direction of dependence. Context can change the question, but the distinction between explanation and evidential reconstruction remains.

The second difficulty is irrelevance. Adding the premise that a laboratory wall is blue to a correct simple pendulum derivation preserves validity and the essential use of physical laws. The extra premise contributes nothing to explaining the oscillation period. More elaborate examples show the same problem when irrelevant factors are hidden inside statistical regularities. The explanatory account needs a way to identify what matters under relevant changes, not just what accompanies a valid derivation.

The inductive-statistical model extends the programme to explanations using statistical laws and high conditional probability, relative to appropriate available information. This is an extension beyond the deductive focus of the 1948 article. High probability is nevertheless not necessary for every explanation. Radioactive decay can explain an infrequent detector event through a physical process and its nuclear decay constant, although that particular event in a short interval was unlikely. Nor does a high conditional probability automatically establish explanatory relevance: a reliable indicator may be an effect of the outcome or share another cause with it.

A better assessment therefore retains law-based derivations as one explanatory resource while adding dependence, relevance and the question being asked. Mechanistic explanations identify productive processes; accounts based on interventions ask which changes would alter the outcome. Neither proposal needs to force every mathematical or constraint-based explanation into a causal story. The covering-law model illuminates how laws make phenomena intelligible, but it is too broad as a sufficient test and too restrictive as a universal necessary form.

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.

The familiar result follows if the force laws have Galilean invariance; the three abstract Newton's laws of motion do not guarantee that invariance. Isaac Newton's Corollary V correctly identifies a central feature of ordinary Newtonian mechanics, but its general physical scope requires assumptions about interactions as well as about the relation between force and acceleration.^[ref]

Take a constant velocity $\mathbf{U}$ and a Galilean transformationThen ${\ddot{\mathbf{x}}}_i^{\prime }={\ddot{\mathbf{x}}}_i$, ${\mathbf{x}}_i^{\prime }-{\mathbf{x}}_j^{\prime }={\mathbf{x}}_i-{\mathbf{x}}_j$, and ${\dot{\mathbf{x}}}_i^{\prime }-{\dot{\mathbf{x}}}_j^{\prime }={\dot{\mathbf{x}}}_i-{\dot{\mathbf{x}}}_j$. Any interaction depending only on these relative quantities, with unchanged parameters, supplies the same forces for the transformed initial data. Newton's second law consequently gives the same relative accelerations; uniqueness of the resulting initial value problem supplies the same relative histories. An inverse-square central interaction is a standard example. Newton's third law helps establish the common centre of mass result, but the boost argument principally needs invariant interactions and the second law.

Here is a counterexample to deduction from the three laws alone. Give two equal masses a preferred inertial frame and write $\mathbf{r}={\mathbf{x}}_1-{\mathbf{x}}_2$, $\mathbf{V}=({\dot{\mathbf{x}}}_1+{\dot{\mathbf{x}}}_2)/2$. For fixed $k>0$ and speed scale $u_{\ast }>0$, specifyThe forces are equal, opposite and central, the centre of mass is inertial, and each body obeys $m{\ddot{\mathbf{x}}}_i={\mathbf{F}}_i$. An elementary body with no force is inertial. Nevertheless,Boosting an isolated pair from $\mathbf{V}=0$ to $\mathbf{V}=\mathbf{U}$ changes its internal oscillation frequency. All three motion laws hold, but the proposed universal boost equivalence fails. The extra preferred structure in the force law is what makes the failure possible.

A passive coordinate transformation of this same model remains possible: transform the preferred frame's description too. That mathematical freedom does not establish an active dynamical symmetry which changes the physical pair's velocity relative to the preferred structure while holding the laws' background data fixed. Confusing those operations would hide the counterexample.

Finally, a change to rotating coordinates introduces centrifugal forces and Coriolis forces; their dependence on position or velocity can change internal experiments. Constant translational velocity has no analogous effect when the interactions have Galilean invariance. Corollary V expresses that physical symmetry, with the interaction assumption made explicit, rather than a consequence of action–reaction alone.

An inertial frame is a nonrotating frame in which all force-free test bodies follow straight trajectories with constant velocity. The qualification “all” matters: a specially chosen coordinate system can make one accelerated trajectory look straight without making the frame inertial. In practice, approximately isolated test bodies and gyroscopes help identify inertial motion; identifying the relevant forces and calibrating instruments are part of testing the theory. The definition does not select a privileged state of uniform rest.

In its usual coordinate formulation, Newtonian mechanics states $m\ddot{\mathbf{x}}=\mathbf{F}$ in an inertial frame. A Galilean transformation, $t^{\prime }=t+b$, ${\mathbf{x}}^{\prime }=R\mathbf{x}+\mathbf{V}t+\mathbf{a}$ with constant orthogonal $R$ and constant $\mathbf{V}$, maps the class of inertial frames to itself. It preserves zero acceleration; a time-dependent translation generally does not. In the translating frame ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{a}(t)$, the same physical law reads $m{\ddot{\mathbf{x}}}^{\prime }=\mathbf{F}-m\ddot{\mathbf{a}}$. The extra fictitious force records the frame's acceleration, rather than a new interaction.

It is possible to state Newtonian mechanics without mentioning an inertial frame explicitly. On Galilean spacetime, let $u$ be a trajectory tangent normalized by the absolute time covector, $t_a{u}^a=1$. Thenuses an affine connection to define acceleration. The free-particle equation is ${\nabla }_{u}u=0$. This formulation removes a chosen coordinate frame but retains the geometric distinction between inertial motion and accelerated motion. Omitting both the inertial frame language and all equivalent inertial structure would leave the law unable to specify which trajectories count as unforced.

The same distinction applies to special relativity. Einstein's original presentation uses a class of inertial frames and calibrated rods, clocks and light signals.^[ref] A geometric presentation instead uses Minkowski spacetime, its Lorentzian metric and its Levi-Civita connection. A free massive particle obeys ${\nabla }_{u}u=0$, now with proper time parametrization and $g(u,u)=-c^2$. There is no preferred inertial rest frame, but there is a distinguished family of inertial trajectories and a physical Minkowski interval.

Accelerating coordinates are allowed in special relativity. They produce nonzero connection coefficients even though the Riemann curvature tensor remains zero. General relativity is needed when spacetime curvature and dynamical gravitation matter, not merely because the chosen observer accelerates. Thus neither theory requires a particular inertial frame in its coordinate-free statement; each still needs the structure that determines inertial motion.

For a fixed set of bodies in an inertial frame, total linear momentum is constant if the resultant external force vanishes. Summing Newton's second law cancels internal force pairs by Newton's third law. For an open subsystem, momentum carried across its boundary must also be included.

For an equal-intake-fuel mass-loading rocket, enclose the original craft and the stationary material collected during $dt$. Its initial momentum is $mu$. At the end, the craft has mass $m-\mu dt$ and the exhaust has mass $2\mu dt$. To first order,The first term is rocket thrust; the second is the momentum cost of collecting stationary matter. It vanishes in the conventional rocket equation, which therefore has no analogous fixed exhaust-speed ceiling in Newtonian mechanics. Here the acceleration vanishes at $u_{\max }=2u_0$; from rest it stays positive below that value while fuel remains. Relativistic limits are outside this model.

For constant $\mu$, mass conservation gives $m=m_i-\mu t$. Separating variables,ThereforeThe formal limiting speed would require $t=m_i/\mu$ and zero remaining craft mass. A positive rocket dry mass and finite carried fuel terminate the burn earlier. Maintaining nonzero collection rate even at rest is an idealization explicitly prescribed by the problem.

Local equivalence and tides. In Newtonian mechanics, inertial mass $m_{\mathrm{i}}$ measures the response to a force, whereas passive gravitational mass $m_{\mathrm{g}}$ couples to an imposed Newtonian gravitational field. A freely falling body obeysThe observed composition independence of free fall says that this ratio is universal. With a common choice of units it is one. This is the Newtonian content of the weak equivalence principle for test particles; it does not by itself specify all nongravitational physics.

The Einstein equivalence principle further says that local nongravitational experiments in a sufficiently small freely falling laboratory have the form predicted by special relativity, independently of the laboratory's location and motion. In such a local inertial frame, the metric tensor is locally the Minkowski metric and the Christoffel symbols vanish at the selected event. The strong equivalence principle extends the universality claim to local gravitational experiments and bodies with significant gravitational self-energy. None of these statements removes measurable tidal forces across a finite apparatus.

In an ideal small freely falling lift, a released ball initially floats relative to the cabin, because both undergo the same free fall. Two separated balls, however, need not retain their separation: they sample different parts of the gravitational field. For a point source, linearizing $\mathbf{g}=-GM\mathbf{r}/r^3$ across a small separation $\mathbf{\xi }$ gives the tidal tensor predictionA radial separation stretches with coefficient $2GM/r^3$, whereas a transverse separation is compressed with coefficient $-GM/r^3$. Initially parallel velocities therefore develop relative motion even though the individual bodies experience zero proper acceleration.

The relativistic statement is geodesic deviation. With the Riemann curvature tensor conventiona connecting vector between neighboring freely falling worldlines satisfiesHere $D/d\tau$ is the covariant derivative along the reference geodesic, and $U^{\mu }$ its four-velocity. Curvature can be nonzero where the Christoffel symbols have been made zero. In the weak, static, slow-motion limit this equation reduces to ${\ddot{\xi }}^i=-{\partial }_i{\partial }_j\Phi {\xi }^j$, recovering the tidal tensor above. A finite falling lift can detect gravity through these relative accelerations; local equivalence does not imply a globally uniform field.

Weak-field connection and potential. Take $x^0=ct$ and the $+---$ metric signature. There is an index error in the printed formula for the Christoffel symbols: its first differentiated metric component must be $g_{\nu 0}$, not $g_{\mu 0}$. The correctly contracted expression isThe offending term vanishes under the stipulated time independence, so this correction does not change the intended calculation. Write $g_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }$ and treat both $h$ and its derivatives as first order. To that order $g^{00}=1-h_{00}$, $g^{0i}=O(h)$, and $g^{ij}=-{\delta }^{ij}+O(h)$. A stationary metric tensor givesFor the temporal component the inverse-metric coefficient is already first order, soFor a spatial component the zeroth-order inverse metric contributes:The time component of the approximate geodesic equation says that $dt/d\tau$ is constant to the retained order. In its spatial component, convert the proper time derivatives to coordinate-time derivatives and cancel $(dt/d\tau {)}^2$:Comparison with the Newtonian equation $d^2\mathbf{x}/d{t}^2=-\nabla \Phi$ identifies $h_{00}=2\Phi /c^2+C$. For an isolated source, choose the gravitational potential to tend to zero at infinity and normalize the time coordinate there, giving $C=0$. ThusThe quantity $\Phi$ is the Newtonian gravitational potential, or gravitational potential energy per unit mass, in $\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}={\mathrm{m}}^2{\mathrm{s}}^{-2}$. For a point source, $\Phi =-GM/r$. A static clock has $d\tau =\sqrt{g_{00}}dt\approx (1+\Phi /c^2)dt$, connecting the Newtonian limit with gravitational time dilation.

Frequency of the orbiting source. Treat the gas blob as a test particle on a timelike circular Schwarzschild geodesic, with pressure and other nongravitational forces negligible. Treat our very distant location as infinity, so the observer's own gravitational potential is negligible. These are the assumptions that make a unique answer in terms of $R_S/r$ possible.

Put $f=1-R_S/r$ and use a local static observer at the emission point as an intermediate measuring frame. The remote observer lies on the symmetry axis of the orbit. A ray arriving on that axis has zero conserved axial angular momentum, so its local direction is perpendicular to the emitter's azimuthal velocity. Bending within a meridional plane does not alter this orthogonality. The transverse relativistic Doppler effect therefore giveswhere $v$ is the orbital speed measured by that local static observer. The gravitational redshift between static Schwarzschild observers then givesA gravitational circular orbit has $v^2=GM/r+O((GM/r{)}^2/c^2)$ in the weak-field limit, so $v^2/c^2=R_S/(2r)+O((R_S/r{)}^2)$. Expanding both factors,Solving for the emitted frequency givesThe gravitational part is $R_S/(2r)$ and the transverse kinematic time dilation contributes another $R_S/(4r)$; the absence of line-of-sight motion does not remove this second effect.

As an exact check, the local speed on a timelike circular Schwarzschild geodesic satisfies $v^2/c^2=\mu /(r-2\mu )$, where $\mu =GM/c^2=R_S/2$. Therefore the face-on frequency shift of a circular Schwarzschild source iswhose expansion agrees with the boxed answer. If the gas is supported or accelerated by pressure or magnetic stresses rather than following a geodesic, its orbital speed is not fixed by the mass and radius alone; the appropriate first-order result is instead ${\nu }_{\mathrm{em}}\approx {\nu }_{\mathrm{ob}}[1+GM/(r{c}^2)+v^2/(2c^2)]$, with $v$ supplied independently.

Doubt was reasonable if it concerned the physical cause or unlimited extrapolation of Newton's law of universal gravitation; wholesale dismissal of the quantitative evidence was harder to justify. Early eighteenth-century investigators had to distinguish the success of an inverse-square force law in explaining observations from the claim that every material body directly attracts every other one without a mediating mechanism.

The strongest case for Isaac Newton's framework was its unification of phenomena previously treated separately. Kepler's third law and nearly elliptic orbits could be connected to an inverse-square central force. Comparing terrestrial gravity with the centripetal acceleration of the Moon supported continuity between falling bodies and celestial motion. The Philosophiae Naturalis Principia Mathematica by Isaac Newton also developed treatments of interacting bodies, tides and the Earth's figure. These were substantive tests and organized a research programme capable of producing further quantitative comparisons.^[ref]

There were nevertheless rational reservations. A law proportional to $m_1{m}_2/r^2$ inferred from accessible bodies and distances did not logically establish unrestricted universality. Individual celestial predictions involved uncertain observations and approximations to difficult many-body classical mechanics. The Moon's motion and the Earth's shape were demanding tests whose successful treatment was not complete at the beginning of the century. A dissenter could question auxiliary assumptions, numerical accuracy or the inference from special cases without denying every success.

A deeper objection concerned explanation. In traditions requiring contact mechanisms, unexplained attraction across empty space appeared to reintroduce an occult quality. René Descartes's vortices supplied a mechanical alternative, though they faced their own serious dynamical difficulties. Newton himself separated a mathematically established pattern from a claimed cause of gravity; the 1713 General Scholium by Isaac Newton declined to invent an unsupported physical mechanism. Treating every criticism of action at a distance as a failure to understand evidence would therefore misrepresent the available positions.^[ref]

Later confirmations cannot be counted as evidence already possessed by an early-eighteenth-century critic. Subsequent geodetic measurements, improved lunar theory and successful comet predictions helped shift the balance, but their timing matters. Nor did retaining a mechanical alternative remain equally reasonable after every failed prediction: responsible doubt required comparative assessment and willingness to revise it. The balanced conclusion is that selective, explicit scepticism about universality or cause was defensible, while the breadth of Newtonian mechanics' quantitative achievements already imposed a substantial explanatory burden on rival accounts.

Practising scientists can learn how evidence, instruments and disciplinary assumptions acquire authority, provided history is treated as a critical investigation rather than a collection of motivational stories. The useful question is not whether the past supplies a universal recipe for discovery, but which specific habits of reasoning become visible when earlier problems are reconstructed with the evidence their participants actually possessed.

First, history can discipline judgements about evidence. Early critics of Newton's law of universal gravitation faced a genuine distinction between a successful force law and an unexplained physical cause. Reconstructing that distinction discourages equating disagreement with stupidity. Conversely, the quantitative successes of Newtonian mechanics show that scepticism must answer the best available evidence, rather than invoking general uncertainty indefinitely. The transferable lesson is to separate measured regularities, modelling assumptions and causal interpretation.

Second, experiments have histories of reliability. Cathode ray measurements required vacuum control, calibrated fields and competing accounts of what a discharge tube produced. Rutherford scattering required sensitive counting, geometrical control and a statistical interpretation of rare events. These examples make instrument performance and data selection part of the argument rather than invisible background. For current practice this supports explicit calibration, reporting uncertainty, checking alternative explanations and distinguishing a missing event from a detector's failure to register it.

Third, productive models can rest on concepts later replaced. Sadi Carnot's reasoning retained an enduring reversible-engine comparison while using caloric theory. This encourages scientists to identify which conclusions depend on which premises, instead of accepting or rejecting a model as an indivisible whole. It does not mean false assumptions are harmless: their usefulness has to be established for particular questions and tested limits. Likewise an elegant idealization is not automatically a workable machine.

Fourth, the organization of work matters. Shared apparatus, trained technicians, correspondence and laboratory traditions affected which observations became possible and credible. Historical reconstruction can recover contributions obscured by a single-discoverer narrative and reveal why a method that worked in one laboratory failed elsewhere. Scientists can use that awareness to improve documentation, replication and credit without treating social context as a substitute for empirical evaluation.

There are limits. Historical episodes are not controlled experiments on “the scientific method”; selecting only successful cases produces survivorship bias, and later knowledge can make a discovery appear inevitable. Neither a slogan about revolutions nor an analogy with a famous controversy settles a present scientific dispute. Practical lessons need to be modest and specific: track assumptions, preserve evidence, inspect instruments, compare rival explanations fairly and remain alert to unrecorded work. On those terms the history of science offers intellectual tools for better scientific judgement, while leaving present claims answerable to present evidence.

Let the step be $h$. Forward Euler method gives $x_1=x_0+h{v}_0$, $v_1=v_0+hF(x_0)$. Applying the same map with $-h$ gives $x_2=x_1-h{v}_1=x_0-h^{2}F(x_0)$, which generally differs from $x_0$. It is therefore not its own inverse under time reversal.

A kick–drift–kick leapfrog integrator instead hasThe step $-h$ first recovers $v_{1/2}$, then $x_0$, then $v_0$, so $\boxed{{\Phi }_{-h}={\Phi }_h^{-1}}$. This assumes a position-dependent force and the same fixed step. Newtonian mechanics is reversible; respecting that structure helps avoid artificial directional bias and often improves long-term qualitative behaviour. The usual leapfrog also has a structure preserving symplectic geometry, which supports bounded oscillatory energy error, but reversibility by itself does not imply exact conservation of energy. Adaptive stepping requires special care to preserve these properties.

There is an important structural difference, but the issue needs two distinctions. The freedom to change distant clock labels is not the same as the absence of a physically preferred simultaneity relation; and an inability to measure a one-way signal speed without synchronization is not by itself a proof that all proposed temporal structures are mere conventions.

In a standard Einstein synchronisation procedure, a clock at A sends a light signal at $t_1$, receives its return at $t_3$, and assigns the reflection event at B the time $(t_1+t_3)/2$. More generally one could assignFor a fixed spatial distance $d$ with round-trip duration $2d/c$, the two assigned one-way speeds become $c/(2ϵ)$ and $c/[2(1-ϵ)]$. Their reciprocal travel times still add to $2d/c$. Thus the two-way measurement alone does not establish the midpoint rule. Einstein presents synchronization as a definition supported by consistency conditions, rather than as a direct comparison of already synchronized distant clocks.^[ref]

Both Newtonian mechanics and special relativity allow coordinated relabellings such as $t_{\kappa }=t+\kappa x/c$. They can be used as nonstandard coordinates if the equations and interpretations of the transformed quantities are changed consistently. A mere relabelling cannot change a reunion of clocks or another local coincidence. Conversely, insisting that the familiar equations must retain their usual simple component form while changing only clock labels is not a neutral test of conventionality.

The difference is in the invariant structures of the standard theories. Newtonian spacetime includes an absolute time, whose equal-time slices are preserved by Galilean transformations. It therefore contains one simultaneity structure shared by its inertial observers. Its instantaneous interaction laws, where adopted, are formulated relative to that time. Ordinary relativistic spacetime contains no analogous observer-independent foliation. Einstein synchronisation defines simultaneity relative to an inertial observer; different inertial observers generally assign different distant events to the same time. This difference survives the freedom to rewrite either theory in awkward coordinates.

It does not follow that any arbitrary synchronization is equally natural relative to the full structure of special relativity. An inertial observer together with the Minkowski metric picks out the usual orthogonal simultaneity hyperplanes, and ideal slow clock transport supplies a physical comparison under assumptions about clock behaviour. A conventionalist must say which such structures and operational assumptions are being held fixed. Likewise, a Newtonian theorist must not confuse positing absolute time with having a theory-independent operational measurement of it.

The best answer is therefore qualified: both theories admit synchronization conventions at the level of coordinate assignment, but their standard physical accounts privilege simultaneity differently. Newtonian absolute simultaneity and the relativistic absence of a shared inertial foliation are genuine theoretical differences. Whether an alternative clock assignment is merely a convention or a rival physical claim depends on whether it only relabels the same structure or adds, removes or changes physical structure.