Le vendredi 7 février 2014 06:22:09 UTC+9, xorxes a écrit :
On Thu, Feb 6, 2014 at 1:34 AM, guskant <gusni...@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.
Actually, there is no explicit plural qiantifier in Lojban, though
implicitly there are.