A contribution to the development of a general theory of meaning, using mathematical or Montague semantics, a noncalculative approach concerned with the formal modelling of language. Reviews the necessary mathematics, logic, and linguistics required to understand the treatment; then discusses vagu