Received-SPF: none (google.com: phma@bezitopo.org does not designate permitted sender hosts) client-ip=107.14.166.230;
From: Pierre Abbat <phma@bezitopo.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Individuals and xorlo
Date: Fri, 23 May 2014 22:53:28 -0400
Message-ID: <1960324.FNTu2vdmSy@caracal>
User-Agent: KMail/4.13 (Linux/3.13.0-24-generic; KDE/4.13.0; x86_64; ; )
In-Reply-To: <CAO7tK2dSiUL+K5DCC24i=1tcVYBJ5-_1odE41JrW2xMs-EH=6Q@mail.gmail.com>
References: <CAN2DD_E0QBcidfV+rp=N+rW1YeYtOanugo172BbgwFmswA2-SA@mail.gmail.com> <570dae9f-cda3-42c4-a861-1c7974fe5bfd@googlegroups.com> <CAO7tK2dSiUL+K5DCC24i=1tcVYBJ5-_1odE41JrW2xMs-EH=6Q@mail.gmail.com>
MIME-Version: 1.0
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=ISO-8859-1
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /

On Friday, May 23, 2014 21:45:35 Jorge Llamb=EDas wrote:
> (8)<<
> An empty set is {lo selcmi be no da}, and an expression {lo no broda} is
> officially meaningless (see Section
> 3.1<http://www.lojban.org/tiki/gadri%3A+an+unofficial+commentary+from+a+l=
ogi
> cal+point+of+view&bl#Inner_quantification>[image: Edit Plugin:alink]. Thi=
s
> implies that an empty set cannot be expressed with {lo'i/le'i/la'i}.
>=20
>=20
> Arguably, lots of things can be described as "lo selcmi be no da", not ju=
st
> the empty set.  A spoon, for example, or anything else that is not a set,
> will satisfy "ke'a selcmi no da". "lo selcmi be no da" works well as a
> description of the empty set in a universe of discourse in which there ar=
e
> only sets. (But then that is really the only universe of discourse in whi=
ch
> one should mention sets at all, in my opinion.)

That's why I entered "zilcmi". lo kunti zilcmi cu na selcmi .iva'i lo kunti=
=20
zilcmi cu selcmi noda

mu'omi'e .pier.
--=20
ve ka'a ro klaji la .romas. se jmaji

--=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/d/optout.