From xod@sixgirls.org Sat Dec 01 09:44:00 2001 Return-Path: X-Sender: xod@reva.sixgirls.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_0_1); 1 Dec 2001 17:44:01 -0000 Received: (qmail 7859 invoked from network); 1 Dec 2001 17:44:00 -0000 Received: from unknown (216.115.97.167) by m3.grp.snv.yahoo.com with QMQP; 1 Dec 2001 17:44:00 -0000 Received: from unknown (HELO reva.sixgirls.org) (216.27.131.50) by mta1.grp.snv.yahoo.com with SMTP; 1 Dec 2001 17:43:59 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by reva.sixgirls.org (8.11.6+3.4W/8.11.6) with ESMTP id fB1HhwC18747 for ; Sat, 1 Dec 2001 12:43:59 -0500 (EST) Date: Sat, 1 Dec 2001 12:43:58 -0500 (EST) To: Subject: Re: [lojban] if In-Reply-To: <009101c17a79$17b5b3a0$4431ca3e@oemcomputer> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII From: Invent Yourself X-Yahoo-Profile: throwing_back_the_apple X-Yahoo-Message-Num: 12434 On Sat, 1 Dec 2001, G. Dyke wrote: > other sentences that can't be translated with ganai (using words I happen to > know the lojban for): > > If you meet john, welcome him > > It's ridiculous to use ganai gi, as this sentence does not cover cases when > you don't meet john. Actually it does. The only case it doesn't cover is when you meet John but don't welcome him. This is a common misconception due to people failing to 1) realize that when a statement is given we assume it is true and analyze its selnibli, 2) actually working out the truth table for themselves. The entire debate is given on http://nuzban.wiw.org/wiki/index.php?if > fau lenu do penmi la djan. ku ko cusku lu fi'i djan > > I have more trouble with the sentence > > if you had met john, you'd have thought he was handsome. > > Grice says that in fact you didn't meet john, so ganai gi logic says we'll > never know what your opinion of his handsomeness is. I thought I recalled the Book showing that ganai gi + da'i can cover these hypotheticals. Now I can't find it. -- The tao that can be tar(1)ed is not the entire Tao. The path that can be specified is not the Full Path.