Categoricity in Carnap and Grice

Not sure what the concept stands for in Carnap, but I'm SURE 'category' is a BASIC category in Grice!


Title:Carnap, Completeness, and Categoricity: The 'Gabelbarkeitssatz' of 1928
Authors:Awodey, S
Carus, A W
Source:Erkenntnis: An International Journal of Analytic Philosophy, 54(2), 145-172. 28 p. 2001.
Document Type:Journal Article
Subjects:AXIOMATICS
CATEGORICITY
COMPLETENESS
LOGIC
LOGICISM
Persons as Subjects:CARNAP
GÖDEL, KURT
Abstract:In 1929 Carnap gave a paper in Prague on "Investigations in General Axiomatics"; a brief summary was published soon after. Its subject looks something like early model theory, and the main result, called the 'Gabelbarkeitssatz', appears to claim that a consistent set of axioms is complete just if it is categorical. This, of course, casts doubt on the entire project. Though there is no further mention of this theorem in Carnap's published writings, his 'Nachlass' includes a large typescript on the subject, 'Investigations in General Axiomatics'. We examine this work here, showing that it provides important insights into Carnap's development during this critical period.