685
edits
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. | |||
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. | |||
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: | |||
* There is/are some language(s) Z1, that P1 speaks. | |||
* There is some | * There is/are some language(s) Z2, that P2 speaks. | ||
* There is some | * There is/are some language(s) Z3, that P3 speaks. | ||
* There is some | * There is/are some language(s) Z4, that [P1 {{t|roı}} P2] speak. | ||
* There is some | * There is/are some language(s) Z5, that [P1 {{t|roı}} P3] speak. | ||
* There is some | * There is/are some language(s) Z6, that [P2 {{t|roı}} P3] speak. | ||
* There is some | * There is/are some language(s) Z7, that [P1 {{t|roı}} P2 {{t|roı}} P3] speak. (= a common language! ⚠️) | ||
* There is some | |||
You can explicitly quantify over single | You can explicitly quantify over ''single'' people to get the intended meaning: {{t|Zủdeq tushı pỏq sa zủ}}. |