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

Re: [lojban] bu'a



Lojban isn't clearly of one order or the other, since it treats sets and properties and the like on a par with tree and dogs.  There is no particular problem in grammar or vocabulary to treating properties of predicates and quantification over them.  There are some arguments about the correct way to express a predicate as an argument, but that seems to revolve around just what a predicate is in Lojban ontology.  All the answers yield grammatical and intelligible results, though sometimes different ones.  None of them seem particularly stilted, but I haven't seen enough cases to get a feel for that.

Sent from my iPad

On Jul 24, 2011, at 14:13, Ian Johnson <blindbravado@gmail.com> wrote:

I think bu'a/bu'e/bu'i would be much much much more useful if Lojban were a second order language, because then we could talk about the existence of predicates with desired properties in a non-stilted fashion. As a first order language, though, with second order mechanisms requiring stilted language, I don't think bu'a/bu'e/bu'i are especially useful.
 
mu'o mi'e latros
 
On Sun, Jul 24, 2011 at 12:01 PM, tijlan <jbotijlan@gmail.com> wrote:
What is your view on the bu'a series? Potentially useful? Totally
pointless? I've never used it myself, but I could be missing some
important aspect of Lojban as a logical language.

mu'o mi'e tijlan

--
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.


--
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.

--
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.