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

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


On Fri, Jun 6, 2014 at 4:37 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

2014-06-06 3:08 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

I think lerfu2 is not in general plural

Then how would you describe lerfu2? As for types it can be either located (aka "object/event") or text (e.g. letters).

Text is fine, but not plural. "lo ci se lerfu" to me is three alphabets, not three letters that constitute an alphabet. So lerfu2 is for the alphabets, not for the letters.

But what about it being a set? Compare e.g. mlatu1 and lerfu2. What is it that they they differ in?

If you mean "set" in the abstract set theoretical sense, then no, because alphabets can for example be recited (abstract sets can't), alphabets can evolve (abstract sets can't) and so on. If you mean "set" in a more general, everyday sense, then yes, alphabets are indeed sets of letters.
 
Do you mean mlatu2? I don't think mlatu1 has much to do with sets.
 
If you do think they can both be named "sets" then of course i'll remove this "set" as a role/type ... whatever you call it since then "set" would be meaningless.

mlatu2 and lerfu2 are sets in a general sense. The word "set" shouldn't be a problem as long as it's not taken to mean the abstract objects of set theory, which is what the Lojban tradition has used it for.

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.