Abstract
One important achievement Rudolf Carnap claimed for his book, The Logical Syntax of Language, was that it effected a synthesis of two seemingly antithetical philosophies of mathematics, logicism and formalism. (Carnap 1937, Sec. 84) Reconciling these widely divergent conceptions had been a goal of Carnap’s for several years. But in the years in which Carnap’s synthesis evolved, important intellectual developments influenced the direction of his efforts and, ultimately, the final outcome. These developments were, first of all, the epoch-making theorems proved by Kurt Gödel, which required the abandonment of several theses central to the aims of logicism and formalism. Of far greater significance, in the present context, are the changes in Carnap’s own philosophical outlook, brought about not only by Gödel’s theorems but concurrent discussions within the Vienna Circle as well as his own researches. Consequently, the exact sense in which Carnap attempted the synthesis of logicism and formalism in the Logical Syntax requires careful examination. In what follows below, the evolution of Carnap’s synthesis will be traced, from the first reconciliation he proposed (in Königsberg in 1930), through the synthesis that appeared with the publication of The Logical Syntax of Language. The aim is to determine which modifications of Carnap’s synthesis were required by Gödel’s theorems, and which were motivated by changes in his own thinking. Although the characteristic theses of both logicism and formalism required profound modifications because of Gödel’s theorems, the philosophical impulses that originally fueled their programs retained much of their former virulence. But the changes in Carnap’s thought that ocurred in the years he was developing his synthesis especially affected his appreciation of the philosophical motivations underwriting the logicist approach, so that much of the philosophical insight that inspired it is lost, and Carnap’s combination of logicism and formalism is a putative synthesis at best.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Unpublished
The Rudolf Carnap Collection, Archives for Scientific Philosophy, University of Pittsburgh Libraries (hereafter, “ASP”). All rights reserved. Items in the archives are referred to by document number, followed by page numer (if applicable).
Published
Carnap, Rudolf (1931). “Logizistische Grundlegung”, Erkenntnis, 1931, pp.91–121; trans. by E. Putnam and G. Masses as “The Logicist Foundations of Mathematics”, in P. Benacerraf and H. Putnam, eds. Readings in the Philosophy of Mathematics, second ed., Englewood Cliffs: Prentice Hall, 1983, pp. 41–52.
Carnap, Rudolf (1932a). “Die physikalische Sprache als Universalsprache der Wissenschaft”, Erkenntnis II, pp. 432–465.
Carnap, Rudolf (1932b). “Über Protokollsätze”, Erkenntnis III, pp. 215–228.
Carnap, Rudolf (1937). The Logical Syntax of Language, second ed., A. Smeaton, trans., London: Routledge and Kegan Paul.
Carnap, Rudolf (1963). “Intellectual Autobiography”, in P.A. Schilpp, ed., The Philosophy of Rudolf Carnap, La Salle: Open Court, pp. 3–84.
Coffa, Albert (1991). The Semantic Tradition from Kant to Carnap, Cambridge: Cambridge University Press.
Creath, R. (1992). “Carnap’s Conventionalism”, Synthese, vol. 93, pp. 141–166.
Dawson, John Jr. (1984). Trans. and ed., “Discussion on the Foundations of Mathematics”, History and Philosophy of Logic 5, 1984, pp.111–129.
Frege, Gottlob (1968). The Foundations of Arithmetic. J.L. Austin, trans., Evanston: Northwestern University Press.
Friedman, M. (1988). “Logical Truth and Analyticity in Carnap’s Logical Syntax of Language, in P. Aspray and P. Kitcher, eds., History and Philosophy of Modern Mathematics, Minneapolis: University of Minnesota Press, pp. 82–94.
Gödel, Kurt (1929). “Über die Vollständigkeit des Logikkalküls”, in S. Feferman, J. Dawson, S.J. Kleene, et al., eds., Kurt Gödel: Collected Works, vol. I, New York: Oxford University Press, 1986, pp. 60–101.
Oberdan, Thomas (1990). “Positivism and the Pragmatic Theory of Observation”, PSA 1990, vol. 1, pp. 25–37.
Oberdan, Thomas (1992). “The Concept of Truth in Carnap’s Logical Syntax of Language”, Synthese 93, 1992, pp. 239–260.
Pecchioni, Frank (1991). “Carnap’s Complete Representation”, delivered at the Ninth International Congress of Logic, Methodology and Philosophy of Science (Uppsala, Sweden ), August 1991.
Proust, Joëlle (1989). Questions of Form. Logic and The Analytic Proposition from Kant to Carnap. A.A. Brenner, trans., Minneapolis: University of Minnesota Press.
Wittgenstein, Ludwig (1922). Tractatus Logico-Philosophicus. C. Ogden, trans., London: Routledge and Kegan Paul.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Oberdan, T. (1993). The Synthesis of Logicism and Formalism in Carnap’s Logical Syntax of Language . In: Stadler, F. (eds) Scientific Philosophy: Origins and Developments. Vienna Circle Institute Yearbook [1993], vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2964-2_11
Download citation
DOI: https://doi.org/10.1007/978-94-017-2964-2_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4332-0
Online ISBN: 978-94-017-2964-2
eBook Packages: Springer Book Archive