Em sexta-feira, 7 de outubro de 2016 15:09:59 UTC+3, selpa'i escreveu:
In this article I will take a closer look at the quantifier logic
currently present in (post-xorlo) Lojban. I will identify logical
problems as well as practical disadvantages. Finally, I will offer a
solution that addresses both.
Not only is the current system both impractical and unintuitive, its
introduction also left behind one major logical flaw as Lojban made the
move from singular logic to plural logic.
Read on to find out what singular logic and plural logic are, how they
are related to xorlo, and why the current situation is not tenable.
https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/
One thing is that it says that under singular logic "nobody is gathering" is impossible but why not use {selcmi}. That's of course beside the point of the article. That section is clearly called "singular meets plural", which some readers might forget about, though.
Phrasing {na ku su’oi jbopre na ku remna} might make the reader think whether the scope is affected by plural quantifiers or not (since {su'oi} is in the middle but later it's asserted that plural {re} and {ci} aren't affected by scope).
Also it'd be nice to explain one mysterious particle of class LE one day since it's (for obvious reasons) absent from the proposal in this article.
And singular/plural looks like an obsession with Pythagorean number, which rule the world.
E.g. such quantifier as "various" in "People talk to each other in various languages" is roughly {so'i} and precisely based on {vrici} and non-distributive (or sometimes is distributive) but is a quantifiers that quantifies other predicates. Such quantifiers are unfortunately often forgotten.