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

Re: quantifiable pro-bridi



And Rosta wrote:

> I was wondering if it might be possible to stick to first
> order and use {ka}, which I don't understand very well.
> 
> If we understand quantifying over predicates to be quantification
> over intensions, how in Lojban do we get something denoting
> an intension? Is it {ka}?

"ka" is a relation, which may be the same as an intension,
I'm not sure.  The default case of singleton "ka" is a
property, certainly.

-- 
John Cowan	http://www.ccil.org/~cowan		cowan@ccil.org
			e'osai ko sarji la lojban