Lamport's Arrow of Time: The Category Mistake in Logical Clocks
Paul Borrill

TL;DR
This paper critiques the assumption that causality in distributed systems forms a global, acyclic arrow of time, arguing that physical and quantum phenomena suggest a more nuanced, local causal structure.
Contribution
It reveals that Lamport's logical clocks implicitly assume a globally ordered causality, conflating epistemic and ontic notions, and proposes mutual information as a fundamental primitive.
Findings
Logical clocks rely on a presumed global causal order.
Relativity and quantum physics challenge the notion of a universal arrow of time.
Mutual information offers a more fundamental basis for distributed consistency.
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.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Quantum Mechanics and Applications · Philosophy and Theoretical Science
