SEMANTICS conveniently divides into two branches, the theory of designation and/or denotation and the theory of meaning. The former constitutes extensional, the latter intensional semantics. Both branches are thus parts of the modern trivium of syntax, semantics, and pragmatics, which is often called "logical semiotics" for short. Semiotics is in fact modern logic in full dress, and is thought by many, especially perhaps at Oxford University, to occupy a central place in the study of the liberal arts. Syntax is the theory of signs as such and how they are interrelated to form longer signs, phrases, sentences, texts, and so on. In semantics, signs are interrelated in one way or another with the objects for which they stand. And in pragmatics the user of language is brought in fundamentally, as well as the various relations that he or she bears to signs and combinations of signs in...