Determiner: Difference between revisions

20 bytes added ,  16:41, 2 July 2022
m
no edit summary
(move determiner table closer to the top of the article)
mNo edit summary
Line 23: Line 23:
|-
|-
| {{t|baq}} || X in general, X-[[kind]]
| {{t|baq}} || X in general, X-[[kind]]
|-
| {{t|ja}} || λX
|-
|-
| {{t|hı}} || which X?
| {{t|hı}} || which X?
|-
|-
| {{t|ja}} || λX
| {{t|co}} || how many X?
|}
|}


Additionally, {{tone|2}} can be analyzed as a tonal pseudo-determiner that refers to bound variables, or falls back to "implicitly-bound" {{t|ke X}} if there is no earlier binding.
Additionally, {{tone|2}} can be analyzed as a tonal pseudo-determiner that refers to bound variables, or falls back to "implicitly-bound" {{t|ke X}} if there is no earlier binding.


== Interpretation ==
== Semantics ==
Semantically, grammatical determiners tend to correspond to logical '''quantifiers''' over a now-bound variable, plus an occurence of that variable. For example, the {{t|sa}} determiner corresponds to the <math>\exists</math> quantifier. The tagged predicate phrase doubles both as a ''domain'' and a ''name'' for the variable.
Formally, grammatical determiners tend to correspond to logical '''quantifiers''' over a now-bound variable, plus an occurence of that variable. For example, the {{t|sa}} determiner corresponds to the <math>\exists</math> quantifier. The tagged predicate phrase doubles both as a ''domain'' and a ''name'' for the variable.


In short, {{t|sa bỉo}} does three things:
In short, {{t|sa bỉo}} does three things: