Re: [lojban] "we" and masses. A bug in the CLL?

[selpa'i <seladwa@gmx.de>]

la .pycyn. cu cusku di'e
> I'm still finding this confusing, probably partly from Lojban
> terminology. mi'o is apparently the union of mi and do, written {mi
> jo'e do}?,

Not a union, since {mi} and {do} aren't sets in the Lojban {lo'i}-sense.
So, not {jo'e}, but {jo'u}, which creates a "group" like a {lo}-sumti.

{mi jo'u do}

> without comment about how they interact with properties.  To say, {ro
> mi'o}then says that they interact distributively and completely and
> thus amount to {ro mi e ro do}, as noted.  Of course, other
> quantifiers would not break down so easily {su'o mi'o} is surely
> {su'o mi a su'o do} but nothing else works (well, {no ... e...}).

Well, of course it's {su'o mi .a su'o do}. {su'o} corresponds to {.a},
and {ro} to {.e}, that's why the two expressions have different expansions.

However, a more general way to write either expression is:

	PA mi'o
=	PA da poi ke'a me mi'o
=	PA da poi ke'a me mi jo'u do

Thus:

	ro mi'o
=	ro da poi ke'a me mi jo'u do
	"For all X such that X is among the group of me and you."
	"Everything that is among the group of me and you."

and

	su'o mi'o
=	su'o da poi ke'a me mi jo'u do
	"There exists some X such that X is among the group of me and you."
	"At least one thing that is among the group of you and me."

The basic point is that:

	mi .e do me mi jo'u do

> I don't get the point about {mio}, largely because I don't quite see
> what it is supposed to be (it isn't given anywhere and doesn't appear
> to be Lojban).

"mio" is one of the loglan words for "we". It appeared earlier in this
thread. I deliberately avoided the curly {}-quotes to set it apart from
the Lojban words, else it really does look like a typo.

Definition of "mio" (which does *not* correspond to {mi'o}):
> mio (p) we/us/ourselves, in the "I/me and others independently"
> sense, the 1st 3rd person multiple variable. Equivalent to 'mi, e
> da'.

mu'o mi'e la selpa'i

--
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 http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.