717
edits
(Created page with "This page gives an overview of Toaq-specific jargon, or logic jargon as it relates to Toaq. === Auto-hoa === A family of proposals for automatically inserting '''hoa''' into...") |
No edit summary |
||
Line 38: | Line 38: | ||
=== Small Grammar Update (SGU) === | === Small Grammar Update (SGU) === | ||
See [[Small Grammar Update]]. | |||
=== Universe of discourse (UoD) === | === Universe of discourse (UoD) === | ||
The set of things under discussion at a given time. Quantifiers range over this domain, so that '''tu poq''' doesn't necessarily mean "all of the people in the world". See [https://en.wikipedia.org/wiki/Domain_of_discourse Wikipedia]. | The set of things under discussion at a given time. Quantifiers range over this domain, so that '''tu poq''' doesn't necessarily mean "all of the people in the world". See [https://en.wikipedia.org/wiki/Domain_of_discourse Wikipedia]. |