From LOJBAN@CUVMB.CC.COLUMBIA.EDU Thu Sep 25 12:17:46 1997
Message-Id: <199709251717.MAA10598@locke.ccil.org>
Date: Thu Sep 25 12:17:46 1997
Reply-To: And Rosta <a.rosta@UCLAN.AC.UK>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: And Rosta <a.rosta@UCLAN.AC.UK>
Organization: University of Central Lancashire
Subject:      quantifiable pro-bridi
X-To:         LOJBAN@cuvmb.cc.columbia.edu
To: John Cowan <cowan@LOCKE.CCIL.ORG>
X-Mozilla-Status: 0001
Content-Length:  672


John:
> > This isn't explicitly
> > stated in the book because I was leery of saying too much about
> > second-order quantification when my understanding of it is
> > quite shaky.

So's mine.

Geoff:
> I would
> perhaps have been a bit more comfortable with "su'o nu bu'a", "su'o su'u
> bu'a" or some other such abstraction to express a
> predicate relation in a prenex,

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}?

--And