Received: from mail-ig0-f191.google.com ([209.85.213.191]:40162)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCGJHDV3NEIP3X4PUICRUBCFGKWPS@googlegroups.com>)
	id 1Xftxs-0000FV-QT; Sun, 19 Oct 2014 10:08:28 -0700
Received: by mail-ig0-f191.google.com with SMTP id h3sf658234igd.28
        for <multiple recipients>; Sun, 19 Oct 2014 10:08:14 -0700 (PDT)
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=yV9qMSNfZHhwCWwNcmDdgNNYTsFq6MygapspPypWy2U=;
        b=pxchB2GY1KL3jRRxajbBt/5ZoHjPZQ6BM4J2Z4ats67xb4A1EJk3zBFQ/cD0bXCTho
         hnc5P+HgxrWicVyHOwnLPpU7jy84dvuEKtnL2wE9iBtpXEaPylkmyIXrGyHOt3RRz5GR
         P8wwmMP3f1pnS1udR1MXD2pRXujZk2Uko4lGLE6rd0NKxI3rmCbpOdm1YAdlpmeZq14o
         cWqQV3CWjTKv1Lm0+ZtFVB1brDFiI9zkfPo1a0Kr3ZzaVxNsEA0EA+wjp6ljNXKLisDY
         BMAuVeOrgw74iWDFGs3CbudzFiTIWU7r0Sr5KFok8etrVz8srt+u5/3YdkekbrLK4Ab8
         3o8Q==
X-Received: by 10.140.44.5 with SMTP id f5mr348486qga.2.1413738494066;
        Sun, 19 Oct 2014 10:08:14 -0700 (PDT)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.140.31.8 with SMTP id e8ls1835276qge.37.gmail; Sun, 19 Oct
 2014 10:08:13 -0700 (PDT)
X-Received: by 10.52.17.170 with SMTP id p10mr14764015vdd.6.1413738493446;
        Sun, 19 Oct 2014 10:08:13 -0700 (PDT)
Received: from earth.ccil.org (earth.ccil.org. [192.190.237.11])
        by gmr-mx.google.com with ESMTPS id 19si384467igl.2.2014.10.19.10.08.10
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Sun, 19 Oct 2014 10:08:10 -0700 (PDT)
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 1Xftxg-0002V2-Os
	for bpfk-list@googlegroups.com; Sun, 19 Oct 2014 13:08:08 -0400
Date: Sun, 19 Oct 2014 13:08:08 -0400
From: John Cowan <cowan@mercury.ccil.org>
To: bpfk-list@googlegroups.com
Subject: Re: [bpfk] {ro}, existential import and De Morgan
Message-ID: <20141019170808.GJ12991@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>
MIME-Version: 1.0
In-Reply-To: <676B49242B0D4F6A986D6AFEA1EB3B3C@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=ISO-8859-1
Content-Disposition: inline
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -
Content-Length: 1107

Alex Burka scripsit:

> Ok, so just to clarify what you were correcting, with importing {ro}
> you would say {ro broda cu brode} and {ro da poi broda cu brode} are
> the same thing and require {su'o da broda}, while {ro da ganai broda
> gi brode} is different and just requires a non-empty universe?

Right.  The difference is between restricted and unrestricted quantification.

-- 
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
Lope de Vega: "It wonders me I can speak at all.  Some caitiff rogue
did rudely yerk me on the knob, wherefrom my wits yet wander."
An Englishman: "Ay, belike a filchman to the nab'll leave you
crank for a spell." --Harry Turtledove, Ruled Britannia

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