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

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






2014-06-02 4:15 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

On Sun, Jun 1, 2014 at 12:38 PM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

But then you will say that (apart from very abstract propositions) propositions are events and events are objects. Then what? Replace all of them to just objects?

No, some propositions describe events, but the proposition that describes the event is not the event. And events are not objects (in some strict sense of "object"), although both events and objects are spatio-temporal entities.
 

I want students of Lojban (AI included) to understand how to form this or that place. porsi1 require ce'o, casnu1 and kamni3 require jo'u. This should be reflected in the definitions.

But in what sense does porsi1 require ce'o or casnu1 require jo'u? "lo valsi cu porsi lo lerfu", "lo re prenu cu casnu lo tcima".  porsi1 allows ce'o, it doesn't require it, and it allows it because "ko'a ce'o ko'e" basically means someting like "lo porsi be fi ko'a jo'u ko'e". And casnu1 allows jo'u (it doesn't require it) because ko'a jo'u ko'e is defined so that "ko'a .e ko'e me ko'a jo'u ko'e .i je ro me ko'a jo'u ko'e cu me ko'a gi'a me ko'e". But that's more about the definition of "ce'o" and "jo'u" than about porsi or casnu.

Okay, I will put {ce'o} to notes then. 

You said that porsi1 is a group. You also said that it's gunma1. But in another post you said that gunma1 should be "any type". Can you describe once again what "group" would mean?

I hope this thread wont die out since I want to finish with the gimste as soon as possible.


What casnu1 requires is a sumti with more than one referent, and "jo'u" is just one of many ways to provide that, and porsi1 requires a sumti whose referent consists of many things in order, and "ce'o" is just one of many ways to provide that.
 
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.