Re: [lojban] {moi}3, Predicates, and Conventions

[Jorge Llambías <jjllambias@gmail.com>]

On Mon, Jan 28, 2013 at 7:49 PM, tsani nicte <nictytan@gmail.com> wrote:
>
> As for numeric moi, things get trickier, because the predicate needs to order the elements (which means they must be somehow orderable.) For the purpose of exemplification, let's take {lo'i prenu} as our moi2, and try to create a predicate that numerically orders them according to the time at which they arrive at my house. (This is the part I'm not sure of:) {lo ka ce'u zmadu ce'u lo ni ca makau ce'u klamu'o lo mi zdani}. It looks like each argument of the predicate refers to elements of the set. {moi} is "smart" enough to order the elements of the set based on which elements are superior to which elements. This is reminiscent of simxu2, isn't it?
>
> My problem with this is that behaviour of moi and moi3 seems to depend on whether the moi is numeric or associative, unless I or someone else can construct a decent type of moi3 that is universal for numeric and associative moi.

But an ordering is just an association to the naturals, isn't it?

As for your example, you could use as the association something like
"x1 is associated to the number n, which is one more than the number
of people that arrive before x1"

mu'o mi'e xorxes

-- 
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.