From LOJBAN@CUVMB.CC.COLUMBIA.EDU Thu Sep 25 17:31:19 1997
Message-Id: <199709252230.RAA22251@locke.ccil.org>
Date: Thu Sep 25 17:31:19 1997
Reply-To: John Cowan <cowan@DRV.CBC.COM>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: John Cowan <cowan@DRV.CBC.COM>
Organization: Lojban Peripheral
Subject:      Re: quantifiable pro-bridi
To:         Lojban List <lojban@cuvmb.cc.columbia.edu>
X-Mozilla-Status: 0015
Content-Length:  577


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