[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] {le} in xorlo



On Mon, Apr 19, 2010 at 4:43 PM, John E Clifford <kali9putra@yahoo.com> wrote:
>
> The interesting question is, how hard is it to reintroduce the singular quantifier into plural quantification.  Not oo0, I suppose, but likely to be messy in the metatheory.

I think you first define what it means to be one (using plural "ro"
and plural variables):

da pamei .ijo ro de poi me da du da
"X is one iff any Ys among X are X"

then you can use the plural "ro" and restrict it to things that are
one: "ro da poi pamei ..."

mu'o mi'e xorxes

-- 
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.