[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] tu'o usage
la pycyn cusku di'e
So the point here is that uttering a sentence with {lo INNER broda} in it
--
even if INNER is implicit -- commits you to there being INNER broda.
But when INNER is {ro} (which is the default) it is always the
case that there are ro broda with non-importing ro, and there is
therefore no commitment. (The outer {su'o} of course does require
there to be at least one.)
We do not say that the negation of {lo broda cu brode}, {lo brode na brode}
is going to result in {ro lo me'iro brode naku brode} when we move the
negation through,
Of course not! That's nonsense whether the inner quantifier is
claimed or presupposed.
but just {ro lo broda naku brode} where {lo broda} is still
implictly {lo ro broda} (I'm not even sure just what {me'iro} might mean as
an INNER).
{me'iro} is nonsense as inner, because the inner is always {ro},
and {me'iro} can't be {ro}.
"Inner quantifiers" are not quantifiers. They make a claim or
a presupposition about the _cardinality_ of the underlying set,
they do not quantify over it. (In the case of non-importing {ro}
no claim is made nor presupposed about the cardinality, so the
question does not even come up.)
mu'o mi'e xorxes
_________________________________________________________________
MSN Photos is the easiest way to share and print your photos:
http://photos.msn.com/support/worldwide.aspx