Determiner: Difference between revisions

No edit summary
No edit summary
Line 61: Line 61:


=== Inappropriate {{t|tu}} ===
=== Inappropriate {{t|tu}} ===
You might think that {{t|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 <math>\forall x, \exists y: P(x,y)</math> and assigning them this interpretation is popular in discussions of ''singular'' predicate logic.


You might think that {{t|Nẻo tu bỉo sa tỏqfua}} means "every cup is on ''some'' table", where possibly each cup is on its own table. Certainly, presenting sentences such as <math>\forall b, \exists t: N(b,t)</math> and assigning them this interpretation is popular in discussions of ''singular'' predicate logic.
But because the plural-logic {{t|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 {{t|sa zủ}} these maximal {{t|póq}} speak.


But because the plural-logic {{t|tu bỉo}} ranges over all "cups-es", i.e. all groups of cups, it also includes the referent "{{t|bío}} = ''all'' relevant cups together". Consequently, this sentence ends up saying that all cups are on the ''same'' table, namely whichever {{t|sa tỏqfua}} this maximal {{t|bío}} is on.
As a concrete demonstration, if there are three people P1, P2, P3 in question, then {{t|Zủdeq tu pỏq sa zủ}} claims all of the following:


As a concrete demonstration, if there are three cups B1, B2, B3, then {{t|Nẻo tu bỉo sa tỏqfua}} claims all of the following:
* There is/are some language(s) Z1, that P1 speaks.
* There is some table that B1 is on.
* There is/are some language(s) Z2, that P2 speaks.
* There is some table that B2 is on.
* There is/are some language(s) Z3, that P3 speaks.
* There is some table that B3 is on.
* There is/are some language(s) Z4, that [P1 {{t|roı}} P2] speak.
* There is some table that [B1 {{t|roı}} B2] are on.
* There is/are some language(s) Z5, that [P1 {{t|roı}} P3] speak.
* There is some table that [B1 {{t|roı}} B3] are on.
* There is/are some language(s) Z6, that [P2 {{t|roı}} P3] speak.
* There is some table that [B2 {{t|roı}} B3] are on.
* There is/are some language(s) Z7, that [P1 {{t|roı}} P2 {{t|roı}} P3] speak. (= a common language! ⚠️)
* There is some table that [B1 {{t|roı}} B2 {{t|roı}} B3] are on. (So they are all on the same table!)


You can explicitly quantify over single cups to get the intended meaning: {{t|Nẻo tushı bỉo sa tỏqfua}}.
You can explicitly quantify over ''single'' people to get the intended meaning: {{t|Zủdeq tushı pỏq sa zủ}}.
Retrieved from "https://toaq.me/Determiner"