* Friday, 2016-10-07 at 14:10 +0200 - selpahi <seladwa@gmx.de>:
> https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/
Very nice.
One thing which might be worth mentioning: we shouldn't forget about
masses.
(Here, I mean 'masses' in the mereological sense: things which
can't be counted, as in "mass noun". I'm not talking about {gunma}.)
But working mereologically/{me}reologically, i.e. basing everything on
{me}, means we essentially get masses for free. e.g. {ru'o djacu poi
nenri lo kabri cu lenku} gets the expected meaning. And with your
proposed redefinition of numerical quantifiers, {za'u [no]} would work
as the existential quantifier.
.e'u nai ro pa me ro tadni poi sruri lo dinju cu ba se sruri za'u djacu
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.
Attachment:
signature.asc
Description: Digital signature