Foundations of Intensional Semantics

This book provides a systematic study of three foundational issuesin the semantics of natural language that have been relativelyneglected in the past few decades. * focuses on the formal characterization of intensions, thenature of an adequate type system for natural language semantics,and the formal power of the semantic representation language * proposes a theory that offers a promising framework fordeveloping a computational semantic system sufficiently expressiveto capture the properties of natural language meaning whileremaining computationally tractable * written by two leading researchers and of interest to studentsand researchers in formal semantics, computational linguistics,logic, artificial intelligence, and the philosophy of language