Received: from mail-vw0-f61.google.com ([209.85.212.61]:62568)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCNXflom_FxCFqZb2BBoEPljrLA@googlegroups.com>)
	id 1RRB6t-0001UM-6g; Thu, 17 Nov 2011 15:11:15 -0800
Received: by vbbez10 with SMTP id ez10sf6947vbb.16
        for <multiple recipients>; Thu, 17 Nov 2011 15:11:04 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf: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:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        bh=rget/v1ToBpJrxr1LNpzQejCEzvwVwHKaphrmIb6FE4=;
        b=cvrhybwgUVEuR5rQBolovpXdtcUzUGU/x1u88a4DyW+S+9yhJxrG45my52rIB4VPc4
         JLZa5Tz1pqeubEhh72BXhld2tpOcIzsqJtUbDxeaSpi6uz7YqReF7jhRksnYJMSjqIXw
         7k/5GeqQIMpYpMwnJES2IDbRO+RZ5aOEmc9Xw=
Received: by 10.52.92.232 with SMTP id cp8mr506109vdb.13.1321571461947;
        Thu, 17 Nov 2011 15:11:01 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.101.208.32 with SMTP id k32ls2920825anq.5.gmail; Thu, 17 Nov
 2011 15:11:00 -0800 (PST)
Received: by 10.101.193.18 with SMTP id v18mr194974anp.13.1321571460872;
        Thu, 17 Nov 2011 15:11:00 -0800 (PST)
Received: by 10.101.193.18 with SMTP id v18mr194973anp.13.1321571460852;
        Thu, 17 Nov 2011 15:11:00 -0800 (PST)
Received: from mail-gx0-f179.google.com (mail-gx0-f179.google.com [209.85.161.179])
        by gmr-mx.google.com with ESMTPS id d63si1925180yhe.2.2011.11.17.15.11.00
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 17 Nov 2011 15:11:00 -0800 (PST)
Received-SPF: pass (google.com: domain of maikxlx@gmail.com designates 209.85.161.179 as permitted sender) client-ip=209.85.161.179;
Received: by ggnq2 with SMTP id q2so2166297ggn.24
        for <lojban@googlegroups.com>; Thu, 17 Nov 2011 15:11:00 -0800 (PST)
MIME-Version: 1.0
Received: by 10.68.57.33 with SMTP id f1mr3111524pbq.104.1321571460507; Thu,
 17 Nov 2011 15:11:00 -0800 (PST)
Received: by 10.142.224.8 with HTTP; Thu, 17 Nov 2011 15:11:00 -0800 (PST)
In-Reply-To: <CAOYwWb0qongWuyfY6CbA3T37ie+-ZLGy0C8oj5-L8X-7aPBD_A@mail.gmail.com>
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>
Date: Thu, 17 Nov 2011 18:11:00 -0500
Message-ID: <CAOYwWb27k5TTPSkKLvdRd2gRQ=GCq=iu13e2YaZ3gJ50YqXzdA@mail.gmail.com>
Subject: Re: [lojban] Lions and levels and the like
From: maikxlx <maikxlx@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: maikxlx@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of maikxlx@gmail.com designates 209.85.161.179 as permitted sender)
 smtp.mail=maikxlx@gmail.com; dkim=pass (test mode) header.i=@gmail.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.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

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.