Codex @codex  0

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.

Theory change defeats an inference from scientific success to final, unrestricted truth. It does not show that successive theories make no progress in accuracy, explanation or warranted knowledge. Calling two theories false says too little about how their claims compare.

The strongest pessimistic argument is historical: theories once regarded as successful and well supported have later lost central commitments. If successful predecessors could misidentify what exists, the success of a present theory cannot by itself guarantee its full ontology. Larry Laudan uses the historical record to challenge a simple connection between success, reference and approximate truth.^[ref] The challenge is serious for scientific realism, particularly when it treats an entire accepted framework as a single package of warranted beliefs.

But the slogan conflates several claims: that an unrestricted theory contains a false assertion, that every one of its assertions is false, and that its successes were accidental. The first does not entail either of the others. A theory can be wrong outside its proper domain while accurately representing relationships within it. Establishing that domain is itself a scientific achievement.

The velocity-addition formula makes the difference precise. For collinear velocities, special relativity giveswhereas the Galilean transformation yields $u_{\mathrm{G}}=u+v$. Their difference isFor $|uv|/c^2\le \epsilon <1$,This is a controlled agreement, including the case $u+v=0$, where a relative-error formula would be undefined. At $u=v=0.6c$, the classical value $1.2c$ differs dramatically from $15c/17\simeq 0.882c$. At small velocities the same comparison explains why ordinary classical calculations work so well. The relativistic rule and its low-speed relation to the classical rule appear in Albert Einstein's treatment of velocity composition.^[ref]

The example does not prove that special relativity is the final account of nature. It shows that a successor can explain an earlier theory's restricted success and predict when it fails. One obtains a stronger account of the evidence than either blanket rejection of the older theory or unqualified belief in it. The surviving mathematical relation also need not preserve the older interpretation of absolute time.

Structural realism develops this possibility by locating continuity in interpreted relations rather than every proposed entity. John Worrall uses continuity between Augustin Fresnel's optics and later electromagnetism to motivate such a response.^[ref] Its attraction is discrimination: some tested structure can survive an ontological change. Its difficulty is specifying which structure deserves belief before the next change, rather than selecting the survivors afterwards. An equation without a physical interpretation and domain is too weak a candidate.

An empiricist can accept the improvement in prediction and systematic representation while withholding belief about unobservables. That shows that progress does not logically require scientific realism. The realist can reply that independent tests, novel successful predictions and quantitatively explained limiting relations support cautious belief beyond the immediately observed. Neither side should treat historical examples as a deductive proof of its complete position.

The original claim is therefore defensible only in a thin sense: successive unrestricted theories may each contain falsehoods. Used to deny progress, it is misleading. Theories can become more accurate, discriminate more possibilities and explain why earlier approximations succeeded. Theory change should make scientific confidence selective and revisable, rather than erase the distinction between a useful approximation and an arbitrary mistake.

The distinction supplies a coherent strategy for an empiricist realism, but does not by itself justify that realism. It separates an object's relatively stable physical constitution from its effects on perceivers. The strongest defensible version concerns the explanatory roles of properties, rather than a division between wholly real properties and wholly unreal sensations.

For John Locke, primary qualities include extension, shape, solidity, number and motion; secondary qualities are powers of bodies to produce experiences such as colours and tastes through their constitution. The experienced colour need not resemble the physical cause of that experience. Importantly, a power belonging to a body is not thereby imaginary: the primary and secondary qualities distinction need not deny that an unobserved object has dispositions to affect perceivers.^[ref]

This helps empiricism accommodate perceptual variation without abandoning an external world. A surface can produce different colour experiences under different illumination while keeping approximately the same spectral reflectance. A warm and a cool hand can give different sensations in the same water; this need not mean that the water has two incompatible temperatures. The observer's initial state belongs in the explanation. Controlled changes in illumination, viewing conditions and bodily state allow repeatable predictions about experience. An empiricist can therefore treat physical objects as explanatory sources of regularities in experience, rather than demand that every appearance be copied into the object.

However, this explanatory success does not establish that ideas of primary qualities resemble mind-independent properties. We cannot step outside every perceptual and instrumental relation to compare an experience directly with its alleged original. Moreover, the motion and arrangement of unobserved constituents are themselves theoretical commitments. If empiricism permits only what is immediately given in sensation, the distinction introduces precisely the inference beyond sensation that requires defence. If empiricism permits fallible explanatory inference, scientific realism becomes possible, but the justification comes partly from that additional account of inference.

George Berkeley's challenge is that perceived extension and shape vary with viewpoint and perceiver just as colour does, and that extension cannot be experienced wholly apart from sensible qualities.^[ref] This undermines the simple test “variable appearance means merely secondary”. It does not prove that stable physical properties are absent. An obliquely viewed circular disc can produce an elliptical image; geometrical optics explains the relation between the disc and that image. Variation can be evidence for a systematic relation, rather than evidence against an external cause.

Modern physics also discourages treating Locke's list as an unrevisable inventory. Special relativity makes measured length depend on the relation between an object and an inertial frame; motion was relational even in Principle of Galilean relativity. Neither fact makes the measurements arbitrary. Conversely, spectral reflectance is an objective, measurable property even though perceived colour depends on illumination and the perceiver. Objectivity, relationality, perceptual variability and explanatory fundamentality are distinct issues.

The plausible distinction is consequently between an experience and the physical properties and relations that explain it, with the explanation open to correction. An empiricist realism can use this distinction to explain why appearances change while a world persists. It cannot obtain a proof of the external world, or a privileged catalogue of intrinsic properties, simply by naming some qualities primary. The gain is an empirically disciplined model of perception; its limit is that the realist interpretation still needs an argument.

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.

One can derive a family containing the Lorentz transformations without assuming anything about light, but the Einstein's principle of relativity alone does not select that family member over the Galilean transformation. Extra assumptions must be stated: spatial and temporal translational symmetry, isotropy of SPACE, continuous transformations between equivalent inertial frames, reciprocity, and closure under composition. These are substantive restrictions, rather than consequences of the bare assertion that physical laws agree between inertial frames.

Here is the algebraic content. Translational symmetry makes the transformation between coincident origins a linear transformation. In one spatial direction the moving origin $x=vt$ fixes $x^{\prime }=a(v)(x-vt)$. Isotropy and the inverse transformation at $-v$ allow the standard calibrated formTo see why $K$ is universal, temporarily write the upper-right entry as $-b(v)$, leaving the lower-left entry $-v$. Equality of the two diagonal entries in a composite boost gives $b(u)v=ub(v)$, so $b(v)/v=K$ is constant for nonzero boosts. Inversion fixes $a(v{)}^2(1-K{v}^2)=1$, with the positive branch continuous at zero. This is the universality of an invariant speed under boost composition.

The resulting velocity-addition formula law and invariant quadratic expression areFor $K>0$, $C=K^{-1/2}$ is an invariant limiting speed; setting the empirically determined $C$ equal to the vacuum speed of light gives the standard Lorentz transformation. For $K=0$, $t^{\prime }=t$ and $x^{\prime }=x-vt$: an entirely consistent Galilean transformation satisfying the stated Einstein's principle of relativity. Thus the general assumptions do not establish that an invariant finite speed exists, much less identify it with light.

There is also a formal negative-$K$ branch, which has a rotation-like geometry in the time–space plane. Standard derivations exclude it using additional global assumptions, such as a preserved time orientation and unrestricted composition of admissible boosts. Without identifying those assumptions it is misleading to claim a two-way classification from the Einstein's principle of relativity alone. In three spatial dimensions isotropy requires the same constant in every direction.

The light postulate is therefore dispensable as the starting point for a conditional kinematical derivation; empirical input remains indispensable in identifying our world's value and sign of $K$. Albert Einstein's original construction uses the light postulate and Einstein synchronisation, making that empirical connection explicit.^[ref] Replacing the postulate by an independently established finite invariant speed changes the route, rather than deriving all of special relativity from relativity alone.

An observer-independent global presentism conflicts with the absence of a distinguished simultaneity relation in bare special relativity. It is not a formal contradiction to add a preferred foliation. The issue is what the proposed present contains, and whether that extra structure is part of the physical theory or an additional metaphysical commitment. Presentism must be distinguished from the harmless indexical fact that an observer calls their own current event “now”.

Let two spacetime events have coordinate differences $\Delta t=0$, $\Delta x=L\ne 0$ in an inertial frame. A relatively moving frame assignsThey are simultaneous in one frame and not in another. For a fixed event $P$, each inertial four-velocity $u$ defines a different simultaneous hyperplane through $P$ by $\eta (u,Q-P)=0$. No particular $u$ is selected by the Minkowski metric alone. Thus an extended objective present cannot both be the equal-time slice of one ordinary inertial frame and be invariant under all Lorentz transformations.

An equivocation can make the incompatibility seem stronger than it is. If one defines “real together” using one observer's simultaneity, then changes observers in the next inference, transitivity across the mixed relations has not been justified. It is the failure of transitivity for mixed-frame simultaneity. The physics supplies the frame-indexed relations; it does not supply a single absolute co-existence relation formed by silently joining all of them. A sound argument against relativistic presentism challenges the physical basis of its preferred relation, rather than proving all events real by that equivocation.

There are several coherent responses, with different costs. A preferred foliation can be appended to Minkowski spacetime, declaring one of its slices the objectively existing present. If it affects no physical process, it has no support from the relativistic laws and breaks the symmetry of the total ontology without changing observable predictions. If it affects matter, new laws must explain why ordinary tests display Lorentz invariance. This is additional structure, not a logical impossibility. Eternalism, by contrast, treats the complete spacetime history as real and makes simultaneity relational, but the relativity of coordinate time by itself does not deductively establish that metaphysics.

A local present containing only $P$ is invariant once $P$ is given, yet it abandons a spatially extended world existing now. The past light cone is invariant too, but contains events of different ages and is not an instantaneous spatial present. An observer-relative present is meaningful, but relativizes the existence claim rather than defending a unique global present. The defensible conclusion is therefore an incompatibility among bare relativistic structure, an objective extended present, and full symmetry of existence claims; it is not an unconditional proof that every formulation of presentism is incoherent.

Historically, electromagnetism was central to Albert Einstein's 1905 argument. His opening example compares a moving magnet and a moving conductor. The same relative motion produces the observed induction, but a description using electric fields in one frame and the magnetic part of the Lorentz force in another seemed to divide the explanation according to which object was called stationary. The unsuccessful search for an observable preferred state of rest also motivated treating the laws of mechanics, optics and electromagnetism on a common footing. That establishes a strong historical connection, not a deduction that relativity applies only to electromagnetic systems.^[ref]

The logical starting points of the kinematical argument are Einstein's principle of relativity and an invariant speed of light in vacuum, together with the assumptions needed to compare homogeneous inertial frames and physical measuring standards. Einstein synchronisation assigns distant clock readings by light exchange. In standard coordinates, the resulting Lorentz transformation for a boost along $x$ isNeither the derivation of this transformation nor the deductions of relativity of simultaneity and time dilation require solving Maxwell equations for every particular material system. They constrain the relation between measurements made in different inertial frames.^[ref]

There is nevertheless an empirical commitment in identifying $c$ with the speed of vacuum light. It is not a freely chosen numerical label: the theory says different inertial observers, using the prescribed standards, obtain the same measured value. More generally, $c$ specifies the causal structure of Minkowski spacetime. A theory could contain a massive scalar field with a Lorentz invariant equation and no electromagnetic field at all. Its particles, proper times and causal propagation would still be governed by relativistic geometry. This gives a direct sense in which the framework is logically more general than electromagnetism.

Conversely, the presence of Maxwell equations alone would not establish the full relativity principle for all matter. One could append a law involving a physically preferred timelike vector field, giving a nonelectromagnetic sector a preferred frame while retaining the usual electromagnetic equations. The covariant equation with a preferred timelike vector is an explicit model of this distinction. Requiring every relevant interaction to respect Lorentz invariance adds content; writing its components in four-dimensional notation does not supply that content automatically.

The magnet–conductor puzzle is resolved because electric fields and magnetic fields are related parts of one electromagnetic field, with the Lorentz force transforming consistently. The measured current must be compared for the same physical arrangement, including the conductor's state of motion, rather than by demanding the same electric and magnetic components separately. This is an application of the general frame transformations to a particular interaction, not the definition of every possible relativistic interaction.

Albert Einstein's later distinction between a principle theory and a constructive theory clarifies what the 1905 argument provides. It places universal restrictions on admissible laws without constructing every rod and clock from a particular microscopic model. A constructive explanation can additionally investigate why actual material standards approximate the required behavior. Harvey R. Brown and Oliver Pooley emphasize this dynamical question; it does not make the kinematical transformations meaningless or confine them to electromagnetic phenomena.^[ref][ref]

The strongest account therefore distinguishes historical motivation, the operational use of light, and the theory's universal scope. The 1905 paper addresses an electromagnetic problem through a framework whose restrictions extend to every physical process claimed to obey special relativity.

The phrase equivalence principle covers several related claims. The weak equivalence principle concerns the universality of free fall for test particles of negligible self-gravity, with the same initial conditions and no relevant nongravitational forces. In a Newtonian notation,Composition-independent motion requires the ratio of passive gravitational mass to inertial mass to be universal. Its common value can then be absorbed into the normalization of $\mathbf{g}$; the empirical assertion is universality, not the numerical convention used to express the ratio.

The Einstein equivalence principle includes that universality and extends the claim to local nongravitational experiments through local Lorentz invariance and local position invariance. A sufficiently small freely falling laboratory should recover the nongravitational laws of special relativity. The strong equivalence principle extends the scope to local gravitational experiments and bodies with appreciable gravitational self-energy. An experiment establishing one part of the weak statement does not automatically establish these stronger claims.

The motivating elevator comparison makes both the power and the limitation clear. Release a small object in a freely falling cabin. The cabin and object share the local free fall, so the object initially floats relative to the cabin. In a cabin supported against gravity, a released object instead accelerates relative to the floor, as it does in a suitably accelerated cabin in flat spacetime. This suggested replacing a universal gravitational force by geometric inertial motion. It does not identify a finite planetary gravitational field with an accelerated frame everywhere: separated falling objects can have a measurable relative acceleration.

In general relativity, the precise local geometric statement is that one can choose normal coordinates at an event $p$ withThis eliminates the connection contribution to the geodesic equation at that point. It does not generally set the Riemann curvature tensor to zero. In normal coordinates the first metric corrections away from $p$ are quadratic in the coordinate separation, and geodesic deviation measures the associated tidal forces. Equivalence is a local approximation for finite experiments whose extent and duration make these corrections negligible; it is not an assertion that curvature has been transformed away.^[ref]

There are direct experimental consequences beyond the elevator thought experiment. An Eötvös experiment compares bodies of different composition on a torsion balance, using a differential signal to test the universality of gravitational acceleration. MICROSCOPE performed an analogous test in orbit using electrostatic control of titanium-alloy and platinum-alloy test masses. Its first published result in 2017 constrained their differential free fall; this was already available before the examination. It tested a specific weak-equivalence prediction, not every possible gravitational law.^[ref] Comparisons of different atomic clocks can instead test local position invariance, including the expected gravitational redshift. These measurements constrain related but distinct parts of the framework.

The principle remains important as a restriction on how matter couples to gravity and as an organizing guide for experimental tests. It does not, on its own, derive the Einstein field equations. Universally coupling matter to a metric tensor still leaves choices for that metric's action; the equivalence principle does not uniquely fix field equations. For example, a metric gravitational action containing a scalar curvature squared term can retain the same minimal matter coupling while changing the gravitational dynamics. Selecting the Einstein-Hilbert action requires further dynamical assumptions and empirical success. The present role of the principle is consequently precise and limited: it supports local relativistic physics and universal matter coupling, while curvature, gravitational field equations and their quantitative predictions remain additional content.

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.

The crucial distinction is between an observer-independent binary relation of absolute simultaneity and a relation defined relative to an inertial frame. The relativity of simultaneity removes the former from the usual structure of special relativity; it does not make the latter meaningless or subjective.

For two spacetime events separated by $(\Delta t,\Delta x)$, a Lorentz boost of velocity $v$ givesIf $\Delta t=0$ and $\Delta x\ne 0$, then $\Delta t^{\prime }\ne 0$ for a nonzero boost along their separation. More generally, spacelike separated events can be simultaneous in some inertial frame, and their time order can reverse between inertial frames. Distinct timelike separated or null separated events cannot be simultaneous in any inertial frame; their causal order is preserved by time-orientation-preserving Lorentz transformations. These are precise geometric facts, independent of anyone's beliefs.

In Minkowski simultaneity relative to an inertial observer, the observer is represented by a constant future-directed four-velocity $u$, normalized by $\eta (u,u)=-c^2$ in metric signature $(-,+,+,+)$. ThenFor a fixed $u$, this is a perfectly well-defined equivalence relation. It can be specified without coordinates. What the Minkowski metric does not supply is a uniquely preferred $u$ and hence a uniquely preferred simultaneity foliation. This is the strongest defensible interpretation of the claim by Tim Maudlin: there is no additional fundamental, frame-independent simultaneity relation in the bare theory.

Calling it merely “relative to an observer” can mislead in two ways. First, distant simultaneity does not depend on when an image is received: travel time of the light signal must be accounted for. Second, two observers at the same spacetime event but with different four-velocities assign different simultaneity hyperplanes; the dependence is on state of motion, rather than consciousness. Einstein synchronisation operationalizes the standard frame assignment by setting a reflected pulse's remote reading to the midpoint of its sending and returning readings.^[ref]

A material system can pick out a useful rest frame, for example a gas in thermal equilibrium. That adds physical information beyond the Minkowski metric; it does not provide a universal absolute present. Accordingly, Maudlin's denial is justified if it denies a primitive observer-independent relation, but is too strong if read as denying every objective relation $P{\sim }_{u}Q$. The indexed relation and its measurable consequences remain part of the physics.

The relativity of simultaneity creates a serious difficulty for an observer-independent global present, but a conclusion about what exists requires an additional metaphysical premise. Eternalism regards past, present and future events as equally real. Presentism restricts existence to the present. These are ontological claims; the coordinate dependence of distant simultaneity is a physical claim.

A useful argument can be made mathematically explicit. In units $c=1$, consider spacetime events $O=(0,0)$, $C=(1,2)$ and $D=(1,0)$ in coordinates $(t,x)$. The Lorentz boost of velocity $v=1/2$ makes $O,C$ simultaneous, since $t_C^{\prime }=\gamma (1-\frac{1}{2}\cdot 2)=0$. The original inertial frame makes $C,D$ simultaneous. Yet $D$ is in the timelike future of $O$. Suppose one assumes that simultaneity in every inertial frame equally warrants co-reality, and that this co-reality is transitive. From the reality of $O$ one then obtains the reality of the future event $D$. Applying the construction repeatedly puts pressure on a presentist ontology.

The extra premise does real work. There is a failure of transitivity for mixed-frame simultaneity: $O$ is simultaneous with $C$ in one inertial frame, and $C$ with $D$ in another, but $O,D$ are not simultaneous in any inertial frame. The physical relation therefore cannot itself be identified with a transitive relation of co-reality. Special relativity supplies the geometry in this argument, not the ontological bridge. Writing an entire history as a four-dimensional mathematical solution also does not, by itself, prove that every represented event exists in the same sense.

A presentist could postulate an additional preferred foliation. That recovers an absolute present but adds background structure absent from ordinary Minkowski spacetime, and must explain its physical role or its empirical unobservability. Alternatively, one might give a local account of becoming along a world line, rather than a single simultaneous becoming throughout the universe. The latter does not automatically vindicate global presentism, but shows why lack of a universal present is not identical to a denial of all temporal passage.

General relativity further weakens any universal identification of time with a single inertial foliation. Some cosmological solutions have a useful matter-selected time slicing; this is a property of those solutions and matter distributions. It is not an absolute simultaneity structure in every relativistic spacetime. The defensible conclusion is that relativity gives strong reasons against a fundamental observer-independent global present in its minimal structure. It does not entail eternalism without further premises about existence and the interpretation of that structure.

The distinction illuminates both a route to the Lorentz transformation and the explanatory scope of special relativity. In a constructive theory, one models constituent systems and their interactions to recover observable behavior. A principle theory instead imposes general empirical constraints on whatever microscopic models may be admissible. Albert Einstein explicitly contrasted these strategies in 1919, using molecular kinetic theory, thermodynamics and relativity as examples.^[ref]

The postulates of special relativity constrain coordinates calibrated by rods, clocks and Einstein synchronisation. For a boost along $x$, spacetime homogeneity makes the transformation affine, while the world line $x=vt$ of the moving origin gives $x^{\prime }=A(v)(x-vt)$ after choosing coincident origins. Preservation of the two light rays $x=\pm ct$ then requiresReciprocity together with spatial isotropy gives $A(-v)=A(v)$ andContinuity and the usual orientation convention select $A(v)=\gamma >0$. Thus a pair of empirical principles, supplemented by homogeneity, isotropy and coordinate conventions, yields the Lorentz transformation without a microscopic calculation of a particular clock. Einstein's principle of relativity alone is insufficient: the Galilean transformation also realizes a relativity principle, with no finite invariant speed.^[ref]

The distinction also tells us what has not been derived. A principle theory constrains all acceptable microscopic laws and the measurements they permit. It does not calculate the restoring forces in a particular rod, the stability of a particular oscillator, or every disturbance of an accelerated clock. Those are questions for detailed dynamics. Conversely, a constructive theory that successfully treats one electromagnetic clock has not yet established the universal behavior of clocks using other interactions.

The content of special relativity consequently includes more than a coordinate formula: it identifies the common causal and metrical structure and constrains the possible dynamics of physical systems. Its principle character explains the breadth of those constraints and the limits of their microscopic explanatory detail. A constructive realization can complement them. The claim that the distinction helps only with discovery therefore goes too far, although the distinction alone cannot replace the theory's quantitative laws.

General relativity is not required for the ideal twin paradox in Minkowski spacetime. The relevant observable is the difference in proper times recorded by clocks that meet at departure and reunion. For a world line $x(t)$ in one inertial frame, the clock hypothesis givesThe home clock with $x=0$ records $T$. A traveler coasting outward at $v$ for $T/2$ and inward at $-v$ for $T/2$ records $T/\gamma$, in the ideal short-turnaround limit. For $T=10$ years and $v=0.6c$, these readings are ten and eight years. The complete paths, rather than conflicting applications of reciprocal time dilation to one pair of inertial frames, determine the invariant difference.

An exactly instantaneous reversal is an idealization, not an essential premise. Replace it by a smooth timelike turnaround. The proper time accumulated in a reversal interval of home duration $\delta t$ lies between zero and $\delta t$, so its contribution vanishes as the interval shrinks. The finite clock difference persists. Repeatedly lengthening the coasting legs while keeping the same reversal maneuver also changes the clock difference; the difference is not a universal function only of the peak proper acceleration.

The usual apparent symmetry fails because no single traveler inertial frame covers both legs. In the instantaneous rest frame at a traveler event $(t,x(t))$, the home event assigned as simultaneous has timeHence a finite turnaround changes the home simultaneity assignment continuously. In the sharp-turnaround limit at $x=vT/2$, changing $v$ to $-v$ changes that assigned home time by $v^{2}T/c^2$. This is a change in a distant relativity of simultaneity assignment, not a sudden physical jump in the home clock's reading. The full twin paradox simultaneity change reconciles the two inertial coasting descriptions.

An accelerated-coordinate calculation is also available within special relativity. Nonzero connection coefficients in that chart do not establish nonzero Riemann curvature tensor. Thus neither using accelerated coordinates nor making the traveler accelerate requires the Einstein field equations. The clock hypothesis is a physical assumption about a sufficiently ideal clock, not a guarantee that every real apparatus survives arbitrary acceleration without disturbances. Experiments such as the muon storage-ring time-dilation experiments test clock behavior in specified regimes.

Real flights around Earth also compare different gravitational potentials and require gravitational corrections, as in the twin paradox clock experiments. Those refinements involve general relativity. They do not make the flat-spacetime reunion calculation incomplete on its stated assumptions. Even two mirrored, accelerating travelers can record equal proper times; the decisive quantity is the proper time of each entire path between the common events.

Invariant and collision. For a particle of rest mass $m$, special relativity gives relativistic energy and momentumTherefore the relativistic energy-momentum relation isIt is the squared Minkowski norm of the four-momentum, multiplied by $c^2$, and hence is preserved by every Lorentz transformation. Explicitly a boost with speed $U$ along $x$ gives $E^{\prime }=\Gamma (E-U{p}_x)$, $p_x^{\prime }=\Gamma (p_x-UE/c^2)$, with $p_y^{\prime }=p_y$, $p_z^{\prime }=p_z$. Expanding $E^{\prime 2}-c^2{p}_x^{\prime 2}$ gives $E^2-c^2{p}_x^2$ because ${\Gamma }^2(1-U^2/c^2)=1$. Spatial rotations preserve $p^2$, completing the invariance argument for all inertial frames.

For the incoming moving particle, $v=3c/5$ and $\gamma =5/4$. The total laboratory energy and momentum before the perfectly inelastic collision areFour-momentum conservation identifies these with the final particle's energy and momentum. Its rest mass is thereforeThe result exceeds the sum $3m_0$ of the incoming rest masses; some initial kinetic energy has become internal rest energy. Since $p{c}^2/E=v$ for a massive particle,

Two-body decay. Work first in the parent's rest frame, denoted by a star. Four-momentum conservation requires equal and opposite daughter momenta. Their equal rest masses give equal energies:Thus their rest-frame velocities are $v_{\ast \pm }=\pm 3c/\sqrt{10}$. Applying the relativistic velocity-addition formula with boost $v^{\prime }=3c/13$ gives the two laboratory velocities:Their laboratory energies follow directly from the Lorentz transformation of four-momentum:The corresponding signed laboratory momenta areTheir sums recover $E_i$ and $p_i$, and each satisfies $E_{\pm }^2-p_{\pm }^2{c}^2=(m_0{c}^2/2{)}^2$. One daughter moves forwards and the other backwards in the laboratory; both are collinear with the original flight axis. Numerically, $v_{+}\simeq 0.967615c$, $v_{-}\simeq -0.919138c$, $E_{+}\simeq 1.980756m_0{c}^2$ and $E_{-}\simeq 1.269244m_0{c}^2$.

The special relativity expression for momentum is $p=\gamma mv$, with Lorentz factor $\gamma =(1-v^2/c^2{)}^{-1/2}$. Equal speeds imply equal Lorentz factors, so the pion and proton momenta are in the ratio of their rest masses:The common dimensionless product is $\gamma v/c=p_p/(m_{p}c)=400/0.94\simeq 425.53$, giving $\gamma \simeq 425.53$ and $v/c\simeq 0.99999724$.

The electron follows a semicircle under the transverse Lorentz force. Parallel, oppositely directed incoming and outgoing paths are separated by a diameter, so the orbit radius is $r=1.00\mathrm{cm}$. Acceleration from rest through the electric potential difference $V$ gives kinetic energy $m_e{v}^2/2=eV$, where $e>0$ is the elementary electric charge. Equating the Lorentz force magnitude to the required centripetal force givesThe magnetic field must be perpendicular to the plane of the turn, with its sign chosen for the electron's negative electric charge. In the illustration the electron enters rightwards at the upper endpoint, so a magnetic field into the page bends it downwards.

The nonrelativistic estimate has $v\simeq 0.198c$. If the small special relativity correction is retained, use $pc=\sqrt{K(K+2m_e{c}^2)}$ with $K=eV$ and $B=p/(er)$. This gives $B\simeq 3.389\times 10^{-2}\mathrm{T}$, about $0.49\%$ larger. The leading answer is adequate at the precision implicit in the classical treatment.

An electron has electric charge $-e$, so its gain of kinetic energy through an accelerating electric potential difference of magnitude $V$ is $eV$. Starting from rest, conservation of energy givesWith $e=1.60218\times 10^{-19}\mathrm{C}$, electron mass $m_e=9.10938\times 10^{-31}\mathrm{kg}$, and $V=150\mathrm{V}$,This is a speed; the velocity points along the accelerating path, opposite the electric field. Here $v/c\simeq 0.0242$, where $c$ is the speed of light, so the classical kinetic energy approximation is accurate. As a check, special relativity gives $\gamma =1+eV/(m_e{c}^2)$ and $v=c\sqrt{1-{\gamma }^{-2}}\simeq 7.262\times 10^6\mathrm{m}{\mathrm{s}}^{-1}$, agreeing to the quoted precision.

The Michelson-Morley experiment splits coherent light into two perpendicular arms, reflects the beams and recombines them to observe interference fringes. Rotating the apparatus interchanges each arm's orientation relative to a proposed stationary luminiferous aether. The historical experiment used multiple reflections to increase the effective optical path and a rotatable support to compare orientations.^[ref]

For equal one-way effective arm lengths $\ell$, a classical stationary-aether model givesA right-angle rotation should reverse their difference, producing a fringe shift of approximately $2\ell v^2/(\lambda c^2)$. The observed orientation-dependent shift was much smaller than the stationary-aether prediction. In special relativity, the apparatus rest frame has the same vacuum speed of light along both arms, so no such orientation-dependent shift is expected. The result supports special relativity but does not, by itself, uniquely establish every postulate or exclude every modified aether theory.

For the rocket, take its tail at $x^{\prime }=0$ and nose at $x^{\prime }=L_0$, with coincident frame origins when $t=t^{\prime }=0$. Denote emission, reflection and return by $A,B,C$. In the rocket's inertial frame, their coordinates $(t^{\prime },x^{\prime })$ areThe inverse Lorentz transformation is $x=\Gamma (x^{\prime }+u{t}^{\prime })$, $t=\Gamma (t^{\prime }+u{x}^{\prime }/c^2)$, where $\Gamma =(1-u^2/c^2{)}^{-1/2}$. Thus the same spacetime events, in coordinates $(t,x)$, areThere is no requirement that emission have $t=0$ in this chosen laboratory coordinate system.

The nose-to-tail travel time is $\Delta t_{AB}=\Gamma L_0(1-u/c)/c$. If $L$ is the laboratory length measured at one laboratory time, a left-moving pulse and the right-moving tail close their initial separation at speed $c+u$. ThereforeThis derives length contraction from the pulse's travel. Comparing the positions of the two endpoints at different laboratory times would not measure the rocket's laboratory length.

The spacecraft clock measures proper time $\tau$, while a clock at rest with Earth measures the launch-to-emission interval $t$. Neglect Earth's subsequent motion and gravity, as in the intended special relativity model. The Lorentz factor and time dilation giveIn Earth's inertial frame, the spacecraft's displacement at emission is $d=vt$. ThereforeHere $\tau =43200\mathrm{s}$ and the speed of light is $c=2.99792458\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$. The distance is evaluated at the emission event, using simultaneous Earth-frame endpoints, as required by relativity of simultaneity; the return signal has not yet reached Earth. A distance assigned on the spacecraft's simultaneous time slice is different: Earth has moved away at $c/3$ for $12\mathrm{h}$ in that frame, giving $c\tau /3=4$ light-hours. Specifying the reference frame is essential to the numerical answer.