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.
Arnold, V. (1992). Ordinary Differential Equations. New York: Springer-Textbook.
5.
Arnold, V.I. (1997). Mathematical Methods of Classical Mechanics. Springer.
6.
Arthur, R.T.W. (2007). Time, inertia and the relativity principle. In Symposium on Time and Relativity.
7.
Ballarin, C. (2004). Locales and Locale Expressions in Isabelle/Isar (pp. 34–50). Berlin, Heidelberg: Springer.
8.
Belot, G. (2007). The representation of time in classical mechanics. In J.Butterfield and J.Earman (Eds.), Philosophy of Physics. Elsevier.
9.
Benzmüller, C. (2015). HOL provers for first-order modal logics – Experiments. In C.Benzmüller and J.Otten (Eds.), ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics. EPiC Series in Computing (Vol. 33, pp. 37–41). EasyChair.
10.
Benzmüller, C. & Woltzenlogel Paleo, B. (2015). Higher-order modal logics: Automation and applications. In A.Paschke and W.Faber (Eds.), Reasoning Web 2015. LNCS (Vol. 9203, pp. 32–74). Berlin, Germany: Springer(Invited paper).
11.
Bittner, T. (2017). On the computational realization of formal ontologies. Under review.
12.
Bittner, T. & Donnelly, M. (2004). The mereology of stages and persistent entities. In R.Lopez de Mantaras and L.Saitta (Eds.), Proceedings of the 16th European Conference on Artificial Intelligence (pp. 283–287). IOS Press.
13.
Bittner, T. & Donnelly, M. (2006a). A classification of spatio-temporal entities based on their location in space-time. In R.Meersman, Z.Tari and P.Herrero (Eds.), OTM 2006 Workshop Proceedings: International Workshop on Semantic-Based Geographical Information Systems. Lecture Notes in Computer Science (Vol. 4278, pp. 1626–1635). Berlin, Heidelberg: Springer.
14.
Bittner, T. & Donnelly, M. (2006b). A theory of granular parthood based on qualitative cardinality and size measures. In B.Bennett and C.Fellbaum (Eds.), Proc. 4th Int. Conference on Formal Ontology in Information Systems (pp. 65–76). Amsterdam: IOS Press.
15.
Bittner, T., Donnelly, M. & Smith, B. (2004). Endurants and perdurants in directly depicting ontologies. AI Communications, 14(4), 247–258.
16.
Brading, K.A. & Castellani, E. (2002a). Symmetries and Noether’s theorems. In Symmetries in Physics: Philosophical Reflections. Oxford University Press.
17.
Brading, K.A. & Castellani, E. (2002b). Symmetries in physics: philosophical reflections.
18.
Brown, H. & Brading, K. (2002). General covariance from the perspective of Noether’s theorems.
19.
Brown, H.R. & Harré, R. (Eds.) (1996). Philosophical Foundations of Quantum Field Theory. Oxford University Press.
20.
Butterfield, J. (2007). On symplectic reduction in classical mechanics. In J.Butterfield and J.Earman (Eds.), Philosophy of Physics. Elsevier.
21.
Casati, R. & Varzi, A. (1994). Holes and Other Superficialities. Cambridge, MA: MIT Press.
22.
Casati, R. & Varzi, A. (1995). The structure of spatial localization. Philosophical Studies, 82(2), 205–239. doi:10.1007/BF00364776.
23.
Casati, R. & Varzi, A.C. (1999). Parts and Places. Cambridge, MA: MIT Press.
24.
Champollion, L. & Krifka, M. (2015). Mereology. In P.Dekker and M.Aloni (Eds.), Cambridge Handbook of Formal Semantics. Cambridge University Press.
25.
Choi, S. & Fara, M. (2016). Dispositions. In E.N.Zalta (Ed.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
26.
Church, A. (1940). A formulation of the simple theory of types. The Journal of Symbolic Logic, 5(2), 56–68. doi:10.2307/2266170.
27.
Church, A. (1941). The Calculi of Lambda-Conversation. Princeton, NY: Princeton University Press.
28.
Cohn, A., Bennett, B., Goodday, J. & Gotts, N. (1997). Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica, 1(3), 1–44. doi:10.1023/A:1009712514511.
29.
Copi, I. (1979). Symbolic Logic. Upper Saddle River, NJ: Prentice Hall.
30.
Dawkins, P. Paul’s online math notes. http://tutorial.math.lamar.edu/Classes/DE/DirectionFields.aspx.
31.
Donnelly, M. & Bittner, T. (2008). Summation relations and portions of stuff. Philosophical Studies, 143, 167–185. doi:10.1007/s11098-007-9197-6.
32.
Earman, J. (2002). Laws, Symmetry, and Symmetry Breaking; Invariance, Conservation Principles, and Objectivity.
33.
Earman, J. & Norton, J. (1987). What Price Spacetime Substantivalism? The Hole Story. The British Journal for the Philosophy of Science, 38(4), 515–525. doi:10.1093/bjps/38.4.515.
34.
Egenhofer, M., Clementini, C. & Felice, P.D. (1994). Topological relations between regions with holes. International Journal of Geographical Information Systems, 8, 129–144. doi:10.1080/02693799408901990.
35.
Egenhofer, M. & Herring, J.R. (1990). A mathematical framework for the definition of topological relationships. In K.Brassel (Ed.), 4th International Symposium on Spatial Data Handling. Zurich, Switzerland: IGU.
36.
Einstein, A. (1951). Relativity: The Special and the General Theory. New York: Crown Publishers Inc.
37.
Fecko, M. (2006). Differential Geometry and Lie Groups for Physicists. Cambridge University Press.
38.
Frigg, R. (2012). What is statistical mechanics? In C.Galles, P.Lorenzano, E.Ortiz and H.-J.Rheinberger (Eds.), History and Philosophy of Science and Technology, Encyclopedia of Life Support Systems (Vol. 4). Isle of Man: Eolss.
39.
Gabbay, D.M. (2003). Many-Dimensional Modal Logics: Theory and Applications. Elsevier North Holland.
40.
Galilei, G. (1632). Dialogue Concerning the Two Chief World Systems.
41.
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A. & Schneider, L. (2003). Sweetening ontologies with DOLCE. AI Magazine, 23(3), 13–24.
42.
Goodday, J. & Cohn, A. (1994). Conceptual neighborhoods in temporal and spatial reasoning. In ECAI-94 Spatial and Temporal Reasoning Workshop.
43.
Grenon, P. & Smith, B. (2004). SNAP and SPAN: Towards dynamic spatial ontology. Spatial Cognition and Computation, 4(1), 69–103. doi:10.1207/s15427633scc0401_5.
44.
Hawley, K. (2001). How Things Persist. Oxford: Clarendon Press.
45.
Hestenes, D. (2002). New Foundations for Classical Mechanics. Fundamental Theories of Physics. Springer.
46.
Hilbert, D. (1924). Die Grundlagen der Physik. Mathematische Annalen, 92(1–2), 1–32. doi:10.1007/BF01448427.
47.
Hilbert, D. (2005). The Foundations of Geometry. Project Gutenberg.
48.
Hughes, G. & Cresswell, M. (2004). A New Introduction to Modal Logic. London, New York: Routledge.
49.
Jones, S.P. & Jones, M. (1997). Type classes: An exploration of the design space. Technical report.
50.
Kammüller, F., Wenzel, M. & Paulson, L.C. (1999). Locales: A Sectioning Concept for Isabelle (pp. 149–165). Berlin, Heidelberg: Springer.
51.
Klein, F. (1872). Vergleichende Betrachtungen über Neuere Geometrische Forschungen. Erlangen: A. Deichert.
52.
Ladyman, J. (2016). Structural realism. In E.N.Zalta (Ed.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
53.
Lewis, D. (1986). The Plurality of Worlds. New York: Basil Blackwell.
54.
Libermann, P. & Marle, C. (1987). Symplectic Geometry and Analytical Mechanics. Mathematics and Its Applications. Netherlands: Springer.
55.
Lowe, E.J. (2002). A Survey of Metaphysics. Oxford University Press.
56.
Marsden, J.E. & Ratiu, T.S. (1999). Introduction to Mechanics and Symmetry. Springer.
57.
Masolo, C., Borgo, S., Gangemi, A., Guarino, N. & Oltramari, A. (2003). WonderWeb deliverable D18. The WonderWeb library of foundational ontologies and the DOLCE ontology (Vol. 18). Technical report, ISTC-CNR.
58.
Maudlin, T. (1993). Buckets of water and waves of space: Why spacetime is probably a substance. Philosophy of Science, 60(2), 183–203. doi:10.1086/289728.
59.
Minkowsk, H. (1908). Die Grundgleichungen für die elektromagnetischen Vorgänge in bewegten Körpern. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse., 53–111.
60.
Ney, A. (2012). Ontological reduction and the wave function ontology. In A.Ney and D.Albert (Eds.), The Wave Function: Essays in the Metaphysics of Quantum Mechanics. Oxford University Press.
61.
Nipkow, T., Paulson, L.C. & Wenzel, M. (2002). Isabelle/HOL – A Proof Assistant for Higher-Order Logic. LNCS (Vol. 2283). Springer.
62.
North, J. (2009). The “structure” of physics: A case study. Journal of Philosophy, 106, 57–88. doi:10.5840/jphil2009106213.
63.
North, J. (2012). The structure of a quantum world. In A.Ney and D.Albert (Eds.), The Wave Function: Essays in the Metaphysics of Quantum Mechanics. Oxford University Press.
64.
Norton, J.D. (2012). Einstein’s special theory of relativity and the problems in the electrodynamics of moving bodies that led him to it. In M.Janssen and C.Lehner (Eds.), Cambridge Companion to Einstein. Cambridge University Press.
65.
Paulson, L. & Nipkow, T. (2017). Isabelle – A generic proof assistant. Retrieved January 19, 2018 from: http://isabelle.in.tum.de/.
66.
Paulson, L.C. (1994). Isabelle: A Generic Theorem Prover. Springer.
67.
Pooley, O. (2013). Substantivalist and relationalist approaches to spacetime. In R.Batterman (Ed.), The Oxford Handbook of Philosophy of Physics. Oxford University Press.
68.
Quincey, P. (2006). Figure 2 of ‘Why Quantum Mechanics Is Not So Weird after All’. Skeptical Inquirer, Volume 30.4.
69.
Redhead, M. (1995). From Physics to Metaphysics. Cambridge University Press.
70.
Redhead, M. (2002). The interpretation of gauge symmetry. In K.A.Brading and E.Castellani (Eds.), Symmetries in Physics: Philosophical Reflections.
71.
Rovelli, C. (1997). Halfway through the woods: Contemporary research on space and time. In J.Earman and J.Norton (Eds.), The Cosmos of Science (pp. 180–223). University of Pittsburgh Press.
72.
Rovelli, C. & Vidotto, F. (2015). Covariant Loop Quantum Gravity. Cambridge University Press.
73.
Sider, T. (2001). Four-Dimensionalism. Oxford: Clarendon Press.
74.
Simons, P. (1987). Parts: A Study in Ontology. Oxford: Clarendon Press.
75.
Simons, P. (1991). Part/whole II: Mereology since 1900. In H.Burkhardt and B.Smith (Eds.), Handbook of Metaphysics and Ontology (pp. 673–675). Muenchen: Philosophia.
76.
Sklar, L. (1977). Space, Time, and Spacetime. Berkeley: University of California.
77.
Smith, B. (2003). Ontology: An introduction. In L.Floridi (Ed.), Blackwell Guide to the Philosophy of Computing and Information Blackwell Guide to the Philosophy of Computing and Information (pp. 155–166). Oxford: Blackwell.
78.
Smith, B. (2016). Basic Formal Ontology: BFO 2.0 specification and users guide.
79.
Smith, B. & Grenon, P. (2004). The cornucopia of formal-ontological relations. Dialectica, 58(3), 279–296. doi:10.1111/j.1746-8361.2004.tb00305.x.
80.
Teller, P. (1997). An Interpretative Introduction to Quantum Field Theory. Princeton University Press.
81.
Thompson, S. (1999). Haskell: The Craft of Functional Programming (2nd ed.). Addison-Wesley.
82.
Thomson, J.J. (1998). The statue and the clay. Noûs, 32(2), 149–173.
83.
van Inwagen, P. (1985). Plantinga on Trans-World Identity (pp. 101–120). Netherlands, Dordrecht: Springer.
84.
Varzi, A. (1996). Parts, wholes, and part-whole relations: The prospects of mereotopology. Data and Knowledge Engineering, 20(3), 259–286. doi:10.1016/S0169-023X(96)00017-1.
85.
Varzi, A. (2003). Mereology. In E.N.Zalta (Ed.), Stanford Encyclopedia of Philosophy. Stanford: CSLI(Internet publication).
86.
Wayne, A. (2000). Conceptual foundations of field theories in physics. Philosophy of Science, 67, S516–S522. doi:10.1086/392842.
87.
Wenzel, M. (2005). Using axiomatic type classes in Isabelle. Technical report, Technical University Munich.
88.
Wikimedia Commons (2013). File:slope field.png – Wikimedia Commons, the free media repository. [Online; accessed 21-January-2018].
89.
Wikimedia Commons (2015a). File:image tangent-plane.svg – Wikimedia Commons, the free media repository. [Online; accessed 21-January-2018].
90.
Wikimedia Commons (2015b). File:scalar field.png – Wikimedia Commons, the free media repository. [Online; accessed 21-January-2018].
91.
Wikimedia Commons (2015c). File:vectorfield.svg – Wikimedia Commons, the free media repository. [Online; accessed 21-January-2018].
92.
Wikimedia Commons (2015d). Two coordinate charts on a manifold. Licensed under Creative Commons Attribution-Share Alike 3.0 via Wikimedia Commons.
93.
Wikimedia Commons (2016). File:pendulum phase portrait 1.jpg. Wikimedia Commons, the free media repository. [Online; accessed 21-January-2018].
94.
Woodhouse, N. (1992). Geometric Quantization. Oxford Mathematical Monographs. Clarendon Press.
95.
Zemach, E. (1970). Four ontologies. Journal of Philosophy, 67, 231–247. doi:10.2307/2024185.
