[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [jboske] Re: big rethink on Unique and other gadri
At 09:17 AM 12/25/02 +1100, Nick Nicholas wrote:
Another solution, which I think easiest, is to do what we did with
{kau}: just stick a UI on, and say "wherever that UI is, we quantify
the referent right here, not in the prenex."
Another possibility, if it is decided that medial prenexes are needed,
is, since the structure of a prenex is a set of terms, add a member to NE
that says that the relative phrase is a prenex (we'd have to decide whether
a preposed vs. postposed relative phrase made any difference).
I see what you're also doing is saying:
{le} is +specific -veridical
{lo} is -specific +veridical
If we had a -specific -veridical, we'd have the solution to our
problems.
I would imagine that there are a couple of UI discursives already in the
language that would convey -specific, and if the only point is to address
possibly non-existent things like unicorns, I don't see why leda'i -unicorn
doesn't convey that.
lojbab
--
lojbab lojbab@lojban.org
Bob LeChevalier, President, The Logical Language Group, Inc.
2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273
Artificial language Loglan/Lojban: http://www.lojban.org