Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c04::231 as permitted sender) client-ip=2a00:1450:4010:c04::231;
MIME-Version: 1.0
In-Reply-To: <CAOQ8VDWxh0kaRbs26QBo05ZA16O6nnDeCFj9Bf++pHf-W=MbpQ@mail.gmail.com>
References: <CAO7bV+gQD48dRNET2g_0O9gf+y=p-XBa1RHdOUZQE3MJrzZfnw@mail.gmail.com>
	<CAO7tK2eZGpv0yWuYU4fnO_b=TyKQerSRGOzpNpvwV1P-dMd1uA@mail.gmail.com>
	<CAOQ8VDWxh0kaRbs26QBo05ZA16O6nnDeCFj9Bf++pHf-W=MbpQ@mail.gmail.com>
Date: Wed, 17 Sep 2014 20:18:34 -0300
Message-ID: <CAO7tK2eJcEUkaY-xAJLBRvf+5tw2wdJnrKH-EYWO=8_jV8MyqA@mail.gmail.com>
Subject: Re: [lojban-beginners] how to use {fancu}?
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban-beginners@googlegroups.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
Sender: lojban-beginners@googlegroups.com
Content-Type: multipart/alternative; boundary=001a11c239d041563205034b1699
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -
Content-Length: 5640

--001a11c239d041563205034b1699
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Wed, Sep 17, 2014 at 5:23 PM, Jacob Errington <nictytan@gmail.com> wrote=
:

> On 17 September 2014 11:23, Jorge Llamb=C3=ADas <jjllambias@gmail.com> wr=
ote:
>
>>
>>  "fancu" ought to have just two places: "x1 is a function of x2".
>>
>
>  In that case, I wonder what the type of the x1 could be. Is it a functio=
n
> in the sense of a ka abstraction? I would find this strikingly useful.
> Alas, that's not what you used for your example. I think I would have
> written it ".i lo ka makau jdima ce'u cu fancu lo ni ce'u se sabji gijo'u
> jai se cpedu".
>

I think it can work both ways: property function of property, or thing
function of thing.

The major limitation here is that there's no obvious way to actually refer
> to the things themselves, so the place for the domain becomes useful with
> this formalism, since saying that this function actually applies to some
> concrete object would amount to stating that the object is in the domain =
of
> this function.
>

Not sure I follow what you have in mind.


> This also gives us a neat way of saying things like "How likely I am to d=
o
> something depends on how much I want to do it," as ".i lo ni lakne fa lo =
nu
> mi ce'u zukte cu fancu lo ni mi djica co zukte ce'u" all the while avoidi=
ng
> lo-sumti altogether, simply talking about how these functions relate.
>

Right.

mu'o mi'e xorxes

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

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Wed, Sep 17, 2014 at 5:23 PM, Jacob Errington <span dir=3D"ltr">&lt;=
<a href=3D"mailto:nictytan@gmail.com" target=3D"_blank">nictytan@gmail.com<=
/a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:=
0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr"><s=
pan>On 17 September 2014 11:23, Jorge Llamb=C3=ADas <span dir=3D"ltr">&lt;<=
a href=3D"mailto:jjllambias@gmail.com" target=3D"_blank">jjllambias@gmail.c=
om</a>&gt;</span> wrote:<br></span><div class=3D"gmail_extra"><div class=3D=
"gmail_quote"><span><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0=
 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div cl=
ass=3D"gmail_extra"><div class=3D"gmail_quote"><br><div>=C2=A0&quot;fancu&q=
uot; ought to have just two places: &quot;x1 is a function of x2&quot;.<br>=
</div></div></div></div></blockquote></span><div><br>=C2=A0In that case, I =
wonder what the type of the x1 could be. Is it a function in the sense of a=
 ka abstraction? I would find this strikingly useful. Alas, that&#39;s not =
what you used for your example. I think I would have written it &quot;.i lo=
 ka makau jdima ce&#39;u cu fancu lo ni ce&#39;u se sabji gijo&#39;u jai se=
 cpedu&quot;. </div></div></div></div></blockquote><div><br></div><div>I th=
ink it can work both ways: property function of property, or thing function=
 of thing.=C2=A0</div><div><br></div><blockquote class=3D"gmail_quote" styl=
e=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div di=
r=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote"><div>The ma=
jor limitation here is that there&#39;s no obvious way to actually refer to=
 the things themselves, so the place for the domain becomes useful with thi=
s formalism, since saying that this function actually applies to some concr=
ete object would amount to stating that the object is in the domain of this=
 function. <br></div></div></div></div></blockquote><div><br></div><div>Not=
 sure I follow what you have in mind.</div><div>=C2=A0</div><blockquote cla=
ss=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;pa=
dding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"g=
mail_quote"><div>This also gives us a neat way of saying things like &quot;=
How likely I am to do something depends on how much I want to do it,&quot; =
as &quot;.i lo ni lakne fa lo nu mi ce&#39;u zukte cu fancu lo ni mi djica =
co zukte ce&#39;u&quot; all the while avoiding lo-sumti altogether, simply =
talking about how these functions relate.<br></div></div></div></div></bloc=
kquote><div><br></div><div>Right. =C2=A0</div><div><br></div><div>mu&#39;o =
mi&#39;e xorxes</div><div><br></div></div></div></div>

<p></p>

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

--001a11c239d041563205034b1699--