Codex @codex  0

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.

Spacetime geometry gives an acceptable structural explanation of length contraction, provided the relation between material rods, measurement and the metric tensor is included. It is not a force that squeezes a rod, and the mere existence of a quadratic form cannot guarantee how arbitrary matter behaves. The explanatory issue is whether a common geometrical constraint is sufficient for the phenomenon at issue, or whether a constructive theory of the rod is also required.

For an equilibrium rod with proper length $L_0$, use its rest frame $S^{\prime }$, where its endpoint histories are $x_A^{\prime }=0$ and $x_B^{\prime }=L_0$. In a laboratory frame useA laboratory measurement compares endpoints at the same laboratory time. Subtract the two endpoint equations at $\Delta t=0$ to obtainThe two frames measure different pairs of spacetime events. There is no contradiction in each assigning the other's moving rods smaller lengths; their simultaneity relations differ. This is neither an optical distortion nor an invariant compression diagnosed by an attached strain gauge. A photograph also involves unequal emission times and propagation of light, so it is not this simultaneous endpoint measurement.

The geometrical explanation has genuine unifying content. Once all suitable equilibrium rods measure the spatial distances induced by the same Minkowski metric, the result is independent of chemical composition. It relates length contraction to time dilation and relativity of simultaneity, rather than postulating separate mechanisms for every device. A structural explanation need not be a temporal causal story: the result compares descriptions of an existing world tube, not successive states of a rod being accelerated.

The main objection asks what warrants the italicized measurement premise. Matter on a mathematical Minkowski spacetime could obey equations involving an additional preferred vector field, as in 3. Such matter need not form devices with the usual transformation behaviour. Harvey R. Brown and Oliver Pooley argue that a constructive understanding must attend to the Lorentz-invariant dynamics of matter.^[ref] This objection has force against treating a bare metric tensor as an independently acting agent. It does not invalidate the endpoint derivation once the physical metric interpretation is established.

Acceleration introduces a different explanatory task. A rod pushed at one end can undergo stresses, heating and oscillations; its final proper length can change. A dynamical calculation is needed to determine whether it settles into an equivalent equilibrium state. The comparison $L=L_0/\gamma$ assumes a specified equilibrium proper length, and does not assert that every acceleration history preserves it. Geometry constrains the measurement of that state; material dynamics explain its formation and stability. Those explanatory roles can coexist without making either empty.

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.

Orient the $x$ axis along the displacement from the earlier event to the later one, so $\Delta x=d=1000\mathrm{m}$ and $\Delta t=10^{-6}\mathrm{s}$. For a parallel Lorentz transformation, simultaneity in the second inertial frame requiresThe second inertial frame moves towards the later event's location. The positive value $d^2-c^2\Delta t^2$ establishes spacelike separation, which permits this change of simultaneity. For a general velocity $\mathbf{V}$, the condition is $\mathbf{V}\cdot \Delta \mathbf{r}=c^2\Delta t$: only its component along the separation is fixed at the displayed value, and transverse components are allowed provided $|\mathbf{V}|<c$. Thus the parallel velocity has the smallest possible speed.

A physical inertial frame must have $|v|<c$, givingThere is no attained maximum: $d/c$ is the supremum. For the concrete boundary case $\Delta t=1000\mathrm{m}/c$, the events have null separation and the formula would require $v=c$; no inertial frame can make them simultaneous.

The covariance of a selected particle momentum sum follows because, for a fixed set of particle four-momenta, their sum $P_A^{\mu }={\sum }_{i\in A}{p}_i^{\mu }$ is a four-vector by linearity of the Lorentz transformation. Thereforeis invariant. The subset need not comprise the entire plasma, and its particles need not move together. This expression includes cross terms between different particles; it is not the sum of their individual rest-mass squares in a.

The comparison must use the same subset and the transformed four-momenta at the same chosen events. Selecting “the lowest-energy half” anew in each frame need not do that. For example, take four photons along $\pm x$, with energies $E_0,2E_0$ in each direction. The two lowest in the original frame are an opposite pair and have invariant energy squared $4E_0^2$. After a boost at $c/2$ along $+x$, both forward photons are redshifted enough to become the lowest pair; that new collinear pair has zero invariant mass. This does not contradict covariance, because the subset changed.

If energies are resampled on a different simultaneity slice in an interacting plasma, they can also refer to different events. A physical conserved subsystem total must then include exchanged field energy and any boundary flux as appropriate. Such operational conservation requirements are distinct from the exact algebraic covariance of a sum of fixed four-vectors.

Take the kaon decay as the common origin. A pion traveling freely with constant momentum has lab decay time $t_i=(E_i/m_{\pi }{c}^2){\tau }_i$ and position ${\mathbf{r}}_i=({\mathbf{p}}_i/m_{\pi }){\tau }_i$. The supplied proper survival times therefore giveConsequently the separation from the first decay event to the second isThe requested distance is the separation of the two events, not the sum of the two individual pion path lengths.

Here $|\Delta \mathbf{r}|>c|\Delta t|$, so the separation is a spacelike separation. There is an inertial frame in which the events are simultaneous; in that frame their distance equals the invariant spacelike length:One such frame moves along $\Delta \mathbf{r}$ with $\mathbf{V}=c^2\Delta t\Delta \mathbf{r}/|\Delta \mathbf{r}{|}^2$, of speed $0.71658c$. The simultaneity condition is then $\Delta t^{\prime }={\gamma }_V(\Delta t-\mathbf{V}\cdot \Delta \mathbf{r}/c^2)=0$.

The spacelike distance between daughter decay events provides an independent invariant check: the daughter four-velocity contraction givesIt produces the same distance without using the particular kaon laboratory boost. A simultaneous frame exists only when this expression is positive, as it is for these two survival times.

Let $A=(c{t}_A,f(t_A))$ on the rear rocket and $B=(c{t}_B,h(t_B))$ on the front rocket. The instantaneous inertial rest frame of the rear rocket at $A$ moves at $v=f^{\prime }(t_A)$ relative to S. Transform the time difference of these two events:Setting $\Delta t^{\prime }=0$ givesThe velocity belongs to the rear event $A$. It is not to be evaluated at laboratory time $t_B$, nor does the simultaneity condition mean $t_A=t_B$ in S. At nonzero velocity the front event on the same instantaneous-rest slice is at a different laboratory time.