Received: from mail-bw0-f61.google.com ([209.85.214.61]:51342)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRCS0P_1BBoE2uc_ng@googlegroups.com>)
	id 1RPcNh-0003lT-2s; Sun, 13 Nov 2011 07:54:11 -0800
Received: by bkat2 with SMTP id t2sf4980133bka.16
        for <multiple recipients>; Sun, 13 Nov 2011 07:53:57 -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
         :content-transfer-encoding;
        bh=fZco+DD0ddxHGyUgX7b7kO+HM1eSQHZ0HOK+d2sorP0=;
        b=zL/MqC2XumenpC/44qtlilwK9mmvFHPJpik2M7gt6bds+V+cspCQkdY1u1C3a6Dufv
         G054CTCCiq3yjrnUpDvnrNStWZ5q4DHVgyunvF2qgjxYd3rajU4f67jxcZf2d5ZCH8nO
         H8xa4TFS/NyQ0A4exCMYaj4GkHT67zN+9jUIU=
Received: by 10.205.137.20 with SMTP id im20mr185249bkc.12.1321199634172;
        Sun, 13 Nov 2011 07:53:54 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.152.154 with SMTP id g26ls8041724bkw.3.gmail; Sun, 13 Nov
 2011 07:53:53 -0800 (PST)
Received: by 10.205.127.148 with SMTP id ha20mr111676bkc.6.1321199632908;
        Sun, 13 Nov 2011 07:53:52 -0800 (PST)
Received: by 10.205.127.148 with SMTP id ha20mr111675bkc.6.1321199632893;
        Sun, 13 Nov 2011 07:53:52 -0800 (PST)
Received: from mail-fx0-f41.google.com (mail-fx0-f41.google.com [209.85.161.41])
        by gmr-mx.google.com with ESMTPS id h3si9848263fao.3.2011.11.13.07.53.52
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 13 Nov 2011 07:53:52 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.41 as permitted sender) client-ip=209.85.161.41;
Received: by faas10 with SMTP id s10so3028465faa.14
        for <lojban@googlegroups.com>; Sun, 13 Nov 2011 07:53:52 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.102.148 with SMTP id fo20mr11654067lab.51.1321199632703;
 Sun, 13 Nov 2011 07:53:52 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sun, 13 Nov 2011 07:53:52 -0800 (PST)
In-Reply-To: <20111113153441.GB3277@gonzales>
References: <BC4158B4-9A03-4FA3-B5FE-1E0065FD5243@yahoo.com>
	<20111112173901.GC2702@gonzales>
	<CAO7tK2f746BHY3t=abooFu1W+nCD2NVkzk+1e8L0awOP6=N0Bg@mail.gmail.com>
	<20111113153441.GB3277@gonzales>
Date: Sun, 13 Nov 2011 12:53:52 -0300
Message-ID: <CAO7tK2fA+AjEjaNeWQ39qD1tLupOY3zKMjz2Q29bdtD7w=vEiQ@mail.gmail.com>
Subject: Re: [lojban] Lions and levels and the like
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.41 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.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Sun, Nov 13, 2011 at 12:34 PM, Martin Bays <mbays@sdf.org> wrote:
> * Sunday, 2011-11-13 at 10:10 -0300 - Jorge Llamb=EDas <jjllambias@gmail.=
com>:
>>
>> You have some hidden assumptions there, for example that there are
>> actual teachers of the kind that talks to every student.
>
> Could there not be, assuming the kind does talk to every student?

Probably not. I was just pointing out that B's trans-domain deduction
relies on more than the mere form "su'o broda cu brode ro le brodi".
It's also relying on particularities of broda, brode and brodi.

> I don't know the semantics of kinds talking to people; I was assuming
> they'd just be straightforwardly disjunctive.

Sounds reasonable to me as a first stab.

>> And B can deduce more: that there is some kind of teacher such that
>> every student was talked to by some teacher of that kind.
>
> Right, except that the kind could (at least in theory) be the kind
> Teacher.

It could, yes. It would be pragmatically unlikely because of the
"su'o", but from a strictly logical point of view it could. For B to
be able get no more than your deduction, B would have to make that
unlikely assumption.

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.