Abstract
An axiom system may be constructed for a theory of empirical phenomena with any of a number of goals in mind. Some of these goals are identical with those that motivate the axiomatization of mathematical theories, hence relate only to the formal structure of the theory — its syntax. Other goals for axiomatizing scientific theories relate to the problems of verifying the theories empirically, hence incorporate semantic considerations.
[Henkin, Suppes and Tarski (eds.), The Axiomatic Method, Amsterdam: North-Holland Publishing Co., 1959, pp. 443–453].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Braithwaite, R. B., Scientific Explanation (Cambridge Eng.: Cambridge Univ. Press, 1955) 376 pp.
Carnap, R., ‘Testability and Meaning’, Philosophy of Science 3, 419–471 (1936), and
Carnap, R., ‘Testability and Meaning’, Philosophy of Science 4, 1–40 (1937).
Hood, W. and T. C. Koopmans (eds.), Studies in Econometric Method (New York: Wiley, 1953), 323 pp.
Koopmans, T. C. (ed.), Statistical Inference in Dynamic Economic Models (New York: Wiley, 1950), 439 pp.
McKinsey, J. C. C., A.C. Sugar, and P. Suppes, ‘Axiomatic Foundations of Classical Particle Mechanics’, Journal of Rational Mechanics and Analysis 2, 253–272(1953).
Padoa, A., ‘Essai d’une théorie algébrique des nombres entiers, précédé d’une introduction logique à une théorie deductive quelconque’, Bibliothèque du Congrès International de Philosophie 3, (1900).
Quine, W., From a Logical Point of View (Cambridge, Mass.: Harvard Univ. Press, 1953), 184 pp.
Simon, H. A., ‘The Axioms of Newtonian Mechanics, Philsophical Magazine, ser. 7, 33, 888–905 (1947), (reprinted as Chapter 6.1 of this volume).
Simon, H. A., ‘Discussion: the Axiomatization of Classical Mechanics’, Philosophy of Science 21, 340–343 (1954) (reprinted as Chapter 6.2 of this volume).
Tarski, A., ‘Some Methodological Investigations on the Definability of Concepts’, Chapter 10 in Logic, Semantics, Metamathematics, (Oxford, Eng.: Clarendon Press, 1956) 467 pp.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Simon, H.A. (1977). Definable Terms and Primitives in Axiom Systems. In: Models of Discovery. Boston Studies in the Philosophy of Science, vol 54. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-9521-1_22
Download citation
DOI: https://doi.org/10.1007/978-94-010-9521-1_22
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-0970-7
Online ISBN: 978-94-010-9521-1
eBook Packages: Springer Book Archive