Journal of Symbolic Logic · 1988 · 202 citations · 0 references
Language StudiesComputer ScienceLinguisticsNatural Language ProcessingSemanticsSet TheoryFormal SemanticsLanguage ModelingLanguage ModelsModel TheorySyntax-semantics InterfaceAxiomatic SemanticsEnsemble TheoryLinguistic FormalismModel SemanticsModel-theoretic SemanticsNatural Language MeaningNatural MeaningQuantifier Semantics
Mass terms such as water, rice, and traffic pose a challenge for meaning theories because they cannot be treated as part of a logical set and exhibit grammatical properties distinct from count nouns. Bunt’s goal is to develop a computer program that can understand natural language utterances containing mass terms, and he offers a comprehensive analysis and an original solution. He extends classical set theory with Ensemble Theory, establishing the conceptual foundation of a two‑level model‑theoretic semantics framework. The framework’s validity is convincingly demonstrated through a formal analysis of an English fragment that includes quantified and modified mass terms.
'Mass terms', words like water, rice and traffic, have proved very difficult to accommodate in any theory of meaning since, unlike count nouns such as house or dog, they cannot be viewed as part of a logical set and differ in their grammatical properties. In this study, motivated by the need to design a computer program for understanding natural language utterances incorporating mass terms, Harry Bunt provides a thorough analysis of the problem and offers an original and detailed solution. An extension of classical set theory, Ensemble Theory, is defined, and this provides the conceptual basis of a framework for the analysis of natural language meaning which Dr Bunt calls Two-level model-theoretic semantics. The validity of the framework is convincingly demonstrated by the formal analysis of a fragment of English including sentences with quantified and modified mass terms. Separate chapters of the book are devoted to an axiomatic definition of Ensemble Theory and a detailed discussion of its status as a mathematical formalism.