WikiDiscuss

WikiDiscuss


BPFK Section: Inexact Numbers

posts: 1912


pc:
> OK. So you allow at least some members of the
> outer domain into the range of variables. That
> works, too. But it would be a good idea towarn
> people of it, since it is not the presumed
> situation.

I would have said strict restriction to the inner
domain was the exceptional case, so that's the
one that would need warning when context is not
enough. (The warning would consist of a {poi zasti}
or similar.)

> > We are obviously working under different
> > definitions.
>
> That is a useful hypothesis. What is your
> definition — or at least a characterization that
> covers these cases?

I gave it many times already: Every unquantified sumti
is a plural constant. Outer quantifiers on a sumti
quantify over the referents of the constant:
PA sumti = PA da poi ke'a me sumti.

If you absolutely require plural variables and
quantifiers in order to have plural constants, then
introduce {da'oi}, {de'oi}, {di'oi} as plural
variables, and {su'oi} as the plural existential
quantifier (that one should be enough), and we can
define the singular variables and quantifiers in
terms of them.

> But back to the original point, whether {lo'i
> broda} has the same referent as {lo selcmi be lo
> broda}, consider
> {pa lo'i broda} refers to a set containing
> exactly one broda, a member of {lo'i broda} in
> fact, or to that one broda itself.

I know that's how you want to define it, and that's
what I don't like. I want the meaning of {PA sumti}
to depend only on the referents of sumti, not on
its form.

> {pa lo selcmi be lo bbroda} refers to one set of
> broda, which set may be of any size.

I don't think quantifiers quite refer, but I think
we basically agree on the meaning of that one. I want
{pa lo'i broda} to have this meaning too.

> Similarly,
> {lo'i pa broda} is a set containing exactly one
> broda,

No problem with that.

> {lo pa selcmi be lo broda} is a single set of
> broda, which set may be of any size.

No problem with that.

mu'o mi'e xorxes





___
Do you Yahoo!?
Declare Yourself - Register online to vote today!
http://vote.yahoo.com