|Applied and experimental|
In some theories of syntax and grammar, in particular in the Chomskyan schools of Government and Binding Theory and the Minimalist program, Logical Form (abbreviated LF), refers to a mental representation of a linguistic expression, derived solely from Surface Structure. In the words of Chomsky, LF captures "those aspects of semantic representation that are strictly determined by grammar, abstracted from other cognitive systems". It functions as the interface between grammar and conceptual-intentional properties of language, analogous to how the Phonetic Form (abbreviated PF) is the interface between grammar and the audio-perceptual properties of utterances.
Logical Form is the level of representation that affects the semantic interpretation of a sentence. LF is sometimes referred to as a covert level of representation, because the output of this level is not actually pronounced by the speaker.
Worth noting is that many theories of syntax do not acknowledge Logical Form (e.g. Lexical Functional Grammar, Head-Driven Phrase Structure Grammar, Dependency Grammars, Tree-Adjoining Grammar, etc.), at least not in the way it is understood in Government and Binding Theory and the Minimalist Program. The postulation of such a level of representation remains a subject of debate.
- 1 Syntax Interfacing with Semantics
- 2 Quantification
- 3 WH-Movement
- 4 Cross-linguistic Examples
- 5 See also
- 6 References
- 7 Bibliography
- 8 External links
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 definition of scope was introduced early in the development of Logical Form scholarship. 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.
In syntax, LF exists to give a structural account of certain kinds of semantic ambiguities.
- 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.
Key Historical Developments
There has been discussion about quantification since the 1970s. In 1974, 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 categorical syntax 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.
As Minimalism showed up in 1990s, more studies have been related to Minimalist syntax. A strategy to remedy the situation is to eliminate QR and the expected scope would be by-products of entirely 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.
a. A girl is tall.
b. Many girls are tall.
c. Every girl is tall.
d. No girl is tall.
To understand the logical form of these examples, it is important to identify what the basic predicate is and which segments make up the QNPs. In these examples, the predicate is tall and the QNPs are a girl, many girls, every girl and no girl. The logical meaning of these sentences indicates that the property of being tall is attributed to some form of the QNP referring to girl. Along with the QNP and the predicate, there is also an inference of truth value. Either the truth value is True for a person who is tall, otherwise the truth value is False.
Each of the examples above will have different conditions that make the statement true according to the quantifier that precedes girl.
Truth Value conditions:
Example a. A girl has a truth value of true if and only if (iff) at least one girl is tall.
Example b. Many girls has a truth value of true iff there are many girls who are tall.
Example c. Every girl has a truth value of true iff every girl is tall.
Example d. No girl has a truth value of true iff no girl is tall.
In linguistics, wh-phrases are operators binding variables at LF, like other quantifier noun phrases. Scope interpretations can be constrained by syntactic constraints as shown in LF when regarding the scope of wh-phrases and quantifiers. When wh-movement is from the subject position it is unambiguous, but when wh-movement is from the object position it is ambiguous.
1) What did everyone buy for Max?
2) Who bought everything for Max?
This example demonstrates the effect of the Path Containment Condition (PCC). An A'-path is a line of dominating nodes that go from the trace to a c-commanding A'-binder. If two of the A'paths intersect then one must be contained in the other. If the paths are overlapping without having one being contained in the other, then it is ill-formed. (2)'s paths are overlapping, violating PCC, therefore in order to obtain a grammatical LF structure, everything needs to join the VP. The LF structure then becomes:
In the sentence, "Five doctors prescribed few new pills to every patient.", the scope in Hungarian is largely disambiguated by the linear order of quantifiers on the surface. Two facts that should be kept in mind are (1) the linear order is not obtained by putting quantifiers together in the desired order, which contradicts the predictions made by Montague or May's theory; (2) the linear order is not determined by case or grammatical functions, which supports the prediction of Hornstein's theory. 
The significance of A-chains has been emphasized in the Chinese language. Scope in Chinese is disambiguated by case positions in some examples.  In this example, the active sentence only has subject wide scope, but the passive sentence is ambiguous. The active sentence only has one interpretation: if there are two women who read every book, which is in the subject wide scope. According to Anoun and Li, Chinese does not have VP-internal subjects, thus, liangge nuren cannot be reconstructed in LF. So the sentence has no ambiguous interpretation. However, the passive sentence has two interpretations, 1. everyone finds the same two clues; 2. everyone finds two clues, while two clues can be different ones. That is because liangge xiansuo is in VP-internal complement position, then in LF, it can be reconstructed. So the passive sentence has two different interpretations.
This phrase is ambiguous in that it can be interpreted as the noun 'boy' referring to a particular individual or to a different individual for each instance of 'tree' under the quantifier 'every'. The interpretation that a single boy climbed all the trees takes a wide scope, while the other interpretation that for every tree there is a boy, who maybe be different for each tree takes a narrow scope.
|Interpretation 1||Interpretation 2|
- Antecedent-contained deletion
- Categorial grammar
- Government and binding theory (precursor to the Minimalist program)
- Aoun, Joseph; Li, Yen-hui Audrey (1993). Syntax of Scope. MIT Press. ISBN 9780262011334.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Cook, Vivian James; Newson, Mark (2007). Chomsky's universal grammar: an introduction (3rd ed.). Wiley-Blackwell. ISBN 978-1-4051-1186-7.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Collinge, Neville Edgar (1990). An encyclopedia of language. Routledge. ISBN 9780415020640.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Corcoran, J. Schemata: the Concept of Schema in the History of Logic. Bulletin of Symbolic Logic 12: 219-40.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Hanna, Robert (2006). Rationality and logic. MIT Press. pp. 50–51. ISBN 978-0-262-08349-2.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Hendrick, Randall (2003). Minimalist Syntax. Oxford, UK: Blackwell. ISBN 0-631-21941-2.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Hornstein, Norbert (1995). Logical form: from GB to minimalism. Blackwell. ISBN 978-0-631-18942-8.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- May, Robert (1985). Logical form: its structure and derivation. MIT Press. ISBN 978-0-262-63102-0.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Ouhalla, J. (1999). Introducing Transformational Grammar (2 ed.). Arnold Publishers.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Szabolcsi, Anna (2003). The Handbook of Contemporary Syntactic Theory. Malden, MA. ; Oxford, UK : Blackwell Pub. pp. 607, 633. ISBN 1405102535.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- May, Robert (1993). Logical form: its structure and derivation. MIT Press. pp. 1, 30. ISBN 0262132044.CS1 maint: ref=harv (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- SEP entry for logical form (general concept) covers LF in the Transformational Grammar section