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 theory proposed offers a promising framework for developing a computational semantic system that is sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable.

Written by two leading researchers in the field, Foundations of Intensional Semantics will be of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language.