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 #14) id m0pip8b-0000PYC; Mon, 21 Mar 94 20:55 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 2954; Mon, 21 Mar 94 20:55:33 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 2952; Mon, 21 Mar 1994 20:55:33 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 1178; Mon, 21 Mar 1994 19:54:26 +0100 Date: Mon, 21 Mar 1994 13:48:25 -0500 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: TECH: Minor Semantic Change ABSTRACTION #1 X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 2495 Lines: 73 After receiving some scattered lobbying, and during a reconsideration of my reference-grammar papers brought on by Jorge's excellent review of them, I have decided that it makes sense to change the method of expressing property abstractions which I specified earlier. The latest versions of my paper on abstraction reflects this change. ABSTRACTION #1 BACKGROUND: The statement: 1) mi nelci le ka dunda I like the property-of giving is semantically vague. It can mean "I like giving", "I like receiving", or even "I like being a gift", depending on whether the property is closing over the x1, x3, or x2 places of "dunda" respectively. Note that Example 1 is distinct from: 2) mi nelci le nu dunda I like the event-of giving which means that I enjoyed some particular event when someone gave something to someone. CURRENT LANGUAGE: The current (and relatively recent) proposal for disambiguating is to insert a member of the da-series of pro-sumti into the place which is relevant to the abstraction: 3) mi nelci le ka da dunda I like the property-of (X being-a-giver) 4) mi nelci le ka dunda da I like the property-of (giving-the-gift X) 5) mi nelci le ka dunda fi da I like the property of (giving to X) If "da" is already in use, "de" or "di" or some subscripted form can be replaced. PROPOSED CHANGE: Instead of requiring a new, unique member of the da-series, use the special cmavo "kau" instead, which will in effect create a unique member. 6) mi nelci le ka dakau dunda I like the property of (X [newly created] being-a-giver). etc. This mechanism relieves the speaker from any burden of remembering which da-series cmavo are in use, effectively creating a new one on the fly. The only current use of "kau" is within "du'u" abstractions to specify a similar flagging of a sumti or other question-able object within an indirect question: 7) mi djuno fi le du'u dakau dunda I know about the-identity-of-X (X [new] is-a-giver). Example 7, like Example 6, uses "dakau" as a newly created temporary variable, used only within the abstraction clause, and exporting information to the surrounding context. The two uses of "kau" should not conflict, unless in nested abstractions, where the possibility of conflict already exists anyway. COMMENTS SOLICITED! -- John Cowan sharing account for now e'osai ko sarji la lojban.