David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 48 (1):67 - 75 (1989)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
W. Balzer (1985). The Proper Reconstruction of Exchange Economics. Erkenntnis 23 (2):185 - 200.
Citations of this work BETA
Gerhard Schurz (2013). Criteria of Theoreticity: Bridging Statement and Non-Statement View. Erkenntnis:1-25.
Similar books and articles
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Philip Ehrlich (2012). The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small. Bulletin of Symbolic Logic 18 (1):1-45.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Michal Grabowski (1988). Arithmetical Completeness Versus Relative Completeness. Studia Logica 47 (3):213 - 220.
Steve Awodey (2006). Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi. In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. 139--149.
Daesuk Han (2011). Wittgenstein and the Real Numbers. History and Philosophy of Logic 31 (3):219-245.
Added to index2009-01-28
Total downloads3 ( #299,218 of 1,102,631 )
Recent downloads (6 months)1 ( #298,160 of 1,102,631 )
How can I increase my downloads?