From sbelknap@UIC.EDU Fri Feb 28 20:55:27 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_4); 1 Mar 2003 04:55:27 -0000 Received: (qmail 96456 invoked from network); 1 Mar 2003 04:55:27 -0000 Received: from unknown (66.218.66.218) by m2.grp.scd.yahoo.com with QMQP; 1 Mar 2003 04:55:27 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta3.grp.scd.yahoo.com with SMTP; 1 Mar 2003 04:55:27 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.12) id 18oz1y-0003g5-00 for lojban@yahoogroups.com; Fri, 28 Feb 2003 20:55:26 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.12) id 18oz1p-0003fm-00; Fri, 28 Feb 2003 20:55:17 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 28 Feb 2003 20:55:16 -0800 (PST) Received: from larch.cc.uic.edu ([128.248.155.164]) by digitalkingdom.org with smtp (Exim 4.12) id 18oz1g-0003fc-00 for lojban-list@lojban.org; Fri, 28 Feb 2003 20:55:08 -0800 Received: (qmail 17359 invoked from network); 28 Feb 2003 22:55:03 -0600 Received: from dial0-252.dialin.uic.edu (HELO uic.edu) (128.248.172.69) by larch.cc.uic.edu with SMTP; 28 Feb 2003 22:55:03 -0600 Date: Fri, 28 Feb 2003 22:55:05 -0600 Subject: [lojban] Re: Any (was: Nick will be with you shortly) Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v551) To: lojban-list@lojban.org In-Reply-To: <20030301033112.GA7560@digitalkingdom.org> Message-Id: X-Mailer: Apple Mail (2.551) X-archive-position: 4256 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: sbelknap@uic.edu Precedence: bulk X-list: lojban-list From: Steven Belknap Reply-To: sbelknap@uic.edu X-Yahoo-Group-Post: member; u=810567 On Friday, February 28, 2003, at 09:31 PM, Robin Lee Powell wrote: > On Fri, Feb 28, 2003 at 10:29:05PM -0500, Craig wrote: >> No, it can't. Not when some of us have no training in predicate logic >> and can only follow the discussion with Lojban instead of Logji. > > Since da is only defined in terms of predicate logic, those people > should either go read a book on same or bow out of the discussion. You > can't expect us to teach a course in basic predicate logic here. Well, > you can, but you'd be silly to do so. > > -Robin I find that I agree with Robin, although perhaps this could have been said more kindly. There exists a brief introduction to first order predicate logic such that the level of discussion may ascend, for any and all, for each and every, at http://www.cs.olemiss.edu/~hcc/reports/prog_intro_logic.pdf -Steven