In generative grammar and related approaches, the logical form (LF) of a linguistic expression is the variant of its syntactic structure which undergoes semantic interpretation. It is distinguished from phonetic form, the structure which corresponds to a sentence's pronunciation. These separate representations are postulated in order to explain the ways in which an expression's meaning can be partially independent of its pronunciation, e.g. scope ambiguities. LF is the cornerstone of the classic generative view of the syntax-semantics interface. However, it is not used in Lexical Functional Grammar and Head-Driven Phrase Structure Grammar, as well as some modern variants of the generative approach.
Syntax interfacing with semantics The notion of Logical Form was originally invented for the purpose of determining quantifier scope. As the theory around the Minimalist program developed, all output conditions, such as theta-criterion, the case filter, Subjacency and binding theory, are examined at the level of LF. The study of LF is more broad than the study of syntax.
The notion of scope The scope of an operator is the domain within which it has the ability to affect the interpretation of other expressions. In other words, an operator has scope of operation, or affecting the interpretation of other phrases, only within its own domain. Three uncontroversial examples of scope affecting some aspect of the interpretation are: quantifier-quantifier, quantifier-pronoun, quantifier-negative polarity item. In instances where a negation has an indefinite article in its scope, the reader's interpretation is affected. The reader is not able to infer the existence of a relevant entity. If negation (or a negation phrase) is within the subject quantifier scope, negation is not affected by the quantifier. If the Quantified Expresstion1 (QE1) is in the domain of QE2, but not vice versa, QE1 must take a narrow scope; if both are in the domain of the other, the structure is potentially ambiguous. If neither QE is in the domain of the other, they must be interpreted independently. These assumptions explain the cases where the direct object of the main clause is not within the domain of the embedded subject. For example, that every boy left upset a teacher, it cannot be interpreted as for every boy, there is a possibly different teacher who was upset by the fact that the boy left. The only available interpretation is that one single teacher was upset.
Ambiguity motivation In syntax, LF exists to give a structural account of certain kinds of semantic ambiguities.
Example Everyone loves someone. This sentence is semantically ambiguous. Specifically, it contains a scope ambiguity. This ambiguity cannot be resolved at surface structure, since someone, being within the verb phrase, must be lower in the structure than everyone. This case exemplifies the general fact that natural language is insufficiently specified for strict logical meaning. Robert May argued for the postulation of LF partly in order to account for such ambiguities (among other motivations). At LF, the sentence above would have two possible structural representations, one for each possible scope-reading, in order to account for the ambiguity by structural differentiation. In this way it is similar in purpose to, but not the same as, logical form in logic.
Quantification
Key historical developments There has been discussion about quantification since the 1970s. In 1973, Richard Montague argued that a grammar for a small fragment of English contains the logicosyntactic and semantic devices to handle practically any scope phenomenon. The tool that he mainly relied on is a categorial grammar with functional application; in terms of recent formulations, it can be considered Minimalist syntax with Merge only. However, this approach does not make predictions for some examples with inverse scope (wide scope in object position). For example, everyone loves someone. When there is no scope interaction in the relevant portion of the sentence, making either choice shows no difference in semantics. A short time later, May suggested a different idea. In contrast to Montague, May did not propose any syntax that generates the surface string. He proposed a rule called Quantifier Raising (QR), which explains that movement operations of wh-movement continue to operate on the level of LF, and each phrase continues to possess the quantifier in its domain. May suggested that QR applies to all quantifier phrases with no exception. The study of Quantification carried on in the 1980s. In contrast to May and Montague, it was suggested that independently motivated phrase structure, such as the relative clause, imposes a limitation on scope options. This clause boundedness somewhat restricts the QR. May also noticed a subject-object asymmetry with respect to the interaction of wh-words and quantifier phrases. A modified version of his past work that QR determines quantifier scope but does not disambiguate it was brought up. To regulate the interaction, The Scope Principle that if two operators govern each other, they can be interpreted in either scopal order was also brought up. However, this solution has eventually been abandoned. Alternative analyses have been proposed, since the emergence of Minimalism in the 1990s. This includes attempts to eliminate QR as an operation, and analyze its copal effects as by-products of independent grammatical processes. The other strategy is to modify QR and show it can be fitted into a Minimalist structure.
Quantificational noun phrases Danny Fox discusses syntactic positions of QNPs as a way of introducing and illustrating the basic semantic and syntactic relations found in LF. By looking at the meaning of QNPs in relation to the property they are given, or their predicate, we can derive the meaning of the whole sentence.
… excerpt ends here. Continue reading the full article.
