Comparing Relativistic and Newtonian Dynamics in First-Order Logic
- Cite this paper as:
- Madarász J.X., Székely G. (2011) Comparing Relativistic and Newtonian Dynamics in First-Order Logic. In: Máté A., Rédei M., Stadler F. (eds) Der Wiener Kreis in Ungarn / The Vienna Circle in Hungary. Veröffentlichungen des Instituts Wiener Kreis, vol 16. Springer, Vienna
In this paper we introduce and compare Newtonian and relativistic dynamics as two theories of first-order logic (FOL). To illustrate the similarities between Newtonian and relativistic dynamics, we axiomatize them such that they differ in one axiom only. This one axiom difference, however, leads to radical differences in the predictions of the two theories. One of their major differences manifests itself in the relation between relativistic and rest masses, see Thms. 5 and 6.
Unable to display preview. Download preview PDF.