Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Q4E3z-0002qn-6C; Mon, 28 Mar 2011 08:09:08 -0700 Received: by fxm14 with SMTP id 14sf5391786fxm.16 for ; Mon, 28 Mar 2011 08:08:55 -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; bh=8m2hWZjhB8opbdcAsCZ3iw234P7cDIX9SezxaUDsAjw=; b=Ho9cPoUFd7j5+NqqcuABH1RUurvnoLSyLGdROKAT/W/9nODPcwQFwhscxBUQrgT2Gi G4wvUDRXFCa1K3XC8D+/ZDi+fe/3mZsIKbLPHUvjgqwid1JJXtlZasTfDA8QxND5NRE4 Zn31ft4A9JLxh/RGh3tURSoSdDP17YsX04CtQ= 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; b=5UrLmbzb2dxE2FGnd4gVxnmKQMU/VX0UDFFF0hLNfP9NM3XBmbiFcj/BorA1E84A8R ertLW9jyz5krFAYokQSdCzRtQ7RNooi10Xp/CGcwVcs9/Wz6mm8fgTuMcl4ATgE0z4OB 5CwRTfjD5um0XARoyq68haNz13SjfYaMdmcjg= Received: by 10.223.74.85 with SMTP id t21mr440909faj.17.1301324929545; Mon, 28 Mar 2011 08:08:49 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.223.15.10 with SMTP id i10ls1177670faa.1.p; Mon, 28 Mar 2011 08:08:48 -0700 (PDT) Received: by 10.223.161.207 with SMTP id s15mr455946fax.6.1301324928001; Mon, 28 Mar 2011 08:08:48 -0700 (PDT) Received: by 10.223.161.207 with SMTP id s15mr455945fax.6.1301324927970; Mon, 28 Mar 2011 08:08:47 -0700 (PDT) Received: from mail-bw0-f42.google.com (mail-bw0-f42.google.com [209.85.214.42]) by gmr-mx.google.com with ESMTPS id n23si421574fam.1.2011.03.28.08.08.46 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 28 Mar 2011 08:08:46 -0700 (PDT) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.42 as permitted sender) client-ip=209.85.214.42; Received: by bwz18 with SMTP id 18so3030323bwz.15 for ; Mon, 28 Mar 2011 08:08:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.73.139 with SMTP id q11mr3807710bkj.18.1301324926548; Mon, 28 Mar 2011 08:08:46 -0700 (PDT) Received: by 10.204.104.5 with HTTP; Mon, 28 Mar 2011 08:08:46 -0700 (PDT) In-Reply-To: References: <20110327235147.GM14415@digitalkingdom.org> Date: Mon, 28 Mar 2011 09:08:46 -0600 Message-ID: Subject: Re: [bpfk] Uniqueness across quantification. From: Jonathan Jones To: bpfk-list@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.42 as permitted sender) smtp.mail=eyeonus@gmail.com; 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: X-Google-Group-Id: 972099695765 List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=0016e6db2ff2fbfc81049f8c51e4 Content-Length: 9696 --0016e6db2ff2fbfc81049f8c51e4 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable What about fa'u? Could that be used for a simple bridi in this situation to indicate each of the three people lives in one unique house each? 2011/3/28 Jorge Llamb=EDas > On Sun, Mar 27, 2011 at 8:51 PM, Robin Lee Powell > 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. > > > Worse, 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. Am I missing something? > > > > 2. Is there a decent, short way to handle this rigorously? {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. If the answer to #2 is no, does this seem worthy of explicitely > > handling? If 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 > suggest: > > 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. I 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 > > -- > 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@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/bpfk-list?hl=3Den. > > --=20 mu'o mi'e .aionys. .i.a'o.e'e ko cmima le bende pe lo pilno be denpa bu .i doi.luk. mi patfu d= o zo'o (Come to the Dot Side! Luke, I am your father. :D ) --=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. --0016e6db2ff2fbfc81049f8c51e4 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable What about fa'u? Could that be used for a simple bridi in this situatio= n to indicate each of the three people lives in one unique house each?
<= br>
2011/3/28 Jorge Llamb=EDas = <jjllambias@gmail.com>
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<= br> 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:

=A0da'a ci remna cu xabju vei me'i pa .a za'u pa ve'o zdan= i
=A0All 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<= br> 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 l= e
> 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<= br> > handling? =A0If so, what solution do you propose?

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

=A0lo 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:

=A0ro lo ci remna cu xabju lo frica zdani

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

> I note h= ttp://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<= br> sound way. Personally I think it's nonsense.

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;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@googlegroups.com.<= br> For more options, visit this group at http://groups.google.com/group/bp= fk-list?hl=3Den.




--
mu'o mi= 'e .aionys.

.i.a'o.e'e ko cmima le bende pe lo pilno be = denpa bu .i doi.luk. mi patfu do zo'o
(Come to the Dot Side! Luke, I= am your father. :D )

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