Re: non-existance predications

[jorge@phyast.pitt.edu]

> >No, the existence postulated in the prenex is merely one of reference.
> >If there is a predicate, and the predicate is not meaningless, then I
> >don't see how it can be referentially empty.
>
> le'i du be la [empty set]

That's the one-element set containing the empty set.

> or le'i se cmima be noda

That's the set of things that don't have members. Probably a set with
infinitely many elements.

> should be referentially empty.

They are not. You could say something like {le'i blanu jenai blanu}
The set of things that are and are not blue, but that is really using
two predicates, and even then, because it is a tanru I could argue
that there may be something that {blanu jenai blanu}.

Jorge