On Thu, Feb 6, 2014 at 10:58 PM, guskant <gusni...@gmail.com> wrote:
If you use the term "constant" as of the version with plural quantifiers, you should mention it in the gadri page, and also you should explain how Lojban treats plural quantifiers. Otherwise I don't understand how a constant implies no implicit quantifier.There's a pretty long explanation of what I meant by constant there already, I think it's clear that a plural constant is meant:
- Any term without an explicit outer quantifier is a constant, i.e. not a quantified term. This means that it refers to one or more individuals, and changing the order in which the constant term appears with respect to a negation or with respect to a quantified term will not change the meaning of the sentence. A constant is something that always keeps the same referent or referents. For example {lo broda} always refers to brodas.
As for plural quantifiers, I once proposed "su'oi", "ro'oi", "no'oi" and "me'oi".
this means that the sentence "any term without an explicit outer quantifier is a constant" automatically implicates an outer quantifier {su'o},It shouldn't implicate that. "F{c} -> Ex F(x)" does not mean that "F(c)" and "Ex F(x)" have the same meaning, nor that "c" is just a shorthand for "Ex ...x...". Similarly xorlo says that "lo broda" is not just shorthand for "su'o lo broda".
I did not mean that "F(c)" and "Ex F(x)" have the same meaning, nor that "c" is just a shorthand for "Ex ...x...".When F(c) is said, it says implicitly that "Ex F(x)" is true.If c is singular, yes. That's not what I mean by implicit hidden quantifier though. All I mean is that saying "lo broda" is not just another way of saying "su'o lo broda" nor "[some quantifier] lo broda".and it contradicts to xorlo itself that there are no default quantifiers.Not just no default quantifiers. No implicit hidden quantifiers at all, The point is that "lo broda" is not a quantification of the bridi it appears in, the way "su'o lo broda" is.I agree to that point, and I consider that F(c) implies implicit hidden quantifiers, and conclude that it contradicts xorlo.Sorry, I don't understand what you mean by that.