Received: from mail-pz0-f61.google.com ([209.85.210.61]:50136)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIfp7ILVEBCPjIn3BBoE-oRP7A@googlegroups.com>)
	id 1RZ4Iq-0002OF-05; Fri, 09 Dec 2011 09:32:13 -0800
Received: by dajx4 with SMTP id x4sf3435908daj.16
        for <multiple recipients>; Fri, 09 Dec 2011 09:32:02 -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=VRYp56aQuQU6I5viYQpsvw3++pW/ks3ujorPxtvHrCY=;
        b=PkmQdkI9CTWqPp8/E9iV9fiWXrzixStiYd1wd3pPOFaHXwNLNnxv762ZiLiC/8Fiyg
         HnGurswkf8rMVVVi4rLCsoGgo/a6CFcA1vPO/LiWCDIKGRf1+BuLgj1bUbqwQRygaOWp
         lMxO5LYN6R02RGlWi8wAdPsFuSnPYlL8VpuGQ=
Received: by 10.68.211.165 with SMTP id nd5mr519571pbc.8.1323451919284;
        Fri, 09 Dec 2011 09:31:59 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.32.131 with SMTP id j3ls407811pbi.3.gmail; Fri, 09 Dec 2011
 09:31:58 -0800 (PST)
Received: by 10.68.213.232 with SMTP id nv8mr2498118pbc.6.1323451918198;
        Fri, 09 Dec 2011 09:31:58 -0800 (PST)
Received: by 10.68.213.232 with SMTP id nv8mr2498117pbc.6.1323451918189;
        Fri, 09 Dec 2011 09:31:58 -0800 (PST)
Received: from mail-pz0-f46.google.com (mail-pz0-f46.google.com [209.85.210.46])
        by gmr-mx.google.com with ESMTPS id n6si2759598pbg.2.2011.12.09.09.31.58
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 09 Dec 2011 09:31:58 -0800 (PST)
Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.210.46 as permitted sender) client-ip=209.85.210.46;
Received: by dadw7 with SMTP id w7so1120887dad.33
        for <lojban@googlegroups.com>; Fri, 09 Dec 2011 09:31:58 -0800 (PST)
MIME-Version: 1.0
Received: by 10.68.212.161 with SMTP id nl1mr7765066pbc.38.1323451918028; Fri,
 09 Dec 2011 09:31:58 -0800 (PST)
Received: by 10.68.52.234 with HTTP; Fri, 9 Dec 2011 09:31:57 -0800 (PST)
In-Reply-To: <CAPAJj9JFrUrTdp6-T8s0HKhpiNdFY7ELx-KGDEeNqWD6fq9MJQ@mail.gmail.com>
References: <CALMa68qP1rans_GfLQHb7nwthw9w5zJwEfrFr-t+uRP-FXNcMw@mail.gmail.com>
	<CAPAJj9Kk6zgouKjRyGGDybPcM49MhLa0Rf5waNML0WPFSymtZg@mail.gmail.com>
	<CALMa68oGMRUwXbsSWDAyZP3GfDb4dJw7P8b1f5KhF0JEwcPBHg@mail.gmail.com>
	<CAPAJj9JeKNdn_i0O84g9KuPxqQqfuNGyZ4Fypf7Bo3t+RLEqeA@mail.gmail.com>
	<CALMa68p0LrYiHcT3=eSVKMUGLYk8-857pFAGn7+bNoedSWG4MA@mail.gmail.com>
	<CAPAJj9+-wgh2ggvNpPCHFv1Q78fB5xwyRN94KZ_G-0trf7LTOQ@mail.gmail.com>
	<CALMa68qPo96nWFvTOC5VFqANoH9WnY-0zyx1FTP9CwHdFK48kQ@mail.gmail.com>
	<CAPAJj9JFrUrTdp6-T8s0HKhpiNdFY7ELx-KGDEeNqWD6fq9MJQ@mail.gmail.com>
Date: Fri, 9 Dec 2011 14:31:57 -0300
Message-ID: <CALMa68o1wE2YQh7TY=HHshFzu1uMmZOQLQg0RWSCO5C3yYG_Ow@mail.gmail.com>
Subject: Re: [lojban] state of {binxo}
From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= <felipeg.assis@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: felipeg.assis@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of felipeg.assis@gmail.com designates 209.85.210.46 as permitted
 sender) smtp.mail=felipeg.assis@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:googlegroups-manage+1004133512417+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 9 December 2011 09:27, tijlan <jbotijlan@gmail.com> wrote:
>> So, summing it up, the only thing I can generally assert about
>> binxo1 and binxo2 is that either the first ceases to exist or the
>> second comes to existence in the span of nu binxo, right?
>>
>> Even this is important, because it means that, no matter how I
>> refer to or describe them, either binxo1 has no future or binxo2
>> has no past.
>
> My later response to Pierre will have an example of "binxo1 has future
> AND binxo2 has past".
>

Right. These examples are only possible if both objects have disconnected
time-lines, a possibility I neglected.

The first paragraph is still true:
>> So, summing it up, the only thing I can generally assert about
>> binxo1 and binxo2 is that either the first ceases to exist or the
>> second comes to existence in the span of nu binxo.


>
>> What do you think about changing the standard definition of {rodbi'o} to
>> =A0{x1 binxo lo broda be ... be'o xn .ipubo x1 na broda}?
>
> (Where is its current definition?)
>

I meant, the usual definition, as per easy-lujvo.

> It's hard for me to read {rod-} as {pu na broda}. The real utility of
> {rod-} comes from its assignability:
>
> =A0la .halk. cu barda je crino je cilce cei broda .i ba'o rodbi'o so'iroi
> =A0Hulk is big, green, and wild. Someone (Dr. Bruce Banner) has become
> like that many times over.
>
> =A0.oi rodbi'o za'ure'u
> =A0Damn, he's at it again!
>
> {pu na broda} would be an inconvenient restriction.
>
> I think {pu na broda} is effectively equivalent to {pare'u broda} in
> many cases, and {binxo lo broda} can be paraphrased as {co'a broda}.
> So I would consider {pare'u co'a} for the suggested sense of "become":
>

I meant "Sometime in the past it was false that...". Now, reviewing the CLL=
,
I see an odd remark about NA and PU being commutative. This doesn't
make sense to me right now, but let's leave this to another thread.

For now, let's go with {na'e}.

Let us consider, for example, the definition of {mrobi'o}
  "b1 dies under conditions b3."
  {x1 binxo lo morsi x2}

Where in the lojban definition does it say that {x1 na'e morsi pu lonu binx=
o}?

I understand that the lojban definition is applicable to a small statue tha=
t
almost made it to be turned in a live bird by one of McGonagall's pupils.
The English one, not so much.

I actually like the lojban definition, I just think the translation
doesn't match,
and that people ought to make up their minds about what they mean.

---

You might still use {mrobi'o} instead of {co'a morsi va'o} because you
understand
that the x1 ceased to exist. But this is certainly not the case with many o=
ther
lujvo like {jbibi'o}, "approach". If someone, instead of
  {ko'a co'a jibni ko'e},
says
  {ko'a binxo lo jibni be ko'e},
I would tend to consider ko'a ceasing to exist as a justification for
the introduction
of this new entity "lo jibni". Of course, the fact that binxo2 is
close to ko'e ought
to be important in some way, but a mere approach would not be my first gues=
s.

mu'o
mi'e .asiz.

--=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.