From lojban-out@lojban.org Fri Nov 08 11:59:49 2002 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 8 Nov 2002 19:59:49 -0000 Received: (qmail 11499 invoked from network); 8 Nov 2002 19:59:49 -0000 Received: from unknown (66.218.66.218) by m2.grp.scd.yahoo.com with QMQP; 8 Nov 2002 19:59:49 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta3.grp.scd.yahoo.com with SMTP; 8 Nov 2002 19:59:49 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 18AFIC-00074j-00 for lojban@yahoogroups.com; Fri, 08 Nov 2002 11:59:48 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 18AFHj-00073y-00; Fri, 08 Nov 2002 11:59:19 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 08 Nov 2002 11:59:18 -0800 (PST) Received: from rlpowell by digitalkingdom.org with local (Exim 4.05) id 18AFHe-00073m-00 for lojban-list@lojban.org; Fri, 08 Nov 2002 11:59:14 -0800 Date: Fri, 8 Nov 2002 11:59:14 -0800 To: lojban-list@lojban.org Subject: [lojban] Re: Is importing ro *really* "normal" in modern logic? (Re: importing ro) Message-ID: <20021108195914.GG22931@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <0H59009BEBO6HN@mxout3.netvision.net.il> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <0H59009BEBO6HN@mxout3.netvision.net.il> User-Agent: Mutt/1.4i X-archive-position: 2545 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk X-list: lojban-list X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out On Fri, Nov 08, 2002 at 02:22:12PM +0200, Adam Raizen wrote: > The *best* evidence that in modern logic universal quantification does > not have existential import comes from pc's own website > (http://users.aol.com/pycyn/quantify.html): > > pc> Lojban, following the modernest of logics, fell in with this > pc> scheme. Although it has several ways of saying ?All S is P,? they > pc> are all equivalent and all ultimately the first: > pc> > pc> roda zo?u ganai da S gi da P > pc> > pc> roda poi S cu P > pc> > pc> ro lo S cu P > pc> > pc> ro S cu P > > I guess opinions do change, even logicians' opinions. BWAHAHAHAAHAHAHAHAHAHAAAAAAA! -Robin -- http://www.digitalkingdom.org/~rlpowell/ http://www.lojban.org/ la lojban. jai curmi roda .einai to ku'i so'ada mukti le nu co'a darlu le'o -- RLP I'm a *male* Robin.