Difference between revisions of "Binding"

From Glottopedia
Jump to navigation Jump to search
m
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
In generative syntax, '''binding''' refers to a relation in which the reference of a certain element is dependent on the reference of another element.  
+
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]  
  
===References===
+
===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.

Other languages

German Bindung
French liage