Logo Logo
Switch Language to German

Schiemer, Georg (2012): Carnap on extremal axioms, completeness of the models, and categoricity. In: The Review of Symbolic Logic, Vol. 5, No. 4: pp. 613-641

Full text not available from 'Open Access LMU'.


This paper provides a historically sensitive discussion of Carnap's theory of extremal axioms developed first in the late 1920s. The main focus is set on the unpublished documents of the projected second part of his manuscript Untersuchungen zur allgemeinen Axiomatik (RC 081-01-01 to 081-01-33). Carnap's theory will be assessed with respect to two interpretive issues. The first concerns his mathematical sources, that is, the mathematical axioms on which his extremal axioms were based. The second concerns Carnap's understanding of the relationship between the "completeness of the models" and other metatheoretic notions investigated by him at the time, most notably that of categoricity. The paper surveys Carnap's different attempts to explicate the extremal properties of a theory and puts his results in context with related metamathematical research at the time.

Actions (login required)

View Item View Item