Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::22f as permitted sender) client-ip=2607:f8b0:400c:c01::22f;
MIME-Version: 1.0
In-Reply-To: <20140525194906.GA885@gonzales>
References: <390f1b9f-6edd-42f2-8474-ad1f3610cca3@googlegroups.com>
	<CAO7tK2f=JXGC=qZyagJVOWsasS-ff7r4vYPSV2oix42TkLOjjA@mail.gmail.com>
	<ea9c8c1a-7784-45aa-ab7e-5dfe477ad5ad@googlegroups.com>
	<CAO7tK2dE5CBC04w6AAi-ODsB3oqdxsNLhu4VUOE2_XKpmPoODw@mail.gmail.com>
	<bef4493c-54d9-43a9-af5a-567bc73a0acf@googlegroups.com>
	<CAO7tK2esdiYsyk3x-NybjkPmNY_5SPzgtufecJJrQoUPOQizxQ@mail.gmail.com>
	<aa098b4e-80cf-475f-9a48-964200e491fc@googlegroups.com>
	<CAO7bV+hDy9VHt6j58yA5Q=b1FwhWYT2BvW94kqUw8P4u0OeUcA@mail.gmail.com>
	<750f9b01-a747-4b12-80ba-e31b7e7bd20e@googlegroups.com>
	<570dae9f-cda3-42c4-a861-1c7974fe5bfd@googlegroups.com>
	<20140525194906.GA885@gonzales>
Date: Sun, 25 May 2014 19:49:20 -0300
Message-ID: <CAO7tK2eLADYx+bgJU+AycSHNQW7-Q8fqKRWHtRPFFf2guEM4kQ@mail.gmail.com>
Subject: Re: [lojban] Individuals and xorlo
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=bcaec5299745001f5904fa4146ce
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

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

On Sun, May 25, 2014 at 4:49 PM, Martin Bays <mbays@sdf.org> wrote:

>
> Saying that {zo'e} and {lo broda} introduce "constants" isn't really
> enough to explain how they work, because of cases where a description
> includes a bound variable, e.g.
>     {ro da poi verba cu prami lo rirni be da} .
>
> If I recall correctly, there was the other year some agreement that {lo
> rirni be da} there should be taken to introduce a contextually specified
> function from children to parents (like a Skolem function), which in
> some sense salvages the idea of constancy (it's constantly
> a non-constant function!). But anyway, I think it's something that needs
> to be explained in any theory of gadri.
>

Yes, when a sumti contains a free da/de/di variable, it's a function, not a
constant. The variable is bound by a quantifier outside the sumti, so free
in the sumti itself.

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.

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><br><div class=3D"gmail=
_quote">On Sun, May 25, 2014 at 4:49 PM, Martin Bays <span dir=3D"ltr">&lt;=
<a href=3D"mailto:mbays@sdf.org" target=3D"_blank">mbays@sdf.org</a>&gt;</s=
pan> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><br>
Saying that {zo&#39;e} and {lo broda} introduce &quot;constants&quot; isn&#=
39;t really<br>
enough to explain how they work, because of cases where a description<br>
includes a bound variable, e.g.<br>
=C2=A0 =C2=A0 {ro da poi verba cu prami lo rirni be da} .<br>
<br>
If I recall correctly, there was the other year some agreement that {lo<br>
rirni be da} there should be taken to introduce a contextually specified<br=
>
function from children to parents (like a Skolem function), which in<br>
some sense salvages the idea of constancy (it&#39;s constantly<br>
a non-constant function!). But anyway, I think it&#39;s something that need=
s<br>
to be explained in any theory of gadri.<br></blockquote><div><br></div><div=
>Yes, when a sumti contains a free da/de/di variable, it&#39;s a function, =
not a constant. The variable is bound by a quantifier outside the sumti, so=
 free in the sumti itself.</div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></div></div></di=
v></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 />

--bcaec5299745001f5904fa4146ce--