Axiomatization and Models of Scientific Theories
In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal, for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science.
KeywordsStructures Models Set-theoretical predicates Formal languages
Unable to display preview. Download preview PDF.
- Andréka, H., Madarász, J. X., Németi, I. & Székely, G. (2010). A logic road from special relativity to general relativity, http://arxiv.org/abs/1005.0960.
- Bourbaki, N. (1968). Theory of sets. Reading: Hermann & Addicon Wesley.Google Scholar
- da Costa, N. C. A., & Krause, D. (forthcoming). Physics, inconsistency, and quasi-truth.Google Scholar
- da Costa, N. C. A., Krause, D., & Bueno, O. (2007). Paraconsistent logics and paraconsistency. In D. Jacquette (Ed.), Philosophy of logic, Vol. 5 of D. M. Gabbay, P. Thagard & J. Woods (Eds.), Handbook of the philosophy of science (pp. 655–781).Google Scholar
- French, S. & Krause, D. (2010). Remarks on the theory of quasi-sets, Studia Logica, Online.Google Scholar
- Hodges W. (2001) Elementary predicate logic. In: Gabbay D. M., Guenthner F. (eds) Handbook of philosophical logic, Vol. 1, 2nd ed. Springer, BerlinGoogle Scholar
- Kaye R. (1991) Models of Peano arithmetic. Clarendon Press, OxfordGoogle Scholar
- Kunen K. (2009) The foundations of mathematics. College Publications, LondonGoogle Scholar
- Ludwig G. (1985) An axiomatic basis for quantum mechanics, Vol. I. Springer, BerlinGoogle Scholar
- McKinsey J. C. C., Sugar A. C., Suppes P. (1953) Axiomatic foundations of classical particle mechanics. Journal of Rational Mechanics and Analysis 2(2): 253–272Google Scholar
- Muller, F. A. (2009). Reflections on the revolution at Stanford. Synthese. doi:10.1007/s11229-009-9669-7.
- Shapiro S. (1991) Foundations without foundationalism, a case for second-order logic. Clarendon Press, OxfordGoogle Scholar
- Suppes P. (1957) Introduction to logic. van Nostrand, New YorkGoogle Scholar
- Suppe, F. (ed.) (1977) The structure of scientific theories, 2nd ed. Chicago University Press, Urbana, ChigagoGoogle Scholar
- Suppes T. (2002) Representation and invariance of scientific structures. Center for the Study of Language and Information, StanfordGoogle Scholar
- Suppes, P. (2009). Future developments of scientific structures closer to experiments: Response to F. A. Muller. Synthese. doi:10.1007/s11229-009-9670-1.