Received-SPF: none (google.com: mbays@sdf.org does not designate permitted sender hosts) client-ip=192.94.73.24;
Date: Sun, 9 Nov 2014 14:22:17 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Re: tersmu 0.2
Message-ID: <20141109192217.GH8588@gonzales>
References: <20141108220257.GA31242@gonzales>
 <CAO7tK2d3A84Syh_MROXxHBH3vXqyUaoN3sm04S7PQX8sRRS9DA@mail.gmail.com>
 <20141108232204.GB31242@gonzales>
 <CAO7tK2cb+_1bjJfzJ-u7ND6sHqvd2LokXOVbZq8JU=DkvCDhVw@mail.gmail.com>
 <20141109145940.GA8588@gonzales>
 <CAO7tK2cC3=U+tHpEAzbp4kfAFq1t-v-RPQzY117cqMJcLsD8_g@mail.gmail.com>
 <20141109154145.GC8588@gonzales>
 <CAO7tK2fooFcWx0=_MVpxG5WCyswKUoymqmiqoS-y5nswbq1htw@mail.gmail.com>
 <20141109161417.GE8588@gonzales>
 <CAO7tK2ftKhe2Jresn1dfpjOv1GKXnwBjMAmxpY7_4aBQ9TBKEQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="dMyqICaxQaaUjrCL"
Content-Disposition: inline
In-Reply-To: <CAO7tK2ftKhe2Jresn1dfpjOv1GKXnwBjMAmxpY7_4aBQ9TBKEQ@mail.gmail.com>
X-cunselcu'a-valsi: fonxa
User-Agent: Mutt/1.5.22 (2013-10-16)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=neutral
 (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: -


--dMyqICaxQaaUjrCL
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Sunday, 2014-11-09 at 13:45 -0300 - Jorge Llamb=EDas <jjllambias@gmail.co=
m>:

> On Sun, Nov 9, 2014 at 1:14 PM, Martin Bays <mbays@sdf.org> wrote:
>=20
> > But maybe with this analogy I see what you're getting at. Is it that:
> > considering {lo nu broda cu balvi lo nu brode} where the {lo} are taken
> > to get kinds,
> > to determine whether this is true at time t,
> > you look for instances of the kinds, i.e. actual events, somewhere near
> > time t, and somehow pick out a pair (e1,e2),
> > and finally return the truth value of balvi(e1,e2)
> > (which since e1 and e2 are now actual events, doesn't depend on t)
> > ?
>=20
> > Is that what you mean? So kind of hiding the quantificational structure
> > by delegating it to a semantics of kinds?
>=20
> Sounds about right.

OK.

This seems like a rather baroque solution!

What's the advantage of adding this layer of indirection?

One thing which seems like a clear disadvantage to me:
e.g. in this example
    ca ro nu mi xagji kei mi klama lo zarci .e ba bo lo zdani
    -> ca ro nu mi xagji kei ko'a fasnu .i ko'a nu ge ko'e fasnu gi ko'i fa=
snu
	.i ko'i nu ko'o balvi ko'e .i ko'e nu mi klama lo zarci
	.i ko'o nu mi klama lo zdani
, there's still no specific indication that the instance of ko'e
witnessing {ko'e fasnu} is the same as the instance of {ko'e} witnessing
{ko'o balvi ko'e}. The only connection is that they're both meant to
happen at around the same time.

So this still doesn't give the meaning I believe the original sentence
has.

Martin

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

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

iEYEARECAAYFAlRfvukACgkQULC7OLX7LNZ85ACbBbb0FaQ0WdIz9Phxzo+hG8MX
6UUAoKIDOsXxrlk2uoVbs33EEHWEIqZa
=uLhc
-----END PGP SIGNATURE-----

--dMyqICaxQaaUjrCL--