Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about the semantics of natural languages; and, moreover, that such methods can take account of features of natural language which have often been thought incapable of formal treatment, such as vagueness, context dependence and metaphorical meaning. Parts 1 and 2 set out a class of formal languages and their semantics. Parts 3 and 4 show that these (...) formal languages are rich enought to be used in the precise description of natural languages. Appendices describe some of the concepts discussed in the text. (shrink)

Obviously enough the tongue, the spelling, the typography, the verbosity of a description reflect no parallel features in the world. Coherence is a characteristic of descriptions, not of the world: the significant question is not whether the world is coherent, but whether our account of it is. And what we call the simplicity of the world is merely the simplicity we are able to achieve in describing it.