Carnap on extremal axioms, completeness of the models, and categoricity

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

Abstract

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.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > History of Philosophy ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Mathematics
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie
• ISSN: 1755-0211
• Sprache: Englisch