Completeness for systems including real numbers

W. Balzer, M. Reiter

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)67-75
Number of pages9
JournalStudia Logica
Volume48
Issue number1
DOIs
StatePublished - Mar 1989

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science

Fingerprint Dive into the research topics of 'Completeness for systems including real numbers'. Together they form a unique fingerprint.

  • Cite this