Re: [lojban] xorlo and masses

[Martin Bays <mbays@sdf.org>]

* Friday, 2011-08-19 at 18:57 -0300 - Jorge Llambías <jjllambias@gmail.com>:

> On Fri, Aug 19, 2011 at 7:08 AM, Martin Bays <mbays@sdf.org> wrote:
> > * Thursday, 2011-08-18 at 23:28 -0300 - Jorge Llambías <jjllambias@gmail.com>:
> >> On Thu, Aug 18, 2011 at 9:25 PM, Martin Bays <mbays@sdf.org> wrote:
> >> >
> >> > A unary predicate P is 'distributive' iff
> >> >    \forall x,y. ( ( x Part y /\ P(y) ) --> P(x) ).
> >>
> >> A predicate P is 'distributive with respect to Q' iff
> >>  \forall x,y. ( ( Q(x) /\ x Part y /\ P(y) ) --> P(x) ).
> >
> > Do you mean that we could then talk not about global atoms but about
> > "P-atoms", by which I mean the x which are minimal such that P(x)? And
> > so have {re P cu broda} mean that two of the P-atoms broda?
> 
> Yes, but since we will still want to use the same word in different
> contexts for the predicate that is distributive with respect to P and
> the related predicate that is not distributive with respect to P (say
> "bevri" with respect to "prenu") then we haven't advanced much with
> all this.

I don't see what you're getting at there.

One issue with this approach, though (and maybe this is what you
meant, actually?) is that quantification only makes sense when we have
an idea of what atoms are relevant. So in {lo broda ro ri brode}, {ri}
would have to carry as information not only what Whole which {lo
broda} refers to, but also that quantification of it is to be taken
with respect to broda-atoms.

That's conceptually slightly ugly, and I don't know how intuitive it
would be.

(Example of use: in the context of people carrying tables,
{re lo bevri be su'o jubme cu ci mei .i pa ra verba}
would mean that two of the tables are being carried by threesomes, and
one of the tables is being carried by a group which consists entirely
of children.

Assuming {bevri} is distributive in x2 with respect to tables, {lo
prenu cu bevri lo jubme} would accurately describe the situation, and
{ro lo prenu cu bevri lo jubme} would be false.)

Martin

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