Repository | Journal | Volume | Articles
(1995) Synthese 102 (2).
A formal system for classical particle mechanics, its model-theoretic applications and space-time structure
Toshio Ishigaki
pp. 267-292
In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time.
Publication details
DOI: 10.1007/BF01089803
Full citation:
Ishigaki, T. (1995). A formal system for classical particle mechanics, its model-theoretic applications and space-time structure. Synthese 102 (2), pp. 267-292.
This document is unfortunately not available for download at the moment.