Received: from mail-qa0-f58.google.com ([209.85.216.58]:58442)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCGJHDV3NEIN7DH6UICRUBGURZOJI@googlegroups.com>)
	id 1XnUIs-0005nv-4X; Sun, 09 Nov 2014 07:21:29 -0800
Received: by mail-qa0-f58.google.com with SMTP id j7sf936617qaq.3
        for <multiple recipients>; Sun, 09 Nov 2014 07:21:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=date:from:to:subject:message-id:references:mime-version:in-reply-to
         :user-agent:sender:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:list-subscribe
         :list-unsubscribe:content-type:content-disposition;
        bh=V4LBSTf+I8b9XbOioMAGmZrek0MLdMDJ0R6hbEOaun0=;
        b=JEundzA8N2OKOR6D/l0CCjQTMEZ5oCAZD47HFhFoU72YhyXe8LiwrrF/cIfMMKUM+j
         kRBP4m1vmgVR30cvZazI5KllSBJ0TCPIRARswce5vaup9SBFJuO1BMNYDlGk+3kXjtX6
         f3baOgYVxfEJflM0VsT3fALaNQKVI3QdsztWkYDu6X6u3XQvyRz289Jsba9QS/ag771+
         c+JsodOZsXEliEBaMhxTtIQRkNzvHFi4JU6uQgvVuRMkean4DvvvVZ5/iABqLZf7ky2m
         CNP1wSi61yWCWXKcJhLEKbUIxM+nLYsvYzvtXiWIT37iXVsqAbsH9Y9rrUtFE9gB0NWS
         huzw==
X-Received: by 10.50.124.8 with SMTP id me8mr178116igb.3.1415546463360;
        Sun, 09 Nov 2014 07:21:03 -0800 (PST)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.50.98.3 with SMTP id ee3ls265332igb.38.canary; Sun, 09 Nov
 2014 07:21:03 -0800 (PST)
X-Received: by 10.68.222.10 with SMTP id qi10mr19924136pbc.9.1415546463089;
        Sun, 09 Nov 2014 07:21:03 -0800 (PST)
Received: from earth.ccil.org (earth.ccil.org. [192.190.237.11])
        by gmr-mx.google.com with ESMTPS id d4si576513igm.2.2014.11.09.07.21.01
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Sun, 09 Nov 2014 07:21:01 -0800 (PST)
Received-SPF: pass (google.com: domain of cowan@ccil.org designates 192.190.237.11 as permitted sender) client-ip=192.190.237.11;
Received: from cowan by earth.ccil.org with local (Exim 4.72)
	(envelope-from <cowan@ccil.org>)
	id 1XnUIV-0003gz-VO
	for bpfk-list@googlegroups.com; Sun, 09 Nov 2014 10:21:00 -0500
Date: Sun, 9 Nov 2014 10:20:59 -0500
From: John Cowan <cowan@mercury.ccil.org>
To: bpfk-list@googlegroups.com
Subject: Re: [bpfk] {ro}, existential import and De Morgan
Message-ID: <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>
MIME-Version: 1.0
In-Reply-To: <CAF2yp5CiKf+HkexB7yyBk6TMtHC0j5ntPdF7wV7EGdgF47Q64g@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Sender: bpfk-list@googlegroups.com
X-Original-Sender: cowan@ccil.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: domain of cowan@ccil.org designates 192.190.237.11 as permitted
 sender) smtp.mail=cowan@ccil.org
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
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: text/plain; charset=UTF-8
Content-Disposition: inline
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

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