In the late 1970s generative grammarians proposed the existence of an abstract syntactic level of grammatical representation derived from surface structure which was phonetically invisible. This level, dubbed logical form, has been thought of as the information that the grammar contributes to semantic interpretation.
The first part of the book reviews the standard arguments for the existence of LF and its format.