The Axiomatization of Classical Mechanics

Abstract

The purpose of this note is to examine a recent axiomatization of classical particle mechanics, and its relation to an alternative axiomatization I had earlier proposed. A comparison of the two proposals casts some interesting light on the problems of operationalism in classical celestial mechanics. 1. Comparison of the Two Axiomatizations. The basic differences between the two proposals arise from the nature of the undefined terms. Both systems take the set of particles, time, and position as primitive notions. Both systems assume that there exists a set of particles having continuous, twice-differentiable paths over some time interval. In addition, CPM takes mass and force as primitive notions, and assumes that with each particle there is associated a mass and a set of forces such that Newton's Second Law is satisfied (Axiom P6). A system with these properties is called in CPM “a system of particle mechanics.” If, in addition, the set of forces in the system satisfies Newton's Third Law, the system is called in CPM “Newtonian.”

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 23 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.