Received-SPF: pass (google.com: domain of nictytan@gmail.com designates 2607:f8b0:400c:c03::235 as permitted sender) client-ip=2607:f8b0:400c:c03::235;
MIME-Version: 1.0
In-Reply-To: <CAO7tK2eZGpv0yWuYU4fnO_b=TyKQerSRGOzpNpvwV1P-dMd1uA@mail.gmail.com>
References: <CAO7bV+gQD48dRNET2g_0O9gf+y=p-XBa1RHdOUZQE3MJrzZfnw@mail.gmail.com>
 <CAO7tK2eZGpv0yWuYU4fnO_b=TyKQerSRGOzpNpvwV1P-dMd1uA@mail.gmail.com>
From: Jacob Errington <nictytan@gmail.com>
Date: Wed, 17 Sep 2014 16:23:59 -0400
Message-ID: <CAOQ8VDWxh0kaRbs26QBo05ZA16O6nnDeCFj9Bf++pHf-W=MbpQ@mail.gmail.com>
Subject: Re: [lojban-beginners] how to use {fancu}?
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=001a11337fb01a2b79050348a7e5
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -
Content-Length: 5002

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

On 17 September 2014 11:23, Jorge Llamb=C3=ADas <jjllambias@gmail.com> wrot=
e:

>
> As for (2): It doesn't really make a lot of sense to me to have a place
> for expression x4 in addition to a place for the function. It's as if
> "klama" was defined as "x1 goes to x2 ... and has name x6". The place for
> the range is also redundant. It's as if "jalge" was defined as "x1 is the
> result of x2 among potential results x3", or something like that. "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 function
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". 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.

This also gives us a neat way of saying things like "How likely I am to do
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 avoiding
lo-sumti altogether, simply talking about how these functions relate.

.i mi'e la tsani mu'o

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

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

<div dir=3D"ltr">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">jjll=
ambias@gmail.com</a>&gt;</span> wrote:<br><div class=3D"gmail_extra"><div c=
lass=3D"gmail_quote"><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 c=
lass=3D"gmail_extra"><div class=3D"gmail_quote"><br><div class=3D"h5">As fo=
r (2): It doesn&#39;t really make a lot of sense to me to have a place for =
expression x4 in addition to a place for the function. It&#39;s as if &quot=
;klama&quot; was defined as &quot;x1 goes to x2 ... and has name x6&quot;. =
The place for the range is also redundant. It&#39;s as if &quot;jalge&quot;=
 was defined as &quot;x1 is the result of x2 among potential results x3&quo=
t;, or something like that. &quot;fancu&quot; ought to have just two places=
: &quot;x1 is a function of x2&quot;.<br></div></div></div></div></blockquo=
te><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 striki=
ngly 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 c=
e&#39;u se sabji gijo&#39;u jai se cpedu&quot;. The major limitation here i=
s that there&#39;s no obvious way to actually refer to the things themselve=
s, so the place for the domain becomes useful with this formalism, since sa=
ying that this function actually applies to some concrete object would amou=
nt to stating that the object is in the domain of this function. <br><br>Th=
is 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 l=
akne fa lo nu mi ce&#39;u zukte cu fancu lo ni mi djica co zukte ce&#39;u&q=
uot; all the while avoiding lo-sumti altogether, simply talking about how t=
hese functions relate.<br><br>.i mi&#39;e la tsani mu&#39;o<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 />

--001a11337fb01a2b79050348a7e5--