Graduate studies at Western
Studia Logica 48 (1):67 - 75 (1989)
|Abstract||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)|
|Through your library||Configure|
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.
Daesuk Han (2011). Wittgenstein and the Real Numbers. History and Philosophy of Logic 31 (3):219-245.
Added to index2009-01-28
Total downloads2 ( #246,859 of 738,504 )
Recent downloads (6 months)0
How can I increase my downloads?