By Edward L. KeenanWithin the spring of 1978, one of many authors of this e-book used to be sitting in on a path in common sense for linguists given via the opposite writer. In trying to current a few of Montague's insights in an straight forward method (hopefully steer clear of ing the notation which many locate tough at first), the authors started dis cussions aimed in the direction of the development of an easy model-theoretical semantic equipment which can be utilized on to a small English-like language and used to demonstrate the tools of formal logical interpretation. In those discussions issues inspired themselves on us. First, our job can be simplified through the use of boolean algebras and boolean homomorphisms within the versions; and moment, the boolean technique we have been constructing had even more common relevance to the logical constitution of English than we first idea. throughout the summer season and fall of 1978 we persevered paintings at the process, proving the extra basic theorems (including what we've come to name the Justification Theorem) and outlining the way an intensional interpretation scheme might be built which made use of the boolean method (which used to be initially strictly extensional). We awarded our findings in a monograph (Keenan and Faltz, 1978) which the UCLA Linguistics division kindly released as a part of their sequence referred to as Occa sional Papers in Linguistics; one of many authors additionally awarded the approach at a colloquium held on the wintry weather assembly of the Linguistic Society of the USA in December 1978.