On Sun, Jun 8, 2014 at 4:50 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:
I think that since "located" can contain NU then "property" (which is based on {ka}) is a subtype of "located".E.g. in {mi kakne lo NU bajra} we have a "located" but in a more precise {mi kakne lo ka bajra} we have a property."located" doesn't contain all NU. It contains nu (and therefore its subtypes mu'e, za'i, zu'o, pu'u) it doesn't contain du'u and ka.Propositions (du'u) are things that can be true or false.Properties (ka with one ce'u) are things that when applied to something are true or false.(Binary) relations (ka with two ce'u) become true or false when applied to an ordered pair.N-ary relations become true or false when applied to an ordered n-tuple.Properties could also be called unary relations, and propositions can be called nullary relations.All of these things are abstract, none of them are located.A proposition can _describe_ an event, which is something located in space-time. But the proposition itself is not the event.(3) How is pandi4 a property of pandi3?
Should pandi4 be a property of pandi2? Or both?I have no idea, why does it have to be a property? I would have thought it was a proposition describing the syntactic/semantic effect of the punctuation. The creator of Loglan made a big deal about Loglan having "spoken punctuation", and the creators of Lojban bought it, that's the only explanation I can find for "pandi" being part of the core vocabulary, although I can't find a corresponding word it in the Loglan dictionary I have. Is pandi2 an unpunctuated text? Since terminators are often called punctuation in Lojban, does it mean pandi2 has to be a text without terminators, possibly ungrammatical?
(4) Shouldn't bancu2 be of the same type as bancu1?
Not sure if the boundary should be of the same type as bancu1/bancu3.How could it be of a different type? If bancu1 and bancu3 are numbers, shouldn't bancu2 be a number as well? If they are objects, shouldn't it be an object?
(5) pleji2/vecnu4 are most often money, not properties, and pleji4/vecnu2 can be goods.
See my note above on located vs. properties. I can of course change these places to "located, property".
I'll leave this for a more detailed discussion on possession, transfer and exchange predicates.
(8) gismu2 and tanru4 should be something with one or more ce'u, not text or located.or propositiongismu2 = property of gismu3?tanru4 is just valsi2, isn't it?tanru and gismu are both predicates, their meaning is always a relation. valsi are more general in what meanings they can have, the meaning of some valsi (gismu, lujvo, fu'ivla i.e. all brivla) is a relation, but the meaning of most cmavo is not a relation.
(9) Shouldn't farvi4/pluta4/kruvi4 be ordered like pruce4?changed to "ordered plural of located" although kruvi doesn't have a vector like farvi/pruce/pluta have.linji2 is also like kruvi4
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.