University of Calgary
UofC Navigation

Carnap's Early Metatheory: Scope and Limits

This website has moved!

You are looking at an archived page. The website has moved to


Georg Schiemer, Richard Zach, and Erich Reck. "Carnap's Early Metatheory: Scope and Limits," Synthese (2015), forthcoming


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.

Download from Springer Link

doi: 10.1007/s11229-015-0877-z

Free Preprint from arXiv