Abstract
Suppes proposes an analysis of the structure and identity of empirical theories with his model-theoretical approach and undertakes effective reconstructions of theories in diverse disciplinary fields. Here the authors analyse the results of these examinations under the optics of questions concerning the assumed ontological commitments, and for how they satisfy economic and other criteria.
Similar content being viewed by others
Notes
According to the structuralist position, theoricity must always be relativized, but not to a language (theoretical in contrast to an observational), but to a scientific theory. The exact denotation is, therefore, not “theoretical” but “T-theoretical” (Stegmüller 1979, p. 10). A concept t is called theoretical relative to theory T (or just T-theoretical) iff every determination of t in any application of T, presupposes the existence of a least one actual model of T. The distinction between T-theoretical and T-non-theoretical concepts form the basis of differentiation between potential models and partial potential models of a theory T. Potential models are those structures which exemplify all the concepts of the theory T. If we omit all theoretical terms from a potential model we are left with a partial potential model, i.e., a structure consisting of all and only the non-theoretical concepts of the theory
According to the semantic view: (1) Scientific theories are to be conceived primarily not as linguistic entities (sets of statements) but as certain nonlinguistic conceptual structures called partial or potential models, state spaces or configuration spaces. (2) The appropriate tool for the formal description of scientific theories is not logic but mathematics. An empirical theory T can be identified with its class of models M(T), the models being structured sets. Then, the class of models M(T) of an empirical theory T is used to express “the empirical claim” or the “theoretical hypothesis” of T, to wit the assertion that a certain class I(T) of real (or empirical) systems is a subclass of M(T) or, in more refined versions of the semantic view, that the elements of I(T) can be extended in a certain way to elements of M(T). This is only a rough outline of the semantic view of empirical theories (Mormann 1991).
References
Balzer, W. (1996). Theoretical terms: Recent developments. In W. Balzer & C. U. Moulines (Eds.), Structuralist theory of science. Berlin: Walter de Gruyter.
Chihara, C. S. (1973). Ontology and the vicious-circle principle. Ithaca: Cornell University Press.
Diederich, W. (1996). Structuralism within the model-theoretical approach. In W. Balzer & C. U. Moulines (Eds.), Structuralist theory of science. Berlin: Walter de Gruyter.
Dummett, M. (1978). Truth and other enigmas. Cambridge: Harvard University Press.
Estany, A. (1993). Introducción a la filosofía de la ciencia. Barcelona: Critica. (in Spanish).
Mormann, T. (1991). Husserl’s philosophy of science and the semantic approach. Philosophy of Sceince, 58(1), 61–83.
Moulines, U. (1998). Esbozo de ontoepistemosemántica. Theoria, I3(1), 141–159. (in Spanish).
Nescolarde-Selva, J. A., Usó-Doménech, J. L., & Gash, H. (2017). What are ideological systems? Systems, 5, 21. https://doi.org/10.3390/systems5010021.
Oliver, A. (1996). The metaphysics of properties. Mind, 105(417), 1–80.
Quine, W. (1951). Ontology and ideology. Philosophical Studies, 2(1), 11–15.
Quine, W. (1983). Ontology and ldeology revisited. The Journal of Phüosophy, 80(9), 4–502.
Quine, W. (1986). Teorías y cosas. México: UNAM. (in Spanish).
Sneed, J. D. (1971). The logical structure of mathematical physics. Dordrecht: D. Reidel Publishing Company.
Sober, E. (1981). The evolution of rationality. Synthese, 48, 95–120.
Stegmüller, W. (1979). The structuralist view of theories: A possible analogue of the Bourbaki programme in physical science. Berlin: Springer.
Suppes, F. (1989). The semantic conception of’ theories and scientific realism. Urbana: University of Illinois Press.
Usó-Doménech, J. L., Nescolarde-Selva, J. A., & Gash, H. (2018). Universe of discourse and existence. Mathematics, 6, 272. https://doi.org/10.3390/math6110272.
van Fraassen, B. C. (1970). On the extension of Beth’s semantics of physical theories. Philosophy of Science, 37, 325–339.
van Fraassen, B. C. (1971). Semántica formal y lógica. México: UNAM, 1987. (in Spanish).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Usó-Doménech, J.L., Nescolarde-Selva, J.A. & Gash, H. Theorizing About Theories and Mathematical Existence. Found Sci 25, 587–595 (2020). https://doi.org/10.1007/s10699-020-09648-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-020-09648-2