Plural Predication: Difference between revisions

From The Toaq Wiki
(tagged petty: mıu’s notation)
(update to include quantifier tuq)
Line 14: Line 14:
| existential plural quantification || ∃ || {{t|sa}} || ∃ || su'oi
| existential plural quantification || ∃ || {{t|sa}} || ∃ || su'oi
|-
|-
| universal plural quantification ("all-of") || Λ<sup>∃</sup> || {{t|sa tủq …}} || — || ru'oi
| 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

Revision as of 07:58, 18 October 2021


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.

Comparison of notation
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