Absolute vs. Relational Space

The foundational form of the substantivalism–relationism debate is the seventeenth- and eighteenth-century dispute over absolute versus relational space and time. Newton held that space and time are absolute: real, independent entities that provide a fixed frame against which the true positions, times, and motions of bodies are defined. Leibniz held that they are relational: not entities at all, but systems of relations abstracted from the arrangements of bodies and the succession of events. The dispute is not a verbal one — it makes concrete predictions about whether certain differences are real, and about what physics needs in order to distinguish true motion from apparent motion.

This page states the two positions and the core arguments between them; the epistolary battle in which they were fought out is treated on the Leibniz–Clarke page, and the empirical pressure point on the Newton's bucket page.

Newton's absolute space and time

In the Scholium to the Principia, Newton drew his famous distinctions:

Absolute, true, and mathematical time, of itself, and from its own nature, flows equably without relation to anything external… Absolute space, in its own nature, without relation to anything external, remains always similar and immovable.

Absolute space is a three-dimensional Euclidean container, the same everywhere and unmoving; absolute time flows uniformly regardless of events. Relative space and time are the measurable positions and durations we actually work with, defined by reference to bodies (the Earth, the fixed stars) and clocks. Newton's claim is that behind the relative quantities lie absolute ones, and that physics requires them.

Why did he think so? Because his mechanics distinguishes true motion from relative motion. The First Law speaks of bodies that are "truly" at rest or in uniform motion, and the concept of acceleration — central to the Second Law, $F=ma$ — seems to presuppose an absolute standard against which accelerations are reckoned. The evidence that this standard is needed, and not merely posited, comes from inertial effects: the tension in a cord, the curved surface of spinning water. These, Newton argued, track absolute acceleration and rotation, not motion relative to any body — the argument of the rotating bucket.

Leibniz's relationism

Leibniz rejected the container as an idle metaphysical extravagance. Space is the order of coexistence — the system of spatial relations (distance, betweenness, direction) among simultaneously existing bodies. Time is the order of succession — the system of before–after relations among events. Remove the bodies and events and nothing spatial or temporal remains, for there was never a thing there to remain. "Empty space" names not an invisible substance but the possibility of further bodies standing in relations to the ones we have.

Leibniz mounted two master arguments, both from principles he took to be self-evident:

• The static shift and the Principle of Sufficient Reason. Suppose absolute space is real. Then God, in creating the world, had to place all matter somewhere in it — here, rather than five metres east, or with east and west reversed. But since all points of absolute space are perfectly alike, there could be no sufficient reason to choose one placement over another. A real absolute space thus commits us to a choice made for no reason, violating the PSR. Therefore absolute space is not real.
• The kinematic shift and the Identity of Indiscernibles. A world exactly like ours but shifted uniformly through absolute space, or set in motion at constant velocity through it, would be perceptually and dynamically indistinguishable from ours: no observation could tell them apart. By the PII — no two genuinely distinct states of affairs can share all their properties — these are not two possibilities but one, redescribed. The absolute space that would make them differ is therefore a distinction without a difference.

The structure of the disagreement

The arguments reveal exactly where the two views part company:

Notice that the relationist wins the first two rounds cleanly, and physics agrees: Galilean invariance — and later Lorentz invariance in special relativity — makes absolute position and absolute velocity undetectable in principle. Newton himself conceded that uniform velocity through absolute space has no observable effect. The dispute therefore concentrates on the third row: acceleration and rotation, where inertial effects seem to betray something non-relational at work.

The modern reading: less than Newton, more than Leibniz

Twentieth-century philosophy of physics reframed the debate by asking how much structure the physics actually needs. Newton's full absolute space provides a standard of rest (absolute position and velocity) and a standard of acceleration. But mechanics only uses the latter. This motivates neo-Newtonian (Galilean) spacetime: a spacetime equipped with an affine connection that distinguishes straight (unaccelerated) worldlines from curved (accelerated) ones, but with no fact about which non-accelerated worldline is "at rest." Galilean spacetime concedes everything the shift arguments demand — no absolute position, no absolute velocity — while retaining exactly what the bucket requires: an absolute distinction between accelerated and inertial motion. It is "substantival" about spacetime structure without being committed to Newton's superfluous standard of rest.

The relationist's counter is to try to recover that inertial structure from the relations among bodies alone — the programme of Mach's principle and its modern descendants. Whether it can be done, and at what cost, is the live question that general relativity inherited.

Where this sits

The absolute–relational dispute is the classical face of the ontological question and the root of the whole substantivalism–relationism debate. Its two arguments — the PSR-based static shift and the PII-based kinematic shift — remain the relationist's sharpest weapons, and its unresolved residue — absolute acceleration and rotation — remains the substantivalist's. Everything later in this subfolder is a development of this seed: Mach tries to complete the relationist programme, the hole argument transposes the whole dispute into general relativity, and supersubstantivalism pushes the substantival side to its limit. The next page follows the argument as Leibniz and Clarke actually conducted it.