Received: from mail-wi0-f187.google.com ([209.85.212.187]:64961)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCRZPH6MCMIIFKH6UICRUBAEY2SK6@googlegroups.com>)
	id 1XnVD0-0006DA-0s; Sun, 09 Nov 2014 08:19:33 -0800
Received: by mail-wi0-f187.google.com with SMTP id r20sf514712wiv.24
        for <multiple recipients>; Sun, 09 Nov 2014 08:19:15 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=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:list-post:list-help:list-archive
         :sender:list-subscribe:list-unsubscribe:content-type;
        bh=YBC4euCDdWgyeTwa3eGSdv1GiDzXiFNSg8jLRGlN0fg=;
        b=p+k4CiiAVx6yuydVAapT2Py+z/HiD5qW2odJoFLBKPAQG6qXzlt2qcNdLhezSttlLn
         r2mhSW6g+q6azLJ0uLt/JcVn2+HKVQZqEuhKIXZNamHUtPXVdfk3ZkmjNPEZgaEcQZdM
         ZiOROV5yaeWNVMbu4v6UNFyGHE4TJKqpHP9zvoYSP13DqMWaEMgekW/f7XLc0GFB8yZK
         ICGYo1JzI+Y1BA+zlrtxBM4npErizmgi8cHBGD7beuLZl5FE52c2hVgl5zLSO7xzg7na
         lQA1YodDpFtcQGNmGxcZXCFXn8MY9r/O4H+10ZNLpwPqoXqLWXo07SL42D8asQzR7SEH
         1z9g==
X-Received: by 10.152.7.143 with SMTP id j15mr340624laa.0.1415549955053;
        Sun, 09 Nov 2014 08:19:15 -0800 (PST)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.152.120.4 with SMTP id ky4ls383125lab.23.gmail; Sun, 09 Nov
 2014 08:19:14 -0800 (PST)
X-Received: by 10.112.142.193 with SMTP id ry1mr2736117lbb.6.1415549954341;
        Sun, 09 Nov 2014 08:19:14 -0800 (PST)
Received: from mail-wg0-x22a.google.com (mail-wg0-x22a.google.com. [2a00:1450:400c:c00::22a])
        by gmr-mx.google.com with ESMTPS id el8si435916wib.3.2014.11.09.08.19.14
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Sun, 09 Nov 2014 08:19:14 -0800 (PST)
Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::22a as permitted sender) client-ip=2a00:1450:400c:c00::22a;
Received: by mail-wg0-f42.google.com with SMTP id k14so7018430wgh.1
        for <bpfk-list@googlegroups.com>; Sun, 09 Nov 2014 08:19:14 -0800 (PST)
MIME-Version: 1.0
X-Received: by 10.180.9.33 with SMTP id w1mr23424550wia.22.1415549954188; Sun,
 09 Nov 2014 08:19:14 -0800 (PST)
Received: by 10.194.103.65 with HTTP; Sun, 9 Nov 2014 08:19:14 -0800 (PST)
In-Reply-To: <20141109152059.GC4868@mercury.ccil.org>
References: <c2b90d96-7b89-4633-bc33-6e42b16d705c@googlegroups.com>
	<20141018011419.GF12268@mercury.ccil.org>
	<97AABFB42A204E5D97A4EDFEA57A8508@gmail.com>
	<20141019012930.GF12991@mercury.ccil.org>
	<676B49242B0D4F6A986D6AFEA1EB3B3C@gmail.com>
	<20141019170808.GJ12991@mercury.ccil.org>
	<c610baca-170b-480d-aa30-a26e2c6fc793@googlegroups.com>
	<20141109004632.GL6360@mercury.ccil.org>
	<CAF2yp5CiKf+HkexB7yyBk6TMtHC0j5ntPdF7wV7EGdgF47Q64g@mail.gmail.com>
	<20141109152059.GC4868@mercury.ccil.org>
Date: Sun, 9 Nov 2014 19:19:14 +0300
Message-ID: <CAO7bV+ivsLyJXEgxL0tKQpHrYNo=8HrFWg=CuZaurfa0wxVivA@mail.gmail.com>
Subject: Re: [bpfk] {ro}, existential import and De Morgan
From: Gleki Arxokuna <gleki.is.my.name@gmail.com>
To: bpfk-list@googlegroups.com
X-Original-Sender: gleki.is.my.name@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: domain of gleki.is.my.name@gmail.com designates
 2a00:1450:400c:c00::22a as permitted sender) smtp.mail=gleki.is.my.name@gmail.com;
       dkim=pass header.i=@gmail.com;       dmarc=pass (p=NONE dis=NONE) header.from=gmail.com
Reply-To: bpfk-list@googlegroups.com
Precedence: list
Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com
List-ID: <bpfk-list.googlegroups.com>
X-Google-Group-Id: 972099695765
List-Post: <http://groups.google.com/group/bpfk-list/post>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+972099695765+unsubscribe@googlegroups.com>,
 <http://groups.google.com/group/bpfk-list/subscribe>
Content-Type: multipart/alternative; boundary=001a11c2406c2e6dab05076f6803
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--001a11c2406c2e6dab05076f6803
Content-Type: text/plain; charset=UTF-8

2014-11-09 18:20 GMT+03:00 John Cowan <cowan@mercury.ccil.org>:

> Ozymandias Haynes scripsit:
>
> > In examples 11.5 through 11.7, the
> > predicate logic negation theorem is applied to "ro da poi" statements.
>
> Ah.  In that case, those examples are wrong and should be fixed (someone
> should mark the wiki


Could you please provide the correct text of those examples?
The current CLL text is in
https://lojban.github.io/cll/

If you provide the corrected text i will put it tothe Errata page which is
http://www.lojban.org/tiki/CLL,+aka+Reference+Grammar,+Errata


> , or wherever the errata go nowadays).  As I'm sure
> you can imagine, it's damned hard to keep a consistent point of view
> throughout such a book, especially when the semantic interpretations
> changed during the period of writing it.
>
> Sorry for the noise.
>
> --
> John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
>         You tollerday donsk?  N.  You tolkatiff scowegian?  Nn.
>         You spigotty anglease?  Nnn.  You phonio saxo?  Nnnn.
>                 Clear all so!  `Tis a Jute.... (Finnegans Wake 16.5)
>
> --
> You received this message because you are subscribed to the Google Groups
> "BPFK" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to bpfk-list+unsubscribe@googlegroups.com.
> To post to this group, send email to bpfk-list@googlegroups.com.
> Visit this group at http://groups.google.com/group/bpfk-list.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.

--001a11c2406c2e6dab05076f6803
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">2014-11-09 18:20 GMT+03:00 John Cowan <span dir=3D"ltr">&lt;<a href=3D"=
mailto:cowan@mercury.ccil.org" target=3D"_blank">cowan@mercury.ccil.org</a>=
&gt;</span>:<br><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0=
px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-le=
ft-style:solid;padding-left:1ex">Ozymandias Haynes scripsit:<br>
<span class=3D""><br>
&gt; In examples 11.5 through 11.7, the<br>
&gt; predicate logic negation theorem is applied to &quot;ro da poi&quot; s=
tatements.<br>
<br>
</span>Ah.=C2=A0 In that case, those examples are wrong and should be fixed=
 (someone<br>
should mark the wiki</blockquote><div><br></div><div>Could you please provi=
de the correct text of those examples?</div><div>The current CLL text is in=
 <br><a href=3D"https://lojban.github.io/cll/">https://lojban.github.io/cll=
/</a><br><br>If you provide the corrected text i will put it tothe Errata p=
age which is <br><a href=3D"http://www.lojban.org/tiki/CLL,+aka+Reference+G=
rammar,+Errata">http://www.lojban.org/tiki/CLL,+aka+Reference+Grammar,+Erra=
ta</a><br>=C2=A0</div><blockquote class=3D"gmail_quote" style=3D"margin:0px=
 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);bor=
der-left-style:solid;padding-left:1ex">, or wherever the errata go nowadays=
).=C2=A0 As I&#39;m sure<br>
you can imagine, it&#39;s damned hard to keep a consistent point of view<br=
>
throughout such a book, especially when the semantic interpretations<br>
changed during the period of writing it.<br>
<br>
Sorry for the noise.<br>
<span class=3D""><br>
--<br>
John Cowan=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 <a href=3D"http://www.ccil.org=
/~cowan" target=3D"_blank">http://www.ccil.org/~cowan</a>=C2=A0 =C2=A0 =C2=
=A0 =C2=A0 <a href=3D"mailto:cowan@ccil.org">cowan@ccil.org</a><br>
</span>=C2=A0 =C2=A0 =C2=A0 =C2=A0 You tollerday donsk?=C2=A0 N.=C2=A0 You =
tolkatiff scowegian?=C2=A0 Nn.<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 You spigotty anglease?=C2=A0 Nnn.=C2=A0 You pho=
nio saxo?=C2=A0 Nnnn.<br>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Clear all so!=C2=A0=
 `Tis a Jute.... (Finnegans Wake 16.5)<br>
<div class=3D""><div class=3D"h5"><br>
--<br>
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list%2Bunsubscribe@googlegroups.com">bpfk-li=
st+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com">bpfk-list@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list" ta=
rget=3D"_blank">http://groups.google.com/group/bpfk-list</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/optout</a>.<br>
</div></div></blockquote></div><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com">bpfk-list=
+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com">bpfk-list@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list">ht=
tp://groups.google.com/group/bpfk-list</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--001a11c2406c2e6dab05076f6803--