Abstract
In 1929 Carnap gave a paper in Prague on “Investigations in General Axiomatics”; a briefsummary was published soon after. Its subject lookssomething like early model theory, and the mainresult, called the Gabelbarkeitssatz, appears toclaim that a consistent set of axioms is complete justif it is categorical. This of course casts doubt onthe entire project. Though there is no furthermention of this theorem in Carnap's publishedwritings, his Nachlass includes a largetypescript on the subject, Investigations inGeneral Axiomatics. We examine this work here,showing that it provides important insights intoCarnap's development during this critical period, thetransition from Aufbau to Syntax,especially regarding the nature and motivation ofCarnap's logicism. Moreover, we show how theAxiomatics influenced Carnap's student Gödel inreaching the fundamental logical results that soonafterwards undermined Carnap's project.
Similar content being viewed by others
REFERENCES
Bohnert, H. G.: 1975, ‘Carnap's Logicism’ in J. Hintikka (ed.), Rudolf Carnap, Logical Empiricist, Kluwer, Dordrecht, pp. 183–216.
Carnap, R.: 1925, ‘Uber die Abhängigkeit der Eigenschaften des Raumes von denen der Zeit’ Kant-Studien 30, 331–345.
Carnap, R.: 1926, Physikalische Begriffsbildung, Karlsruhe.
Carnap, R.: 1927, ‘Eigentliche und uneigentliche Begriffe’ Symposion 1, 355–374.
Carnap, R.: 1928, Der logische Aufbau der Welt, Berlin-Schlachtensee.
Carnap, R.: 1929a, Abriβ der Logistik, Vienna.
Carnap, R.: 1929b, Review of A. Fraenkel, Einleitung in die Mengenlehre, 3rd edn, in Kant-Studien 34, 428–429.
Carnap, R.: 1930a, ‘Die alte und die neue Logik’ Erkenntnis 1, 12–26.
Carnap, R.: 1930b, Review of F. Kaufmann, Das Unendliche in der Mathematik und seine Ausschaltung, in Deutsche Literaturzeitung, 51, columns 1674–1678.
Carnap, R.: 1930c, ‘Die Mathematik als Zweig der Logik’ Blätter für deutsche Philosophie 4, 298–310.
Carnap, R.: 1930d, ‘Bericht über Untersuchungen zur allgemeinen Axiomatik’Erkenntnis 1, 303–307.
Carnap, R.: 1931, ‘Die logizistische Grundlegung der Mathematik’ Erkenntnis 2, 91–105.
Carnap, R.: 1934, Logische Syntax der Sprache, Vienna.
Carnap, R.: 1963, 'Carnap's Intellectual Autobiography’ and ‘The Philosopher Replies’ in P. Schilpp (ed.), The Philosophy of Rudolf Carnap, (LaSalle, IL), pp. 3–84, 859–1013.
Carnap, R. and F. Bachmann: 1936, ‘Ñber Extremalaxiome’ Erkenntnis 6, 166–188.
Carus, A. W.: 1999, ‘Carnap, Syntax, and Truth’ in J. Peregrin (ed.), Truth and Its Nature (if Any), Dordrecht and Boston, pp. 15–35.
Coffa, A. 1991, The Semantic Tradition from Kant to Carnap; To the Vienna Station, Cambridge.
Corcoran, J.: 1980, ‘Categoricity’ History and Philosophy of Logic I, 187–207.
Feferman, S.: 1998, ‘Kurt Gödel: Conviction and Caution’ in S. Feferman (ed.), In the Light of Logic, Oxford, pp. 150–164.
Fraenkel, A.: 1923, Einleitung in die Mengenlehre; Eine elementare Einführung in das Reich des Unendlichgroβen, 2nd edn, Berlin.
Fraenkel, A.: 1928, Einleitung in die Mengenlehre, 3rd edn, Berlin.
Fraenkel, A.: 1930, ‘Die heutigen Gegensätze in der Grundlagung der Mathematik’ Erkenntnis 1, 286–302.
Frank, P.: 1949, ‘Introduction; Historical Background’ in P. Frank, (ed.), Modern Science and Its Philosophy, Cambridge, MA, pp. 1–58.
Gödel, K.: 1929, Ñber die Vollstandigkeit des Logikkalküls, doctoral dissertation, University of Vienna, reprinted in K. Gödel, Collected Works, vol. 1, S. Feferman et al. (eds), pp. 60–100.
Gödel, K.: 1930, ‘Vortrag über die Vollständigkeit des Logikkalküls’ in K. Gödel, Collected Works, vol. 3, S. Feferman et al. (eds), Oxford, 1995, pp. 16–28.
Goldfarb, W.: 1979, ‘Logic in the Twenties: The Nature of the Quantifier’ Journal of Symbolic Logic 44, 351–368.
Goldfarb, W.: 1996, ‘The Philosophy of Mathematics in Early Positivism’ in R. N. Giere (ed.), Origins of Logical Empiricism Minnesota Studies in the Philosophy of Science, vol. 16), Minneapolis, pp. 213–230.
Hahn, H. et al.: 1929, Wissenschaftliche Weltauffassung: Der Wiener Kreis, Vienna, reprinted in O. Neurath, Wissenschaftliche Weltauffassung, Sozialismus und logischer Empirismus, R. Hegselmann (ed.), Frankfurt, pp. 81–101.
Hahn, H. et al.: 1931, ‘Diskussion zur Grundlegung der Mathematik’ Erkenntnis 2, 135–149.
van Heijenoort, J.: 1967, ‘Logic as Calculus and Logic as Language’ Synthese 17, 324–300.
Hilbert, D.: 1918, ‘Axiomatisches Denken’ Mathematische Annalen 78, 405–415.
Hilbert, D.: 1928, ‘Probleme der Grundlegung derMathematik’ in D. Hilbert, Grundlagen der Geometrie, 7th edn, Leipzig, 1930, pp. 313–23.
Hölder, O.: 1924, Die mathematische Methode; Logisch-erkenntnistheoretische Untersuchungen im Gebiete der Mathematik, Mechanik, und Physik, Berlin.
Howard, D.: 1996, ‘Relativity, Eindeutigkeit, and Monomorphism: Rudolf Carnap and the Development of the Categoricity Concept in Formal Semantics’ in R. N. Giere (ed.), Origins of Logical Empiricism Minnesota Studies in the Philosophy of Science, vol. 16), Minneapolis, pp. 115–164.
Isaacson, D.: 1992, ‘Carnap, Quine, and Logical Truth’ in D. Bell and W. Vossenkuhl (eds), Science and Subjectivity; The Vienna Circle and Twentieth-Century Philosophy, Berlin, pp. 100–130.
Köhler, E.: 1991, ‘Gödel und der Wiener Kreis’ in P. Kruntorad et al. (eds), Jour Fixe der Vernunft; Der Wiener Kreis und die Folgen, Vienna, pp. 127–158.
Lindenbaum, A. and A. Tarski: 1935, ‘Ñber die Beschränktheit der Ausdrucksmittel deduktiver Theorien’ in K. Menger (ed.), Ergebnisse eines mathematischen Kolloquiums, fasc. 7, Vienna, reprinted as ‘On the Limitations of the Means of Expression of Deduc tive Theories’ in A. Tarski, Logic, Semantics, Metamathematics; Papers from 1923 to 1938, 2nd edn, Indianapolis, pp. 384–392.
Parsons, C.: 1995, ‘Platonism and Mathematical Intuition in Kurt Gödel's Thought’ Bulletin of Symbolic Logic 1, 44–74.
Ramsey, F. P.: 1925 and 1926, ‘The Foundations of Mathematics’ and ‘Mathematical Logic’ reprinted in F. P. Ramsey, The Foundations of Mathematics and Other Logical Essays, R. B. Braithwaite (ed.), London, pp. 1–61 and 62–81.
Read, S.: 1997, ‘Completeness and Categoricity: Frege, Gödel, and Model Theory’ History and Philosophy of Logic 18, 79–93.
Reck, E.: 1997, ‘Frege's Influence onWittgenstein: Reversing Metaphysics via the Context Principle’ in W. W. Tait (ed.), Early Analytic Philosophy; Frege, Russell, Wittgenstein, pp. 123–185, LaSalle, IL.
Schlick, M.: 1925, Allgemeine Erkenntnislehre, 2nd edn, Vienna, reprinted Frankfurt 1979.
Stein, H.: 1998, ‘Logicism’ in E. Craig (ed.), Routledge Encyclopedia of Philosophy, vol. 5, pp. 811–817.
Tait, W. W.: 1986, ‘Truth and Proof: The Platonism of Mathematics’ Synthese 69, 341–370.
Wang, H.: 1987, Reflections on Kurt Gödel, Cambridge, MA.
Wang, H.: 1996, A Logical Journey; From Gödel to Philosophy, Cambridge, MA.
Zach, R.: 1999, ‘Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic’ Bulletin of Symbolic Logic 5, 331–66.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Awodey, s., Carus, A.W. Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928. Erkenntnis 54, 145–172 (2001). https://doi.org/10.1023/A:1005622201768
Issue Date:
DOI: https://doi.org/10.1023/A:1005622201768