Received: from mail-iy0-f189.google.com ([209.85.210.189]:54719)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIywt_XDCRDViZr2BBoEAP0hIg@googlegroups.com>)
	id 1RRR78-0000XV-NO; Fri, 18 Nov 2011 08:16:40 -0800
Received: by iage36 with SMTP id e36sf5643666iag.16
        for <multiple recipients>; Fri, 18 Nov 2011 08:16:24 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:x-yahoo-newman-property:x-yahoo-newman-id
         :x-ymail-osg:x-mailer:references:message-id:date:from:subject:to
         :in-reply-to:mime-version: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=o1cetLedzOJenMpxTLcIz7motQoFVY5upLnVHMh3GBU=;
        b=w+y1PkiXCkYvPVfcGd83tK6dOeIfJ9ogzkLtkFscBB4dWUll+65ue2d59IZ54A7Fem
         UWgDeljAGZZkr+hP1kTVq9aCVwGmGGbaJevRm4RgVLSpeMHWdBMW71JEkGDR3yMCR/V5
         BbG6rvxvQKincItmqge5EK08Z68Qq5AEH2+9o=
Received: by 10.182.156.11 with SMTP id wa11mr41212obb.7.1321632981829;
        Fri, 18 Nov 2011 08:16:21 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.150.41.17 with SMTP id o17ls4934044ybo.2.gmail; Fri, 18 Nov
 2011 08:16:20 -0800 (PST)
Received: by 10.236.190.68 with SMTP id d44mr6095354yhn.1.1321632979981;
        Fri, 18 Nov 2011 08:16:19 -0800 (PST)
Received: by 10.236.190.68 with SMTP id d44mr6095350yhn.1.1321632979964;
        Fri, 18 Nov 2011 08:16:19 -0800 (PST)
Received: from nm1-vm1.access.bullet.mail.mud.yahoo.com (nm1-vm1.access.bullet.mail.mud.yahoo.com. [66.94.236.28])
        by gmr-mx.google.com with SMTP id d63si361919yhe.2.2011.11.18.08.16.19;
        Fri, 18 Nov 2011 08:16:19 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 66.94.236.28 as permitted sender) client-ip=66.94.236.28;
Received: from [66.94.237.196] by nm1.access.bullet.mail.mud.yahoo.com with NNFMP; 18 Nov 2011 16:16:19 -0000
Received: from [66.94.237.106] by tm7.access.bullet.mail.mud.yahoo.com with NNFMP; 18 Nov 2011 16:16:19 -0000
Received: from [127.0.0.1] by omp1011.access.mail.mud.yahoo.com with NNFMP; 18 Nov 2011 16:16:19 -0000
X-Yahoo-Newman-Property: ymail-5
X-Yahoo-Newman-Id: 683304.16625.bm@omp1011.access.mail.mud.yahoo.com
Received: (qmail 46501 invoked by uid 60001); 18 Nov 2011 16:16:19 -0000
X-YMail-OSG: pR_ryAAVM1kKT40GqUFhm3e1679kYlgyTG4.p64bHH42JN_
 YeTYJK.RLKR7NyMB_p7nzfpETeLF45ATZesJ4C48izgliJXnng4SSbnh_xIQ
 DNfEQxyL661jR68vNBmTQM4rcDl.SijZ2KfEtCfDeb5jZBjHuLgNu404uoG3
 sLD9DVx95DZajWBPJzTeV8qE8fMessNphoDqkNZYrmihEGrCkLywBdAUqsEv
 S2K5YIn944IhMg.07R.I64BlfktNKSUeC8vzluBABUI83Am4_cd5zlcV9D6G
 x7qoYjpsF62lnATVVGu9ZVlAYigI27Wrz4V8IEl8Fap4CEGcwJVQ1XR3HgEO
 noRczZrgS8Cg9VcWYuGZnlmzd_Bl2fMLApEVpo8B1A8AIUWt9diIpM8xEKQJ
 pv2s5z86lzcMq_8VUK9apas_omTR7bg2plOhTScaZYIMksggGXwDRipO190S
 WlniDb4nGBZVzwEtVXSmeqfAPEqs3Wl527xDST.kIg0zsPHJ9wHTQBimFqlP
 4l2kkWzyF.bc9AD5CvNlxJYkRLWiWKxROQV3Z2RKL
Received: from [99.92.108.41] by web81307.mail.mud.yahoo.com via HTTP; Fri, 18 Nov 2011 08:16:19 PST
X-Mailer: YahooMailRC/589 YahooMailWebService/0.8.115.325013
References: <1321501066.64722.YahooMailRC@web81306.mail.mud.yahoo.com> <CAOYwWb10sDFZMfj8PDLJcs4=PNfKidsxFs6-7oJL2XKMycBSBA@mail.gmail.com> <CAO7tK2eVLOEVpdO9rWE+FF8RRpVud_KcXQWFBgde834FTQRQow@mail.gmail.com> <CAOYwWb0qongWuyfY6CbA3T37ie+-ZLGy0C8oj5-L8X-7aPBD_A@mail.gmail.com> <CAOYwWb27k5TTPSkKLvdRd2gRQ=GCq=iu13e2YaZ3gJ50YqXzdA@mail.gmail.com>
Message-ID: <1321632979.43669.YahooMailRC@web81307.mail.mud.yahoo.com>
Date: Fri, 18 Nov 2011 08:16:19 -0800 (PST)
From: John E Clifford <kali9putra@yahoo.com>
Subject: Re: [lojban] Lions and levels and the like
To: lojban@googlegroups.com
In-Reply-To: <CAOYwWb27k5TTPSkKLvdRd2gRQ=GCq=iu13e2YaZ3gJ50YqXzdA@mail.gmail.com>
MIME-Version: 1.0
X-Original-Sender: kali9putra@yahoo.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of kali9putra@yahoo.com designates 66.94.236.28
 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

The glorking can be made explicit in various ways.  I, of course, take the {lo 
danlu cu mabru} case as disjunctive predication, assuming that {lo danlu} is 
here one of those superbunches.  But this presents no problems (as do not the 
others either) if taken as local bunches: unknown animal being investigated, 
find drops of lactation in lair, so conclude above.



----- Original Message ----
From: maikxlx <maikxlx@gmail.com>
To: lojban@googlegroups.com
Sent: Thu, November 17, 2011 5:11:00 PM
Subject: Re: [lojban] Lions and levels and the like

I need to correct an earlier paragraph.

On Thu, Nov 17, 2011 at 3:32 PM, maikxlx <maikxlx@gmail.com> wrote:
> It dawns on me in passing that in the case of {lo remna cu mabru} what
> appears to be universal quantification over x1 is probably built into
> the meaning {mabru} in a similar way that a kind-abstractor over x2
> seems to be built into the meaning of {finti}.  So maybe {X mabru}
> entails {ro X mabru} automatically by predicate definition, and maybe
> these "curiosities" are fewer than they appear.
>

This is totally wrong under both xorlo and CLL.  Starting with:

(1a) {lo lurdzu cu remna}, which seems uncontroversial insofar as all
moon walkers have been human.  We've already established:

(1a) {lo remna cu lurdzu}, despite the fact that only a small part on
humanity has walked on the moon.  Just as uncontroversial as (1a) is:

(2a) {lo mabru cu danlu}.  If (1a):(1b)::(2a):(2b), then:

(2b) {lo danlu cu mabru}, however curious*, must also be acceptable at
least under some interpretations.  Since:

(2b')  {ro lo danlu cu mabru} is always untrue, it follows that the x1
of {mabla} cannot have implicit universal quantification under xorlo
logic without contradiction with (2b).

*I say this is curious because if xorlo {lo danlu} is glorked
(contextually, say) as danlu-kind, then this is false (as it
intuitively should be), whereas {lo mabru cu danlu} is probably always
true under any domain.

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

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