Received-SPF: neutral (google.com: 68.230.241.213 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) client-ip=68.230.241.213;
Message-ID: <52F60DA3.4080507@lojban.org>
Date: Sat, 08 Feb 2014 05:57:39 -0500
From: Robert LeChevalier <lojbab@lojban.org>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0
MIME-Version: 1.0
To: lojban@googlegroups.com
Subject: Re: [lojban] Individuals and xorlo
References: <CAN2DD_E0QBcidfV+rp=N+rW1YeYtOanugo172BbgwFmswA2-SA@mail.gmail.com> <52F26B9E.2090001@gmx.de> <5e023b9a-515c-432b-a389-8f9af4766b51@googlegroups.com> <52F29ED8.1050607@gmx.de> <a337096c-d88e-4387-a3d7-9642195e72af@googlegroups.com> <CAO7tK2fqC3RQkHDE5unLx-z+5U4VU2nWempwEnzDAcpyB810pw@mail.gmail.com> <PDyb1n00M56Cr6M01DycXg>
In-Reply-To: <PDyb1n00M56Cr6M01DycXg>
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: quoted-printable
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /

On 2/6/2014 8:58 PM, guskant wrote:
>
>
> Le vendredi 7 f=C3=A9vrier 2014 06:22:09 UTC+9, xorxes a =C3=A9crit :
>
>
>     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

lojbab


--=20
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 e=
mail 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.