Received: from mail-bw0-f61.google.com ([209.85.214.61]:52556)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRD72NX1BBoE77CpOQ@googlegroups.com>)
	id 1RMjf3-0000jM-N1; Sat, 05 Nov 2011 10:04:12 -0700
Received: by bkat2 with SMTP id t2sf3410287bka.16
        for <multiple recipients>; Sat, 05 Nov 2011 10:03:57 -0700 (PDT)
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
         :content-transfer-encoding;
        bh=pfvQvm7EjcGMSeIz3TxZAJ96FSb45fRbB3+D5qb3aEc=;
        b=ID0QYcij/yXrkOX5ll8XZC0P3eX3+xQL3/TB/V4Euxq/ePLTwO1qSu2f+albw8azzR
         q7Zt2NAVkEH5IN1eX8Sp7K897qGE+mADReY38Z7XZ2d2XiT2dpXYpNvMLMCs8qVYIWZz
         Eyd07mqqZDqqt/lcJvkFe53SgVvYW64OEHtLo=
Received: by 10.204.14.7 with SMTP id e7mr1684972bka.21.1320512635115;
        Sat, 05 Nov 2011 10:03:55 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.29.7 with SMTP id o7ls435769bkc.2.gmail; Sat, 05 Nov 2011
 10:03:54 -0700 (PDT)
Received: by 10.204.151.81 with SMTP id b17mr2262215bkw.3.1320512633933;
        Sat, 05 Nov 2011 10:03:53 -0700 (PDT)
Received: by 10.204.151.81 with SMTP id b17mr2262214bkw.3.1320512633907;
        Sat, 05 Nov 2011 10:03:53 -0700 (PDT)
Received: from mail-fx0-f43.google.com (mail-fx0-f43.google.com [209.85.161.43])
        by gmr-mx.google.com with ESMTPS id h3si6744517fao.3.2011.11.05.10.03.53
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 05 Nov 2011 10:03:53 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.43 as permitted sender) client-ip=209.85.161.43;
Received: by mail-fx0-f43.google.com with SMTP id t9so5044637faa.30
        for <lojban@googlegroups.com>; Sat, 05 Nov 2011 10:03:53 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.152.102.138 with SMTP id fo10mr3125654lab.44.1320512633753;
 Sat, 05 Nov 2011 10:03:53 -0700 (PDT)
Received: by 10.152.19.198 with HTTP; Sat, 5 Nov 2011 10:03:53 -0700 (PDT)
In-Reply-To: <20111105162316.GA835@gonzales>
References: <4EAC5B24.4000604@gmail.com>
	<20111103234955.GA3758@gonzales>
	<4EB43035.6040407@gmail.com>
	<20111104233756.GB24058@gonzales>
	<CAO7tK2dzo0vjzQLwQObDo3GnOrjvEEE6_6K1wb0+a=On-H_gzw@mail.gmail.com>
	<20111105051200.GD24058@gonzales>
	<CAO7tK2cWRu-KW8Nbd7+a1fpB9va=YinWw=L73WDppcc2=_YSMg@mail.gmail.com>
	<20111105151953.GG24058@gonzales>
	<20111105153425.GH24058@gonzales>
	<CAO7tK2cfkbM4DVKSTHwVXWzm7TCRK4fW4aHEwq-r6OxeRnUM5g@mail.gmail.com>
	<20111105162316.GA835@gonzales>
Date: Sat, 5 Nov 2011 14:03:53 -0300
Message-ID: <CAO7tK2fALx9b887aNhdW8wpt_jJDBwrUEH1EhTW9jSD4kznheg@mail.gmail.com>
Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.161.43 as permitted sender)
 smtp.mail=jjllambias@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
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

On Sat, Nov 5, 2011 at 1:23 PM, Martin Bays <mbays@sdf.org> wrote:
> * Saturday, 2011-11-05 at 13:00 -0300 - Jorge Llamb=EDas <jjllambias@gmai=
l.com>:
>
>> It seems to me the only way you could do that is shift domains in
>> mid-deduction, which is not a valid move.
>
> Make that "metadeduce", if you insist.

So a metadeduction allows reasonable shifts in the domain of
discourse, right? (We need "reasonable" for otherwise any
non-contradiction could probably be metadeduced from anything.)

> If we know that every resident is ruled by a non-resident, which is what
> we would understand by {ro xabju cu se turni su'o na'e xabju}, then we
> could conclude that there are some kinds of non-resident which rule
> every resident,

I would say a reasonable metadeduction is "some kind" rather than
"some kinds", namely the resident-ruling kind of non-resident. I can't
think of any other reasonable kind of non-resident rulers from that
context.

>which I believe is a meaning you would ascribe to
> {su'o na'e xabju cu turni ro xabju}.

I would or I could? It is not the meaning I would ascribe to it out of
the blue. My first choice would be to use the same individuation
criteria for both "xabju" and "na'e xabju", since they are almost the
same predicate.

> So {ro xabju cu se turni su'o na'e xabju .i .ua su'o na'e xabju cu turni
> ro xabju} would be a reasonable thought process (with a domain switch
> having occurred between the sentences).
>
> No?

Not for me, no. This seems to be more about psychology than about
logic. It doesn't seem reasonable to me to jump from one domain to
another like that without any indication that you are doing so. I
would have no problem with ".i ju'o su'o klesi be lo na'e xabju cu
turni ro xabju". And then, once that class of non residents is in the
picture, I wouldn't object to you saying something about "lo na'e
xabju poi turni ro xabju". But we are not talking about any logical
deductions here.

mu'o mi'e xorxes

--=20
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@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.