[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Individuals and xorlo


On Thu, Feb 6, 2014 at 1:34 AM, guskant <gusni.kantu@gmail.com> wrote:

Although it will become out of topic, I have another suggestion related to the BPFK page of gadri.

"Any term without an explicit outer quantifier is a constant" should be changed to 
"Any term without an explicit outer quantifier can be a constant",
because an usual predicate logic has an axiom on a constant c that "F(c) {inaja} there is at least one (individual) x such that F(x)";

That applies to singular constants, whereas unquantified terms need not be singular, but the version with plural quantifiers will still be valid.
 
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".
 
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.

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.