The usual completeness theorem for first-order logic is extended in order to allow for a natural incorporation of real analysis. Essentially, this is achieved by building in the set of real numbers into the structures for the language, and by adjusting other semantical notions accordingly. We use many-sorted languages so that the resulting formal systems are general enough for axiomatic treatments of empirical theories without recourse to elements of set theory which are difficult to interprete empirically. Thus we provide a way of applying model theory to empirical theories without “tricky” detours. Our frame is applied to axiomatizations of three empirical theories: classical mechanics, phenomenological thermodynamics, and exchange economics.
KeywordsReal Number Mathematical Logic Model Theory Classical Mechanic Formal System
Unable to display preview. Download preview PDF.
- W. Balzer, C. U. Moulines and J. D. Sneed, An Architectonic for Science, Dordrecht 1987.Google Scholar
- W. Balzer, Incommensurability, reduction, and translation, Erkenntnis 23 (1985), pp. 255–67.Google Scholar
- S. Feferman, Two notes on abstract model theory, Part 1, Fundamenta Mathematicae 82 (1974), pp. 153–65.Google Scholar
- H. Gaifman, Operations on relational structures, functors and classes. I, in: L. Henkin et al. (eds.), Proceedings of the Tarski Symposium, Providence, Rhode Island 1974, pp. 21–39.Google Scholar
- J. J. McKinsey, A. L. Sugar and P. Suppes, Axiomatic foundations of classical particles mechanics, Journal of Rational Mechanics and Analysis II (1953). pp. 253–72.Google Scholar
- R. Montague, Deterministic theories, in: R. H. Thomason (ed.), Formal Philosophy: Selected Papers of Richard Montague, Yale UP 1974, pp. 303–63.Google Scholar
- D. Pearce, Stegmüller on Kuhn and incommensurability, The British Journal for the Philosophy of Science 33 (1982), pp. 389–96.Google Scholar
- J. R. Shoenfield, Mathematical Logic, Reading Mass. 1967.Google Scholar
- K. Schuette, Proof Theory, Berlin 1977.Google Scholar
- W. Stegmüller, The Structure and Dynamics of Theories, Berlin-Heidelberg-New York 1976.Google Scholar
- H. Weyl, Das Kontinuum, Leipzig 1918.Google Scholar