Also, he (and some others) have already begun to use it, which his other coined terms po'oi, no'oi, and me'au, for transcending the limits of first-order predicate logic, which is kind of what your proposal seems to do (unless I'm seriously misunderstanding, which I easily might.)
On Sun, Dec 18, 2011 at 3:59 PM, Jonathan Jones
<eyeonus@gmail.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 Brockman
<dbrockman@gmail.com> wrote:
I think we should have a generic operator for converting a sumti referring
to a selbri into a selbri. I propose calling it {me'ei}. It'd be part of ME.
For example,
i do ko'a me'ei lo melbi
You have a beautiful relation to ko'a.
i pe'i la xalbo na me'ei lo smuni be lo cmene be vo'a
I don't think xalbo lives up to his name.
This plugs a language hole that may be somewhat theoretical but in my opinion
is pretty fundamental. It also provides a way to define things like {me'oi}:
{me'oi foo} = {me'ei lo smuni be zo'oi foo}
And if you don't like {bu'a}, which is a bit awkward to quantify, depending 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 predicates.
For example, one could define a brivla like this:
{kibro} = {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 "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.
--
.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 father. :D )