Plural logic - Revision history

Loekıa: Update encoding of Derani text

2022-12-26T20:46:00Z

Update encoding of Derani text

← Older revision		Revision as of 20:46, 26 December 2022
Line 8:		Line 8:

	Toaq is based on such logic:		Toaq is based on such logic:
	* When you say {{Derani\|~~ ~~\|sá poq}}, the domain ranged over by the variable {{Derani\|~~~~\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{Derani\|~~  ~~\|sá poq ~~nẹshı~~}}, which only ranges over singular values. See [[Quantifier]].)		* When you say {{Derani\|󱚺󱛊󱚺 󱛘󱚳󱛃󱛂󱛙\|sá poq}}, the domain ranged over by the variable {{Derani\|󱚳󱛊󱛃󱛂\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{Derani\|󱚺󱛊󱚺 󱛘󱚳󱛃󱛂󱛙 󱛀󱚹\|sá poq shı}}, which only ranges over singular values. See [[Quantifier]].)
	* Numbers can be turned into verbs with the prefix {{Derani\|~~~~\|ne-}}, giving words like {{Derani\|~~~~\|nẹsaq}} “___ (plural) are three in number.”		* Numbers can be turned into verbs with the prefix {{Derani\|󱚵󱚴󱛒\|ne-}}, giving words like {{Derani\|󱚵󱚴󱛒󱚺󱚺󱛂\|nẹsaq}} “___ (plural) are three in number.”

	== See also ==		== See also ==
	* ''[[Plural Predication]]'', a pretty cool book on this topic.		* ''[[Plural Predication]]'', a pretty cool book on this topic.
	* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.		* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.

Loekıa: Update to Delta

2022-12-16T02:04:39Z

Update to Delta

← Older revision		Revision as of 02:04, 16 December 2022
Line 8:		Line 8:

	Toaq is based on such logic:		Toaq is based on such logic:
	* When you say {{t\|sá poq}}, the domain ranged over by the variable {{t\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{t\|sá ~~shı~~ poq}}, which only ranges over singular values. See [[Quantifier]].)		* When you say {{Derani\| \|sá poq}}, the domain ranged over by the variable {{Derani\|\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{Derani\|  \|sá poq nẹshı}}, which only ranges over singular values. See [[Quantifier]].)
	* Numbers ~~in Toaq have definitions~~ like “{{t\|~~saq~~}}~~: ___~~ (plural) are three in number.”		* Numbers can be turned into verbs with the prefix {{Derani\|\|ne-}}, giving words like {{Derani\|\|nẹsaq}} “___ (plural) are three in number.”

	== See also ==		== See also ==
	* ''[[Plural Predication]]'', a pretty cool book on this topic.		* ''[[Plural Predication]]'', a pretty cool book on this topic.
	* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.		* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.

Mỉ Mỉao ga Nhäqpy: Fixed type "mumbers"

2022-12-08T18:13:16Z

Fixed type "mumbers"

← Older revision		Revision as of 18:13, 8 December 2022
Line 9:		Line 9:
	Toaq is based on such logic:		Toaq is based on such logic:
	* When you say {{t\|sá poq}}, the domain ranged over by the variable {{t\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{t\|sá shı poq}}, which only ranges over singular values. See [[Quantifier]].)		* When you say {{t\|sá poq}}, the domain ranged over by the variable {{t\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{t\|sá shı poq}}, which only ranges over singular values. See [[Quantifier]].)
	* ~~Mumbers~~ in Toaq have definitions like “{{t\|saq}}: ___ (plural) are three in number.”		* Numbers in Toaq have definitions like “{{t\|saq}}: ___ (plural) are three in number.”

	== See also ==		== See also ==
	* ''[[Plural Predication]]'', a pretty cool book on this topic.		* ''[[Plural Predication]]'', a pretty cool book on this topic.
	* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.		* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.

Laqme: update for Delta

2022-12-08T14:08:11Z

update for Delta

← Older revision		Revision as of 14:08, 8 December 2022
Line 8:		Line 8:

	Toaq is based on such logic:		Toaq is based on such logic:
	* When you say {{t\|~~tu pỏq~~}}, the domain ranged over by the variable {{t\|póq}} is not only each person, but all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{t\|~~tushı~~}}, which only ranges over singular values. See [[Quantifier]].)		* When you say {{t\|sá poq}}, the domain ranged over by the variable {{t\|póq}} is not only that of each individual person, but of all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{t\|sá shı poq}}, which only ranges over singular values. See [[Quantifier]].)
	* ~~In fact, numbers~~ in Toaq have definitions like “{{t\|saq}}: ___ (plural) are three in number.”		* Mumbers in Toaq have definitions like “{{t\|saq}}: ___ (plural) are three in number.”

	== See also ==		== See also ==
	* ''[[Plural Predication]]'', a pretty cool book on this topic.		* ''[[Plural Predication]]'', a pretty cool book on this topic.
	* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.		* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.

Laqme at 21:45, 3 November 2021

2021-11-03T21:45:26Z

← Older revision		Revision as of 21:45, 3 November 2021
Line 13:		Line 13:
	== See also ==		== See also ==
	* ''[[Plural Predication]]'', a pretty cool book on this topic.		* ''[[Plural Predication]]'', a pretty cool book on this topic.
			* [https://en.wikipedia.org/wiki/Plural_quantification Plural quantification] on Wikipedia.

Laqme at 21:41, 3 November 2021

2021-11-03T21:41:38Z

← Older revision		Revision as of 21:41, 3 November 2021
Line 1:		Line 1:
	'''Plural logic''' is logic that permits "plural quantification", i.e., allows for variables to also take on plural values, such as “''x'' = the cat and the dog (together)”, or “''y'' = all of the students”.		'''Plural logic''' is logic that permits '''plural quantification''', i.e., allows for variables to also take on plural values, such as “''x'' = the cat and the dog (together)”, or “''y'' = all of the students”.

	Often, to drive this point home, the variables will be named like ''xx'' and ''yy''.		Often, to drive this point home, the variables will be named like ''xx'' and ''yy''.

Laqme: Created page with "'''Plural logic''' is logic that permits "plural quantification", i.e., allows for variables to also take on plural values, such as “''x'' = the cat and the dog (together)..."

2021-11-03T20:30:59Z

Created page with "'''Plural logic''' is logic that permits "plural quantification", i.e., allows for variables to also take on plural values, such as “''x'' = the cat and the dog (together)..."

New page

'''Plural logic''' is logic that permits "plural quantification", i.e., allows for variables to also take on plural values, such as “''x'' = the cat and the dog (together)”, or “''y'' = all of the students”.

Often, to drive this point home, the variables will be named like ''xx'' and ''yy''.

Modeling language with plural quantification allows for expressing things like “the students work together” or “the students surround the building” without needing to involve cumbersome “sets” or “masses” of students: we can simply speak of the students acting as a plural entity.

(Singular logic, on the other hand, needs such constructs, or else you'll likely end up saying “for each student ''x'': ''x'' surrounds the building”, which is semantically incorrect as “surrounding the building” is not [[distributive]].)

Toaq is based on such logic:
* When you say {{t|tu pỏq}}, the domain ranged over by the variable {{t|póq}} is not only each person, but all “people-s”, including all pairs and triples and groups of people. (If this is undesirable, there's {{t|tushı}}, which only ranges over singular values. See [[Quantifier]].)
* In fact, numbers in Toaq have definitions like “{{t|saq}}: ___ (plural) are three in number.”

== See also ==
* ''[[Plural Predication]]'', a pretty cool book on this topic.