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 richardzach.org.

Source

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

Abstract

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

arxiv.org/abs/1508.05867