Difference between revisions of "Logical form"
Haspelmath (talk | contribs) |
|||
(2 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
− | In | + | In semantics, '''logical form''' is a representation of all and only the logical properties of an expression, usually in a non-ambiguous, precise logical language. The term was originally used in opposition with ''grammatical'' form, the idea being that the grammatical form of a sentence is often misleading with respect to its logical properties, for example in the case of [[definite description]]s. |
− | a distinct, structural level of representation, usually abbreviated as LF (see [[T-model]]), which contains all (and only) the syntactic information that is relevant for semantic interpretation. LF is thus taken to be the interface between an expression (language) and its logical form (in the semantic sense). LF is derived from [[S-structure]] through instances of [[affect alpha]], e.g. [[Quantifier Raising]] and ''Wh''-raising (see [[Wh-in-situ]]). | + | In [[generative syntax]], it is a distinct, structural level of representation, usually abbreviated as LF (see [[T-model]]), which contains all (and only) the syntactic information that is relevant for semantic interpretation. LF is thus taken to be the interface between an expression (language) and its logical form (in the semantic sense). LF is derived from [[S-structure]] through instances of [[affect alpha]], e.g. [[Quantifier Raising]] and ''Wh''-raising (see [[Wh-in-situ]]). |
=== Example === | === Example === | ||
− | + | Sentence (i) can either mean that there is a particular girl that I want to kiss or that I want to kiss any girl. In semantics, this ambiguity can be captured by associating the sentence with the two logical forms (ii)a and b. In syntax, the sentence is represented at the level of LF as in (iii)a and b. In both analyses the ambiguity is taken to be one of [[scope]] of the [[Quantifier]] relative to the [[modal verb]]<nowiki>: either </nowiki>''a girl'' has scope over ''want'', or ''want'' has scope over ''a girl''. | |
(i) I want to kiss a girl | (i) I want to kiss a girl | ||
Line 14: | Line 14: | ||
=== Link === | === Link === | ||
+ | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Logical+form&lemmacode=635 Utrecht Lexicon of Linguistics] | ||
− | + | ===Other languages=== | |
+ | German [[logische Form]] | ||
<br /> | <br /> |
Latest revision as of 18:51, 12 July 2014
In semantics, logical form is a representation of all and only the logical properties of an expression, usually in a non-ambiguous, precise logical language. The term was originally used in opposition with grammatical form, the idea being that the grammatical form of a sentence is often misleading with respect to its logical properties, for example in the case of definite descriptions.
In generative syntax, it is a distinct, structural level of representation, usually abbreviated as LF (see T-model), which contains all (and only) the syntactic information that is relevant for semantic interpretation. LF is thus taken to be the interface between an expression (language) and its logical form (in the semantic sense). LF is derived from S-structure through instances of affect alpha, e.g. Quantifier Raising and Wh-raising (see Wh-in-situ).
Example
Sentence (i) can either mean that there is a particular girl that I want to kiss or that I want to kiss any girl. In semantics, this ambiguity can be captured by associating the sentence with the two logical forms (ii)a and b. In syntax, the sentence is represented at the level of LF as in (iii)a and b. In both analyses the ambiguity is taken to be one of scope of the Quantifier relative to the modal verb: either a girl has scope over want, or want has scope over a girl.
(i) I want to kiss a girl (ii) a there is an x, x=a girl, such that I want to kiss x b I want there to be an x, x=a girl, such that I kiss x (iii) a [ a girli [I want [ PRO to kiss ti ]]] b [ I want [ a girli [ PRO to kiss ti ]]]
Link
Utrecht Lexicon of Linguistics
Other languages
German logische Form