Abstract
To nearly all the members of this Congress, the logical notion of a model of a theory is too familiar to need detailed review here. Roughly speaking, a model of a theory may be defined as a possible realization in which all valid sentences of the theory are satisfied, and a possible realization of the theory is an entity of the appropriate set-theoretical structure. For instance, we may characterize a possible realization of the mathematical theory of groups as an ordered couple whose first member is a nonempty set and whose second member is a binary operation on this set. A possible realization of the theory of groups is a model of the theory if the axioms of the theory are satisfied in the realization, for in this case (as well as in many others), the valid sentences of the theory are defined as those sentences which are logical consequences of the axioms. To provide complete mathematical flexibility I shall speak of theories axiomatized within general set theory by defining an appropriate set-theoretical predicate (e.g., ‘is a group’) rather than of theories axiomatized directly within first-order logic as a formal language. For the purposes of this paper, this difference is not critical. In the set-theoretical case, it is convenient sometimes to speak of the appropriate predicate’s being satisfied by a possible realization. But whichever sense of formalization is used, essentially the same logical notion of model applies.1
Reprinted from Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress (ed. by E. Nagel, P. Suppes, and A. Tarski), Stanford University Press, Stanford, Calif., 1962, pp. 252–261.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
For a detailed discussion of axiomatization of theories within set theory, see Suppes ( 1957, Chap. 12).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1969 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Suppes, P. (1969). Models of Data. In: Studies in the Methodology and Foundations of Science. Synthese Library, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-3173-7_2
Download citation
DOI: https://doi.org/10.1007/978-94-017-3173-7_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8320-3
Online ISBN: 978-94-017-3173-7
eBook Packages: Springer Book Archive