From LOJBAN@CUVMB.CC.COLUMBIA.EDU  Sat Mar  6 22:53:46 2010
Return-Path: <LOJBAN@CUVMB.CC.COLUMBIA.EDU>
Delivered-To: veion@XIRON.PC.HELSINKI.FI
Received: (qmail 17056 invoked from network); 25 Sep 1997 21:20:21 -0000
Received: from segate.sunet.se (192.36.125.6)
  by xiron.pc.helsinki.fi with SMTP; 25 Sep 1997 21:20:21 -0000
Received: from segate.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.1a) with SMTP id <5.F672BF79@SEGATE.SUNET.SE>; Thu, 25 Sep 1997 23:19:40 +0100
Date:         Thu, 25 Sep 1997 16:21:11 -0400
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
X-To:         Lojban List <lojban@cuvmb.cc.columbia.edu>
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
Content-Length: 557
Lines: 16
Message-ID: <DKVsl15xP7F.A.Xj.610kLB@chain.digitalkingdom.org>

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