Received: from mail-lpp01m010-f61.google.com ([209.85.215.61]:43994) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1T7X70-0006pr-0v; Fri, 31 Aug 2012 12:42:58 -0700 Received: by lage12 with SMTP id e12sf1128787lag.16 for ; Fri, 31 Aug 2012 12:42:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:received-spf:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-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=Gq05ZczxukgKWh+omqWysinOgDjd4XjpZTga5x4vuLk=; b=F5MlpVkkDbaKXY0Q4J2JN5pzsVRS2V0Xt19+hZbfv5VBn35UxtMU9IEcpqFypocooH m8ydeAOI7yIEC6Xj6+fWr5xgnbXYTk3k80ULIoLFpe9/4Jzi6xrFB0jgxaghgTzoDQMJ /cAZhOIyx56UTebBuHOhcT8eKlC3/XDdV4Q4/96mBt990L7vQzwqF+NzpVQaxJ5wjzXr IBtL2c10RCg0dgwapJJqeUgHegAun1Ly/ToY3/OT7OtOoaKUyHQ4TczoZFIXIgglp+af VnwKr3WWfAOItgYzJKETF829Yw0yn3T3iQW2w5wZdxLTBoAkLhyu2iokD37G0WCgaoBr cCKw== Received: by 10.180.101.197 with SMTP id fi5mr424683wib.3.1346442149997; Fri, 31 Aug 2012 12:42:29 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.14.194.70 with SMTP id l46ls1350325een.9.gmail; Fri, 31 Aug 2012 12:42:29 -0700 (PDT) Received: by 10.14.220.131 with SMTP id o3mr8994181eep.6.1346442149346; Fri, 31 Aug 2012 12:42:29 -0700 (PDT) Received: by 10.14.220.131 with SMTP id o3mr8994180eep.6.1346442149336; Fri, 31 Aug 2012 12:42:29 -0700 (PDT) Received: from mail-ey0-f181.google.com (mail-ey0-f181.google.com [209.85.215.181]) by gmr-mx.google.com with ESMTPS id v3si7280881eep.1.2012.08.31.12.42.29 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 31 Aug 2012 12:42:29 -0700 (PDT) Received-SPF: pass (google.com: domain of and.rosta@gmail.com designates 209.85.215.181 as permitted sender) client-ip=209.85.215.181; Received: by eaan10 with SMTP id n10so1160091eaa.26 for ; Fri, 31 Aug 2012 12:42:29 -0700 (PDT) Received: by 10.14.215.197 with SMTP id e45mr12460624eep.36.1346442149251; Fri, 31 Aug 2012 12:42:29 -0700 (PDT) Received: from [192.168.1.77] (87-194-76-177.bethere.co.uk. [87.194.76.177]) by mx.google.com with ESMTPS id k41sm15862162eep.13.2012.08.31.12.42.25 (version=SSLv3 cipher=OTHER); Fri, 31 Aug 2012 12:42:26 -0700 (PDT) Message-ID: <504113A1.8040706@gmail.com> Date: Fri, 31 Aug 2012 20:42:25 +0100 From: And Rosta User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.28) Gecko/20120306 Thunderbird/3.1.20 MIME-Version: 1.0 To: lojban@googlegroups.com Subject: Re: [lojban] Revising mu'ei and CAhA once again. Possible worlds. References: <502A81EB.2000005@gmail.com> <502A9A2C.20606@gmail.com> <55e70b7d-e835-423b-8557-8ae88b88a4e2@googlegroups.com> <504112FA.4010001@gmail.com> In-Reply-To: <504112FA.4010001@gmail.com> X-Original-Sender: and.rosta@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of and.rosta@gmail.com designates 209.85.215.181 as permitted sender) smtp.mail=and.rosta@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; format=flowed X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / And Rosta, On 31/08/2012 20:39: > (There's no harm in marking the protasis and/or apodosis of a conditional with da'i, but da'i doesn't generate conditional semantics.) I should qualify that: In regular logic-driven Lojban (and in the original design of Lojban), da'i doesn't generate conditional semantics. But in usage-driven Lojban, it seems that nowadays da'i does generate conditional semantics. --And. -- 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.