Comparing Relativistic and Newtonian Dynamics in First-Order Logic
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.
- H. Andréka, P. Burmeister, and I. Németi. Quasivarieties of partial algebras — a unifying approach towards a two-valued model theory for partial algebras. Studia Sci. Math. Hungar. 16, 1981, pp. 325–372.Google Scholar
- H. Andréka, J. X. Madarász, and I. Németi. “Logical analysis of special relativity theory,” in: J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema (Eds.), Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Vossiuspers, Ams-terdam University Press, 1999. CD-ROM, ISBN: 90 5629 104 1, http://www.illc.uva.nl/j50.Google Scholar
- H. Andréka, J. X. Madarász, and I. Németi, “On the logical structure of relativity theories.” Research report, Alfréd Rényi Institute of Mathematics, Budapest, 2002. With contributions from A. Andai, G. Sági, I. Sain and Cs. Tőke. http://www.mathinst.hu/pub/algebraic-logic/Contents.html. 1312 pp.Google Scholar
- S. A. Basri, A Deductive Theory of Space and Time. Amsterdam: North-Holland 1966.Google Scholar
- C. C. Chang and H. J. Keisler, Model theory. Amsterdam: North-Holland 1973, 1977, 1990.Google Scholar
- H. D. Ebbinghaus, J. Flum and W. Thomas, Mathematical logic. New York: Springer-Verlag 1994.Google Scholar
- R. Goldblatt, Orthogonality and spacetime geometry. New York: Springer-Verlag 1987.Google Scholar
- J. X. Madarász. Logic and Relativity (in the light of definability theory). PhD thesis, Eötvös Loránd Univ., Budapest, 2002.Google Scholar
- J. X. Madarász, I. Németi, and Cs. Tőke. On generalizing the logic-approach to space-time towards general relativity: first steps. in: V. F. Hendricks, F. Neuhaus, S. A Pedersen, U. Scheffler and H. Wansing (Eds.), First-Order Logic Revisited, Logos Verlag, Berlin, 2004, pp. 225–268.Google Scholar
- G. Székely, First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers. PhD thesis, Eötvös Loránd Univ., Budapest, 2009.Google Scholar
- J. Woleński “First-order logic: (philosophical) pro and contra,” in: V. F. Hendricks, F. Neuhaus, S. A. Pedersen, U. Scheffler and H. Wansing (Eds.), First-Order Logic Revisited. Berlin: Logos Verlag 2004, pp. 369–398.Google Scholar