Le samedi 8 février 2014 19:57:39 UTC+9, lojbab a écrit :
On 2/6/2014 8:58 PM, guskant wrote:
>
>
> 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.
su'ore is the plural quantifier
That is a singular quantifier. I did not mean it by "plural quantifier". I meant that of plural logic.