#

philosophy-of-physics

(4 articles)

The Indistinguishable Origin

# The Indistinguishable Origin Did the universe begin? General relativity allows cosmological models with past singularities — moments where the mathematics breaks down, often interpreted as a beginning of time. The standard FLRW spacetimes, built on dust and radiation, have such singularities. The singularity theorems of Penrose and Hawking proved that under reasonable physical conditions, singularities are unavoidable. This has been taken as strong evidence that the universe had a beginning. Linford (arXiv:2603.04159) shows that the evidence cannot support this conclusion. Every past-singular FLRW spacetime — every standard model with a beginning — has an observationally indistinguishable counterpart that either lacks the singularity or fails to satisfy the conditions required for a genuine cosmic beginning. The two models are different in structure but identical in every possible observation. The argument extends the Malament-Manchak theorems, which establish that the global topology of spacetime is underdetermined by local observations. The extension is specific: it isn't just that we can't tell the full shape of spacetime from our vantage point. It is that we can't even tell whether the spacetime we inhabit has a beginning. The question "did everything start?" is observationally unanswerable — not because our instruments are too weak, but because the structure of general relativity permits twin spacetimes that diverge on this question while agreeing on every measurement. The paper proposes two necessary conditions for a genuine cosmic beginning and shows that observers cannot gather sufficient data to determine whether either condition is met. The limitation is not epistemic (we could know but don't) but structural (the theory itself permits indistinguishable alternatives). The through-claim: some questions about the universe are not empirical. Not because they are metaphysical — the question "did the universe begin?" has a definite answer in any specific spacetime model — but because the mapping from theory to observation is many-to-one. Multiple incompatible answers map to the same data. The beginning of everything is, from the inside, indistinguishable from its absence.

cosmologyphilosophy-of-physicsunderdeterminationsingularitybeginningFLRW

The Inherited Direction

# The Inherited Direction Eddington named the arrow of time in 1927, grounding it in the second law of thermodynamics: entropy increases, and that increase distinguishes past from future. The thermodynamic arrow gives time its direction. Shannon built information theory on the assumption that communication proceeds forward in time: a message is sent, then received. Lamport built distributed systems theory on the assumption that events are ordered by causation, which is irreversible and acyclic: a cause precedes its effect. Ethernet protocols, database transactions, and every modern computing system inherit these assumptions. The paper (arXiv:2603.01440) argues that computing's arrow of time is not thermodynamic. It is semantic. The Forward-In-Time-Only assumption — that causation flows one way, that transactions are irreversible, that the past is fixed and the future is open — was not derived from the physics of entropy. It was carried from Eddington through Shannon through Lamport as a design choice encoded at each stage into the architecture of the next system. Newton's absolute time entered computing through information theory, not through thermodynamics. The distinction matters because design choices can be changed. Physical laws cannot. If computing's temporal architecture is a consequence of entropy, then distributed systems are constrained by physics — certain problems (consensus, ordering, consistency) are genuinely hard because the universe makes them hard. If computing's temporal architecture is a semantic convention inherited from mid-20th-century assumptions, then the constraints are artificial. The problems are hard because the architecture makes them hard, and a different architecture could dissolve them. Forty years of distributed systems theory — Byzantine fault tolerance, CAP theorem implications, consensus protocols — were developed within this inherited framework. The paper claims that recognizing the framework as chosen rather than given dissolves apparent constraints that shaped the field. The through-claim: a design choice that enters a system early enough and propagates faithfully enough becomes indistinguishable from a law. The temporal direction of computing feels like physics because it was never questioned. The assumption was load-bearing before anyone noticed it was an assumption.

philosophy-of-physicsdistributed-systemstimeinformation-theorycomputingShannonLamport

This Is Not a Gluon

# This Is Not a Gluon Magritte painted a pipe and wrote beneath it: "This is not a pipe." It was a painting of a pipe — a representation, not the thing itself. The title forced the viewer to confront the gap between representation and reality. Physicists describe gluons as particles that carry the strong force between quarks. The mathematical framework of Yang-Mills gauge theory represents gluons as connections on principal fiber bundles — geometric objects that encode how internal symmetry spaces relate at different points in spacetime. The Wu-Yang dictionary translates between the physicist's language (particles, forces, fields) and the mathematician's language (connections, bundles, curvature). The paper (arXiv:2603.19518) identifies a tension in this translation that is not widely discussed. The physicist's gluon is a section of a vector bundle — a local object, defined at a point, carrying physical degrees of freedom. The mathematician's connection is a global object — a structure on the total bundle that determines how to compare fibers at different points. These are not the same kind of mathematical entity, and the dictionary that connects them is not an equivalence. This creates an interpretive choice. Either gauge bosons are genuinely the sections that physicists describe, in which case the principal bundle formulation contains surplus mathematical structure that does no physical work. Or gauge bosons are the connections that mathematicians describe, in which case the particle description is not ontologically fundamental — the gluon is not a thing but a way of comparing things across space. Recent "particle-first" approaches to Yang-Mills theory attempt to derive the theory from particle properties rather than from geometric structure. The paper shows that these approaches face the same dilemma: they either reproduce the principal bundle formulation (confirming that the geometry is essential) or they don't (in which case they contain less structure than needed, or different structure). The through-claim: "What is a gluon?" is not a physics question. It is a question about the relationship between mathematical representation and physical reality. The physics — the predictions, the cross-sections, the scattering amplitudes — is the same regardless of which formulation you choose. What changes is what you think the mathematics is about. This is not a gluon. It is a representation of one. And the representation has more structure than any physical measurement can distinguish.

philosophy-of-physicsgauge-theoryontologyYang-Millsgluonmathematics

The Rescued Theorem

# The Rescued Theorem Reichenbach's theorem θ makes a universality claim: any spacetime geometry could function as an alternative to any other, given appropriate adjustments to the physics. If true, the geometry of spacetime would be conventional — a choice of description rather than a fact about the world. Different geometric frameworks would be empirically equivalent, and selecting one over another would be a matter of convenience, not truth. Weatherall and Manchak (2014) proved that in general relativity, unlike in Newtonian gravity, Reichenbachean "universal effects" cannot exist under standard assumptions. This appeared to settle the question: GR is not susceptible to conventionalism. The geometry is physical, not conventional. Mulder (arXiv:2603.24608) reopens the case. By relaxing one mathematical assumption and extending the analysis to include spacetimes with torsion, he shows that the no-go result is fragile — "there is no rich no-go theorem to save theorem θ." The universality claim is not defeated. It is merely not proved. The theorem survives its apparent refutation because the refutation depended on assumptions the theorem never required. The through-claim: the debate between conventionalism and realism about spacetime geometry is not settled by any single formal result — because the formal results are as assumption-dependent as the theories they evaluate. Proving that GR resists conventionalism under standard assumptions demonstrates a fact about the proof's assumptions, not a fact about GR. Mulder's contribution is not to vindicate conventionalism but to demonstrate that formal existence proofs and no-go theorems inherit the assumptions of the frameworks they operate within. The meta-question — is geometry conventional? — cannot be answered by a theorem that is itself geometrically conventional.

philosophy-of-physicsconventionalismgeneral-relativityspacetimeunderdeterminationReichenbachgeometry