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

Re: [lojban] Individuals and xorlo


On Sun, Feb 9, 2014 at 8:05 AM, guskant <gusni.kantu@gmail.com> wrote:

Why don't you define 
{lo no broda} =ca'e {zi'o noi ke'a broda}
only for the case that PA=no?

Under the condition that there is no official plural quantifier in Lojban, the inclusion of {lo no broda} is necessary for keeping the expressiveness of Lojban equal to that of plural quantification.

If "zi'o" did what you wanted, then official Lojban would already have that expressiveness, wouldn't it?

But "zi'o" doesn't work for what you want. "zi'o sruri lo dinju" is true when some students are surrounding the building. "zi'o" doesn't say that nothing satisfies the predicate. "zi'o" changes the predicate to a new predicate that doesn't have that place. It's hard to describe what exactly the new predicate resulting from "zi'o poi tadni cu sruri" means, but it does not mean "x2 is not surrounded by students".
 

I would call {lo broda} "Something that is/are broda": I think it's enough for the most general value that is "something in a domain of plural variable", and no other description on the sumti is sufficient to describe the most general plural constant.
Using technical terms without definition is source of misleading.

One problem with using "something" is that it looks very much like a quantifier. Another problem for me (perhaps not so much for others) is that being a singular word, it seems to be talking about one thing. You sort of get around that a bit with the plural verb, "something that are broda", but that is ungrammatical English. You say "the most general value", but the whole point of plural logic is that a variable takes _values_, not _a value_.

Based on this simple definition, we can define "individual", "sumti that satisfies a selbri collectively" and "a set", then the readers will understand the whole aspect of gadri.

If by "a set" you mean, for example, "lo selcmi", then it is an individual as well. Everything is an individual in this context, there is nothing that is not an individual. 
 
I'm not sure if it is permitted to edit the BPFK page of green line, but if you don't mind, I will try to modify the description of gadri page so that everyone will understand gadri correctly.

The page doesn't appear to be locked, but I don't think it's a good idea to edit it. It's better if you create a new page with your take on things. 

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/groups/opt_out.