Advertisement

Synthese

, Volume 15, Issue 1, pp 17–56 | Cite as

A survey of formal semantics

  • Robert Rogers
Article

Keywords

Formal Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.Google Scholar
  2. 2.
    Tarski, A., Logic, Semantics, Metamathematics, p. 195.Google Scholar
  3. 3.
    Tarski, A., Ibid., pp. 187–188.Google Scholar
  4. 4.
    Tarski, A., ‘The Semantic Conception of Truth and the Foundations of Semantics’, Philosophy and Phenomenological Research 4 (1944) 342.Google Scholar
  5. 5.
    Rudolf Carnap, Introduction to Semantics. Part B., Harvard University Press, Cambridge, Mass., 1948.Google Scholar
  6. 6.
    See Alfred Tarski, Logic, Semantics, Metamathematics pp. 247–254.Google Scholar
  7. 7.
    Richard Martin, Truth and Denotation, Chicago, 1958.Google Scholar
  8. 8.
    Ibid. pp. 108–110.Google Scholar
  9. 9.
    Ibid. pp. 104–108.Google Scholar
  10. 10.
    Ibid. pp. 115–119.Google Scholar
  11. 11.
    Ibid. pp. 119–122.Google Scholar
  12. 12.
    Ibid. Chapter VI.Google Scholar
  13. 13.
    Alfred Tarski, Logic, Semantics, Metamathematics pp. 255–263.Google Scholar
  14. 14.
    See Rudolf Carnap, Introduction to Semantics, Part C; and Logical Foundations of Probability, Chicago, 1950, pp. 70–89.Google Scholar
  15. 15.
    Rudolf Carnap, Introduction to Semantics, pp. 134–138.Google Scholar
  16. 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. 17.
    John G. Kemeny, ‘A New Approach to Semantics’, The Journal of Symbolic Logic 21 (1956) 1–27 and 149–161.Google Scholar
  18. 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. 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. 20.
    W. V. O. Quine, Review of Metaphysics 2 (1948) 25ff.Google Scholar
  21. 21.
    W. V. O. Quine, From a Logical Point of View, p. 103.Google Scholar
  22. 22.
    W. V. O. Quine, Review of Metaphysics 2 (1948) 32.Google Scholar
  23. 23.
    W. V. O. Quine, Journal of Philosophy 36 (1939) 708.Google Scholar
  24. 24.
    Alonzo Church, ‘Ontological Commitment’, Journal of Philosophy 55 (1958) 1008.Google Scholar
  25. 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. 26.
    See Richard Martin, The Notion of Analytic Truth, University of Pennsylvania Press, to appear.Google Scholar
  27. 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. 28.
    See Ibid., pp. 91–94; Also W. V. O. Quine, ‘Two Dogmas of Empiricism’, Philosophical Review 60 (1951) 22.Google Scholar
  29. 29.
    W. V. O. Quine, Review of Metaphysics 2 (1948) 30–31.Google Scholar
  30. 30.
    W. V. O. Quine, ‘Semantics and Abstract Objects’, Proceedings and Addresses of the American Philosophical Association 31 (1957–1958) 19.Google Scholar
  31. 31.
    Ibid. p. 20.Google Scholar
  32. 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. 33.
    Loc. cit. Google Scholar
  34. 34.
    Ibid. 101–104.Google Scholar
  35. 35.
    A. Church, ‘A Review of Quine’, The Journal of Symbolic Logic 8 (1943) 45–47.Google Scholar
  36. 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.Google Scholar
  37. 37.
    A. Church, Proceedings of the American Academy of Arts and Sciences 80 (1951) 104.Google Scholar

Copyright information

© D. Reidel Publ. Comp 1963

Authors and Affiliations

  • Robert Rogers
    • 1
  1. 1.University of ColoradoBoulderUSA

Personalised recommendations