Received: from mail-vc0-f189.google.com ([209.85.220.189]:44490) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1T9m2M-0006eT-6D; Thu, 06 Sep 2012 17:03:15 -0700 Received: by vcbfl13 with SMTP id fl13sf1881845vcb.16 for ; Thu, 06 Sep 2012 17:02:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:received-spf:mime-version:date:message-id:subject:from :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=TxNp4hd6hiQCHpqNIsY+lnYf7C5HO3UrDZ4OVmqj1ew=; b=NT8kP1YpCiFy/eH4ICyrlNfEz4FNqroHz1yB98OHICr9zzUdEHlsNwKDOueRMkFVva AN4Iej+aNzgT21VMmcS+aEwqvC/FuCtaa6WYzSs+UctBX+SPQZxWrDpaQgiD6G8IQQb9 5WJ1Rwmu0rwLUQx07rgovKmfKl/Zcw3+lEt4SbjvnuTWpd0LArazI3X05leeaooIVPmp zUCp/zOaD8qSzAFkgpQIP6dXghQF0iyzv0xOXlEQ/laWmysWun3N0xmJXc4/UftZdzsa qYsnQZ8SrBRBxZgdsKstxVd7rspgdC1oPSVlOuUbnevMrRtUqrgnBd6BfpbOon424x8S h0Hg== Received: by 10.68.190.65 with SMTP id go1mr1030182pbc.6.1346976179046; Thu, 06 Sep 2012 17:02:59 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.141.133 with SMTP id ro5ls391410pbb.1.gmail; Thu, 06 Sep 2012 17:02:58 -0700 (PDT) Received: by 10.66.85.135 with SMTP id h7mr759924paz.41.1346976178601; Thu, 06 Sep 2012 17:02:58 -0700 (PDT) Received: by 10.66.85.135 with SMTP id h7mr759923paz.41.1346976178591; Thu, 06 Sep 2012 17:02:58 -0700 (PDT) Received: from mail-pb0-f46.google.com (mail-pb0-f46.google.com [209.85.160.46]) by gmr-mx.google.com with ESMTPS id vw9si1653240pbc.2.2012.09.06.17.02.58 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 06 Sep 2012 17:02:58 -0700 (PDT) Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.160.46 as permitted sender) client-ip=209.85.160.46; Received: by pbbrr13 with SMTP id rr13so3228121pbb.19 for ; Thu, 06 Sep 2012 17:02:58 -0700 (PDT) MIME-Version: 1.0 Received: by 10.68.218.72 with SMTP id pe8mr7375476pbc.33.1346976178371; Thu, 06 Sep 2012 17:02:58 -0700 (PDT) Received: by 10.68.240.40 with HTTP; Thu, 6 Sep 2012 17:02:58 -0700 (PDT) Date: Thu, 6 Sep 2012 21:02:58 -0300 Message-ID: Subject: [lojban] Definition of simxu (was: Re: [lojban-beginners] Re: Where should I use sets and where should I use masses?) From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= To: lojban@googlegroups.com X-Original-Sender: felipeg.assis@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.160.46 as permitted sender) smtp.mail=felipeg.assis@gmail.com; dkim=pass header.i=@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: text/plain; charset=ISO-8859-1 X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / I guess a separate thread in the main group is more appropriate for discussing the definition of {simxu}. I think it is valid and desirable to collect different possibilities and examine their pragmatic usefulness and limitations. The ideas collected here should be eventually posted on the wiki. On 6 September 2012 20:02, Jacob Errington wrote: > Lojbanists like to give away their interpretation as if it were the law > without acknowledging that there be any other interpretation. However, it is > definitely simpler to do so than to explain the various different > interpretations and their differences, although doing so would be more > "right" in my opinion. -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.