Plural Predication: Difference between revisions
(Created page with "{{DISPLAYTITLE:''{{FULLPAGENAME}}''}} '''''Plural Predication''''' is a 2006 book by [https://thecollege.syr.edu/people/faculty/mckay-thomas/ Thomas McKay] about "the enrichm...") |
(mí Mıu uses Λ for this) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 10: | Line 10: | ||
|+ Comparison of notation | |+ Comparison of notation | ||
|- | |- | ||
! Meaning !! McKay !! Toaq !! Lojban | ! Meaning !! McKay !! Toaq !! [[Mıu]] !! Lojban !! Also seen as | ||
|- | |- | ||
| existential plural quantification || ∃ || {{t|sa}} || su'oi | | existential plural quantification || ∃ || {{t|sa}} || ∃ || su'oi | ||
|- | |- | ||
| universal plural quantification ("all-of") || Λ<sup>∃</sup> || {{t| | | universal plural quantification ("all-of") || Λ<sup>∃</sup> || {{t|tuq}} || Λ || ru'oi | ||
|- | |- | ||
| universal plural quantification ("¬∃¬") || ∀ || {{t|tu}} || ro'oi | | universal plural quantification ("¬∃¬") || ∀ || {{t|tu}} || ∀ || ro'oi | ||
|- | |- | ||
| definite ("the") quantification || ι || {{t|ke}} || lo'au? | | definite ("the") quantification || ι || {{t|ke}} || ℩ || lo'au? | ||
|- | |- | ||
| "among" relation || x''A''y || {{t|mea y x}} || x me y | | "among" relation || x''A''y || {{t|mea y x}} || x ⊑ y || x me y || ≼ | ||
|- | |- | ||
| compound term || ⌊x, y, z⌉ || {{t|x roi y roi z}} || x jo'u y jo'u z | | compound term || ⌊x, y, z⌉ || {{t|x roi y roi z}} || x ⊔ y ⊔ z || x jo'u y jo'u z | ||
|} | |} | ||
Latest revision as of 06:02, 23 April 2022
Plural Predication is a 2006 book by Thomas McKay about "the enrichment of logic with non-distributive plural predication and quantification".
Such "plural logic" may be used to reason about English, but it is also explicitly the foundation of Toaq semantics, which makes the book very relevant to Toaq learners.
The book has been influential in the development of logical languages: guskant's commentary on Lojban gadri cites it, and it has been recommended by Hoemai on Discord.
| Meaning | McKay | Toaq | Mıu | Lojban | Also seen as |
|---|---|---|---|---|---|
| existential plural quantification | ∃ | sa | ∃ | su'oi | |
| universal plural quantification ("all-of") | Λ∃ | tuq | Λ | ru'oi | |
| universal plural quantification ("¬∃¬") | ∀ | tu | ∀ | ro'oi | |
| definite ("the") quantification | ι | ke | ℩ | lo'au? | |
| "among" relation | xAy | mea y x | x ⊑ y | x me y | ≼ |
| compound term | ⌊x, y, z⌉ | x roı y roı z | x ⊔ y ⊔ z | x jo'u y jo'u z |