[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Specifying sumti types: another revision of gimste is complete



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=ckilu1?



2014-06-20 20:40 GMT+04:00 Jorge Llambías <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 and 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.

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