This book is devoted to an in-depth investigation of some of the properties of Logical Form (LF). In particular, the primary aim of the discussion found in the following chapters is to work towards a deeper understanding of what types of semantic phenomena are represented at this level, as well as to how these phenomena can be captured in formal model-theoretic terms. A necessary preliminary to this discussion is a determination of what exactly is meant by the term LF, what phenomena have already been argued to be part of this level of representation, as well as what role is assumed to be played by LF in semantic interpretation. This task will be undertaken in the present section. In the section following this one, I will provide an outline of exactly which phenomena found in the grammar of French I would like to argue are also represented at LF, as well as an overview of how I propose to capture them formally.