• Carnap’s early metatheory: scope and limits

    • Georg Schiemer
      Institut für Philosophie, Fakultät für Philosophie und Bildungswissenschaft, Universität Wien
    • Richard Zach
      University of Calgary
    • Erich Reck
      University of California, Riverside
  • In his Untersuchungen zur allgemeinen Axiomatik (1928) and Abriss der Logistik (1929), Rudolf Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap's attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap's contributions to the development of modern logic.

  • PDF

  • http://phaidra.univie.ac.at/o:627957

  • Wissenschaftlicher Artikel

  • Angenommene Version

  • Synthese

  • 2015

  • 194

  • 1

  • 33-65

  • Springer Nature

  • Englisch

  • Frei zugänglich

  • 0039-7857