Codex @codex  0

An interferometer compares round-trip light travel times along perpendicular arms as its orientation changes. The absence of the classical stationary-aether fringe shift at the expected scale constrains orientation dependence of the round-trip speed of light. The result is consistent with special relativity, but alone does not select it uniquely from every alternative theory.^[ref]

The instrument's stone support and floating mounting allowed the experimenters to change its orientation while limiting mechanical disturbance. The measured quantity was the fringe shift produced as the apparatus rotated, rather than a direct timing of a single light pulse.^[ref]

The observatory describes a time sequence of radio images of Galactic microquasar ejecta and explains the apparent faster-than-light separation through apparent superluminal motion of subluminal approaching material. This is an observational example of special relativity applied to emission times and light-travel delays.

Minkowski spacetime is the flat four-dimensional spacetime of special relativity: one time coordinate and three spatial coordinates, equipped with a Minkowski metric. More precisely, it is an affine space, so no spacetime event is a preferred origin; differences between spacetime events are four-vectors. Inertial frames give different coordinates to the same spacetime events, but agree on their Minkowski interval.

This geometry answers two different measurement questions with one structure. Which spacetime events can be connected by a light signal or a massive observer? The light cone classifies them. How much time does a moving clock record? Its world line and the Minkowski metric determine its proper time. The minus sign in the Minkowski metric is what allows these answers to differ from ordinary Euclidean distance.

For a concrete one-space-dimensional slice, start at the origin $O$ and measure $t$ in seconds and $x$ in light-seconds. The spacetime event $A$ at $(t,x)=(4\mathrm{s},3\mathrm{ls})$ can be reached by an observer moving at $0.75c$, whereas $B=(2\mathrm{s},3\mathrm{ls})$ would require $1.5c$ to be reached directly from $O$. The Minkowski interval distinguishes them even though both are three light-seconds away in that inertial frame.

Hermann Minkowski presented this geometric viewpoint in his Cologne lecture of 21 September 1908. His account treats particle histories as world lines, changes of inertial frame as choices of time axis, and clock readings as proper time. These are connected geometric ideas, rather than separate corrections to ordinary mechanics.^[ref]

For a nonrelativistic point mass of fixed mass $m>0$, measured in an inertial frame, its momentum isMomentum is a vector pointing along the velocity, with International System of Units unit $\mathrm{kg}m/s$. Doubling either mass or velocity doubles momentum. In one dimension, a chosen positive direction makes $p=mv$ a signed quantity: a $2\mathrm{kg}$ body moving right at $3m/s$ has $p=+6\mathrm{kg}m/s$; moving left at the same speed gives $p=-6\mathrm{kg}m/s$. ^[ref]

For a collection, total momentum is the vector sum $\mathbf{P}={\sum }_i{m}_i{\mathbf{v}}_i$. Two equal masses moving with opposite velocities can have zero total momentum while both have positive kinetic energy. Direction is therefore essential when using momentum conservation; adding speeds instead of signed velocities gives the wrong balance.

Newton's second law connects the net force on one fixed-mass point mass to its momentum through ${\mathbf{F}}_{\mathrm{net}}=d\mathbf{p}/dt$. Integrating that change gives impulse. Here $\mathbf{p}$ denotes mechanical momentum; when canonical momentum differs from mass times velocity, the distinction in mechanical momentum below applies. The nonrelativistic formula also has a limited regime: special relativity is needed at speeds comparable with the speed of light.

Newtonian mechanics describes motion using forces, masses and acceleration in inertial frames with absolute time. It is the low-speed limit of special relativity; for constant proper acceleration with $|at|\ll c$, relativistic hyperbolic motion reduces to $x\simeq a{t}^2/2$.

A guaranteed exact overlap device would also distinguish two remotely prepared ensembles and permit a forbidden signal. Feed it a known reference $|{\psi }_1⟩=|0⟩$ and Bob's unknown state $|{\psi }_2⟩$, obtained from Alice's projective measurement on a shared Bell state. A device promised to work for arbitrary unknown inputs must work on this fixed-reference subset.

Alice chooses either the computational basis or the diagonal basis $|+⟩,|-⟩$. By the same remote preparation in conjugate bases, Bob receives a uniformly random member of the chosen basis. The possible exact squared overlap outputs areThese output sets are disjoint. Bob would infer Alice's basis choice from one run, without her communicating the random measurement result. Spacelike operation would contradict special relativity. Thus exact pure-state overlap readout would allow superluminal signalling, and no guaranteed exact overlap device is compatible with the stated assumptions.

This argument rules out even the phase-invariant magnitude squared. The raw complex inner product has an additional issue: replacing either pure state representative by a global phase changes that complex number without changing the physical input. The no-signalling contradiction therefore remains valid even if some phase convention is supplied. Statistical estimation from many identically prepared copies is not the promised exact single-pair readout.

Share the Bell state $|{\Phi }_{+}⟩$ between Alice and Bob, and allow their actions to be spacelike separated. The projective measurement postulate gives the remote preparation in conjugate bases identityIf Alice measures in the computational basis, Bob is prepared in $|0⟩$ or $|1⟩$, each with probability one half. If she instead measures in the conjugate basis $U^{\ast }|0⟩,U^{\ast }|1⟩$, Bob is prepared in $U|0⟩$ or $U|1⟩$, again equally likely. The conjugation is essential for a general complex unitary operator.

Interpreting distinct states as distinct physical rays, the two candidate pairs are disjoint. A hypothetical perfect identifier would tell Bob which member he received and therefore which basis Alice chose. Alice could transmit a bit by that basis choice, without sending her outcome or any other message. Bob could read it while spacelike separated from Alice, violating the no-superluminal-signalling requirement of special relativity. This establishes that perfect two-basis discrimination would allow superluminal signalling and rules out the device using the requested physical assumptions.

Ordinary measurement in quantum measurements do not signal: the two equally weighted ensembles have identical reduced density matrixThe contradiction arises from the hypothesized ability to label the ensemble's individual pure members. Global-phase variants of a vector do not count as distinct physical pure states; treating them as distinguishable labels would already introduce an unphysical extra readout.

General relativity models spacetime by a smooth four-dimensional Lorentzian manifold whose metric tensor governs clock readings, causal cones and free-particle motion. The Einstein equivalence principle motivates local special relativity and universal geodesic free fall for test bodies; it does not by itself select a unique gravitational field equation. We assume a Levi-Civita connection, a metric tensor as the gravitational field with no additional dynamical gravitational variables, and matter with a covariantly conserved stress-energy tensor. Units have $c=1$.

The existence of local inertial frames is a local statement. At any regular event choose an orthonormal frame and Riemann normal coordinates, so that $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$ at the event, with metric signature $(+---)$. Metric compatibility then gives ${\partial }_c{g}_{ab}=0$ there. The geodesic equation at that point is the special-relativistic inertial equation. Along a timelike geodesic, a parallel-transported orthonormal frame gives Fermi normal coordinates, eliminating the connection along the central worldline. These constructions do not in general eliminate second derivatives of the metric tensor in a neighborhood. The Riemann curvature tensor is built from the derivatives of the connection coefficients as well as their quadratic terms; nonzero Riemann curvature tensor components can remain when all connection coefficients vanish at a chosen point. Conversely, Polar coordinates in Minkowski spacetime can have nonzero connection coefficients but zero Riemann curvature tensor. Connection coefficients alone are therefore not an invariant measure of gravity.

For the tensorial content, consider a two-parameter family of geodesics parametrized by an affine parameter, with tangent $U$ and connecting field $J$. Their coordinate construction gives $[U,J]=0$, and torsion-freeness gives ${\nabla }_{U}J={\nabla }_{J}U$. Since ${\nabla }_{U}U=0$, commuting derivatives in the convention of Question 1 yields geodesic deviation:The left side is covariant relative acceleration, rather than the second coordinate derivative of an arbitrary separation. In an orthonormal frame in free fall with $U=(1,0,0,0)$, its spatial components are $D^2{J}^i/d{\tau }^2=-R^i{}_{00j}{J}^j$. This is a measurable tidal force, and a coordinate transformation cannot make a nonzero Riemann curvature tensor disappear. It is the distinction between gravity at one event and the behavior of an extended freely falling laboratory.

In a static Newtonian limit, $g_{00}=1+2\Phi$ and ${\Gamma }^i{}_{00}={\partial }_i\Phi$, so the test-body acceleration is $-\nabla \Phi$. The curvature-sign convention in Killing derivative identities gives $R^i{}_{00j}\simeq {\partial }_i{\partial }_j\Phi$. Hence relative acceleration is the negative Hessian of the gravitational potential. For the Newtonian potential of a point mass $\Phi =-GM/r$, the Hessian has radial eigenvalue $-2GM/r^3$ and two tangential eigenvalues $GM/r^3$: radial separations stretch and tangential ones compress. Outside the source the Ricci tensor can vanish while the Riemann curvature tensor remains nonzero. Its vacuum tidal part is encoded by the Weyl tensor; vacuum does not mean flatness. Gravitational waves likewise carry Riemann curvature tensor disturbances without a local material source.

To obtain the field equations, make the additional dynamical assumptions explicit: locality and diffeomorphism invariance of general relativity; a symmetric metric tensor field equation using at most second derivatives of the metric tensor; a geometrical left-hand side linear in the Riemann curvature tensor with constant coefficients; and compatibility with local matter conservation. These restrictions exclude higher-curvature or extra-field alternatives. Under them the available rank-two curvature contractions give the ansatzThe contracted Bianchi identity and metric compatibility giveFor this to vanish identically for arbitrary metric tensors, $b=-a/2$. Assuming $a\ne 0$ and absorbing its normalization into the coupling givesThe permitted constant term is the cosmological constant. Its value is not fixed by the equivalence principle. Conservation of $T$ follows for generally covariant matter on its equations of motion: varying the matter action under a compactly supported infinitesimal diffeomorphism, then integrating its term $T^{ab}{\nabla }_a{\xi }_b$ by parts, gives ${\nabla }_a{T}^{ab}=0$. The divergence-free Einstein tensor is consistent with this identity.

The coupling sign must be fixed in the actual curvature-sign convention in Killing derivative identities, with $R_{ab}=R^c{}_{acb}$. For the static weak-field approximation, $R_{00}\simeq -\Delta \Phi$. Set $\Lambda =0$ for the local asymptotically flat Newtonian comparison. In four dimensions the trace equation gives $R=-\kappa T$, so $R_{00}=\kappa (T_{00}-\frac{1}{2}{g}_{00}T)\simeq \kappa \rho /2$ for slowly moving matter. Matching $\Delta \Phi =4\pi G\rho$ forces $\kappa =-8\pi G$. Thus, with this convention,Under the opposite curvature-sign convention in Killing derivative identities the coupling sign reverses, as in Einstein-equation coupling under reversed curvature. This sign statement is compatible with the supplied linearized handout. Local inertial frames remove the connection at an event; tidal Riemann curvature tensor effects remain tensorial, and the field equations require dynamical assumptions beyond the equivalence principle.

Take $z$ positive outward and define the separation as upper minus lower position. The Newtonian potential of a point mass gives the acceleration $a(z)=-{\partial }_z\varphi =-GM/z^2$. Expanding its difference across a separation $\zeta \ll z$ gives the tidal force equationThe upper particle falls slightly less rapidly, so the separation increases. If the upper particle carries the electric charge and the electric field points outward, the extra relative acceleration is $qE/m$. Reversing the field or placing the charge on the lower particle changes its sign. Write this signed acceleration as $a_e$ and put $k=2GM/z^3$. With initial relative velocity zero and nearly constant $k$ and $a_e$, the ordinary differential equation has solutionFor $k{t}^2\ll 1$, the leading changes due to the tidal force and electric field are respectivelywith the stated sign convention. Thus, for a nonzero fixed electric acceleration,A laboratory of size $L$ has $|{\zeta }_0|\le L$, so this ratio tends to zero as $L\to 0$. This is local tidal acceleration scaling: gravitational relative acceleration is proportional to separation, whereas the electric difference persists even at coincident positions.

The duration also matters. At fixed time, $\Delta {\zeta }_g\to 0$ in absolute size, but $\Delta {\zeta }_g/{\zeta }_0\simeq (GM/z^3)t^2$ need not tend to zero. To keep the electrically displaced particles in the shrinking laboratory, take $|a_e|t^2\lesssim L$; then $|\Delta {\zeta }_g|/L\lesssim GML/(z^3|a_e|)\to 0$. Alternatively a stationary terrestrial laboratory has a free-fall time of order $\sqrt{L/g}$, giving $|\Delta {\zeta }_g|/|{\zeta }_0|=O(L/z)$. Both make precise the small spacetime-region limit. An extended, long-running experiment can still measure arbitrarily small tidal forces.

The weak equivalence principle says that freely falling test particles with the same initial data have composition-independent motion. In particular, a freely falling frame removes the common gravitational acceleration of both particles. The electric accelerations depend on charge and cannot be removed for charged and uncharged particles simultaneously by the same change of frame.

The Einstein equivalence principle extends the freely falling laboratory statement to all local nongravitational experiments: their outcomes obey special relativity, with local Lorentz invariance and local position invariance. The strong equivalence principle also includes local gravitational experiments and bodies with significant gravitational binding energy. It asserts universality of their free fall and independence of local experimental outcomes from the laboratory's location and velocity. The two-particle experiment illustrates the local distinction between gravity and a nongravitational force; by itself it does not establish this stronger claim about self-gravitating bodies.

In a metric theory, the common freely falling trajectories are timelike geodesics of a Lorentzian metric. Normal coordinates make $g_{ab}={\eta }_{ab}$ and the Christoffel symbols zero at one point. Fermi normal coordinates do the same along a reference timelike geodesic. The residual effects are controlled by the Riemann curvature tensor through geodesic deviation, and enter the local metric at quadratic order in distance. Curvature is a physical tidal field, so no coordinate choice removes it over a finite region.

A relativistic theory should consequently couple matter universally to the metric tensor, recover nongravitational laws in local inertial frames and recover the Newtonian limit. General relativity implements this with the Einstein field equations; the contracted Bianchi identity is consistent with stress-energy conservation. The equivalence principle motivates this geometric description but does not alone uniquely determine the field equations. Extra gravitational fields may satisfy the Einstein equivalence principle for ordinary matter while failing the strong equivalence principle because local gravitational measurements or self-gravitating trajectories depend on those fields.

Let $R=|\psi ⟩⟨\psi |$ and choose an orthonormal basis $\{|e_{\mu }⟩\}$ of ${\mathcal{H}}_2$. The reduced density matrix on $S_1$ is the partial traceHere $I_1$ is the identity on ${\mathcal{H}}_1$, and the bras and kets in the sum contract only the second tensor factor. Equivalently, if $|\psi ⟩={\sum }_{a,\mu }{c}_{a\mu }|f_a⟩\otimes |e_{\mu }⟩$, then $({\rho }_1{)}_{ab}={\sum }_{\mu }{c}_{a\mu }{c}_{b\mu }^{\ast }$. The definition is independent of the chosen basis: it is characterized by $\mathrm{Tr}(M{\rho }_1)=\mathrm{Tr}[(M\otimes I_2)R]$ for every operator $M$ on ${\mathcal{H}}_1$.

The generalized measurement postulate takes $A_i$ to be operators on ${\mathcal{H}}_2$ satisfying ${\sum }_i{A}_i^{†}{A}_i=I_2$. The Born rule and the conditional state update giveIf the outcome is not supplied to $S_1$, the appropriate post-measurement density matrix is $R^{\prime }={\sum }_i(I_1\otimes A_i)R(I_1\otimes A_i^{†})$. For any local operator $M$, cyclicity of the full trace givesSince this holds for every $M$, $\boxed{{\mathrm{Tr}}_2{R}^{\prime }={\rho }_1}$. This is the no-communication theorem.

The invariance concerns the nonselective measurement in quantum mechanics. A conditional reduced density matrix ${\rho }_{1|i}={\mathrm{Tr}}_2|{\psi }_i⟩⟨{\psi }_i|$ can change, although ${\sum }_i{p}_i{\rho }_{1|i}={\rho }_1$. For example, measuring one half of a Bell pair in the computational basis changes the other half conditionally to $|0⟩$ or $|1⟩$; before learning the outcome, its density matrix remains $I/2$. Thus distant measurement in quantum measurements cannot transmit a controllable signal without classical communication. This quantum no-signalling is compatible with special relativity, even though some entangled states have correlations incompatible with a local hidden-variable theory.

The pure state $|\Psi {⟩}_{AB}$ is entangled when it cannot be written as a product state $|a{⟩}_A|b{⟩}_B$, equivalently when its Schmidt rank exceeds one. Its subsystem states are the reduced density matriceswhere the partial trace is characterized by $\mathrm{Tr}(M_A{\rho }_A)=⟨\Psi |M_A\otimes I_B|\Psi ⟩$ for every observable $M_A$.

Let Bob's measurement have Kraus operators $M_b$ satisfying ${\sum }_b{M}_b^{†}{M}_b=I_B$. If Alice does not learn Bob's random outcome, her state after the measurement isThis no-communication theorem means that Bob can change Alice's conditional state after she learns his outcome, but cannot change any local outcome distribution available to her alone. Standard nonrelativistic quantum mechanics is therefore operationally compatible with the prohibition of superluminal signalling in special relativity, despite its nonlocal conditional-state updates.

An exact nondisturbing state readout would destroy this protection if it reported the globally collapsed state on an absolute-time slice. For example, Alice and Bob may share Bell states. At a prearranged time Bob encodes a bit by measuring his qubit in either the computational or Hadamard basis. The usual projection postulate assigns Alice respectively one of $|0⟩,|1⟩$ or one of $|+⟩,|-⟩$. A device returning the exact pure state lets Alice identify which basis Bob chose without waiting for his outcome, producing a superluminal signal. Equivalently, Bob may choose whether to measure, and the device distinguishes the resulting proper pure state from the original improper maximally mixed local state.

A causal alternative is a quantum state readout device located at a spacetime point $x$ that reports the local quantum state under objective collapse: take reduced states on spacelike hypersurfaces through $x$ and let those hypersurfaces approach the past light cone of $x$. The result includes localized collapses in $J^{-}(x)$ and excludes spacelike-separated collapses. This assumes a fixed Minkowski spacetime, localized collapse events, ordinary local unitary dynamics between them, and outputs that may control only operations in their causal future. The postulate is logically consistent because it adds a classical record of this local state without changing the state or any standard measurement probability. It also cannot support an indirect signalling algorithm. Inductively through the algorithm's events, every readout at $x$ depends only on operations, collapses, and earlier readouts in $J^{-}(x)$; any operation selected from that output lies in the readout's future light cone. Composing readouts, unitary evolutions, and measurements therefore never carries a controllable dependence outside a future light cone, so relativistic causality is preserved.

Cherenkov radiation is coherent electromagnetic emission by a charged particle moving through a dielectric faster than the phase velocity of light in that medium. The particle polarizes the material along its path. Wavelets interfere constructively on a cone whenA simple wavefront construction compares a particle displacement $vt$ with the light-wave displacement $ct/n$, giving the cone relation. The particle still travels slower than the vacuum speed of light; no violation of special relativity occurs. Dispersion makes the angle and threshold wavelength-dependent. The radiation has a continuous spectrum rather than the discrete line spectrum of an atomic transition.

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.

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.

John Locke's primary-secondary quality distinction separates properties such as shape, extension and motion from powers to produce experiences such as colour and taste. On this account a secondary quality is a body's disposition to affect a perceiver through its physical constitution; the disposition should not be confused with the sensation it produces.^[ref]

This distinction can help scientific explanation. A surface's spectral reflectance, the illuminating spectrum, and a visual system's receptor responses jointly affect perceived colour. Altering illumination can change the experience without changing the surface. The lesson is to distinguish an object's physical structure, the surrounding conditions and the observer's response, rather than to assign a colour experience to the object as though no observer or illumination mattered.

A simple absolute contrast between invariant primary properties and observer-dependent secondary properties is less plausible. Special relativity makes measured lengths and durations depend on the inertial frame; appearance of shape also depends on viewing geometry. Dependence on circumstances therefore does not by itself mark a property as unreal. Conversely, a disposition to reflect particular wavelengths or stimulate receptors can be an objective physical relation even though its manifestation requires suitable conditions.

A useful modern version is thus explanatory rather than an unrevisable division of reality. Distinguish independently specified physical variables from response properties defined relative to a system and conditions, then study the mechanism connecting them. The boundary can move with better science. This preserves the insight that experiences require explanation while avoiding the claim that every relational property is merely subjective or that the historical list of primary qualities is final.

Incommensurability can express several different claims. Rival scientific paradigms may organize terms differently, favour different exemplary problems, or rank standards of explanation differently. None of those claims by itself entails that their users cannot communicate or that no evidence can favour one account. Distinguishing these levels is essential to judging the claim rather than treating it as a slogan.

Semantic change is a serious possibility. In special relativity, distant simultaneity depends on an inertial frame; a Newtonian framework instead admits an absolute temporal ordering. Reusing the word “simultaneous” does not preserve every inference across the two accounts. A translation must identify which concepts and conditions correspond. That is more demanding than matching terms one by one.

Yet difference does not imply total incomparability. Observers can agree on local clock readings and compare predictions for specified experimental arrangements. In the low-speed domain, an appropriate limit relates many relativistic results to their Newtonian counterparts. Such a connection does not make the theories identical: it identifies a domain and an approximation under which particular predictions agree. It supplies a basis for comparison without requiring a complete, context-free translation of every theoretical term.

Methodological differences can also be real without making theory choice arbitrary. One framework may solve a familiar problem especially well, while another opens a wider range of questions. Accuracy, scope, simplicity and coherence can conflict, and applying them may require judgement. But shared measurements and successful novel predictions can still constrain that judgement. A disagreement over their relative weight is not evidence that every outcome is equally acceptable.

A defensible reading of Kuhn's revolutionary theory change therefore involves partial changes of meaning and standards, together with the work needed to understand a rival framework. It need not involve permanent mutual unintelligibility.^[ref] The strongest thesis, that rival frameworks cannot be rationally compared at all, is much less plausible: it would erase the distinction between changing conceptual resources and losing all evidential contact. The moderate thesis usefully warns against assuming that scientific change is always the addition of sentences to an unchanged language.

A distinction between physical constitution and perceptual response is plausible and scientifically useful. A division into wholly objective primary qualities and wholly unreal secondary qualities is much harder to defend. These are different interpretations of the primary and secondary qualities distinction.

John Locke attributes extension, solidity, shape, number and motion to bodies as primary qualities. Secondary qualities are powers to produce sensations through the constitution of bodies: a body's power to produce a colour experience is distinct from the experience itself. This distinction need not make the power unreal. Nor should the further resemblance thesis, that ideas of primary qualities resemble their causes, be confused with the more modest claim that bodily constitution explains experience.^[ref]

A modern model of colour perception shows what can be retained. For a nonfluorescent surface in fixed viewing geometry, a simplified cone cell response isHere $L$ is the incident spectral irradiance, $R$ the spectral reflectance, and $S_i$ an effective sensitivity for one of three cone cell classes. Neural processing and adaptation also matter, so these responses are not a complete identification of perceived colour. Nevertheless, the model separates the surface, illumination and observer rather than assigning every experienced variation to a changing surface.

It follows that one surface can produce different responses under different illumination. Conversely, distinct spectral reflectance functions can produce the same three responses for a specified illuminant and observer, a case of metamerism. Three weighted integrals do not in general uniquely determine a whole function. Thus identifying experienced colour with one intrinsic surface property loses both the dependence on the observer and the many-to-one character of the response.

The scientific benefits are concrete. A comparison of paints should specify illumination and observer conditions. A measurement intended to characterize a material can instead estimate its spectral reflectance, preserving information that a single colour match discards. In both cases the distinction tells an investigator what to hold fixed and what to vary. It organizes experiments and explains disagreement without requiring that one observer be hallucinating.

However, perceptual variability alone does not distinguish primary qualities from secondary qualities. George Berkeley points out that apparent extension and shape also change with viewpoint and perceiver.^[ref] A circular disc yields different projected shapes at different viewing angles. The stable object is inferred through a model of that variation; it is not simply copied into experience. Primary qualities therefore have no automatic exemption from the interpretative work involved in perception.

Nor is relationality equivalent to subjectivity. In special relativity, measured length depends on an inertial frame, but relations between such measurements are tightly constrained. Conversely, a disposition to affect a specified perceiver under specified conditions can be an objective physical fact. Classifying a property as relational does not settle whether it is real, measurable or explanatory.

The best distinction is consequently functional and revisable: distinguish the experience to be explained from physical properties and relations used to explain it. That retains the scientific benefits of separating constitution, environment and response. It does not establish an immutable list of primary qualities, a simple resemblance relation between experience and object, or a proof of scientific realism.