This book provides a systematic study of three foundational issues in the
semantics of natural language that have been relatively neglected in the
past few decades. It focuses on the formal characterization of intensions,
the nature of an adequate type system for natural language semantics, and
the formal power of the semantic representation language. The book
proposes a theory that offers a promising framework for developing a
computational semantic system sufficiently expressive to capture the
properties of natural language meaning while remaining computationally
It is written by two leading researchers and of interest to students and
researchers in formal semantics, computational linguistics, logic,
artificial intelligence, and the philosophy of language.
"Fox and Lappin present a new solution to one of the long-standing issues
in formal semantics: how to distinguish logically equivalent from
semantically equivalent propositions. This is a valuable contribution to
the foundations of formal semantics of natural language."
-- Stephen G. Pulman, Oxford University