Received: from mail-yh0-f60.google.com ([209.85.213.60]:58525) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WCS16-0001rr-AU for lojban-list-archive@lojban.org; Sun, 09 Feb 2014 02:53:48 -0800 Received: by mail-yh0-f60.google.com with SMTP id 29sf1397322yhl.15 for ; Sun, 09 Feb 2014 02:53:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=Cb/TeaQispxWx48cf/sZCy3tTf7UaYwcXHDjWhT+en4=; b=TJdUjcm3DQecHmhpN4xMUtiQE3Uzs6xpUTvttqXls7rZqx2UZ6s99upXw3Wo933wI1 wEZ4vnnIRM8F1elfbV8LtanPVyhOTqzyaUXLRLvVBXSc26YrFLqCEj3wvOa2dl7q9oHN FbXJQNxDtnHXYC8ylWI1QPNxZ7ywCEvJfPHBku8Lo4fmXCVSpXC6l/s6Ky+33m22PgOB n7YB71tnbvy9Cgoavu8Cm8oNp130R/Okbra4fh+3iVY6Ed26AEgMTzN0ZcQJu3wZUZby zA764YLxYeGeNpWPdwjc5sz4sRlyBZpeVcoz3eXg9e8Dzq9D8kKtFj1VGSTA4AUnmD2U hxwQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=Cb/TeaQispxWx48cf/sZCy3tTf7UaYwcXHDjWhT+en4=; b=sLSezz2MHcJ9cP71KEDiFyrPzGo2T2hUdt2b+/wGd4uIfN+4sv0vataV4z9jmyDoQb GoCOYiNpC0M/IsKh5wdjJRVZsP1CCrLhrrTBTYTbmsEs4a+KkuCDStAW1Nj8BqoHYjAm J6kh2tBPqZx8SsGLwBwOqOqmX2tMi6WDeYoQ5cOl5djt5Yz6X+NQOkzxol4nllwc6wbe J+LpIV/JiRVdZLTITYK95CKpX4LYvgzvwYv/imWMpfiAPHLSlKthHprWOpO6TVWBgrDr Flj+bk1iMTtiaobQNUfaMPFZhrQfA1vrzg0aZ6+anjIfe0MjY5MDJlta/36mpFaRgwoD ov2w== X-Received: by 10.50.29.41 with SMTP id g9mr149639igh.4.1391943213969; Sun, 09 Feb 2014 02:53:33 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.51.17.2 with SMTP id ga2ls1376335igd.17.canary; Sun, 09 Feb 2014 02:53:33 -0800 (PST) X-Received: by 10.50.79.130 with SMTP id j2mr149580igx.2.1391943213490; Sun, 09 Feb 2014 02:53:33 -0800 (PST) Date: Sun, 9 Feb 2014 02:53:31 -0800 (PST) From: guskant To: lojban@googlegroups.com Message-Id: <348c23bf-6d9f-4a05-bfe7-69b141c03cb7@googlegroups.com> In-Reply-To: <52F65A5C.90605@gmx.de> References: <52F26B9E.2090001@gmx.de> <5e023b9a-515c-432b-a389-8f9af4766b51@googlegroups.com> <52F29ED8.1050607@gmx.de> <372dd8f1-1920-4afa-8d11-aa55696982a0@googlegroups.com> <03555bbd-cc44-426f-94ee-65d557f2d301@googlegroups.com> <592497c0-5db5-420e-867f-8df1663eca27@googlegroups.com> <52F65A5C.90605@gmx.de> Subject: Re: [lojban] Individuals and xorlo MIME-Version: 1.0 X-Original-Sender: gusni.kantu@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="----=_Part_2247_18121773.1391943211994" X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / ------=_Part_2247_18121773.1391943211994 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Le dimanche 9 f=C3=A9vrier 2014 01:25:00 UTC+9, selpa'i a =C3=A9crit : > > la .guskant. cu cusku di'e=20 > > Moreover, calling something in a domain of plural variable "one or more= =20 > > individuals" is misleading for me.=20 > > The term for "something in a domain of plural variable" should be first= =20 > > given; after that "individual" is defined using it. The concept=20 > > "individual" is only a special case of "something in a domain of plural= =20 > > variable" as defined above.=20 > > What would be another case of SDPV that is not an individual? I can't=20 > really make sense of your argument, because for me there are only=20 > individuals and nothing else (DPV or not).=20 > > > Something that is broda is not always "one or more individuals" defined= =20 > > above: when a universe of discourse is given, there is no need that {lo= =20 > > broda} in the universe of discourse is finally separated into individua= l=20 > > pieces that are members of the universe of discourse.=20 > > Please give an example where that does not happen.=20 > > Suppose a universe of discourse is given, where {lo linji} is in a domain= =20 of plural variable. In this universe of discourse, {lo linji xi no} can be separated into=20 shorter {lo linji xi pany}: lo linji xi pano cu me lo linji xi no i lo linji xi papa cu me lo linji xi no i ... Repeat the separation also for {lo linji xi pany}. After infinite times of separation, {lo linji} is finally separated into=20 {lo mokca} which is individual: RO DA poi ke'a me lo mokca zo'u lo mokca me DA but for any shorter {lo linji}: naku lo linji me lo mokca Therefore, any {lo linji} does not satisfy=20 RO DA poi ke'a me lo linji zo'u lo linji me DA {lo linji} in this universe of discourse is not an individual. Please note that another universe of discourse can be given so that {lo=20 linji} is one or more individuals, but the selection of universe of=20 discourse depends on the epistemology of context, and cannot defined by the= =20 language. =20 --=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. ------=_Part_2247_18121773.1391943211994 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


Le dimanche 9 f=C3=A9vrier 2014 01:25:00 UTC+9, se= lpa'i a =C3=A9crit :
la .g= uskant. cu cusku di'e
> Moreover, calling something in a domain of plural variable "one or= more
> individuals" is misleading for me.
> The term for "something in a domain of plural variable" should be = first
> given; after that "individual" is defined using it. The concept
> "individual" is only a special case of "something in a domain of p= lural
> variable" as defined above.

What would be another case of SDPV that is not an individual? I can't= =20
really make sense of your argument, because for me there are only=20
individuals and nothing else (DPV or not).

> Something that is broda is not always "one or more individuals" de= fined
> above: when a universe of discourse is given, there is no need tha= t {lo
> broda} in the universe of discourse is finally separated into indi= vidual
> pieces that are members of the universe of discourse.

Please give an example where that does not happen.



Suppose a universe of d= iscourse is given, where {lo linji} is in a domain of plural variable.
In this universe of discourse, {lo linji xi no} can be separated into= shorter {lo linji xi pany}:

lo linji xi pano cu m= e lo linji xi no
i
lo linji xi papa cu me lo linji xi n= o
i
...

Repeat the separation = also for {lo linji xi pany}.
After infinite times of separation, = {lo linji} is finally separated into {lo mokca} which is individual:
<= div>
RO DA poi ke'a me lo mokca zo'u lo mokca me DA

but for any shorter {lo linji}:

na= ku lo linji me lo mokca

Therefore, any {lo li= nji} does not satisfy 
RO DA poi ke'a me lo linji zo'u lo li= nji me DA

{lo linji} in this universe of discourse= is not an individual.

Please note that another un= iverse of discourse can be given so that {lo linji} is one or more individu= als, but the selection of universe of discourse depends on the epistemology= of context, and cannot defined by the language.

&= nbsp;

--
You received this message because you are subscribed to the Google Groups &= quot;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.
------=_Part_2247_18121773.1391943211994--