Received: from mail-pb0-f61.google.com ([209.85.160.61]:36137) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1T8uQW-0006Rh-Gr; Tue, 04 Sep 2012 07:48:32 -0700 Received: by pbbrp2 with SMTP id rp2sf6738091pbb.16 for ; Tue, 04 Sep 2012 07:48:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:received-spf:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=v3v6wgHX6pKR/D90cv6vpNUWxNKsrWsRSW+xVaUETT8=; b=DiSvqqY6wjafjWvOD2jFGRkI8Dnm8scqFTldFFyXSglmdS6A/p+v4FIoSd5dWf+R9J iP9M4LWsMdm44BY1QAClT8RVRo3OnQKuZIIQ2dSQHdpGrsRvRv0SIsAb2iKR+KTMfFG4 n6QrfL89mXbCXWN40uWImloC96AKhwR+pq1SQjahtCPcXHP334bedK8HsiEveYR+weF8 l9lrCAf+w8kwxlnhUd53yUNgFl9FWldEMKlhr5I1BWHyZ68ydOoGDR4UQJq6JmiWlihM DcjKffddF0XI0CUkXUgLZ4Zs+y5euhm7ClJLK4eQovZzywCIyTXmSWV0ICggGIxtgzNt 8FtA== Received: by 10.236.185.98 with SMTP id t62mr1581562yhm.7.1346770101778; Tue, 04 Sep 2012 07:48:21 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.236.126.33 with SMTP id a21ls8771900yhi.3.gmail; Tue, 04 Sep 2012 07:48:14 -0700 (PDT) Received: by 10.236.88.111 with SMTP id z75mr12150423yhe.6.1346770094441; Tue, 04 Sep 2012 07:48:14 -0700 (PDT) Received: by 10.236.88.111 with SMTP id z75mr12150422yhe.6.1346770094421; Tue, 04 Sep 2012 07:48:14 -0700 (PDT) Received: from mail-gg0-f177.google.com (mail-gg0-f177.google.com [209.85.161.177]) by gmr-mx.google.com with ESMTPS id i27si4593427yhe.4.2012.09.04.07.48.14 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 04 Sep 2012 07:48:14 -0700 (PDT) Received-SPF: pass (google.com: domain of nictytan@gmail.com designates 209.85.161.177 as permitted sender) client-ip=209.85.161.177; Received: by ggnm2 with SMTP id m2so1253533ggn.22 for ; Tue, 04 Sep 2012 07:48:14 -0700 (PDT) Received: by 10.52.88.234 with SMTP id bj10mr12806925vdb.48.1346770094159; Tue, 04 Sep 2012 07:48:14 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.178.106 with HTTP; Tue, 4 Sep 2012 07:47:53 -0700 (PDT) In-Reply-To: References: <369b1b83-0407-4ccf-aa59-89a5ffbaf473@googlegroups.com> From: Jacob Errington Date: Tue, 4 Sep 2012 10:47:53 -0400 Message-ID: Subject: Re: [lojban-beginners] Where should I use sets and where should I use masses? To: lojban-beginners@googlegroups.com X-Original-Sender: nictytan@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of nictytan@gmail.com designates 209.85.161.177 as permitted sender) smtp.mail=nictytan@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=bcaec50167270e77fc04c8e15961 X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / Content-Length: 6473 --bcaec50167270e77fc04c8e15961 Content-Type: text/plain; charset=ISO-8859-1 On 4 September 2012 04:18, tijlan wrote: > On 2 September 2012 13:47, gleki wrote: > > {loi prenu cu sruri lo dinju} - why not lo gunma be lo prenu cu sruri lo > dinju? > > {loi prenu} means {lo gunma be lo prenu}. If you reckon the latter is > correct, you would think the former is correct too. > {loi} and {lo'i} are just shortcuts for LAhE or longer bridi expressions. > > That's a comparison between different ways of expressing a mass, > whereas "Where should I use sets and where should I use masses?" is > asking for a comparison between set expressions & mass expressions in > the same places: > > ( loi / lo'i ) prenu cu sruri lo dinju -- which gadri? > Sets have no representation in reality and exist in a somewhat ethereal realm alongside bridi (lo du'u broda) and text (lu ma drani danfu). Therefore they can't surround anything. > > > > {lo'i tirxu cu cmalu} - why not so'u tirxu? > > Do you mean > "Why {lo'i tirxu cu cmalu} and not {so'u tirxu}?" > or > "Why {lo'i tirxu cu cmalu} and not {so'u tirxu cu cmalu}?" > or > "Why {lo'i tirxu cu cmalu} and not {loi tirxu cu so'u mei}?" > ? > > Sets can be big or small. They have a cardinality, i.e. a size, which is comparable. This leads to the drastic difference between {lo'i tirxu cu cmalu} and {lo tirxu cu cmalu}: {lo'i tirxu cu cmalu} says simply that the *set* of tigers is small and says *nothing* about the actual tigers, whereas {lo tirxu cu cmalu} (regardless of any quantifiers) says that the tigers are each small. You can have a small set of enormous tigers in the same way that you can have a large set of tiny ones. > > mu'o > > -- > You received this message because you are subscribed to the Google Groups > "Lojban Beginners" group. > To post to this group, send email to lojban-beginners@googlegroups.com. > To unsubscribe from this group, send email to > lojban-beginners+unsubscribe@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban-beginners?hl=en. > > -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To post to this group, send email to lojban-beginners@googlegroups.com. To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en. --bcaec50167270e77fc04c8e15961 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On 4 September 2012 04:18, tijlan <jbotijlan@gmail.com> wr= ote:
On 2 September 2012 13:47, gleki <gleki.is.my.name@gmail.com> wrote:
> {loi prenu cu sruri lo dinju} - why not lo gunma be lo prenu cu sruri = lo dinju?

{loi prenu} means {lo gunma be lo prenu}. If you reckon the latter is=
correct, you would think the former is correct too.
{loi} and {lo'i} are just shortcuts for LAhE or longer bri= di expressions.
=A0

That's a comparison between different ways of expressing a mass,
whereas "Where should I use sets and where should I use masses?" = is
asking for a comparison between set expressions & mass expressions in the same places:

( loi / lo'i ) prenu cu sruri lo dinju -- which gadri?
=

Sets have no representation in reality and exist in a s= omewhat ethereal realm alongside bridi (lo du'u broda) and text (lu ma = drani danfu). Therefore they can't surround anything.
=A0


> {lo'i tirxu cu cmalu} - why not so'u tirxu?

Do you mean
"Why {lo'i tirxu cu cmalu} and not {so'u tirxu}?"
or
"Why {lo'i tirxu cu cmalu} and not {so'u tirxu cu cmalu}?"= ;
or
"Why {lo'i tirxu cu cmalu} and not {loi tirxu cu so'u mei}?&qu= ot;
?


Sets can be big or small. They have a = cardinality, i.e. a size, which is comparable. This leads to the drastic di= fference between {lo'i tirxu cu cmalu} and {lo tirxu cu cmalu}: {lo'= ;i tirxu cu cmalu} says simply that the *set* of tigers is small and says *= nothing* about the actual tigers, whereas {lo tirxu cu cmalu} (regardless o= f any quantifiers) says that the tigers are each small. You can have a smal= l set of enormous tigers in the same way that you can have a large set of t= iny ones.

mu'o

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To post to this group, send e= mail to lojban-beginne= rs@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegr= oups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.


--
You received this message because you are subscribed to the Google Groups "= Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@= googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban= -beginners?hl=3Den.
--bcaec50167270e77fc04c8e15961--