Affiliations: Department of Philosophy, State University of New York at Buffalo, 135 Park Hall, Buffalo, NY, 14260, USA. E-mail: email@example.com
Note:  Accepted by: Stefano Borgo
Abstract: Classical (i.e., non-quantum) mechanics is the foundation of many models of dynamical physical phenomena. As such those models inherit the ontological commitments inherent in the underlying physics. Therefore, building an ontology of dynamic phenomena requires a clear understanding of the ontology of classical mechanics. The axiomatic theory presented here in conjunction with the specification of its intended interpretation in the underlying physics aim to provide a formal framework that is general enough to formalize the ontological commitments of classical mechanics in a way that is consistent with various underlying spacetime ontologies.