Received: from mail-qa0-f61.google.com ([209.85.216.61]:38618)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCK5RNPX7QBBBQHC72RAKGQEVPLGXGY@googlegroups.com>)
	id 1XnX9j-0007Ml-17; Sun, 09 Nov 2014 10:24:12 -0800
Received: by mail-qa0-f61.google.com with SMTP id n8sf960786qaq.6
        for <multiple recipients>; Sun, 09 Nov 2014 10:24:00 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :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=sx122vR0JTOonL3EX3oYpTV8YabLRGwrZPS0IMBaxoM=;
        b=GZdUG776fR/eb54ImtDZ6gKu/NaZp34+Gtklmj6RSY+zDwXkM3SVY56cpyYeEF8wXH
         XV4EjJq+YSrUiXf2j2toMtY9gIA3q3YRk0x6nSQkYQPnJ9yO4N+dLPCCZPYsoKxQ1giE
         BnodJfmlTVHdBQ/x7I1f/QjJbhHGuShO40k2gEP9vuigZIcOZ0plZrc5+c2FtObUhZ/c
         D/fITc1BcwQrVxdI7A0xShmdsS1MZeyOgyy+DKEK967M9qnHi/CbZ67Nz3JDV8Rj9L/R
         SpGf2I2tcraLWJFxCNkP8AXfklPCu3vxb2Bd0cH/iPoa6ozkFN9Fvg0iAx0fYkVdfvVh
         NO8Q==
X-Received: by 10.140.19.193 with SMTP id 59mr2732qgh.19.1415557440493;
        Sun, 09 Nov 2014 10:24:00 -0800 (PST)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.140.16.228 with SMTP id 91ls47729qgb.67.gmail; Sun, 09 Nov
 2014 10:24:00 -0800 (PST)
X-Received: by 10.52.1.103 with SMTP id 7mr20971939vdl.6.1415557440255;
        Sun, 09 Nov 2014 10:24:00 -0800 (PST)
Received: from mail-qa0-x22a.google.com (mail-qa0-x22a.google.com. [2607:f8b0:400d:c00::22a])
        by gmr-mx.google.com with ESMTPS id b3si3531141qcq.2.2014.11.09.10.24.00
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Sun, 09 Nov 2014 10:24:00 -0800 (PST)
Received-SPF: pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c00::22a as permitted sender) client-ip=2607:f8b0:400d:c00::22a;
Received: by mail-qa0-f42.google.com with SMTP id k15so4482826qaq.29
        for <bpfk-list@googlegroups.com>; Sun, 09 Nov 2014 10:24:00 -0800 (PST)
X-Received: by 10.224.123.132 with SMTP id p4mr37117012qar.3.1415557440118;
        Sun, 09 Nov 2014 10:24:00 -0800 (PST)
Received: from [192.168.1.2] (c-69-249-31-89.hsd1.nj.comcast.net. [69.249.31.89])
        by mx.google.com with ESMTPSA id z21sm4267179qge.25.2014.11.09.10.23.58
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Sun, 09 Nov 2014 10:23:58 -0800 (PST)
Date: Sun, 9 Nov 2014 13:23:54 -0500
From: Alex Burka <durka42@gmail.com>
To: bpfk-list@googlegroups.com
Message-ID: <4D0275B06D49430F96B7E8E673A52D6B@gmail.com>
In-Reply-To: <CAO7bV+ivsLyJXEgxL0tKQpHrYNo=8HrFWg=CuZaurfa0wxVivA@mail.gmail.com>
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>
 <CAO7bV+ivsLyJXEgxL0tKQpHrYNo=8HrFWg=CuZaurfa0wxVivA@mail.gmail.com>
Subject: Re: [bpfk] {ro}, existential import and De Morgan
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
X-Original-Sender: durka42@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c00::22a
 as permitted sender) smtp.mail=durka42@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="545fb13a_7525f2bc_13b"
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--545fb13a_7525f2bc_13b
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline

I really appreciate your explanation of the historical discussion here, but it seems to me if it were "essentially harmless" to make {ro} importing all the time, it wouldn't break De Morgan's law or invalidate simple examples. So I'm still confused. 


On Sunday, November 9, 2014 at 11:19 AM, Gleki Arxokuna wrote:

> 
> 
> 2014-11-09 18:20 GMT+03:00 John Cowan <cowan@mercury.ccil.org (mailto: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 (mailto: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 (mailto:bpfk-list%2Bunsubscribe@googlegroups.com).
> > To post to this group, send email to bpfk-list@googlegroups.com (mailto: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 (mailto:bpfk-list+unsubscribe@googlegroups.com).
> To post to this group, send email to bpfk-list@googlegroups.com (mailto: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.

--545fb13a_7525f2bc_13b
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline


                <div>
                    I really appreciate your explanation of the historical =
discussion here, but it seems to me if it were "essentially harmless" to ma=
ke {ro} importing all the time, it wouldn't break De Morgan's law or invali=
date simple examples. So I'm still confused.
                </div>
                <div></div>
                =20
                <p style=3D"color: #A0A0A8;">On Sunday, November 9, 2014 at=
 11:19 AM, Gleki Arxokuna wrote:</p>
                <blockquote type=3D"cite" style=3D"border-left-style:solid;=
border-width:1px;margin-left:0px;padding-left:10px;">
                    <span><div><div><div dir=3D"ltr"><br><div><br><div>2014=
-11-09 18:20 GMT+03:00 John Cowan <span dir=3D"ltr">&lt;<a href=3D"mailto:c=
owan@mercury.ccil.org" target=3D"_blank">cowan@mercury.ccil.org</a>&gt;</sp=
an>:<br><blockquote type=3D"cite"><div>Ozymandias Haynes scripsit:<br>
<span><br>
&gt; In examples 11.5 through 11.7, the<br>
&gt; predicate logic negation theorem is applied to "ro da poi" statements.=
<br>
<br>
</span>Ah.&nbsp; In that case, those examples are wrong and should be fixed=
 (someone<br>
should mark the wiki</div></blockquote><div><br></div><div>Could you please=
 provide 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 Er=
rata page which is <br><a href=3D"http://www.lojban.org/tiki/CLL,+aka+Refer=
ence+Grammar,+Errata">http://www.lojban.org/tiki/CLL,+aka+Reference+Grammar=
,+Errata</a><br>&nbsp;</div><blockquote type=3D"cite"><div>, or wherever th=
e errata go nowadays).&nbsp; As I'm sure<br>
you can imagine, it'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><br>
--<br>
John Cowan&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <a href=3D"http://www.ccil.org=
/~cowan" target=3D"_blank">http://www.ccil.org/~cowan</a>&nbsp; &nbsp; &nbs=
p; &nbsp; <a href=3D"mailto:cowan@ccil.org">cowan@ccil.org</a><br>
</span>&nbsp; &nbsp; &nbsp; &nbsp; You tollerday donsk?&nbsp; N.&nbsp; You =
tolkatiff scowegian?&nbsp; Nn.<br>
&nbsp; &nbsp; &nbsp; &nbsp; You spigotty anglease?&nbsp; Nnn.&nbsp; You pho=
nio saxo?&nbsp; Nnnn.<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Clear all so!&nbsp;=
 `Tis a Jute.... (Finnegans Wake 16.5)<br>
<div><div><br>
--<br>
You received this message because you are subscribed to the Google Groups "=
BPFK" 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></div></blockquote></div><br></div></div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups "=
BPFK" 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>
</div></div></span>
                =20
                =20
                =20
                =20
                </blockquote>
                =20
                <div>
                    <br>
                </div>
           =20

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

--545fb13a_7525f2bc_13b--