Constructive Axiomatics for Spacetime Physics

The programme of 'constructive axiomatics', promulgated by Hans Reichenbach in 1924, seeks to build up the architecture of our best theories of physics from basic axioms supposedly imbued with immediate and indubitable empirical content. Taking inspiration from Reichenbach, Hermann Weyl proposed his own 'causal-inertial' approach to the constructive axiomatization of Einstein's general relativity,...