From lojbab@lojban.org Mon Apr 30 14:33:37 2001 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_1_2); 30 Apr 2001 21:33:35 -0000 Received: (qmail 14111 invoked from network); 30 Apr 2001 21:33:34 -0000 Received: from unknown (10.1.10.27) by m8.onelist.org with QMQP; 30 Apr 2001 21:33:34 -0000 Received: from unknown (HELO stmpy-4.cais.net) (205.252.14.74) by mta2 with SMTP; 30 Apr 2001 21:33:34 -0000 Received: from bob.lojban.org (209-8-89-145.dial-up.cais.com [209.8.89.145] (may be forged)) by stmpy-4.cais.net (8.11.1/8.11.1) with ESMTP id f3ULXXI74018 for ; Mon, 30 Apr 2001 17:33:33 -0400 (EDT) Message-Id: <4.3.2.7.2.20010430171850.00b16cd0@127.0.0.1> X-Sender: vir1036/pop.cais.com@127.0.0.1 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Mon, 30 Apr 2001 17:36:31 -0400 To: lojban@yahoogroups.com Subject: Re: [lojban] Predicate logic and childhood. In-Reply-To: <20010430140028.A27753@digitalkingdom.org> References: <20010430155318.B504@twcny.rr.com> <20010430114521.C20818@digitalkingdom.org> <20010430155318.B504@twcny.rr.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: "Bob LeChevalier (lojbab)" At 02:00 PM 04/30/2001 -0700, Robin Lee Powell wrote: >On Mon, Apr 30, 2001 at 03:53:18PM -0400, Rob Speer wrote: > > Okay, I should have looked a little harder. Your C does have a 'ko' in it. > >Correct. Note that either ko binding stops at the .ijo, or jbofi'e has >a bug in it. I believe that variable binding must continue across an .ijo boundary because such a sentence pair can in theory be re-expressed as a single sentence having identical meaning (subject to some special rules for negation and the like), using gi'o or using go...gi, and the presumption in either case would be that the ko has scope over the entire compound bridi. However, missing the context that led to the current example, one should not being using a logical connective to express this room/park conditional, because there is time-order or causality involved. The room being cleaned may be necessary, sufficient, preceding, or causally determining whether the child goes to the park; the two clauses do not in fact have independent truth values as is necessary to use logical connectives. lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org