Skip to main content
SpringerLink
Log in

A survey of formal semantics

  • 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

  1. See Alfred Tarski, ‘The Concept of Truth in Formalized Languages’, and ‘The Establishment of Scientific Semantics’ both in his Logic, Semantics, Metamathematics, Oxford, 1956, pp. 152–278 and 401–408; also ‘The Semantic Conception of Truth and the Foundations of Semantics’, Philosophy and Phenomenological Research 4 (1944) 341–376.

  2. Tarski, A., Logic, Semantics, Metamathematics, p. 195.

  3. Tarski, A., Ibid., pp. 187–188.

  4. Tarski, A., ‘The Semantic Conception of Truth and the Foundations of Semantics’, Philosophy and Phenomenological Research 4 (1944) 342.

    Google Scholar 

  5. Rudolf Carnap, Introduction to Semantics. Part B., Harvard University Press, Cambridge, Mass., 1948.

    Google Scholar 

  6. See Alfred Tarski, Logic, Semantics, Metamathematics pp. 247–254.

  7. Richard Martin, Truth and Denotation, Chicago, 1958.

  8. Ibid. pp. 108–110.

  9. Ibid. pp. 104–108.

  10. Ibid. pp. 115–119.

  11. Ibid. pp. 119–122.

  12. Ibid. Chapter VI.

  13. Alfred Tarski, Logic, Semantics, Metamathematics pp. 255–263.

  14. See Rudolf Carnap, Introduction to Semantics, Part C; and Logical Foundations of Probability, Chicago, 1950, pp. 70–89.

  15. Rudolf Carnap, Introduction to Semantics, pp. 134–138.

  16. See Rudolf Carnap, ‘Meaning Postulates’, Philosophical Studies 3 (1952) 65–73. Carnap here ascribes the method of meaning postulates to John G. Kemeny.

    Google Scholar 

  17. John G. Kemeny, ‘A New Approach to Semantics’, The Journal of Symbolic Logic 21 (1956) 1–27 and 149–161.

    Google Scholar 

  18. Ibid. Theorem 27. See Leon Henkin, ‘Completeness in the Theory of Types’, The Journal of Symbolic Logic 15 (1950) 81–91. See also Alonzo Church, An Introduction to Mathematical Logic, Vol. I, Princeton, 1956, pp. 307–315.

    Google Scholar 

  19. See W. V. O. Quine, ‘Designation and Existence’, Journal of Philosophy 36 (1939) 701–709; ‘On What There Is’, Review of Metaphysics 2 (1948) 21–38; ‘Logic and the Reification of Universals’ in From a Logical Point of View, Cambridge, Mass., 1953, pp. 102–129.

    Google Scholar 

  20. W. V. O. Quine, Review of Metaphysics 2 (1948) 25ff.

    Google Scholar 

  21. W. V. O. Quine, From a Logical Point of View, p. 103.

  22. W. V. O. Quine, Review of Metaphysics 2 (1948) 32.

    Google Scholar 

  23. W. V. O. Quine, Journal of Philosophy 36 (1939) 708.

    Google Scholar 

  24. Alonzo Church, ‘Ontological Commitment’, Journal of Philosophy 55 (1958) 1008.

    Google Scholar 

  25. See Nelson Goodman and W. V. O. Quine, ‘Steps Towards a Constructive Nominalism’, Journal of Symbolic Logic 12 (1947) 105–122, and Richard Martin, op. cit., Chapters XI and XII. See also R. M. Martin and J. H. Woodger, ‘Toward an Inscriptional Semantics’, The Journal of Symbolic Logic 16 (1951) 193–203.

    Google Scholar 

  26. See Richard Martin, The Notion of Analytic Truth, University of Pennsylvania Press, to appear.

  27. W. V. O. Quine, ‘Semantics and Abstract Objects’, Proceedings of the American Academy of Arts and Sciences 80 (1951) 94–95.

    Google Scholar 

  28. See Ibid., pp. 91–94; Also W. V. O. Quine, ‘Two Dogmas of Empiricism’, Philosophical Review 60 (1951) 22.

    Google Scholar 

  29. W. V. O. Quine, Review of Metaphysics 2 (1948) 30–31.

    Google Scholar 

  30. W. V. O. Quine, ‘Semantics and Abstract Objects’, Proceedings and Addresses of the American Philosophical Association 31 (1957–1958) 19.

    Google Scholar 

  31. Ibid. p. 20.

    Google Scholar 

  32. Alonzo Church, ‘The Need for Abstract Entities in Semantic Analysis’, Proceedings of the American Academy of Arts and Sciences 80 (1951) 100–101.

    Google Scholar 

  33. Loc. cit.

    Google Scholar 

  34. Ibid. 101–104.

    Google Scholar 

  35. A. Church, ‘A Review of Quine’, The Journal of Symbolic Logic 8 (1943) 45–47.

    Google Scholar 

  36. A. Church, ‘A Formulation of the Logic of Sense and Denotation’, Structure, Meaning and Method (Ed. by P. Henle), Liberal Arts Press, 1951, p. 11.

  37. A. Church, Proceedings of the American Academy of Arts and Sciences 80 (1951) 104.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Colorado, Boulder, Colorado, USA

    Robert Rogers

Authors
  1. Robert Rogers
    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

Rogers, R. A survey of formal semantics. Synthese 15, 17–56 (1963). https://doi.org/10.1007/BF00484840

Download citation

  • Issue Date:

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

Keywords

Search

Navigation