Skip to main content
Log in

“The boundless ocean of unlimited possibilities”: Logic in Carnap'sLogical Syntax of Language

  • 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

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

Instant access to the full article PDF.

References

  • Bar-Hillel, Y.: 1950, ‘On Syntactical Categories’,Journal of Symbolic Logic 15, 1–16.

    Google Scholar 

  • Bar-Hillel, Y.: 1954a, ‘Indexical Expressions’,Mind 63, 359–79.

    Google Scholar 

  • Bar-Hillel, Y.: 1954b, ‘Logical Syntax and Semantics’,Language 30, 230–37.

    Google Scholar 

  • Bar-Hillel, Y.: 1963 ‘Remarks of Carnap's Logical Syntax of Language’, in Schilpp (1963), pp. 519–43.

    Google Scholar 

  • Beth, E. W.: 1963, ‘Carnap's Views on the Advantages of Constructed Systems Over Natural Languages in the Philosophy of Science’, in Schilpp (1963), pp. 469–502.

    Google Scholar 

  • Bohnert, H. G.: 1975, ‘Carnap's Logicism’, in J. Hintikka (ed.),Rudolf Carnap, Logical Empiricist, D. Reidel, Dordrecht, pp. 183–216.

    Google Scholar 

  • Bloomfield, L.: 1936, ‘Language or Ideas?’,Language 12, 89–95.

    Google Scholar 

  • Carnap, R.: 1931, ‘Die logizistische Grundlegung der Mathematik’,Erkenntnis 2, 91–105.

    Google Scholar 

  • Carnap, R.: 1934a, ‘Die Antinomien und die Unvollständigkeit der Mathematik’,Monatshefte für Mathematik und Physik 41, 263–84.

    Google Scholar 

  • Carnap, R.: 1934b,Logische Syntax der Sprache, Springer, Vienna.

    Google Scholar 

  • Carnap, R.: 1935, ‘Ein Gültigskriterium für die Sätze der klassischen Mathematik’,Monatshefte für Mathematik und Physik 42, 163–90.

    Google Scholar 

  • Carnap, R.: 1936, ‘Wahrheit und Bewährung’,Actes du Congrès International de Philosophie Scientifique, Sorbonne, Paris 1935 4, 18–23.

    Google Scholar 

  • Carnap, R.: 1937,The Logical Syntax of Language, trans. Countess von Zeppelin, Kegan Paul, Trench, Trubner & Co., London.

    Google Scholar 

  • Carnap, R.: 1939,Foundations of Logic and Mathematics, University of Chicago Press, Chicago.

    Google Scholar 

  • Carnap, R.: 1940, ‘S. C. Kleene, On the Term ‘Analytic’ in Logical Syntax’,Journal of Symbolic Logic 5, 157–58.

    Google Scholar 

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

    Google Scholar 

  • Carnap, R.: 1947,Meaning and Necessity: A Study in Semantics and Modal Logic, University of Chicago Press, Chicago.

    Google Scholar 

  • Carnap, R.: 1963a, ‘Intellectual Autobiography’, in Schilpp (1963), pp. 3–84.

    Google Scholar 

  • Carnap, R.: 1963b, ‘Replies and Systematic Expositions’, in Schilpp (1963), pp. 859–1013.

    Google Scholar 

  • Carnap, R.: 1983, ‘The Logicist Foundations of Mathematics’, in P. Benacerraf and H. Putnam (eds.),Philosophy of Mathematics: Selected Readings, 2nd ed., Cambridge University Press, Cambridge, pp. 41–52.

    Google Scholar 

  • Chomsky, N.: 1955, ‘Logical Syntax and Semantics. Their Linguistic Relevance’,Language 31, 36–45.

    Google Scholar 

  • Church, A.: 1956,Introduction to Mathematical Logic, Princeton University Press, Princeton.

    Google Scholar 

  • Creath, R. (ed.): 1990,Dear Carnap, Dear Van: The Quine-Carnap Correspondence and Related Work, University of California Press, Berkeley.

    Google Scholar 

  • Davis, M. (ed.): 1965,The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press, Hewlett.

    Google Scholar 

  • Dawson, J.: 1984, ‘Discussion on the Foundation of Mathematics’,History and Philosophy of Logic 5, 111–29.

    Google Scholar 

  • Feferman, S.: 1986, ‘Introductory Note to1931c’, in Gödel (1986), pp. 208–13.

    Google Scholar 

  • Friedman, M.: 1988, ‘Logical Truth and Analyticity in Carnap's ‘Logical Syntax of Language’’, in W. Aspray and P. Kitcher (eds.),History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis, pp. 82–94.

    Google Scholar 

  • Gödel, K.: 1935, ‘[Besprechung] Rudolf Carnap, Die Antinomien und die Unvollständigkeit der Mathematik’,Zentralblatt für Mathematik und ihre Grenzgebiete 11, 1.

    Google Scholar 

  • Gödel, K.: 1959, ‘Is Mathematics Syntax of Language?’, unpublished ms.

  • Gödel, K.: 1986,Collected Works, Vol. 1, Oxford University Press, Oxford.

    Google Scholar 

  • Harris, Z. S.: 1951,Methods in Structural Linguistics, University of Chicago Press, Chicago.

    Google Scholar 

  • Hilbert, D.: 1931, ‘Die Grundlegung der elementaren Zahlenlehre’,Mathematische Annalen 104, 485–94.

    Google Scholar 

  • Hilbert, D. and W. Ackermann: 1928,Grundzüge der theoretischen Logik, Springer, Berlin.

    Google Scholar 

  • Hilbert, D. and P. Bernays: 1934,Grundlagen der Mathematik, Vol. 1, Springer, Berlin.

    Google Scholar 

  • Kleene, S. C.: 1939, ‘[Review] Rudolf Carnap,The Logical Syntax of Language’,Journal of Symbolic Logic 4, 82–87.

    Google Scholar 

  • Kleene, S. C.: 1986, ‘Introductory note to1934’, in Gödel (1986), pp. 338–45.

    Google Scholar 

  • Larson, R. K.: 1990, ‘Semantics’, in D. N. Osherson and H. Lasnik (eds.),Language, MIT Press, Cambridge, pp. 23–42.

    Google Scholar 

  • Mac Lane, S.: 1938, ‘Carnap on Logical Syntax’,Bulletin of the American Mathematical Society 44, 171–76.

    Google Scholar 

  • Menger, K.: 1930, ‘Der Intuitionismus’,Blätter für deutsche Philosophie 4, 311–25.

    Google Scholar 

  • Noonan, J.: 1990, ‘Carnap'sLogical Syntax of Language’, unpublished senior thesis, Department of Philosophy, Boston University.

  • Ramsey, F. P.: 1925, ‘The Foundations of Mathematics’,Proceedings of the London Mathematical Society, Series 225, 338–84.

    Google Scholar 

  • Rosser, J. B.: 1937, ‘Gödel Theorems for Non-Constructive Logics’,Journal of Symbolic Logic 2, 129–37

    Google Scholar 

  • Schilpp, P. A. (ed.): 1963,The Philosophy of Rudolf Carnap, Open Court, La Salle.

    Google Scholar 

  • Stein, H.: 1989, ‘Yes, but ... — Some Skeptical Remarks on Realism and Anti-realism’,Dialectica 43, 47–65.

    Google Scholar 

  • Tarski, A.: 1933a, ‘Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit’,Monatshefte für Mathematik und Physik 40, 97–112.

    Google Scholar 

  • Tarski, A.: 1933b, ‘Pojecie prawdy w jezykach nauk dedukcyjnych’,Prace Towarzystwa Naukowego Warszawskiego, wydzial III 34 [German translation as Tarski (1935) and English translations in Tarski (1956, 1983)].

  • Tarski, A.: 1935, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’,Studia Philosophica 1, 261–405.

    Google Scholar 

  • Tarski, A.: 1936, ‘Über den Begriff der logischen Folgerung’,Actes du Congrès International de Philosophie Scientifique, Sorbonne, Paris 1935 7, 1–11.

    Google Scholar 

  • Tarski, A.: 1956,Logic, Semantics, Metamathematics, Oxford University Press, Oxford.

    Google Scholar 

  • Tarski, A.: 1983,Logic, Semantics, Metamathematics, 2nd ed., Hackett, Indianapolis.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Thanks are due to Wayne Myrvold, Jennifer Noonan, Thomas Oberdan, Alan Richardson, and Judson Webb for helpful discussions.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sarkar, S. “The boundless ocean of unlimited possibilities”: Logic in Carnap'sLogical Syntax of Language . Synthese 93, 191–237 (1992). https://doi.org/10.1007/BF00869426

Download citation

  • Issue Date:

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

Keywords

Navigation