[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: tersmu 0.2
On 09/10/2014 00:09, Jorge Llambías wrote:
I wouldn't mind actually, mainly because I don't much care for sets in
Lojban. But "lu'i" is not the most used LAhE. Those would have to be
"tu'a" and "la'e" (and their cousin "na'e bo"), so I think we should
concentrate mainly on these three to work out the rules.
"la'e" is "lo se sinxa be", "tu'a" is "lo dumco'e be" or sometimes "lo
nunco'e be", and "na'e bo" is "lo drata be" (or maybe better "lo
nardu'o be").
"la'e" is hardly ever used with quantifier or logically connected
arguments. Those would not be particularly useful with my proposed
expansions.
For "tu'a", it is crucial that it doesn't let quantifiers and
connectives out since it's very purpose is to create an opaque context.
And "na'e bo" does have its uses. For example: "ro na'e bo ko'a .e
ko'e" = "ro lo drata be ko'a .e ko'e" = "all but ko'a and ko'e". In
this case, "all but ko'a and all but ko'e" would be less useful.
So, based on "tu'a" and "na'e bo", which together with "la'e" are
basically the only members of LAhE/NAhE BO that have relevant use, I
would say that the subordinate reading is what makes the most sense.
tu'a X (lu'u) = lo su'u X co'e (kei ku)
To my understanding, in the case of {broda lo brodo be X}, X is not part
of the main bridi (that of broda), but is rather part of the "hidden"
bridi within the lo-description.
For example, when one say {lo brodo be naku cu broda}, the "naku" is
confined within the internal bridi of the lo-description, and doesn't
negate the main claim "X broda".
• lo broda be X bei Y bei Z (be'o ku) = lo poi'i ke'a broda X fi Y fo Z
(kei ku)
• lo broda be naku (ku) = lo poi'i broda naku (ku)
• lo broda be mi .e do (ku) = lo poi'i broda mi .e do (ku)
• lo broda be su'o da (ku) = lo poi'i broda su'o da (ku)
Correct me if I'm wrong. :)
mi'e la .ilmen. mu'o
--
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.