Elsewhere I have urged that it is a necessary condition, if a language is to be learnable, that it have only a finite number of semantical primitives: see Theories of Meaning and Learnable Languages’, in Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, North-Holland Publishing Company, Amsterdam, 1965, pp. 383–394.
Google Scholar
A ‘structural description’ of an expression describes the expression as a concatenation of elements drawn from a fixed finite list (for example of words or letters).
Google Scholar
The argument is essentially Frege’s. See A. Church, Introduction to Mathematical Logic, Vol. I, Princeton 1956, pp. 24–25. It is perhaps worth mentioning that the argument does not depend on any particular identification of the entities to which sentences are supposed to refer.
Google Scholar
It may be thought that Church, in ‘A Formulation of the Logic of Sense and Denotation’, in Structure, Method and Meaning: Essays in Honor of H. M. Sheffer (ed. by Henle, Kallen and Langer), Liberal Arts Press, New York, 1951, pp. 3–24, has given a theory of meaning that makes essential use of meanings as entities. But this is not the case: Church’s logics of sense and denotation are interpreted as being about meanings, but they do not mention expressions and so cannot of course be theories of meaning in the sense now under discussion.
Google Scholar
For a recent and instructive statement of the role of semantics in linguistics, see Noam Chomsky, ‘Topics in the Theory of Generative Grammar’, in Current Trends in Linguistics (ed. by Thomas A. Sebeok), Vol. III, The Hague 1966. In this article, Chomsky (1) emphasizes the central importance of semantics in linguistic theory, (2) argues for the superiority of transformational grammars over phrase structure grammars largely on the grounds that, although phrase structure grammars may be adequate to define sentencehood for (at least) some natural languages, they are inadequate as a foundation for semantics, and (3) comments repeatedly on the ‘rather primitive state’ of the concepts of semantics and remarks that the notion of semantic interpretation “still resists any deep analysis”.
Google Scholar
Assuming, of course, that the extension of these predicates is limited to the sentences of L.
Google Scholar
Alfred Tarski, ‘The Concept of Truth in Formalized Languages’, in Logic, Semantics, Metamathematics, Oxford 1956, pp. 152–278.
Google Scholar
But Quine may be quoted in support of my usage: “… in point of meaning… a word may be said to be determined to whatever extent the truth or falsehood of its contexts is determined.” ‘Truth by Convention’, first published in 1936; now in The Ways of Paradox, New York 1966, p. 82. Since a truth definition determines the truth value of every sentence in the object language (relative to a sentence in the metalanguage), it determines the meaning of every word and sentence. This would seem to justify the title Theory of Meaning.
Google Scholar
To give a single example: it is clearly a count in favor of a theory that it entails ‘“Snow is white” is true if and only if snow is white’. But to contrive a theory that entails this (and works for all related sentences) is not trivial. I do not know a theory that succeeds with this very case (the problem of ‘mass terms’).
Google Scholar
This sketch of how a theory of meaning for an alien tongue can be tested obviously owes its inspiration to Quine’s account of radical translation in Chapter II of Word and Object, New York 1960. In suggesting that an acceptable theory of radical translation take the form of a recursive characterization of truth, I go beyond anything explicit in Quine. Toward the end of this paper, in the discussion of demonstratives, another strong point of agreement will turn up.
Google Scholar
So far as I am aware, there has been very little discussion of whether a formal truth definition can be given for a natural language. But in a more general vein, several people have urged that the concepts of formal semantics be applied to natural language. See, for example, the contributions of Yehoshua Bar-Hillel and Evert Beth to The Philosophy of Rudolph Carnap (ed. by Paul A. Schilpp), La Salle, 111., 1963, and Bar-Hillel’s ‘Logical Syntax and Semantics’, Language
30, 230–237.
Google Scholar
Tarski, ibid., p. 165.
Google Scholar
Ibid., p. 267.
Google Scholar
The rapprochement I prospectively imagine between transformational grammar and a sound theory of meaning has been much advanced by a recent change in the conception of transformational grammar described by Chomsky in the article referred to above (note 5). The structures generated by the phrase-structure part of the grammar, it has been realized for some time, are those suited to semantic interpretation; but this view is inconsistent with the idea, held by Chomsky until recently, that recursive operations are introduced only by the transformation rules. Chomsky now believes the phrase-structure rules are recursive. Since languages to which formal semantic methods directly and naturally apply are ones for which a (recursive) phrase-structure grammar is appropriate, it is clear that Chomsky’s present picture of the relation between the structures generated by the phrase-structure part of the grammar, and the sentences of the language, is very much like the picture many logicians and philosophers have had of the relation between the richer formalized languages and ordinary language. (In these remarks I am indebted to Bruce Vermazen.)
Google Scholar
Quine has good things to say about this in Methods of Logic, New York 1950, See § 8.
Google Scholar
For an up-to-date bibliography, and discussion, see A. N. Prior, Past, Present, and Future, Oxford 1967.
MATH
Google Scholar
There is more than an intimation of this approach to demonstratives and truth in Austin’s 1950 article Truth’, reprinted in Philosophical Papers, Oxford 1961. See pp. 89–90.
Google Scholar
These remarks clearly derive from Quine’s idea that ‘occasion sentences’ (those with a demonstrative element) must play a central role in constructing a translation manual.
Google Scholar