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

Re: [lojban] girzu gi'i gunma gi'i se gunma

PA lo - lo - loi
How would you define a Cantorian set in Lojban? (Actually, that is unfair, since the axioms of ordinay set theory are incompletable and the Lesniewskian axioms are, I think, complete.)  Giving the axioms would be the nearest thing to a definition, but I don't see doing that in Lojban, even with MEX in working order.

Sent from my iPad

On Jul 17, 2011, at 6:13, tijlan <jbotijlan@gmail.com> wrote:

> On 16 July 2011 16:38, John E Clifford <kali9putra@yahoo.com> wrote:
>> The descriptor involved is useful, though, rounding out the set of distributive--neutral--collective
> 
> lo--lo--loi ?
> 
> 
>> So, as in English, I talk about
>> bunches, or groups or crowds, etc.  On the one side, this is just a figure of
>> speech to be ignored.  On the other, it can be taken as interposing another
>> entity between the things and our reference to them.  That this entity is a
>> Lesniewskian set and that the logic of such sets is exactly that of things
>> directly (except for the intervening set-like notation) doesn't prevent some
>> people from thinking that that these intervening entities are sets and thus
>> Cantorian and so reintroducing all the problems (another reason never to use the
>> word set outside mathematics),
> 
> How would you define a Lesniewskian set in Lojban?
> 
> -- 
> 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.