Abstract
Michael Friedman has recently argued that Carnap'sLogical Syntax of Language is fundamentally flawed in a way that reveals “the ultimate failure of logical positivism”. Friedman's argument depends crucially on two claims: (1) that Carnap was committed to the view that there is a universal metalanguage and (2) that given what Carnap wanted from a metalanguage, in particular given that he wanted a definition of ‘analytic’ for an object language, he was in fact committed to a hierarchy of stronger and stronger metalanguages. We argue that neither of these claims need be accepted. We show that there is no textual evidence for (1) and that if metalanguages are to be used for merely descriptive and not also justificatory purposes, Carnap does not need to define analyticity sufficiently for proving consistency, and so could have given a definition that does not entail a hierarchy of metalanguages.
Similar content being viewed by others
References
Carnap, Rudolf: 1937,The Logical Syntax of Language, trans. by Amethe Smeaton, Routledge & Kegan Paul, London.
Carnap, Rudolf: 1942,Introduction to Semantics, reprinted inIntroduction to Semantics and Formalization of Logic: Two Volumes in One, Harvard University Press, Cambridge, 1968.
Carnap, Rudolf: 1963, ‘Intellectual Autobiography’, in Paul Arthur Schilpp (ed.),The Philosophy of Rudolf Carnap, Open Court, La Salle.
Carnap, Rudolf: 1967,The Logical Structure of the World, trans. by Rolf A. George, University of California Press, Berkeley: (German original 1928:Der Logische Aufbau der Welt).
Coffa, Alberto: 1986, ‘From Geometry to Tolerance’,From Quarks to Quasars, University of Pittsburgh Series in thePhilosophy of Science, Vol. 7, University of Pittsburgh Press, Pittsburgh, pp. 3–70.
Coffa, Alberto: 1987, ‘Carnap, Tarski and the Search for Truth’,Noûs 21, 547–72.
Friedman, Michael: 1983,Foundations of Space-Time Theories, Princeton University Press, Princeton.
Friedman, Michael: 1987, ‘Carnap's Aufbau Reconsidered’,Noûs 21, 521–45.
Friedman, Michael: 1988, ‘Logical Truth and Analyticity in Carnap'sLogical Syntax of Language’, in William Aspray and Philip Kitcher (eds.),Minnesota Studies in Philosophy of Science, Vol. 11, University of Minnesota Press, Minneapolis, pp. 82–94.
Friedman, Michael: 1991, ‘The Re-evaluation of Logical Positivism’,Journal of Philosophy 88, 505–19.
Friedman, Michael: 1992, ‘Philosophy and the Exact Sciences: Logical Positivism as a Case Study’, in J. Earman (ed.),Inference, Explanation and Other Frustrations, University of California Press, Berkeley, pp. 84–98.
Goldfarb, Warren: 1979, ‘Logic in the Twenties: the Case of the Quantifier’,Journal of Symbolic Logic 44, 351–78.
Goldfarb, Warren and Ricketts, Thomas: 1992, ‘Carnap and the Philosophy of Mathematics’, in David Bell and Willhelm Vossenkuhl (eds.),Wissenschaft und Subjektivität: Science and Subjectivity, Academie Verlag, Berlin, pp. 61–78.
Kirkham, Richard: 1992,Theories of Truth, MIT Press/Bradford, Cambridge.
Montague, R.: 1957, Review of Wang ‘Remarks on the Comparisons of Axiom Systems’,Journal of Symbolic Logic 22, 365–7.
Mostowski, A.: 1950, ‘Some Impredicative Definitions in the Axiomatic Set Theory’,Fundamenta Mathematicae 37, 111–24.
Mostowski, A.: 1951, Review of Wang ‘Remarks on the Comparisons of Axiom Systems’,Journal of Symbolic Logic 16, 142–3.
Novak, Ilse: 1950, ‘A Construction for Models of Consistent Systems’,Fundamenta Mathematicae 37, 87–110.
Oberdan, Thomas: 1992, ‘The Concept of Truth in Carnap'sLogical Syntax of Language’,Synthese 93, 239–60.
Rosser, J. B. and Wang, Hao: 1950, ‘Non-standard Models for Formal Logics’,Journal of Symbolic Logic 15, 113–29.
Rosser, J. B.: 1955,Deux Esquisses de Logique, Gauthier-Villars, Paris.
Sarkar, Sahotra: 1992, ‘“The Boundless Ocean of Unlimited Possibilities”: Logic in Carnap'sLogical Syntax of Language’,Synthese 93, 191–237.
Skolem, T.: 1951, Review of Mostowski ‘Some Impredicative Definitions in the Axiomatic Set Theory’,Journal of Symbolic Logic 16, 274–5.
Tait, W. W.: 1981, ‘Finitism’,Journal of Philosophy 78, 524–46.
Tarski, Alfred: 1936, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’,Studia Philosophica 1, 261–405, Originally published in Polish in 1933. In English in (Tarski, 1956).
Tarski, Alfred: 1956, in J. H. Woodger (ed.),Logic, Semantics, Metamathematics, Clarendon, Oxford.
Wang, Hao: 1950, ‘Remarks on the Comparison of Axiom Systems’,Proceedings of the National Academy of Sciences 35, 448–53.
Wang, Hao: 1952, ‘Truth Definitions and Consistency Proofs’,Proceedings of the American Mathematical Society 243–75.
Wang, Hao: 1986,Beyond Analytic Philosophy, MIT Press, Cambridge.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Devidi, D., Solomon, G. Tolerance and metalanguages in Carnap'sLogical Syntax of Language . Synthese 103, 123–139 (1995). https://doi.org/10.1007/BF01063720
Issue Date:
DOI: https://doi.org/10.1007/BF01063720