[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
Luke Bergen, On 19/10/2011 05:23:
And Rosta:
I think it would be good to have other gadri based on a model in
which there are no types, only instances.
I'm only barely able to follow this conversation
me too!
but couldn't that be
what "le" is thought of as? My understanding of "le" is that you must
have an actual broda in mind. I don't know the technical definitions,
but that sounds like it could be thought of as an "instance" to me.
No -- firstly because "le broda" points to a specific thing, but not necessarily to an actual broda, hence its equivalence to "lo co'e voi broda", where co'e gives the specificity and voi gives the nonveridicality (the not necessarily actually being broda); and secondly because in the types-only model, everything that is an actual broda is a type.
But one can be hopeful that Martin can outline for lVi an instance-only semantics, which perhaps the BPFK might consider.
--And.
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.