|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|
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.
|Faculties:||Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP)|
Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > History of Philosophy
Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Mathematics
|Subjects:||100 Philosophy and Psychology > 100 Philosophy|
|Deposited On:||28. May 2014 06:43|
|Last Modified:||29. Apr 2016 09:16|