From - Thu Sep 25 16:21:11 1997 Message-ID: <342AC7B7.76C8@locke.ccil.org> Date: Thu, 25 Sep 1997 16:21:11 -0400 From: John Cowan Organization: Lojban Peripheral X-Mailer: Mozilla 3.0 (WinNT; I) MIME-Version: 1.0 To: Lojban List Subject: Re: quantifiable pro-bridi References: <199709251717.MAA10598@locke.ccil.org> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mozilla-Status: 0011 Content-Length: 541 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