Hostname: page-component-848d4c4894-5nwft Total loading time: 0 Render date: 2024-04-30T16:31:52.932Z Has data issue: false hasContentIssue false

The Axiomatization of Physical Theories

Published online by Cambridge University Press:  14 March 2022

Herbert A. Simon*
Affiliation:
Carnegie-Mellon University

Abstract

The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.

Type
Research Article
Copyright
Copyright © 1970 The Philosophy of Science Association

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This work was supported by Public Health Service Research Grant MH-07722, from the National Institutes of Mental Health.

I am indebted to Joseph D. Sneed for valuable comments and suggestions on an earlier draft of this paper.

References

[1] Magie, W. F., A Source Book in Physics, McGraw-Hill, New York, 1935.Google Scholar
[2] McKinsey, J. C. C., et al., “Axiomatic foundations of classical particle mechanics,” Journal of Rational Mechanics and Analysis, vol. 2, 1953.Google Scholar
[3] Simon, H. A., “The axioms of Newtonian mechanics,” Philosophical Magazine, Series 7, vol. 38, 1947.Google Scholar
[4] Simon, H. A., “Definable terms and primitives in axiom systems,” in The Axiomatic Method (eds. L. Henkin et al.), North-Holland, Amsterdam, 1959.10.1016/S0049-237X(09)70046-1CrossRefGoogle Scholar
[5] Simon, H. A., “A Note on Almost-Everywhere Definability,” abstract, in Journal of Symbolic Logic, vol. 31, 1966.Google Scholar
[6] Suppes, P., Introduction to Logic, Van Nostrand, Princeton, 1957.Google Scholar
[7] Tarski, A., “Some Methodological Investigations on the Definability of Concepts,” in Logic, Semantics, and Metamathematics, The Clarendon Press, Oxford, 1956.Google Scholar