Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c00::22d as permitted sender) client-ip=2a00:1450:400c:c00::22d;
MIME-Version: 1.0
In-Reply-To: <20141109161417.GE8588@gonzales>
References: <20141108171036.GA10866@gonzales>
	<CAO7tK2f2=a15PgmdCZyfy5avaeQaLVaHmVUejzatJJDYmWa71g@mail.gmail.com>
	<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>
Date: Sun, 9 Nov 2014 13:45:17 -0300
Message-ID: <CAO7tK2ftKhe2Jresn1dfpjOv1GKXnwBjMAmxpY7_4aBQ9TBKEQ@mail.gmail.com>
Subject: Re: [lojban] Re: tersmu 0.2
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=f46d04428d185d06f905076fc550
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--f46d04428d185d06f905076fc550
Content-Type: text/plain; charset=UTF-8

On Sun, Nov 9, 2014 at 1:14 PM, Martin Bays <mbays@sdf.org> wrote:

>
> 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)
> ?


> Is that what you mean? So kind of hiding the quantificational structure
> by delegating it to a semantics of kinds?
>

Sounds about right.

mu'o mi'e xorxes

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

--f46d04428d185d06f905076fc550
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">=
On Sun, Nov 9, 2014 at 1:14 PM, Martin Bays <span dir=3D"ltr">&lt;<a href=
=3D"mailto:mbays@sdf.org" target=3D"_blank">mbays@sdf.org</a>&gt;</span> wr=
ote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border=
-left:1px #ccc solid;padding-left:1ex"><br>
But maybe with this analogy I see what you&#39;re getting at. Is it that:<b=
r>
considering {lo nu broda cu balvi lo nu brode} where the {lo} are taken<br>
to get kinds,<br>
to determine whether this is true at time t,<br>
you look for instances of the kinds, i.e. actual events, somewhere near<br>
time t, and somehow pick out a pair (e1,e2),<br>
and finally return the truth value of balvi(e1,e2)<br>
(which since e1 and e2 are now actual events, doesn&#39;t depend on t)<br>
?=C2=A0</blockquote><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0=
 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Is that what you mean? So kind of hiding the quantificational structure<br>
by delegating it to a semantics of kinds?<br></blockquote><div><br></div><d=
iv>Sounds about right.=C2=A0</div><div><br></div><div>mu&#39;o mi&#39;e xor=
xes</div></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--f46d04428d185d06f905076fc550--