Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0r87Jo-000071C; Thu, 17 Nov 94 15:56 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 4156; Thu, 17 Nov 94 15:56:19 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 4153; Thu, 17 Nov 1994 15:56:14 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 6271; Thu, 17 Nov 1994 14:50:43 +0100 Date: Wed, 16 Nov 1994 23:05:26 -0800 Reply-To: Gerald Koenig Sender: Lojban list From: Gerald Koenig Subject: Re: PROPOSAL Lambda... X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 669 Lines: 18 Some questions from a lambda lamb: 1. Can "le ka xa'eda mamta " be rendered as a) the (in mind) property of motherhood or b) the (in mind) property of being the class of all beings that constitute values for the x1 of mamta? In other words , does the lambda derived notation express the idea of an abstract class, consisting of xn, in the xa'e da formulation? 2. Is there any other way to express b.? 3. Would you point to some basic references on lambda notation? If I understand what you're trying to do with your examples, I think there is a need for a compact expression such as the lambda quantifier you propose and I am for it. djer