From LOJBAN@CUVMB.CC.COLUMBIA.EDU Sat Mar 6 22:53:54 2010 Return-Path: Delivered-To: veion@XIRON.PC.HELSINKI.FI Received: (qmail 16027 invoked from network); 25 Sep 1997 16:14:41 -0000 Received: from segate.sunet.se (192.36.125.6) by xiron.pc.helsinki.fi with SMTP; 25 Sep 1997 16:14:41 -0000 Received: from segate.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.1a) with SMTP id <7.55352973@SEGATE.SUNET.SE>; Thu, 25 Sep 1997 18:14:31 +0100 Date: Thu, 25 Sep 1997 16:44:01 GMT+0 Reply-To: And Rosta Sender: Lojban list From: And Rosta Organization: University of Central Lancashire Subject: quantifiable pro-bridi X-To: LOJBAN@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 646 Lines: 22 Message-ID: <6fuUOH_HXFF.A.bl.C20kLB@chain.digitalkingdom.org> 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