Received-SPF: none (google.com: mbays@sdf.org does not designate permitted sender hosts) client-ip=192.94.73.24;
Date: Sat, 22 Nov 2014 20:01:57 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Re: tersmu 0.2
Message-ID: <20141123010156.GJ24136@gonzales>
References: <20141109215830.GB30874@gonzales>
 <CAO7tK2e-bQu3ce=CjTT9BP=zrna9qYHoS066_z5g9yzDVQtM_w@mail.gmail.com>
 <20141112033820.GD15728@gonzales>
 <CAO7tK2c4wz288QHQ9r7gxBQqN=ccjyD71NyhTLdO7huAO9N-vQ@mail.gmail.com>
 <20141113021901.GM15728@gonzales>
 <CAO7tK2dsqTvWCkR2ZLfgbefKt5b_iQG6uEeM2taMvwEqENVMyg@mail.gmail.com>
 <20141118025013.GB7769@gonzales>
 <CAO7tK2eNsyQsmKTxtBxS+mbNCzD405F37k6L4CMeveaSvMNfcg@mail.gmail.com>
 <20141120023048.GA1571@gonzales>
 <CAO7tK2esCNu_jC87LwNMJZEuOK_ELWk=vD9vZHwY+WjCXypp5g@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="mXDO3udm/xYWQeMQ"
Content-Disposition: inline
In-Reply-To: <CAO7tK2esCNu_jC87LwNMJZEuOK_ELWk=vD9vZHwY+WjCXypp5g@mail.gmail.com>
X-cunselcu'a-valsi: bukpu
User-Agent: Mutt/1.5.22 (2013-10-16)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=none
 (google.com: mbays@sdf.org does not designate permitted sender hosts) smtp.mail=mbays@sdf.org
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>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>,
 <http://groups.google.com/group/lojban/subscribe>
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--mXDO3udm/xYWQeMQ
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Thursday, 2014-11-20 at 18:50 -0300 - Jorge Llamb=C3=ADas <jjllambias@gma=
il.com>:

> On Wed, Nov 19, 2014 at 11:30 PM, Martin Bays <mbays@sdf.org> wrote:
>=20
> > > > So I guess this kind of reasoning would have {broda .i je nai ca bo
> > > > brodo} mean something like "broda occurs, but broda never occurs
> > > > simultaneously with brodo"? Whereas I would have expected it to mea=
n
> > > > something more like "broda occurs some time when brodo doesn't".
>=20
> > I think the english is ambiguous there. To disambiguate: do you mean
> > this to imply that broda does not occur simultaneously with brodo?
>=20
> Yes, or rather that brodo does not occur simultaneoulsy with broda, if it
> makes any difference. There's nothing said about whether or not brodo
> occurs at some other time.

So for example, if yesterday morning it snowed out of a clear sky, but
in the afternoon it snowed while the sky was cloudy, and both of these
events are salient, what could you say about the truth value of
{ca lo prulamdei zo'u lo snime cu carvi .i je nai ca bo lo dilnu cu
gapru}?

I am understanding you as saying it would be false, while I would have
expected it to be true.

Martin

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--mXDO3udm/xYWQeMQ
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iEYEARECAAYFAlRxMgQACgkQULC7OLX7LNYLXwCgmoR5NasVeS2GPwuYV1zSE+Dn
d+EAoLz+YAEgx/5JJ8dKql+BF2mxjpBY
=Ebmr
-----END PGP SIGNATURE-----

--mXDO3udm/xYWQeMQ--