Spinoza's physics is advanced via a series of axioms and lemmas to 2p13: "The object of the idea
constituting the human mind is the body--i.e. a definite mode of extension actually existing, and nothing
else."
Lem1 considers Galileo's problem: how are bodies to be distinguished from the space they inhabit;
Spinoza argues (as Newton will later affirm) that bodies are not distinguished by anything other than the
forces operative within them (stack this up against the "standard model" in particle physics today).
Lem2 contends that all bodies move and establish equilibria.
Lem3 is Spinoza's version of the principle of inertia: the principle is a corollary to the no-vacuum
argument: bodies are an infinite totality. Spinoza regards individuals as groups of bodies nominally
lumped together so as to communicate their motion to the equilibrium of the whole; the more parts a
body has, the more easily it will retain equilibrium.
Axiom 1: All bodies are either in motion or at rest.
Axiom 2: Each single body can move at varying speeds.
Lemma 1: Bodies are distinguished from one another in respect of
motion and rest, quickness and slowness, and not in respect
of substance.
Lemma 2: All bodies agree in certain respects.
Lemma 3: A body in motion or at rest must have been determined to
motion or rest by another body, which likewise has been
determined to motion or rest by another body, and that
body by another, and so ad infinitum.
Lemma 4: If from a body, or an individual thing composed of a number
of bodies, certain bodies are
separated, and at the same time a like number of bodies of
the same nature take their place, the individual thing will
retain its nature as before, without any change in its form.
Lemma 5: If the parts of an individual thing become greater or
smaller, but so proportionately that they all preserve the
same mutual relation of motion-and-rest as before, the
individual thing will likewise retain its own nature as
before without any change in its form.
Lemma 6: If certain bodies composing an individual thing are made
to change the existing direction of their motion, but in
such a way that they can continue their motion and keep
the same mutual relation as before, the individual thing
will likewise preserve the same mutual relation as before,
the individual thing will likewise preserve its own nature
without change of form.
Lemma 7: Furthermore, the individual thing so composed retains its
own nature, whether as a whole it is moving or at rest,
and in whatever direction it moves, provided that each
constituent part retains its own motion and continues to
communicate this motion to the other parts.
Ax1 and Ax2 together assert that to be at rest is to be doing something (rest is not the cessation of
motion but a dynamical state of equilibrium); to be at rest is to be holding a place. Whether a body is
moving or at rest depends on the frame of reference one happens to adopt for that body in conjunction
with its surrounding physical environment. Spinoza uses this position to refute Descartes' contention that
God must act so as to conserve the total amount of motion in the universe: if motion is relative, the
requisite conservation laws can all be achieved through shifts in mathematical analysis.