Also, he (and some others) have alr= eady begun to use it, which his other coined terms po'oi, no'oi, an= d me'au, for transcending the limits of first-order predicate logic, wh= ich is kind of what your proposal seems to do (unless I'm seriously mis= understanding, which I easily might.)

On Sun, Dec 18, 2011 at 3:59 PM, Jonathan Jo= nes <eyeonus@gmai= l.com> wrote:

I don't think I understand this. How would you say what {.i do ko'a= me'ei lo melbi} says without using me'ei?

On Fri, Jun 18, 2010 at 2:01 PM, Daniel Br= ockman <dbrockman@gmail.com> wrote:

I think we should have a generic operator fo= r converting a sumti referring
to a selbri into a selbri. =A0I propose calling it {me'ei}. =A0It'd= be part of ME.

For example,

=A0 =A0i do ko'a me'ei lo melbi
=A0 =A0You have a beautiful relation to ko'a.

=A0 =A0i pe'i la xalbo na me'ei lo smuni be lo cmene be vo'a =A0 =A0I don't think xalbo lives up to his name.

This plugs a language hole that may be somewhat theoretical but in my opini= on
is pretty fundamental. =A0It also provides a way to define things like {me&= #39;oi}:

=A0 =A0{me'oi foo} =3D {me'ei lo smuni be zo'oi foo}

And if you don't like {bu'a}, which is a bit awkward to quantify, d= epending on
your standard for awkwardness, you can just use {me'ei da}.

All in all, it's a powerful tool for talking about and manipulating pre= dicates.

For example, one could define a brivla like this:

=A0 =A0{kibro} =3D {me'ei lo smuni be zo kibro bei la jbovlaste}

Now, maybe that's not how you interpret it, but at least now you can talk about it in a precise manner.

Thoughts?

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

--
mu&#= 39;o mi'e .aionys.

.i.e'ucai ko cmima lo pilno be denpa bu .= i doi.luk. mi patfu do zo'o
(Come to the Dot Side! Luke, I am your f= ather. :D )

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