From sentto-44114-18343-1043293316-lojban-in=lojban.org@returns.groups.yahoo.com Wed Jan 22 19:42:39 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 22 Jan 2003 19:42:39 -0800 (PST) Received: from n3.grp.scd.yahoo.com ([66.218.66.86]) by digitalkingdom.org with smtp (Exim 4.05) id 18bYGB-0004o1-00 for lojban-in@lojban.org; Wed, 22 Jan 2003 19:42:35 -0800 X-eGroups-Return: sentto-44114-18343-1043293316-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.98] by n3.grp.scd.yahoo.com with NNFMP; 23 Jan 2003 03:41:57 -0000 X-Sender: a.rosta@lycos.co.uk X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 23 Jan 2003 03:41:55 -0000 Received: (qmail 43605 invoked from network); 23 Jan 2003 03:41:55 -0000 Received: from unknown (66.218.66.218) by m15.grp.scd.yahoo.com with QMQP; 23 Jan 2003 03:41:55 -0000 Received: from unknown (HELO lmsmtp01.st1.spray.net) (212.78.202.111) by mta3.grp.scd.yahoo.com with SMTP; 23 Jan 2003 03:41:55 -0000 Received: from oemcomputer (host81-7-57-224.surfport24.v21.co.uk [81.7.57.224]) by lmsmtp01.st1.spray.net (Postfix) with ESMTP id B2ECB1E788 for ; Thu, 23 Jan 2003 04:41:53 +0100 (MET) To: "Lojban@Yahoogroups. Com" Message-ID: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 In-Reply-To: From: "And Rosta" X-Yahoo-Profile: andjamin MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Thu, 23 Jan 2003 03:41:53 -0000 Subject: [lojban] Re: za'e "postnex" Content-Type: text/plain; charset=US-ASCII X-archive-position: 3856 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@lycos.co.uk Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Martin Bays: > Is there a nice way to quantify over variables "in afterthought"? > > It's the kind of thing you see in (informal) mathematics all the time - > it's often natural to assume your variables are arbitrary when you write > the main formula, and only afterwards think to put in the "for all x". So > you might have, say "n[sub]i > 0 (all i in N)" > > So is there an elegant way to translate this kind of thing into lojban? Not in Standard Lojban. But one has been proposed for Academic Lojban: http://www.lojban.org/wiki/index.php/Experimental%20anaphorics Your example would be: koi'a xi i bu zmadu li no zo'au ro da poi [i in N] It's not a pure afterthought system, in the sense that it doesn't avoid all need to plan ahead, but even if a pure afterthought system were possible it would be so complicated that it would be harder to use than forethought (i.e. it would be easier to plan ahead than to not plan ahead & have to go into contortions to undo the effects of the failure to plan ahead). --And. To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/