Determiner: Difference between revisions

Revision as of 01:33, 7 December 2022

A determiner is a particle that consumes a predicate phrase and produces a noun phrase.

For example: sá “some” is a determiner, bıo “…is a cup” is a predicate phrase, and sa bıo is a noun phrase meaning “some cup(s)”.

Determiner particles

Word	Meaning
◌́	X (bound to something)
sá	some X
tú	every/each X
túq	all X
sía	no X
hú	endophoric determiner
ké	exophoric determiner
báq	X in general, X-kind
já	λX
hı	which X?

Semantics

Formally, grammatical determiners tend to correspond to logical quantifiers over a now-bound variable, plus an occurrence of that variable. For example, the sa determiner corresponds to the $\exists$ quantifier. The tagged predicate phrase doubles both as a domain and a name for the variable.

In short, sá bıo does three things:

introduces an existentially bound variable bío to the clause;
specifies that it refers to a cup (or some cups: see plural logic);
acts in its place in the sentence as an instance of this variable.

Heaq jí sá bıo.
${\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}})$
I'm holding some cup(s).

Every, each, all

tú bıo quantifies over the range of "cups-es". The possible values of bío include not only individual cups, but also groups of cups. A group of cups is also a bıo, after all.

This can lead to surprising behavior: see below.

tushı bỉo quantifies over "cups-es that are one", i.e. each individual cup. It's like tu bỉo ru shỉ.

tuq bỉo doesn't make a "for-all" statement. Instead it refers to the single entity "all cups (together)".

Inappropriate tu

You might think that Zủdeq tu pỏq sa zủ means "every person speaks some language", where possibly each person speaks a different one. Certainly, presenting sentences such as $\forall x,\exists y:P(x,y)$ and assigning them this interpretation is popular in discussions of singular predicate logic.

But because the plural-logic tu pỏq ranges over all "people-s", i.e. all groups of people, it also includes the referent "all relevant people together". Consequently, this sentence ends up saying that all people speak at least some common language(s), namely whichever sa zủ these maximal póq speak.

As a concrete demonstration, if there are three people P1, P2, P3 in question, then Zủdeq tu pỏq sa zủ claims all of the following:

There is/are some language(s) Z1, that P1 speaks.
There is/are some language(s) Z2, that P2 speaks.
There is/are some language(s) Z3, that P3 speaks.
There is/are some language(s) Z4, that [P1 roı P2] speak.
There is/are some language(s) Z5, that [P1 roı P3] speak.
There is/are some language(s) Z6, that [P2 roı P3] speak.
There is/are some language(s) Z7, that [P1 roı P2 roı P3] speak. (= a common language! ⚠️)

You can explicitly quantify over single people to get the intended meaning: Zủdeq tushı pỏq sa zủ.

@@ Line 1: / Line 1: @@
 A '''determiner''' is a particle that consumes a predicate phrase and produces a noun phrase.
-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|sá}} “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)”.
 == Determiner particles ==
@@ Line 8: / Line 8: @@
 ! Word !! Meaning
 |-
-| {{t|sa}} || some X
+| {{t|◌́}} || X (bound to something)
 |-
-| {{t|tu}} || every X
+| {{t|sá}} || some X
 |-
-| {{t|tushı}} || each X
+| {{t|tú}} || every/each X
 |-
-| {{t|tuq}} || all X
+| {{t|túq}} || all X
 |-
-| {{t|sıa}} || no X
+| {{t|sía}} || no X
 |-
-| {{t|ke}} || the X
+| {{t|hú}} || endophoric determiner
 |-
-| {{t|hoı}} || the aforementioned X
+| {{t|ké}} || exophoric determiner
 |-
-| {{t|baq}} || X in general, X-[[kind]]
+| {{t|báq}} || X in general, X-[[kind]]
 |-
-| {{t|ja}} || λX
+| {{t|já}} || λX
 |-
 | {{t|hı}} || which 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.
 == Semantics ==
-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.
+Formally, grammatical determiners tend to correspond to logical '''quantifiers''' over a now-bound variable, plus an occurrence 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|sá 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]]);
@@ Line 42: / Line 38: @@
 <blockquote>
-{{t|Hẻaq jí <u>sa bỉo</u>.}}<br>
+{{t|Heaq jí <u>sá bıo</u>.}}<br>
 <math>
     {\color{brown}     \underbrace{\exists \textsf{bio}:}_{1}}
@@ Line 54: / Line 50: @@
 === Every, each, all ===
-{{t|tu bỉo}} quantifies over the range of "cups-es". The possible values of {{t|bío}} include not only individual cups, but also groups of cups. A group of cups is also a {{t|bỉo}}, after all.
+{{t|tú bıo}} quantifies over the range of "cups-es". The possible values of {{t|bío}} include not only individual cups, but also groups of cups. A group of cups is also a {{t|bio}}, after all.
 This can lead to surprising behavior: see below.