[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban-beginners] Where should I use sets and where should I use masses?

On 2 September 2012 11:03, Jorge Llambías <jjllambias@gmail.com> wrote:
On Sun, Sep 2, 2012 at 11:47 AM, Jacob Errington <nictytan@gmail.com> wrote:
>
> Sets are required in some places in lojban, such as simxu1 and cmima2 (these
> relationships don't actually involve the underlying properties of the
> elements of the set)
>
> e.g. lo'i ro jbopre cu simxu lo ka ce'u slabu ce'u -> All lojbanists know
> each other.
> e.g. ko cmima lo'i jbopre -> Join the lojbanists!

The disadvantage of defining "simxu" and "cmima" that way, is that you
can't easily say things like:

lo ro jbopre cu zvati ti gi'e simxu lo ka ce'u slabu ce'u
All lojbanists are here and know each other.

I don't see any advantage to defining "simxu" and the few other gismu
that are defined that way in terms of sets, so I use them as if they
were defined in a more user-friendly manner, in terms of ordinary
groups rather than mathematical sets.

Of course, if we work under the assumption that {lo} produces the weird polymorphic type, then yes, you can get away with shenanigans like that, but if you don't, you need an experimental in the form of a sort of JAI that can do afterthought LAhE in the way JAI TAG does afterthought TAG.

.i mi'e la tsani mu'o
 

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.


--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.