Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::229 as permitted sender) client-ip=2a00:1450:400c:c00::229;
MIME-Version: 1.0
In-Reply-To: <CAO7tK2cpPuoRUXY7ZXEpG9aO2a5xQEpYsNMWNtb3CyzEyeorJg@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com>
	<CAO7tK2cB31kzL+fS=SABeVB1w7sq8nGRERxTuXA-m-sTrE98nA@mail.gmail.com>
	<CAO7tK2fOv4Dkngu3WhzqBhE5zTSmTkD3+nfERJ-2xpsr4hUPgw@mail.gmail.com>
	<1687814.LVyUAvcs7U@caracal>
	<CAO7bV+ggi7Ao0BTmt=oejKMCz=9jLvxm-4iigAHjyPEKD-yTQw@mail.gmail.com>
	<CAOQ8VDWzshNGU7W7pns8EGCwwAP-=WOJO52-kiBfxYwLxgHCmA@mail.gmail.com>
	<CAO7tK2cpPuoRUXY7ZXEpG9aO2a5xQEpYsNMWNtb3CyzEyeorJg@mail.gmail.com>
Date: Thu, 26 Jun 2014 14:54:55 +0400
Message-ID: <CAO7bV+gf+n8JUtKeOy3JoF5V4J-QLVFH8M__-zNhH16OH6UgqQ@mail.gmail.com>
Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete
From: Gleki Arxokuna <gleki.is.my.name@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=e89a8f3b9d3ff7a69604fcbb05e5
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

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

As of now:
gradu x1 (any type) is a unit on scale x2 (same type as x1) measuring x3
(property)
ckilu x1 (property of nonce place with {kau}) is a scale of units for
measuring x2 (property of nonce place with {kau})

Shouldn't gradu2=3Dckilu1?


2014-06-20 20:40 GMT+04:00 Jorge Llamb=C3=ADas <jjllambias@gmail.com>:

>
> On Fri, Jun 20, 2014 at 11:34 AM, Jacob Errington <nictytan@gmail.com>
> wrote:
>
>> In my theory of typed Lojban, I distinguish between evaluated numbers an=
d
>> unevaluated numbers, the latter being a subcategory of text.
>> The types I believe in are:
>> * predicates (ka and du'u abstractions)
>> * events (nu abstractions)
>> * numbers and parsed text (evaluated numbers introduced generally with
>> {li} as well as lu..li'u quotes)
>> * unparsed text (introduced with zo, lo'u...le'u, zoi, and me'o)
>> * concrete sumti
>>
>
> What's the connection between numbers and parsed text? The way I see it,
> li and du'u are smuni1 to me'o and se du'u as smuni2 respectively, or
> conversely me'o and se du'u are sinxa1 to li and du'u as sinxa2.
>
> I also think me'o belongs with parsed, not unparsed text, since it's a
> structured set of words with a specific meaning, not just a meaningless
> random collection of words.
>
>
>> 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.
>

--=20
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 e=
mail 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.

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

<div dir=3D"ltr">As of now:<div><div>gradu<span class=3D"" style=3D"white-s=
pace:pre">	</span>x1 (any type) is a unit on scale x2 (same type as x1) mea=
suring x3 (property)</div><div>ckilu<span class=3D"" style=3D"white-space:p=
re">	</span>x1 (property of nonce place with {kau}) is a scale of units for=
 measuring x2 (property of nonce place with {kau})<br>
<br>Shouldn&#39;t gradu2=3Dckilu1?</div></div><div><br></div></div><div cla=
ss=3D"gmail_extra"><br><br><div class=3D"gmail_quote">2014-06-20 20:40 GMT+=
04:00 Jorge Llamb=C3=ADas <span dir=3D"ltr">&lt;<a href=3D"mailto:jjllambia=
s@gmail.com" target=3D"_blank">jjllambias@gmail.com</a>&gt;</span>:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra">=
<br><div class=3D"gmail_quote"><div class=3D"">On Fri, Jun 20, 2014 at 11:3=
4 AM, Jacob Errington <span dir=3D"ltr">&lt;<a href=3D"mailto:nictytan@gmai=
l.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:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div>In my theory of typed =
Lojban, I distinguish between evaluated numbers and unevaluated numbers, th=
e latter being a subcategory of text.<br>

The types I believe in are:<br>* predicates (ka and du&#39;u abstractions)<=
br>

* events (nu abstractions)<br>* numbers and parsed text (evaluated numbers =
introduced generally with {li} as well as lu..li&#39;u quotes)<br>* unparse=
d text (introduced with zo, lo&#39;u...le&#39;u, zoi, and me&#39;o)<br>


* concrete sumti <br></div></div></blockquote><div><br></div></div><div>Wha=
t&#39;s the connection between numbers and parsed text? The way I see it, l=
i and du&#39;u are smuni1 to me&#39;o and se du&#39;u as smuni2 respectivel=
y, or conversely me&#39;o and se du&#39;u are sinxa1 to li and du&#39;u as =
sinxa2.</div>

<div><br></div><div>I also think me&#39;o belongs with parsed, not unparsed=
 text, since it&#39;s a structured set of words with a specific meaning, no=
t just a meaningless random collection of words.=C2=A0</div><div>=C2=A0</di=
v><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></div></div></blockquote></div><div class=3D"">mu&#39=
;o mi&#39;e xorxes</div></div></div>

<p></p>

-- <br><div class=3D"HOEnZb"><div class=3D"h5">
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" target=3D"_b=
lank">lojban+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/lojban" targe=
t=3D"_blank">http://groups.google.com/group/lojban</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/optout</a>.<br>
</div></div></blockquote></div><br></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 />

--e89a8f3b9d3ff7a69604fcbb05e5--