Difference between revisions of "Binding"
(from Utrecht Lexicon of Linguistics) |
Chen Shuyi (talk | contribs) m |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| − | In | + | In generative syntax, '''binding''' refers to a relation in which the reference of a certain element is dependent on the reference of another element. Especially, it refers to that an element is coindexed with its antecedent which c-commands it, hence it is bound by the antecedent. |
In semantics, '''binding''' is a term that is used to refer the relation obtaining between a [[quantifier]] All(''v'') or Exists(''v'') and the occurrences of the [[variable]] ''v'' in its [[scope]]: | In semantics, '''binding''' is a term that is used to refer the relation obtaining between a [[quantifier]] All(''v'') or Exists(''v'') and the occurrences of the [[variable]] ''v'' in its [[scope]]: | ||
| Line 20: | Line 20: | ||
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Binding&lemmacode=829 Utrecht Lexicon of Linguistics] | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Binding&lemmacode=829 Utrecht Lexicon of Linguistics] | ||
| − | === | + | ===Reference=== |
Gamut, L.T.F. 1991. ''Logic, language, and meaning.'' Chicago: University of Chicago Press. | Gamut, L.T.F. 1991. ''Logic, language, and meaning.'' Chicago: University of Chicago Press. | ||
| + | |||
| + | ===Other languages=== | ||
| + | German [[Bindung]] <br> | ||
| + | French [[liage]] <br> | ||
{{dc}} | {{dc}} | ||
[[Category:Syntax]] | [[Category:Syntax]] | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
Latest revision as of 00:25, 5 August 2021
In generative syntax, binding refers to a relation in which the reference of a certain element is dependent on the reference of another element. Especially, it refers to that an element is coindexed with its antecedent which c-commands it, hence it is bound by the antecedent.
In semantics, binding is a term that is used to refer the relation obtaining between a quantifier All(v) or Exists(v) and the occurrences of the variable v in its scope:
(i) All(v)[ ... v ... ] (ii) Exists(v)[ ... v ... ]
Comments
In the following formula only the first occurrence of x is bound by All but not the second (which is not in the scope of All):
(iii) All(x)[P(x) -> Q(y)] & R(x)
The first occurrence of x is called a bound variable, the second occurrence is called a free variable.
See also
Link
Utrecht Lexicon of Linguistics
Reference
Gamut, L.T.F. 1991. Logic, language, and meaning. Chicago: University of Chicago Press.
