Boolean Semantics for Natural Language
Springer Science & Business Media, Dec 31, 1984 - Language Arts & Disciplines - 387 pages
In the spring of 1978, one of the authors of this book was sitting in on a course in logic for linguists given by the other author. In attempting to present some of Montague's insights in an elementary way (hopefully avoid ing the notation which many find difficult at first), the authors began dis cussions aimed towards the construction of a simple model-theoretical semantic apparatus which could be applied directly to a small English-like language and used to illustrate the methods of formal logical interpretation. In these discussions two points impressed themselves on us. First, our task could be simplified by using boolean algebras and boolean homomorphisms in the models; and second, the boolean approach we were developing had much more widespread relevance to the logical structure of English than we first thought. During the summer and fall of 1978 we continued work on the system, proving the more fundamental theorems (including what we have come to call the Justification Theorem) and outlining the way in which an intensional interpretation scheme could be developed which made use of the boolean approach (which was originally strictly extensional). We presented our findings in a monograph (Keenan and Faltz, 1978) which the UCLA Linguistics Department kindly published as part of their series called Occa sional Papers in Linguistics; one of the authors also presented the system at a colloquium held at the Winter Meeting of the Linguistic Society of America in December 1978.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Albanian AP's arbitrary argument-oriented atomic algebra atomic boolean algebra automorphism axioms Bill boolean combinations boolean operations boolean structure common noun complements complete and atomic complete homomorphism defined definition Dets doctor English entails exactly example expression of category extensional system extensions fact follows formula Fred left given idempotent intension intensional logic intersecting intuition isomorphism John is looking John kiss least lexical lifting theorem logical constants logically equivalent look-for means modifiers Moreover n-place predicates nontransparent PI Note noun phrases ontology passive pointwise power set algebra prepositions preserves joins preserves meets proof proper noun properly intensional RB/B represent semantic sentences set of individuals set of properties Similarly sing source phrases stative locatives student property subcategory subset syntactically tall student transitive verb transparent truth value unicorn variable vegetarian verb whence