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. 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.”. (shrink)

The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.