Determiner: Difference between revisions

No change in size ,  16:39, 2 July 2022
move determiner table closer to the top of the article
No edit summary
(move determiner table closer to the top of the article)
Line 2: Line 2:


For example: {{t|sa}} “some” is a determiner, {{t|bỉo}} “…is a cup” is a predicate phrase, and {{t|sa bỉo}} is a noun phrase meaning “some cup(s)”.
For example: {{t|sa}} “some” is a determiner, {{t|bỉo}} “…is a cup” is a predicate phrase, and {{t|sa bỉo}} is a noun phrase meaning “some cup(s)”.
== Interpretation ==
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.
In short, {{t|sa bỉo}} does three things:
# <span style="color:brown">introduces</span> an existentially bound variable {{t|bío}} to the clause;
# <span style="color:chocolate">specifies</span> that it refers to a cup (or some cups: see [[plural logic]]);
# acts in its place in the sentence as an <span style="color:teal">instance</span> of this variable.
<blockquote>
{{t|Hẻaq jí <u>sa bỉo</u>.}}<br>
<math>
  {\color{brown}    \underbrace{\exists \textsf{bio}:}_{1}}
\; {\color{chocolate} \underbrace{\textrm{Bio}(\textsf{bio}) \mathop\wedge}_{2}}
\; \textrm{Heaq}(\textsf{ji},
    {\color{teal}    \underbrace{\textsf{bio}}_{3}}
  )
</math><br>
I'm holding some cup(s).
</blockquote>


== Determiner particles ==
== Determiner particles ==
Line 50: Line 30:


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 ==
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.
In short, {{t|sa bỉo}} does three things:
# <span style="color:brown">introduces</span> an existentially bound variable {{t|bío}} to the clause;
# <span style="color:chocolate">specifies</span> that it refers to a cup (or some cups: see [[plural logic]]);
# acts in its place in the sentence as an <span style="color:teal">instance</span> of this variable.
<blockquote>
{{t|Hẻaq jí <u>sa bỉo</u>.}}<br>
<math>
  {\color{brown}    \underbrace{\exists \textsf{bio}:}_{1}}
\; {\color{chocolate} \underbrace{\textrm{Bio}(\textsf{bio}) \mathop\wedge}_{2}}
\; \textrm{Heaq}(\textsf{ji},
    {\color{teal}    \underbrace{\textsf{bio}}_{3}}
  )
</math><br>
I'm holding some cup(s).
</blockquote>


=== Every, each, all ===
=== Every, each, all ===