Received: from mail-pv0-f189.google.com ([74.125.83.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <bpfk-list+bncCJ2UzZHuDRCL8sHsBBoE_z99uw@googlegroups.com>)
	id 1Q4BAV-0001By-PW; Mon, 28 Mar 2011 05:03:48 -0700
Received: by pvc22 with SMTP id 22sf562432pvc.16
        for <multiple recipients>; Mon, 28 Mar 2011 05:03:29 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature: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=BgMZqqJqvEfPAMYYTvqW5eX5rmX9W5FFSz1X1u1wC74=;
        b=1xVihn5YvnwjCgnPuGJtu4JuXSCNOuXw0dXkYNZES3gZ6Z6Os4R6f1URGxarz1miA4
         cBZx6c6ScMDcchIBg+1DWPnuaUQh9OWm3jXxddZEb/8p0Ffli4zx52sRL2uz8jD4Am4K
         j+myYN4aya+53zHoj2NsOt5sfFJGPlZJFDIFo=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        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;
        b=PmE3rL+6fLwrEoRuHZaN1CIKcsXNHS9wglpi55dU8KOk+z/FbOwrP/VzM86rLXRymI
         FlAB3kE/0qBKfqI3Ub18E6NFYyr9T8GW2IdRqu5aPcGw/UldfzITuHuSVv4Hhnk121Rr
         9FKAcKBZD9XIBYpRTkdAwaA6T2Mw/b+tERA7Q=
Received: by 10.142.210.16 with SMTP id i16mr320987wfg.47.1301313803637;
        Mon, 28 Mar 2011 05:03:23 -0700 (PDT)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.142.44.4 with SMTP id r4ls5372555wfr.1.p; Mon, 28 Mar 2011
 05:03:22 -0700 (PDT)
Received: by 10.143.21.39 with SMTP id y39mr3532739wfi.12.1301313802841;
        Mon, 28 Mar 2011 05:03:22 -0700 (PDT)
Received: by 10.143.21.39 with SMTP id y39mr3532737wfi.12.1301313802812;
        Mon, 28 Mar 2011 05:03:22 -0700 (PDT)
Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234])
        by gmr-mx.google.com with ESMTPS id u26si4215494wfc.5.2011.03.28.05.03.22
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 28 Mar 2011 05:03:22 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234;
Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72)
	(envelope-from <nobody@digitalkingdom.org>)
	id 1Q4BAG-0001Al-KA
	for bpfk-list@googlegroups.com; Mon, 28 Mar 2011 05:03:20 -0700
Received: from mail-wy0-f181.google.com ([74.125.82.181])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <jjllambias@gmail.com>)
	id 1Q4BA8-00018R-Gp
	for bpfk@lojban.org; Mon, 28 Mar 2011 05:03:19 -0700
Received: by wyi11 with SMTP id 11so2855663wyi.40
        for <bpfk@lojban.org>; Mon, 28 Mar 2011 05:03:05 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.227.172.7 with SMTP id j7mr3656938wbz.60.1301313785572; Mon,
 28 Mar 2011 05:03:05 -0700 (PDT)
Received: by 10.227.146.204 with HTTP; Mon, 28 Mar 2011 05:03:05 -0700 (PDT)
In-Reply-To: <20110327235147.GM14415@digitalkingdom.org>
References: <20110327235147.GM14415@digitalkingdom.org>
Date: Mon, 28 Mar 2011 09:03:05 -0300
Message-ID: <AANLkTinOs-MVhSif-2zufXT6S_w0=0qyqNrzmu8zcieQ@mail.gmail.com>
Subject: Re: [bpfk] Uniqueness across quantification.
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: bpfk-list@googlegroups.com, bpfk@lojban.org
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of nobody@digitalkingdom.org designates
 173.13.139.234 as permitted sender) smtp.mail=nobody@digitalkingdom.org;
 dkim=pass (test mode) header.i=@gmail.com
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?hl=en_US>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list?hl=en_US>
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>,
 <mailto:bpfk-list+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Length: 3287

On Sun, Mar 27, 2011 at 8:51 PM, Robin Lee Powell
<rlpowell@digitalkingdom.org> wrote:
>
> In {ci remna cu xabju pa zdani}, we have 3 houses total, one for
> each person, due to distributivity.

No, we have no idea how many houses we have. All we are told is that
three humans live in one house, we are not told how many humans live
in more than one house, how many live in no house at all, or how many
houses are uninhabited.

A useful check for this kind of statement is to consider its
da'a-equivalent. The statement is equivalent to:

  da'a ci remna cu xabju vei me'i pa .a za'u pa ve'o zdani
  All but three humans live in less than one or more than one houses.

The two statements are logically equivalent. In the second form we are
less likely to confuse the quantifiers with determiners.

Of the three humans that we are told that live in exactly one house,
we are told nothing about whether they all share the same house,
whether two of them share a house and the other one lives alone or
with somebody else, or whether each of them lives in a different house
(alone or with other people).

> But as far as I can tell, the
> red book does not specificy if each of those houses is distinct;
> they could all be living in one house, or sharing 2, or one each,
> there's no way to tell.

Correct.

>=A0Worse, there's no way to explicitely mark
> one case or the other.

As the numbers grow larger, the different possible combinations grow
exponentially, so it would not be practical to have some simple way to
mark each possible distribution. The extreme cases, where they all
share one house or where each lives in a different house are
relatively easy, but first of all you want to indicate that you are
talking about three humans and not just saying how many humans (out of
some unmentioned total you are talking about) live in only one house.

> 1. =A0Am I missing something?
>
> 2. =A0Is there a decent, short way to handle this rigorously? =A0{ro le
> ci zdani cu se xabju pa le ci remna .i je re le ci remna cu xabju pa
> le ci zdani} is the best I've found, and it's pretty shitty.
>
> 3. =A0If the answer to #2 is no, does this seem worthy of explicitely
> handling? =A0If so, what solution do you propose?

If what you want to say is that three humans share one house, you could say=
:

  lo ci remna cu kansi'u lo ka xabju lo (pa) zdani

If you want to say that they each live in a different house, I would sugges=
t:

  ro lo ci remna cu xabju lo frica zdani

which is not logically rigorous, but it's clear enough. If you do need
logical rigour, I don't see any way other than multiple sentences.

> I note http://dag.github.com/cll/16/7/ for your consideration, as
> that seems the only relevant section. =A0I imagine {po'o} could be
> used here, perhaps with the termset trick shown there.

The termset trick has never been rigorously explained in a logically
sound way. Personally I think it's nonsense.

mu'o mi'e xorxes

--=20
You received this message because you are subscribed to the Google Groups "=
BPFK" group.
To post to this group, send email to bpfk-list@googlegroups.com.
To unsubscribe from this group, send email to bpfk-list+unsubscribe@googleg=
roups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-l=
ist?hl=3Den.