Received: from mail-fa0-f61.google.com ([209.85.161.61]:51364) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1SzRYK-0002IP-NN; Thu, 09 Aug 2012 05:09:33 -0700 Received: by fadw1 with SMTP id w1sf140094fad.16 for ; Thu, 09 Aug 2012 05:09:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; 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 :content-transfer-encoding; bh=6jDMkH1PETsrfyhqEWSWBRmErk6NmHytmmsS5bK3c1A=; b=Cyv0YZbcPllg5sJvoscd9hMBJdhrpSh8PpcmFmyI0U6CH6xoDzTR2b5rhRs6ju/GU1 d+EMMdnK406wMnKcc/FFXpxZ3VnidG9lGKbQfuVbn+q6QPiLcItqiX8CRHfGmrj/q6JL UI1dZw1763gWFznhi/FeZK2hd6X3UNScAW/LI= Received: by 10.216.154.21 with SMTP id g21mr489357wek.58.1344514152820; Thu, 09 Aug 2012 05:09:12 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.14.177.133 with SMTP id d5ls699276eem.4.gmail; Thu, 09 Aug 2012 05:09:12 -0700 (PDT) Received: by 10.14.182.7 with SMTP id n7mr11557305eem.6.1344514152233; Thu, 09 Aug 2012 05:09:12 -0700 (PDT) Received: by 10.14.182.7 with SMTP id n7mr11557303eem.6.1344514152225; Thu, 09 Aug 2012 05:09:12 -0700 (PDT) Received: from mail-ey0-f170.google.com (mail-ey0-f170.google.com [209.85.215.170]) by gmr-mx.google.com with ESMTPS id d5si1392192eep.0.2012.08.09.05.09.12 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 09 Aug 2012 05:09:12 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.170 as permitted sender) client-ip=209.85.215.170; Received: by eaao11 with SMTP id o11so130015eaa.15 for ; Thu, 09 Aug 2012 05:09:12 -0700 (PDT) MIME-Version: 1.0 Received: by 10.14.215.197 with SMTP id e45mr27034871eep.36.1344514152074; Thu, 09 Aug 2012 05:09:12 -0700 (PDT) Received: by 10.14.178.196 with HTTP; Thu, 9 Aug 2012 05:09:11 -0700 (PDT) In-Reply-To: <29010f25-fd8b-4e95-813c-d811373a4757@googlegroups.com> References: <1a5f9ca9-75f1-409b-868c-5b7c3e6a9674@googlegroups.com> <1059afae-0f80-41eb-9a0f-e95bca0179ac@googlegroups.com> <29010f25-fd8b-4e95-813c-d811373a4757@googlegroups.com> Date: Thu, 9 Aug 2012 09:09:11 -0300 Message-ID: Subject: Re: [lojban] Revising mu'ei and CAhA once again. Possible worlds. From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@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.170 as permitted sender) smtp.mail=jjllambias@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=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / On Thu, Aug 9, 2012 at 7:45 AM, Gleki Arxokuna wrote: > On Tuesday, August 7, 2012 2:34:44 AM UTC+4, xorxes wrote: >> >> In order to say that it contains both black and white balls you may >> need something like "su'opame'iro mu'ei", "in some but not all >> worlds". "May or may not", as opposed to just "may". > > Indeed. That's what I still might like. > If {ka'e} =3D {su'opame'iro mu'ei} then the scheme will get symmetry. I don't think that's a good idea. ka'e and bi'ai are the basic modal operators (see http://en.wikipedia.org/wiki/Modal_logic they even have the customary symbols =E2=96=A1 for Necessarily and =E2=97= =87 for Possibly). "su'opame'iro mu'ei" may facilitate your drawing, but it has a more complex logic, for example it is no longer the dual of bi'ai. If what you want is a simple drawing for "ka'e" in your scheme, I suggest a bag with at least one black ball and the other balls drawn in dotted lines, suggesting that we don't know or don't care what color they are, as long as one of them is black. > {su'opame'iro mu'ei} stretches across the scale not touching it's borders= . > If {su'opame'iro mu'ei} =3D {ka'e} then {ka'ena} and {ka'e} are the same.= They > differ probably in accenting either the presense of white or black balls > respectively. So "I could sleep"=3D"I could be awake" as we don't specify= what > is more likely. We just state something in between {bi'aina} and {bi'ai}. If you want a word for that, I suggest coining a new one ("ka'ei"?) but leave "ka'e" for the basic modal meaning. > In a passage to the limit {su'opame'iro mu'ei} becomes equal to either > {bi'ai} or {bi'aina}. > > But if we assume that {ka'e}=3D{su'o mu'ei} then in some cases it can be = equal > to {bi'ai} which is nonsense. > > "I could swim" doesn't imply that "I necessarily swim". So stronlgy belie= ve > that {ka'e} must not include the case of {bi'ai} and {bi'ai na}. "I can swim" doesn't imply "I necessarily swim", but "I necessarily swim" does imply "I can swim". "bi'ai" does not imply "ka'ei", in fact it implies "na ka'ei". mu'o mi'e xorxes --=20 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@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.