From - Thu Mar 28 12:16:58 1996 Received: from mail.crl.com (mail.crl.com [165.113.1.22]) by locke.ccil.org (8.6.9/8.6.10) with SMTP id RAA05253 for ; Wed, 27 Mar 1996 17:59:28 -0500 Received: from crl5.crl.com by mail.crl.com with SMTP id AA19278 (5.65c/IDA-1.5); Wed, 27 Mar 1996 14:55:48 -0800 Received: by crl5.crl.com id AA04424 (5.65c/IDA-1.5); Wed, 27 Mar 1996 14:47:01 -0800 Date: Wed, 27 Mar 1996 14:47:01 -0800 (PST) X-UIDL: 828029790.033 From: "John E. Clifford" To: Logical Language Group Cc: cowan@ccil.org Subject: Re: opacity In-Reply-To: <199603270204.VAA01477@access2.digex.net> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: U X-Mozilla-Status: 0011 Content-Length: 465 BTW, I am not sure that "See how they run" involves abstractions, though it might and it might also be a place for real lambdas in predicate position: "see le lambda F, the mice F run" (i.e., in English despite the Lojban syntax, "the F such that the mice run F-ly"). Or, of couse, it may just be a UI, "My, how they do run!" Maybe we need a totally ambiguous item to cover the spread? I don't have a logic.txt; where should I look? pc>|83