Plural Predication - Revision history

El: mí Mıu uses Λ for this

2022-04-23T06:02:44Z

mí Mıu uses Λ for this

← Older revision		Revision as of 06:02, 23 April 2022
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\|tuq}} \|\| — \|\| 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

El: update to include quantifier tuq

2021-10-18T07:58:38Z

update to include quantifier tuq

← Older revision		Revision as of 07:58, 18 October 2021
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

Uakci: tagged petty: mıu’s notation

2021-09-20T22:17:22Z

tagged petty: mıu’s notation

← Older revision		Revision as of 22:17, 20 September 2021
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\|sa tủq …}} \|\| ru'oi		\| universal plural quantification ("all-of") \|\| Λ<sup>∃</sup> \|\| {{t\|sa tủq …}} \|\| — \|\| 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
	\|}		\|}

Laqme: 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..."

2021-09-20T22:07:56Z

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..."

New page

{{DISPLAYTITLE:''{{FULLPAGENAME}}''}}

'''''Plural Predication''''' is a 2006 book by [https://thecollege.syr.edu/people/faculty/mckay-thomas/ 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: [https://mw.lojban.org/papri/gadri:_an_unofficial_commentary_from_a_logical_point_of_view guskant's commentary on Lojban gadri] cites it, and it has been recommended by Hoemai on Discord.

{| class="wikitable"
|+ Comparison of notation
|-
! Meaning !! McKay !! Toaq !! Lojban
|-
| existential plural quantification || ∃ || {{t|sa}} || su'oi
|-
| universal plural quantification ("all-of") || Λ<sup>∃</sup> || {{t|sa tủq …}} || ru'oi
|-
| universal plural quantification ("¬∃¬") || ∀ || {{t|tu}} || ro'oi
|-
| definite ("the") quantification || ι || {{t|ke}} || lo'au?
|-
| "among" relation || x''A''y || {{t|mea y x}} || x me y
|-
| compound term || ⌊x, y, z⌉ || {{t|x roi y roi z}} || x jo'u y jo'u z
|}