Skip to main content
SpringerLink
Log in

Carnap's work in the foundations of logic and mathematics in a historical perspective

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

  • Carnap, Rudolf [1934]/1937,The Logical Syntax of Language, Routledge & Kegan Paul, London.

    Google Scholar 

  • Carnap, Rudolf: 1942,Introduction to Semantics, Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

  • Carnap, Rudolf: 1947,Meaning and Necessity, University of Chicago Press, Chicago (1956), 2nd ed.).

    Google Scholar 

  • Carnap, Rudolf and Friedrich Bachmann: 1936, ‘Über Extremaliaxiome’,Erkenntnis 6, 166–88.

    Google Scholar 

  • Frege, Gottlob: 1884,Die Grundlagen der Arithmetik, W. Koebner, Breslau.

    Google Scholar 

  • Gödel, Kurt: 1986,Kurt Gödel: Collected Works: Publications 1929–36, eds. Solomon Feferman et al., Vol. 1, Oxford University Press, New York.

    Google Scholar 

  • Gödel, Kurt: 1990,Kurt Gödel: Collected Works: Publications 1938–74, eds. Solomon Feferman et al., Vol. 2, Oxford University Press, New York.

    Google Scholar 

  • Henkin, Leon: 1950, ‘Completeness in the Theory of Types’,Journal of Symbolic Logic 15, 81–91.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hintikka, Jaakko: 1974a,The Intentions of Intentionality, D. Reidel, Dordrecht.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hintikka, Jaakko: 1988, ‘On the Development of the Model-Theoretical Viewpoint in Logical Theory’,Synthese 77, 1–36.

    Google Scholar 

  • Hintikka, Jaakko: 1989, ‘Is There Completeness in Mathematics After Gödel?’,Philosophical Topics 17, 69–90.

    Google Scholar 

  • Hintikka, Jaakko: 1990, ‘The CartesianCogito, Epistemic Logic, and Neuroscience: Some Surprising Interrelations’,Synthese 83, 133–57.

    Google Scholar 

  • Hintikka, Jaakko: 1991a, ‘Carnap, the Universality of Language, and Extremality Axioms’,Erkenntnis 35, 325–36.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hintikka, Jaakko and Gabriel Sandu: 1991,On the Methodology of Linguistics: A Case Study, Basil Blackwell, Oxford.

    Google Scholar 

  • Hintikka, Jaakko and Gabriel Sandu: 1992, ‘The Skeleton in Frege's Cupboard: The Standard-Nonstandard Distinction’,Journal of Philosophy 89, 290–315.

    Google Scholar 

  • Hintikka, Merrill B. and Jaakko Hintikka: 1986,Investigating Wittgenstein, Basil Blackwell, Oxford.

    Google Scholar 

  • Kripke, Saul: 1980,Meaning and Necessity, Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

  • Lindström, Per: 1969, ‘On Extensions of Elementary Logic’,Theoria 35, 1–11.

    Google Scholar 

  • Lovejoy, A. O.: 1936,The Great Chain of Being, Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

  • 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.

    Google Scholar 

  • Nedo, Michael and Michele Ranchetti (eds.): 1983,Wittgenstein: Sein Leben in Bildern und Texten, Suhrkamp, Frankfurt am Main.

    Google Scholar 

  • Quine, W. V: 1963, ‘Carnap and Logical Truth’, in Schilpp, pp. 385–406.

    Google Scholar 

  • Ramsey, Frank: 1931, ‘Foundations of Mathematics’, inThe Foundations of Mathematics and Other Logical Essays, Routledge & Kegan Paul, London, pp. 1–61.

    Google Scholar 

  • Russell, Bertrand: 1919,Introduction to Mathematical Philosophy, Allen and Unwin, London.

    Google Scholar 

  • Schilpp, P. A. (ed.): 1963,The Philosophy of Rudolf Carnap, Library of Living Philosophers, Vol. 11, Open Court, La Salle, Illinois.

    Google Scholar 

  • Tarski, Alfred: 1956,Logic Semantics, Metamathematics, Papers from 1923 to 1938, Clarendon Press, Oxford.

    Google Scholar 

  • Van Heijenoort, Jean: 1967, ‘Logic as Calculus and Logic as Language’,Synthese 17, 234–30.

    Google Scholar 

  • Wittgenstein, Ludwig: 1961,Tractatus Logico-Philosophicus, trans. D. F. Pears and B. F. McGuinness, Routledge & Kegan Paul, London.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Boston University, 745 Commonwealth Avenue, 02215, Boston, MA, USA

    Jaakko Hintikka

Authors
  1. Jaakko Hintikka
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hintikka, J. Carnap's work in the foundations of logic and mathematics in a historical perspective. Synthese 93, 167–189 (1992). https://doi.org/10.1007/BF00869425

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00869425

Keywords

Search

Navigation