Logical form - Revision history

NBlöcher at 18:51, 12 July 2014

2014-07-12T18:51:00Z

Haspelmath at 10:26, 17 February 2009

2009-02-17T10:26:49Z

Haspelmath at 10:24, 17 February 2009

2009-02-17T10:24:20Z

Haspelmath at 10:23, 17 February 2009

2009-02-17T10:23:28Z

Wohlgemuth: utrecht

2009-02-16T21:06:03Z

utrecht

New page

'''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.

=== Link ===

[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Logical+form&lemmacode=635 Utrecht Lexicon of Linguistics]

=== Syntax ===

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]]<nowiki>: either </nowiki>''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 ]]]

 

{{dc}}
[[Category:Semantics]]

← Older revision		Revision as of 18:51, 12 July 2014
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]		[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Logical+form&lemmacode=635 Utrecht Lexicon of Linguistics]

← Older revision		Revision as of 10:26, 17 February 2009
Line 16:		Line 16:

	[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Logical+form&lemmacode=635 Utrecht Lexicon of Linguistics]		[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 />

@@ Line 1: / Line 1: @@
-In [[generative grammar]], '''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.
+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 ===
-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''.
+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

@@ Line 1: / Line 1: @@
-'''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.
+In [[generative grammar]], '''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]]).
@@ Line 18: / Line 12: @@
   (iii) a	 [ a girl<sub>i</sub> [I want [ PRO to kiss t<sub>i</sub> ]]]
         b	 [ I want [ a girl<sub>i</sub> [ PRO to kiss t<sub>i</sub> ]]]
 <br />