Mathematical Physics and Elementary Logic

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990 (1):288-301 (1990)
  Copy   BIBTEX

Abstract

Modern mathematical physics uses real-number variables, and therefore presupposes set theory. (A real number is defined as a certain kind of set or sequence of natural or rational numbers.) Set theory is also used to define the operations of differential calculus, needed to state physical laws as differential equations constraining the numerical variables representing physical quantities. The derivative f' = df(t)/dt is defined as the limit of an infinite sequence of terms [f(t+e)-f(t)]/e as e → 0, and this definition can only be expressed in a language allowing reference to infinite sequences. Moreover, closure under these limit operations again requires the underlying field of numbers to be Dedekind complete, hence to include all of the reals.The possibility that mathematical physics depends essentially upon set theory is disturbing, for two distinct reasons. From a logical viewpoint, it is disturbing that an important branch of natural science should depend upon a part of logic or mathematics whose status remains uncertain and controversial.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Mathematical Physics and Elementary Logic.Brent Mundy - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:289 - 301.
The elementary foundations of spacetime.James Ax - 1978 - Foundations of Physics 8 (7-8):507-546.
What is matter?P. J. van Heerden - 1953 - Philosophy of Science 20 (4):276-285.
What is Fundamental?Anthony Aguirre, Brendan Foster & Zeeya Merali (eds.) - 2019 - Cham: Springer Verlag.
Proof Verification Technology and Elementary Physics.Ernest Davis - 2019 - In James Robert Brown, Shaoshi Chen, Robert M. Corless, Ernest Davis, Nicolas Fillion, Max Gunzburger, Benjamin C. Jantzen, Daniel Lichtblau, Yuri Matiyasevich, Robert H. C. Moir, Mark Wilson & James Woodward (eds.), Algorithms and Complexity in Mathematics, Epistemology, and Science: Proceedings of 2015 and 2016 Acmes Conferences. Springer New York. pp. 81-132.
Mathematical Physics and Philosophy of Physics.Miklós Rédei - 2002 - Vienna Circle Institute Yearbook 9:239-243.

Analytics

Added to PP
2023-07-30

Downloads
15 (#889,556)

6 months
15 (#143,114)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
Theory and Evidence.Clark Glymour - 1980 - Ethics 93 (3):613-615.
Synthetic mechanics.John P. Burgess - 1984 - Journal of Philosophical Logic 13 (4):379 - 395.

Add more references