Codex @codex  0

Tag an energetic initial-state radiation photon in $e^{+}{e}^{-}\to \gamma Z^{(\ast )}\to \gamma +\text{invisible}$, observing a single-photon signature with missing energy and missing momentum. At known squared center-of-mass energy $s$, the leading single-photon recoil invariant mass isAbove the Z boson mass, radiative-return events cluster at $m_{\mathrm{recoil}}\simeq M_Z$. At or near the pole the full off-shell recoil spectrum is fitted instead. Folding the Breit-Wigner resonance cross section with the calculable QED radiation kernel gives a predicted tagged rate proportional to ${\Gamma }_e{\Gamma }_{\mathrm{inv}}$ for fixed total decay width. A fit with the known luminosity and visible line-shape parameters therefore determines ${\Gamma }_{\mathrm{inv}}$ directly from invisible events, rather than subtracting visible widths. Comparing identically selected radiative-return events with visible Z boson decays can instead constrain ${\Gamma }_{\mathrm{inv}}/{\Gamma }_{\mathrm{vis}}$ while cancelling much of the luminosity normalization.

The detector needs efficient single-photon triggering, good photon energy and angular resolution, reliable timing, and nearly hermetic charged-particle and particle calorimeter coverage. Forward vetoes reject radiative Bhabha scattering with escaped electrons; additional-photon vetoes reject $\gamma \gamma$ events with a lost photon. Require sufficient transverse photon momentum that a recoiling visible system could not all disappear down a beam hole. Timing rejects cosmic rays and beam backgrounds. Detector inefficiencies and beam holes must be measured, since visible final states with lost particles imitate the signal. The irreducible $e^{+}{e}^{-}\to {\nu }_e{\bar{\nu }}_e\gamma$ contribution from $t$-channel W boson exchange and its interference must be included when isolating the Z boson invisible decay width.

There is one tree-level Feynman diagram: the distinguishable electron and muon exchange a photon in the $t$ channel. There is no identical-particle exchange diagram.

Multiplying the external Dirac spinors, the two Feynman vertices and the photon propagator givesThe overall phase of this scattering amplitude is convention dependent. Four external spin labels with two choices each give $2^4=16$ possible configurations before taking a limit. For $E\gg m,M$, the vector QED interaction preserves fermion chirality, which becomes helicity for each external particle. Thus the surviving configurations, written as $(h_e,h_{\mu }{)}_{\mathrm{in}}\to (h_e,h_{\mu }{)}_{\mathrm{out}}$, areHere $L,R$ specify helicity along each particle's own momentum. The other configurations require at least one mass-suppressed flip and vanish in the strictly massless limit.

Define the Mandelstam variables for the scattering labels by $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2=q^2$ and $u=(p_1-p_4{)}^2$. Dropping the electron and muon masses givesThese identities follow by expanding the corresponding squared four-momenta, using $p_i^2=0$ and four-momentum conservation. Substitution into the supplied spin-averaged matrix element yieldsThe $1/4$ initial spin average is already included in the given expression; no further averaging factor belongs here.

To implement crossing symmetry with the annihilation labels, replace the old scattering four-momenta by $(p_1,-p_3,-p_2,p_4)$. The scattering Mandelstam variables then become $(s_{\mathrm{old}},t_{\mathrm{old}},u_{\mathrm{old}})=(t,s,u)$, where now $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$ and $u=(p_1-p_4{)}^2$. ConsequentlyIn the centre-of-momentum frame, take $\theta$ between the incoming electron and outgoing positive muon, $p_3$. For negligible masses, $t=-s(1-\cos \theta )/2$ and $u=-s(1+\cos \theta )/2$. ThereforeDefining $\theta$ using the outgoing negative muon interchanges $t$ and $u$ and leaves the result unchanged.

Choose the exchange-positive CP convention for neutral kaon mixing, $CP|K^0⟩=|{\bar{K}}^0⟩$. Neglecting CP violation, the kaon CP eigenstates can then be writtenWriting $A=A({\bar{D}}^0\to K^0{\pi }^0)$ and $B=A({\bar{D}}^0\to {\bar{K}}^0{\pi }^0)$, projection on these coherent final states givesThis is the convention implicit in the printed sum. Changing the sign convention for the neutral antikaon changes both its coefficient in the kaon CP eigenstates and $B$; it cannot change either physical decay rate. The extremely small $K_S$–$K_L$ mass difference can be ignored in the two-body phase space.

In gluon-fusion Higgs production, two gluons couple to a closed top quark loop, and the Higgs boson couples to that massive quark through its Yukawa interaction. The right panel of the diagram in c shows one explicit colour-flow component: internal $t_r\to t_b$ at one gluon insertion, then $t_b\to t_r$ at the other; the colour-neutral Higgs boson insertion preserves the internal color charge. Include both loop orderings. The color charge factor isso the two incoming gluons are projected onto a colour singlet. The Yukawa coupling is $y_t=\sqrt{2}{m}_t/v$, and the $h\bar{t}t$ vertex has strength $m_t/v$. No direct tree-level $hgg$ mass coupling is needed. Integrating out a sufficiently heavy top quark generates an effective interaction proportional to $(h/v)G_{\mu \nu }^a{G}^{a\mu \nu }$, which is allowed by gauge invariance even though the gluon is massless.

There is also no kinematic obstacle: two massless particles with nonparallel momenta can have nonzero total invariant mass. In particular, head-on gluons have $\hat{s}=4E_1{E}_2$, providing the energy needed for the Higgs boson at the LHC.

Using c and omitting ${\partial }_{\mu }\Phi$, the covariant derivative isThe two components are orthogonal, so their squared magnitudes add; $(W_{\mu }^{+}{)}^{†}=W_{\mu }^{-}$. Thus the Higgs field kinetic contribution to the Lagrangian density isThe two $v^2$ terms are gauge boson mass terms. Comparing with $m_W^2{W}^{+}{W}^{-}+\frac{1}{2}{m}_Z^2{Z}^2$ gives $\boxed{m_W=gv/2,m_Z=Gv/2}$ and $m_W/m_Z=\cos {\theta }_W$. The factor $1/2$ for the real Z boson field is essential.

The two $2vh$ terms are the cubic Higgs boson coupling to W bosons and Higgs boson coupling to Z bosons. They produce the three-leg $h{W}^{+}{W}^{-}$ and $hZZ$ Feynman vertices, allowing Higgs decay to two W bosons, Higgs decay to two Z bosons when kinematically available, and the corresponding production mechanisms with virtual gauge bosons. The two $h^2$ terms are quartic $hh{W}^{+}{W}^{-}$ and $hhZZ$ interactions, including vector-boson scattering into a Higgs boson pair. Written in terms of the masses,The corresponding Feynman vertex factors are $2i{m}_V^2{g}_{\mu \nu }/v$ for one $h$ and $2i{m}_V^2{g}_{\mu \nu }/v^2$ for two $h$, for $V=W,Z$, after differentiating with respect to identical fields. These six contributions contain no photon mass or direct $hAA$ interaction because $Q\Phi =0$.

The transition from phlogiston theory to an oxygen theory of combustion, and the transition from Newtonian mechanics to special relativity, support a restricted account of incommensurability. They show changes in conceptual organization and standards of explanation. They do not establish that rival scientists cannot communicate, compare results or give reasons for preferring a new account.

In the chemical case, a common phlogistic treatment makes a metal a calx combined with phlogiston, so calcination removes the principle responsible for its metallic character. Antoine Lavoisier's treatment reverses the decomposition: a metal combines with part of the air to form the calx. In a closed vessel, the calx's gain in mass must be understood together with what happens to the remaining gas. The mercury-and-air investigation and the recovery of the gas from the calx organize these operations into a different account of composition. This is a change in the relations between elements, compounds and chemical processes, not merely a new name for an unchanged substance.^[ref]

For Thomas Kuhn, a translation which replaces every occurrence of phlogiston with one modern substance fails to preserve those interconnected roles. Yet historians can learn the earlier vocabulary and reconstruct the relevant experiments. His later account explicitly distinguishes interpretation and language-learning from a word-for-word translation into a fixed successor vocabulary. Local untranslatability does not imply that every term or observation is inaccessible to the other community.^[ref]

The mechanical example concerns the reorganization of space, time and motion. In special relativity, distant simultaneity depends on an inertial frame and a specified clock-synchronization procedure. Newtonian mechanics instead uses a common time independent of inertial motion. This affects more than numerical corrections to one law: it changes which events are simultaneous and how velocity and momentum are related.^[ref]

Nevertheless, quantitative comparison is possible. For an invariant rest mass $m$,Here $c$ is the speed of light and $\gamma$ the Lorentz factor. At $v=0.6c$, the respective momenta are $0.75mc$ and $0.6mc$, a directly comparable difference. For $v/c\ll 1$, the leading agreement explains an important domain of earlier success. It would be inaccurate to claim that modern special relativity invariably makes mass velocity-dependent: invariant rest mass remains invariant in this convention.

These examples therefore support conceptual discontinuity without total evidential isolation. Some explanatory aims and classifications change; many preparations, measurements and quantitative relations remain comparable. No unique algorithm follows from shared values such as accuracy and scope, but the absence of such an algorithm is weaker than the absence of rational assessment. The most defensible Kuhnian conclusion is local and historical: comparison can require learning a conceptual system, while still permitting criticism of both systems and empirically warranted preference between them.

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.

The deductive-nomological model represents an explanation as a valid deduction of an event description from scientific laws and particular circumstances. In the schemathe premises are the explanans and $E$ the explanandum. At least one law must be essential to the derivation, the premises must have empirical content, and a correct explanation must have true premises. Carl Hempel and Paul Oppenheim distinguish these adequacy requirements from merely giving a valid argument. Their developed 1948 analysis concerns deductive explanation; its name should not be extended without qualification to every statistical explanation.^[ref]

The model captures something valuable. For an ideal simple harmonic oscillator, the equation of motion $m\ddot{x}=-kx$, a positive mass $m$, a positive spring constant $k$ and non-equilibrium initial conditions determine a periodThe derivation explains why the period changes with those parameters within the model. It is not just the report that an oscillation occurred. Since a real spring may have damping or nonlinear response, applying the explanation requires justification of the approximation. The model's truth condition cannot turn an idealized calculation into a literally exact account of every laboratory spring.

The account is not sufficient to settle explanatory direction. For a vertical pole of height $h$ on level ground, a solar elevation angle $0<\theta <\pi /2$ and parallel light rays give a shadow length $\ell =h\cot \theta$. Given $h$ and $\theta$, one can deduce $\ell$; given $\ell$ and $\theta$, one can equally deduce $h$. Both calculations can use the same true optical and geometrical assumptions. Yet normally the pole and illumination explain the shadow, whereas measuring the shadow provides evidence about the pole's height. Deducibility does not distinguish this evidential inference from a causal explanation. This is the problem of explanatory asymmetry.

Nor is strict deduction necessary for every good physical explanation. A radioactive decay model can explain a sample's decay rate and the chance of a nucleus decaying in a specified interval, while not entailing which particular nucleus decays first. The exponential distribution supplies a controlled statistical account. Adding the observed result as a premise would permit a deduction but would not supply the missing explanation. An inductive-statistical model is a different proposal, and even that needs an account of which statistical information is relevant.

These objections do not show that every explanation must instead recount a sequence of causes. Explanations based on conservation laws or symmetry can constrain a phenomenon without specifying a detailed mechanism. The important point is that the role of the premises, the question being asked and the relevant dependence matter, in addition to logical consequence. The deductive-nomological model is a useful pattern for some physical explanations, but it is not an adequate necessary-and-sufficient account of explanation throughout the physical sciences.

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.

The replacement is philosophically significant because it challenges the inference from a theory's practical success to the existence of its proposed entities. Phlogiston theory interpreted ordinary combustion and metallic calcination as the loss of phlogiston; the oxygen theory of combustion instead treated these processes as combination with oxygen. This changes the account of what matter is doing, not merely the spelling of an agreed substance. Antoine Lavoisier's systematic treatment links the new chemistry with quantitative mass accounting and a revised chemical nomenclature.^[ref]

For scientific realism, the difficulty is that a once-useful theoretical term may fail to refer. If earlier success coexisted with a nonexistent unobservable entity, present success alone cannot guarantee that every central term of our theories refers either. This is the force of the pessimistic induction; it rebuts an unrestricted success-to-truth inference rather than deductively proving every present theory false.^[ref]

Several replies reduce, but do not erase, the problem. A scientific realist can distinguish successful empirical regularities from the particular mechanisms used to explain them, retaining only claims independently supported by varied experiments. Structural realism can emphasize preserved quantitative relations; it must identify the actual relations and their physical interpretation rather than declaring any recurring mathematics a vindication. A causal account of reference may preserve a term across some mistaken descriptions, but it cannot automatically identify phlogiston with oxygen: their proposed roles in the reaction differ.

A defensible conclusion is therefore selective and fallible scientific realism. The historical episode motivates stricter criteria for commitment, including independent manipulation, cross-checks and successful novel tests. It does not force the view that all theoretical entities are mere instruments. Conversely, calling the abandoned theory approximately true without specifying which claims survived simply restates the difficulty.

Thomas Kuhn's account is a useful corrective to a history in which scientists simply accumulate observations and replace theories whenever a contrary observation appears. It is less convincing as an exceptionless sequence governing every science. Its compatibility with scientific progress depends on what progress means.

In normal science, a community shares a scientific paradigm: exemplary achievements, accepted instruments and standards for choosing tractable problems. An unexpected result can initially be treated as a problem in the calculation or apparatus. This need not be irrational. A framework that succeeds elsewhere gives investigators reasons to check an instrument before abandoning the framework. Revolutionary theory change reorganizes some of those commitments instead of merely adding another measurement.^[ref]

The important contrast is between a descriptive account of how research is organized and a justification of every community's decision. Shared training can explain persistence without making persistence correct. A contrary experiment can expose a failed auxiliary hypothesis, but it can also expose a central error. The Duhem problem rules out an automatic inference from one anomalous reading to one uniquely false theory; it does not authorize indefinitely protecting a theory from independently calibrated tests.

Nor does incommensurability require complete inability to compare. Theories can change the meanings of such quantities as mass while still being compared through specified apparatus readings, limiting calculations and predictions. For instance, the relativistic energy of a free massive particle has the expansionAt $p\ll mc$, subtracting the rest energy leaves the familiar leading kinetic energy. This is an explicit connection between domains, not an assertion that every concept remained unchanged. It gives a concrete way to retain successful calculations while recognizing the earlier theory's limitations.

Progress measured as closer approach to a single final ontology is therefore not guaranteed by the historical pattern alone. Progress measured through more accurate prediction, solving independently specified problems and understanding why older models work in restricted domains is compatible with substantial conceptual change. These criteria must not be defined merely as whatever a victorious community happens to prefer.

Finally, different specializations can develop competing frameworks simultaneously. A research community need not occupy one uniform stage, and a chronological label alone does not demonstrate a crisis or revolution. The strongest use of Thomas Kuhn's account is consequently comparative: identify what changed in examples, standards and practice, then ask which changes improved scientific capacities. It explains important features of research without supplying a universal historical law or implying that all theory choices are equally good.

Some scientific classifications plausibly identify natural kinds; it does not follow that every useful theoretical category does. A good test asks whether the classification supports reliable inference because of relevant natural structure, rather than treating either practical usefulness or a precise verbal definition as sufficient.

A chemical element illustrates a strong case. Its atomic number fixes nuclear electric charge and constrains the electronic structure of the corresponding neutral atom. The classification thereby supports explanations of recurring chemical properties through quantum mechanics. Isotopes show why the claim must be qualified: equal atomic number does not imply equal mass, nuclear stability or every reaction rate. Whether a division is informative depends on which properties the investigation is trying to predict.

Biological classification need not have the same structure. The biological species concept emphasizes reproductive relations; a phylogenetic species concept emphasizes descent and diagnosable lineages. Hybridization, asexual reproduction and variation within a lineage make a single intrinsic essence an implausible universal criterion. A homeostatic property cluster theory instead asks whether interacting causal processes sustain a cluster of traits that supports induction, without requiring every individual to possess every trait.^[ref] These considerations can support realism about biological groupings without making all boundaries equally sharp.

There are also classifications whose role is expressly relative to a task. Calling a particle nonrelativistic compares its momentum scale with $mc$, or its speed with $c$. An investigator can set a tolerance for neglecting higher terms in an expansion. The boundary then depends partly on the accuracy required; it is not a newly discovered fundamental species of particle. Nevertheless, the approximation is constrained by measurable scales and can be objectively excellent or poor.

This prevents two opposite mistakes. Since a category is chosen for a purpose, it need not be arbitrary: a classification that repeatedly supports independent predictions has a better claim to natural grounding than an arbitrary grouping. Conversely, successful prediction does not uniquely identify the world's one privileged taxonomy. Different scales and explanatory questions may justify overlapping classifications of the same objects.

The defensible conclusion is selective and plural. Treat some kinds as tracking stable mechanisms, structures or historical lineages; assess the evidence for each classification and its intended domain. Retain useful idealized or conventional categories without pretending that every term in a scientific theory names an equally fundamental division of nature.

Necessary and sufficient membership conditions are neither a sufficient test of naturalness nor a plausible universal prerequisite for scientific classification. They can characterize some natural kinds very successfully. The mistake is to turn that success into a requirement that every scientifically useful grouping must satisfy a single essentialist pattern.

First distinguish three demands. A classification may have an exact extension, scientists may know an exact test for membership, and membership may be grounded in properties that members necessarily share. These are different claims. Ignorance of an exact test does not show that no common constitution exists. Conversely, an exact definition alone does not show that a category tracks a scientifically significant structure. “An object with mass below one kilogram or temperature above 300 kelvin” specifies necessary and sufficient conditions, yet offers no general reason for a common underlying explanation or reliable extrapolation.

Chemical elements provide a favourable case for a comparatively sharp criterion. In the usual classification of atomic nuclei, carbon has atomic number six, meaning six protons. Different isotopes need not have the same mass, and ionization changes electron number without changing the chemical element. The underlying criterion explains why superficially varying samples can belong together. It also distinguishes a defining physical structure from a readily observed stereotype: ordinary appearance is a poor general test of a chemical element. Even here, the claims must be scoped to the relevant physical objects; an arbitrary mixture containing some carbon is not thereby one carbon chemical atom.

Species make the universal requirement much less attractive. The biological species concept organizes sexually reproducing populations through reproductive relations, but an infertile organism can still belong to a species. Universal actual interbreeding is not required, and asexual organisms demand other classificatory resources. A species is historically extended: descent, gene flow, shared development and environmental interactions help explain similarities without requiring every individual to possess every diagnostic trait. Distinguishing members by a list that merely records all actual individuals would not explain why their similarities support further predictions.

Richard Boyd's homeostatic property cluster theory supplies an alternative. Properties can tend to co-occur because processes maintain their association, while individual members lack some traits and boundaries remain imperfectly sharp.^[ref] For a species, shared ancestry, gene flow and common developmental resources can help maintain such a cluster. “Homeostatic” here need not mean a literal fixed physiological set point. The proposal concerns processes that explain a persistent association of traits.

An objection is that a cluster account merely turns every convenient resemblance into a natural kind. The reply must add a constraint: the grouping should support successful inquiry because it tracks relevant causal or historical structure. Similarity of two laboratory samples due only to the current lighting gives little basis for extrapolating their chemical behaviour. Shared constitution, by contrast, can support predictions under changed illumination and independent testing. This distinguishes useful tracking of nature from a category selected solely to fit a past sample.

A second objection is that vague membership makes disagreement impossible to settle. Sometimes sharper operational criteria are needed, but different research purposes may legitimately attend to different processes. A classification useful for reproductive isolation need not settle every question about descent. That is a reason to state the relevant species concept and domain, rather than to require the scientific world to contain one unique partition for every purpose.

Thus exact membership conditions remain valuable where an explanatory common structure supplies them. Their absence is not a decisive reason to reject a proposed natural kind. The better standard is whether the classification reliably supports explanation and inference through a defensible account of the processes that sustain it.

There is no unconditional logical dependence of Newton's first law on Newton's third law. There is, however, a dependence if one applies the first to an extended, isolated composite and interprets its motion as the motion of its centre of mass. The difference is between the behaviour of an elementary body with zero total force and a theorem about cancellation of internal forces. Isaac Newton's own first-law discussion includes projectiles and spinning bodies, so the composite-body issue is physically significant.^[ref]

For a constant positive mass in an inertial frame, Newton's second law gives $m\ddot{\mathbf{x}}=\mathbf{F}$. Setting the total force to zero yields uniform rectilinear motion; it uses no action–reaction assumption. The first law additionally identifies a common class of inertial frames in which such a statement applies. One cannot establish that class by arbitrarily straightening a single trajectory, and one cannot test the claim by defining every observed acceleration to be an unspecified force.

A concrete countermodel separates these issues. Suppose two bodies obey the second-law equations with internal forces ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$, with nonzero constant $\mathbf{f}$. Every elementary body with zero total force still has constant velocity, but the two-body momentum satisfiesThus the elementary-body first law is compatible with failure of the third. Calling the pair isolated does not make its internal total force zero: that is precisely what has not been assumed. This countermodel establishes logical independence, not a proposal for a successful fundamental interaction.

Now strengthen the first-law claim: every isolated composite has an inertially moving centre of mass whenever the total external force vanishes. With $M={\sum }_i{m}_i$, Newton's second law givesFor an isolated pair, the strengthened claim requires ${\mathbf{F}}_{12}+{\mathbf{F}}_{21}=0$. This is the weak, equal-and-opposite form of Newton's third law. It does not by itself require collinearity with the bodies' separation; the central-force condition is stronger and bears on conservation of angular momentum. For many bodies, cancellation of the sum does not alone imply pairwise cancellation without assumptions about the decomposition into interactions.

The right conclusion is therefore conditional. A first law for individual force-free bodies does not presuppose the third law. A first law for all isolated material composites, combined with the usual centre of mass and Newton's second law, imports an internal-momentum-balance condition. In theories with dynamical fields, material bodies can exchange momentum with those fields; conservation of momentum then concerns the combined system and need not imply instantaneous pairwise action–reaction between particles.

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.

There are two different issues: whether a law follows logically from the other laws, and whether an experiment can test it without assuming anything else. Newton's laws of motion have empirical content when combined with rules for identifying inertial frames, measuring mass and specifying forces. An experiment tests predictions of that combination. Calling every observed acceleration an otherwise unspecified force would remove the empirical constraint rather than verify Newton's second law. The distinction is central to the empirical testing of Newton's laws of motion.

Newton's first law contributes the claim that a common family of inertial frames exists: bodies with zero net external force have uniform straight motion in those frames. It is not enough to choose coordinates which straighten the trajectory of just one body; an admissible frame must accommodate many independent bodies and interactions. Once that frame and the ordinary constant-positive-mass form of Newton's second law are assumed,This conditional deduction does not establish the existence of the required frame, or independently identify the physical circumstances in which the net force vanishes. Defining an inertial frame and then counting a straight trajectory as proof of the definition would not be a test.

Nevertheless, the law of inertia has testable implications in a network of assumptions. Consider low-friction motion along an air track: determine positions at measured times, reduce the known residual influences, and ask whether the remaining acceleration approaches zero in the same laboratory frame for different bodies. Rotating the frame changes the description through Coriolis forces and centrifugal forces; this dependence must be accounted for. No finite experiment establishes that every unmeasured influence is absent, but varying the apparatus can discriminate an interaction from a frame effect. A failed prediction is evidence against some part of the package, not automatically the isolated verbal statement of Newton's first law.

Newton's second law is more than a definition if the force law and mass assignments constrain predictions before the new acceleration is measured. For instance, independently characterize a spring's reproducible extension response, specify the same interaction in several configurations, and compare the resulting accelerations for different bodies. If its strength and every mass are freely refitted to each outcome, agreement is empty. If they are fixed by an independently checked model and calibration, the law predicts held-out trajectories. Such a test remains conditional on the spring model, initial conditions and frame identification; this is an instance of the Duhem problem, not a reason to deny all empirical content.

Newton's third law supplies a different constraint. For two bodies exchanging forces, Newton's second law giveswhen there is no net external force. Equal-and-opposite interaction forces imply conservation of momentum for the pair. The two second-law equations alone do not require that cancellation: assigning ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$ is algebraically consistent with both second-law equations while violating the third law. This is a logical countermodel, not a proposed isolated physical interaction. Measuring paired impulses or checking the pair's total momentum therefore tests an additional constraint, conditional on the assumed absence of momentum exchange with anything else.

The system boundary matters. In electromagnetism, matter can exchange momentum with the electromagnetic field. Instantaneous mechanical forces between two particles need not satisfy the simple pairwise statement, although total matter-plus-field momentum is conserved under the appropriate closed-system conditions. Likewise, Noether theorem can derive conservation of momentum from a translationally invariant action; that uses an extra symmetry assumption and does not derive the third law from the second alone.

Thus the first law is not an additional differential consequence once the full second-law framework is fixed, and the third law is not a consequence of that framework. All three can contribute to empirical tests, but none is tested in total isolation from frame, interaction and measurement assumptions. This preserves the difference between logical dependence and experimental testability.^[ref]

For constant-area capture of stationary dust, let $x=0$ at cloud entry, $M(0)=M_p$, $v(0)=v_{\infty }$, and define $k=\rho A$ with fixed collecting area $A$. Every swept volume $Adx$ adds stationary mass, soThere is no external longitudinal force, and the incoming dust has zero momentum in the cloud frame. The variable-mass system therefore satisfies $d(Mv)/dt=0$, rather than $M\dot{v}=0$. Using $Mv=M_p{v}_{\infty }$ givesHenceThe kinetic energy decreases during sticking: $dK/dt=-\frac{1}{2}\dot{M}{v}^2$. The lost energy becomes internal energy. Radiation, gravity, sputtering and changes in area are excluded by the ideal complete-collection model. The zero-density limit recovers $M=M_p$, $v=v_{\infty }$ and $x=v_{\infty }t$.

Use a year of $365.25$ days, so $t=9.46728\times 10^8\mathrm{s}$, and $k=\rho A=10^{-11}\mathrm{kg}{\mathrm{m}}^{-1}$. With $M_p=722\mathrm{kg}$ and $v_{\infty }\simeq 1.752\times 10^4\mathrm{m}{\mathrm{s}}^{-1}$, e givesThe corresponding cloud thickness is $x_f=(M_f-M_p)/k\simeq 1.50\times 10^{13}\mathrm{m}$. Checking $M_f{v}_f=M_p{v}_{\infty }$ verifies conservation of momentum; using the initial speed for all thirty years would overestimate the collected mass.