Abstract
This paper has a focus somewhat different from that of the majority of other papers published this year on Rudolf Carnap. I will not discuss the details of Carnap’s work, but will try to both put it in a perspective which also includes recent and current work on the same topics and to evaluate tentatively some of Carnap’s ideas in this perspective. My enterprise therefore has a systematic component, but it is not irrelevant to the purely historical task of understanding Carnap. The reason is that it often happens that a deeper understanding of a thinker’s historical ideas also presupposes understanding better the systematic context of his or her ideas. It seems to me that Carnap offers an instructive object lesson in this respect.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Carnap, Rudolf: [1934]/1937, The Logical Syntax of Language,Routledge & Kegan Paul, London.
Carnap, Rudolf: 1942, Introduction to Semantics, Harvard University Press, Cambridge, Massachusetts.
Carnap, Rudolf: 1947, Meaning and Necessity,University of Chicago Press, Chicago (1956), 2nd ed.).
Carnap, Rudolf and Friedrich Bachmann: 1936, ‘Über Extremaliaxiome’, Erkenntnis 6, 166–88.
Frege, Gottlob: 1884, Die Grundlagen der Arithmetik, W. Koebner, Breslau.
Gödel, Kurt: 1986, Kurt Gode!: Collected Works: Publications 1929–36, eds. Solomon Feferman et al., Vol. 1, Oxford University Press, New York.
Gödel, Kurt: 1990, Kurt Glide!: Collected Works: Publications 1938–74, eds. Solomon Feferman et al., Vol. 2, Oxford University Press, New York.
Henkin, Leon: 1950, ‘Completeness in the Theory of Types’, Journal of Symbolic Logic 15, 81–91.
Hilbert, David: 1899, ‘Grundlagen der Geometrie’, in B. G. Taubner (ed.), Festschrift zur Feier der Enthüllung des Gauss-Weber Denkmals, Leipzig, pp. 3–92 (1903, 2nd ed., independent monograph).
Hintikka, Jaakko: 1955, ‘Reductions in the Theory of Types’, Acta Philosophica Fennica 8, 57–115.
Hintikka, Jaakko: 1974a, The Intentions of Intentionality, D. Reidel, Dordrecht.
Hintikka, Jaakko: 1974b, On the Proper Treatment of Quantifiers in Montague Semantics’, in Sören Stenlund (ed.), Logical Theory and Scientific Analysis, D. Reidel, Dordrecht, pp. 45–60.
Hintikka, Jaakko: 1975–76, ‘Gaps in the Great Chain of Being: An Exercise in the Methodology of the History of Ideas’, Proceedings and Addresses of the American Philosophical Association 49, 22–38.
Hintikka, Jaakko: 1980, ‘Standard vs. Nonstandard Logic: Higher-Order, Modal and First-Order Logics’, in Evandro Agazzi (ed.), Modern Logic: A Survey, D. Reidel, Dordrecht, pp. 283–96.
Hintikka, Jaakko: 1988, ‘On the Development of the Model-Theoretical Viewpoint in Logical Theory’, Synthese 77, 1–36.
Hintikka, Jaakko: 1989, ‘Is There Completeness in Mathematics After Gödel?’, Philosophical Topics 17, 69–90.
Hintikka, Jaakko: 1990, ‘The Cartesian Cogito, Epistemic Logic, and Neuroscience: Some Surprising Interrelations’, Synthese 83, 133–57.
Hintikka, Jaakko: 1991a, ‘Carnap, the Universality of Language, and Extremality Axioms’, Erkenntnis 35, 325–36.
Hintikka, Jaakko: 1991b, Defining Truth, the Whole Truth and Nothing But the Truth, Reports from the Department of Philosophy, No. 2, University of Helsinki, Finland.
Hintikka, Jaakko and Gabriel Sandu: 1991, On the Methodology of Linguistics: A Case Study, Basil Blackwell, Oxford.
Hintikka, Jaakko and Gabriel Sandu: 1992, ‘The Skeleton in Frege’s Cupboard: The Standard-Nonstandard Distinction’, Journal of Philosophy 89, 290–315.
Hintikka, Merrill B. and Jaakko Hintikka: 1986, Investigating Wittgenstein, Basil Blackwell, Oxford.
Kripke, Saul: 1980, Meaning and Necessity, Harvard University Press, Cambridge, Massachusetts.
Lindström, Per: 1969, ‘On Extensions of Elementary Logic’, Theoria 35, 1–11.
Lovejoy, A. O.: 1936, The Great Chain of Being, Harvard University Press, Cambridge, Massachusetts.
Mates, Benson: 1968, ‘Leibniz on Possible Worlds’, in B. van Rootselaar and J. F. Staal (eds.), Logic, Methodology and Philosophy of Science III, D. Reidel, Dordrecht, pp. 507–09.
Nedo, Michael and Michele Ranchetti (eds.): 1983, Wittgenstein: Sein Leben in Bildern und Texten, Suhrkamp, Frankfurt am Main.
Quine, W. V: 1963, ‘Carnap and Logical Truth’, in Schilpp, pp. 385–406.
Ramsey, Frank: 1931, ‘Foundations of Mathematics’, in The Foundations of Mathematics and Other Logical Essays, Routledge & Kegan Paul, London, pp. 1–61.
Russell, Bertrand: 1919, Introduction to Mathematical Philosophy, Allen and Unwin, London.
Schilpp, P. A. (ed.): 1963, The Philosophy of Rudolf Carnap, Library of Living Philosophers, Vol. 11, Open Court, La Salle, Illinois.
Tarski, Alfred: 1956, Logic Semantics, Metamathematics, Papers from 1923 to 1938, Clarendon Press, Oxford.
Van Heijenoort, Jean: 1967, ‘Logic as Calculus and Logic as Language’, Synthese 17, 234–30.
Wittgenstein, Ludwig: 1961, Tractatus Logico-Philosophicus,trans. D. F. Pears and B. F. McGuinness, Routledge & Kegan Paul, London.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hintikka, J. (1997). Carnap’s Work in the Foundations of Logic and Mathematics in a Historical Perspective. In: Lingua Universalis vs. Calculus Ratiocinator. Jaakko Hintikka Selected Papers, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8601-6_7
Download citation
DOI: https://doi.org/10.1007/978-94-015-8601-6_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4754-0
Online ISBN: 978-94-015-8601-6
eBook Packages: Springer Book Archive