From lojban-out@lojban.org Fri Feb 28 05:57:36 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_4); 28 Feb 2003 13:57:36 -0000 Received: (qmail 51561 invoked from network); 28 Feb 2003 13:57:36 -0000 Received: from unknown (66.218.66.217) by m2.grp.scd.yahoo.com with QMQP; 28 Feb 2003 13:57:36 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 28 Feb 2003 13:57:36 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.12) id 18ol15-0003Cb-00 for lojban@yahoogroups.com; Fri, 28 Feb 2003 05:57:35 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.12) id 18ol0y-0003C5-00; Fri, 28 Feb 2003 05:57:28 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 28 Feb 2003 05:57:27 -0800 (PST) Received: from express.cec.wustl.edu ([128.252.21.16]) by digitalkingdom.org with esmtp (Exim 4.12) id 18ol0n-0003BV-00 for lojban-list@lojban.org; Fri, 28 Feb 2003 05:57:17 -0800 Received: from ritz.cec.wustl.edu (ritz.cec.wustl.edu [128.252.21.2]) by express.cec.wustl.edu (8.12.5/8.12.5) with ESMTP id h1SDvEfO023382 for ; Fri, 28 Feb 2003 07:57:14 -0600 (CST) Message-Id: <200302281357.h1SDvEfO023382@express.cec.wustl.edu> To: lojban-list@lojban.org Subject: [lojban] Re: Any (was: Nick will be with you shortly) In-Reply-To: Message from "G. Dyke" of "Fri, 28 Feb 2003 14:31:06 +0100." <008501c2df2d$a69992c0$669dca3e@oemcomputer> Date: Fri, 28 Feb 2003 07:57:12 -0600 X-archive-position: 4214 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: adam@cec.wustl.edu Precedence: bulk X-list: lojban-list X-eGroups-From: "Adam D. Lopresto" From: "Adam D. Lopresto" Reply-To: adam@cec.wustl.edu X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out > I'm not sure what this "Any" means. How does Edoctor(x)(need(me,x)) > differ from "I need any doctor"? In two ways. First, Edoctor(x)(need(me,x)) asserts that there is a doctor that exists (assume instead of doctor I realize I made a mistake, and assert "I need any time-machine capable of undoing the past without paradox"), and secondly, it does not assert that ANY doctor would suffice. That is, it's quite possible that doctor(nick) and not need(me,nick). Edoctor(x)(need(me,x)) just means there's someone I need who is a doctor. What we need is something like forall(x) (doctor(x) -> suffices(me, x)) (roda zo'u ganai da mikce gi da banzu tu'a mi) where banzu is something that satisfies the need. -- Adam Lopresto (adam@cec.wustl.edu) http://cec.wustl.edu/~adam/ perl -le '$_=(split q,",,`$^Xdoc -q japh`)[1].".";y/pj/PJ/;print'