• Computer Science > Distributed, Parallel, and Cluster Computing [Submitted on 25 Feb 2026] Title:Lamport’s Arrow of Time: The Category Mistake in Logical Clocks View PDF HTML (experimental)Abstract:Lamport’s 1978 paper introduced the happens-before relation and logical clocks, freeing distributed systems from dependence on synchronized physical clocks • This is widely understood as a move away from Newtonian absolute time • We argue that Lamport’s formalism retains a deeper and largely unexamined assumption: that causality induces a globally well-defined directed acyclic graph (DAG) over events – a forward-in-time-only (FITO) structure that functions as an arrow of time embedded at the semantic level • Following Ryle’s analysis of category mistakes, we show that this assumption conflates an epistemic construct (the logical ordering of messages) with an ontic claim (that physical causality is globally acyclic and monotonic) • We trace this conflation through Shannon’s channel model, TLA+, Bell’s theorem, and the impossibility results of Fischer-Lynch-Paterson and Brewer’s CAP theorem • We then show that special and general relativity permit only local causal structure, and that recent w

Article Summaries:

  • Computer Science > Distributed, Parallel, and Cluster Computing [Submitted on 25 Feb 2026] Title:Lamport’s Arrow of Time: The Category Mistake in Logical Clocks View PDF HTML (experimental)Abstract:Lamport’s 1978 paper introduced the happens-before relation and logical clocks, freeing distributed systems from dependence on synchronized physical clocks. This is widely understood as a move away from Newtonian absolute time. We argue that Lamport’s formalism retains a deeper and largely unexamined assumption: that causality induces a globally well-defined directed acyclic graph (DAG) over events

Sources: