Received: from mail-ee0-f61.google.com ([74.125.83.61]:52140)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRD31KSCBRoEpDSreA@googlegroups.com>)
	id 1T9l1Y-0006Cm-8w; Thu, 06 Sep 2012 15:58:18 -0700
Received: by eeke49 with SMTP id e49sf831901eek.16
        for <multiple recipients>; Thu, 06 Sep 2012 15:58:04 -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: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=R8j13rmBGfdEYZV2G216BHgBzg6/8NBqVaPnoANoyz8=;
        b=EXTSzAZC8pMl8sJwdivBOAwcp/lCUa7cE/AHd5NF87YfoJh1Hg7dHSGJ37vV+8fatw
         RCR+o765Vk3zNBktKmtxfhSVXF8p/oeF+UzBgXmx1/AbJP6FCQ/2eQHpziK92PE5bTqM
         If00i05yr/GkzxzB4iXfN9l+rBWqdJ/K2sVO7PwzKq1yzp1Kk8QstMQAHgbokY1OXX/d
         gokky+V33XbvphPt4IU/3qLYgsnmSXijOGxddrL9BLvdMZkYuaxQU23mRKH7QqQNntpy
         KvloXDuUBhQepdVCC3TmsWRK3QcK1L8KnuwspLHcuOhOkd+yLqg9cNfX0HLL5eTdJnKQ
         pXNg==
Received: by 10.216.80.12 with SMTP id j12mr163141wee.71.1346972279944;
        Thu, 06 Sep 2012 15:57:59 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.14.213.71 with SMTP id z47ls1482eeo.6.gmail; Thu, 06 Sep 2012
 15:57:59 -0700 (PDT)
Received: by 10.14.194.132 with SMTP id m4mr3662029een.0.1346972279366;
        Thu, 06 Sep 2012 15:57:59 -0700 (PDT)
Received: by 10.14.194.132 with SMTP id m4mr3662028een.0.1346972279351;
        Thu, 06 Sep 2012 15:57:59 -0700 (PDT)
Received: from mail-ey0-f175.google.com (mail-ey0-f175.google.com [209.85.215.175])
        by gmr-mx.google.com with ESMTPS id v3si4371931eep.1.2012.09.06.15.57.59
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 06 Sep 2012 15:57:59 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.175 as permitted sender) client-ip=209.85.215.175;
Received: by eaad12 with SMTP id d12so669607eaa.6
        for <lojban-beginners@googlegroups.com>; Thu, 06 Sep 2012 15:57:59 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.14.172.129 with SMTP id t1mr5315485eel.34.1346972279208; Thu,
 06 Sep 2012 15:57:59 -0700 (PDT)
Received: by 10.14.95.78 with HTTP; Thu, 6 Sep 2012 15:57:59 -0700 (PDT)
In-Reply-To: <6bbe2f0e-9e7e-47e5-bbe1-0896c881dae9@p5g2000vbl.googlegroups.com>
References: <369b1b83-0407-4ccf-aa59-89a5ffbaf473@googlegroups.com>
	<CAOQ8VDUCkSVyFRG_4td_EAhiZ3XUO9bbr4-MNprN0oCwptsqRw@mail.gmail.com>
	<CAPAJj9K4NDjNQZnkiF2UXaAtHjsnswwsgpCm+Cm9Ata-pLN25w@mail.gmail.com>
	<02c05dfc-7cc4-4ec6-a331-d915e2e9cdbf@s5g2000vbj.googlegroups.com>
	<CAO7tK2eUJHA-35pXtbHnhusyG0ef1T6D_SrPf94RhALoYWUM3Q@mail.gmail.com>
	<07b7573a-45c9-44be-9d03-a74aa2b1127d@q20g2000vbx.googlegroups.com>
	<CAO7tK2d6W2jgPmx9BZ9EZpsT2hWijsE12tgoSN358HgujHgLaQ@mail.gmail.com>
	<6bbe2f0e-9e7e-47e5-bbe1-0896c881dae9@p5g2000vbl.googlegroups.com>
Date: Thu, 6 Sep 2012 19:57:59 -0300
Message-ID: <CAO7tK2cejYDRuz9J+4nH1fx8EwsW-H7TtrxTy9sJoWeDhxaxmg@mail.gmail.com>
Subject: Re: [lojban-beginners] Re: Where should I use sets and where should I
 use masses?
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.215.175 as permitted sender)
 smtp.mail=jjllambias@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: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:googlegroups-manage+300742228892+unsubscribe@googlegroups.com>
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: /
Content-Length: 1671

On Thu, Sep 6, 2012 at 7:24 PM, ianek <janek37@gmail.com> wrote:
>
> This is exactly the problem with Lojban. It aims at being logical, but
> the more logical, the more unusable it is, and vice versa. Some time
> ago I thought it was possible to translate from Lojban to formal
> logic...

If simxu has the precise technical meaning of "clique", there's
nothing stopping us from having another selbri brodysi'u with the more
vague meaning, and if simxu has the more vague meaning, there's
nothing stopping us from defining another selbri with the more
specific technical meaning. The fact that both predicates can coexist
in the language doesn't affect how logical the language is or how easy
or difficult it is to translate into formal logic. Whatever the
meaning of simxu, it will go into formal logic as something like S( ,
) anyway, so its meaning  does not make the language any more or less
logical. If what you are looking for is a precise definition of
"simxu", then it will probably be in terms of "so'a" or "so'e" rather
than in terms of "ro", and not as straightforward as the mathematical
definition of "clique", but this doesn't make it less logical, just
more difficult to define. But if you consider "so'a" and "so'e"
illogical, then yes, Lojban is irredeemably illogical.

mu'o mi'e xorxes

-- 
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.