From xod@sixgirls.org Sat Dec 01 09:44:00 2001
Return-Path: <xod@reva.sixgirls.org>
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 <lojban@yahoogroups.com>; Sat, 1 Dec 2001 12:43:59 -0500 (EST)
Date: Sat, 1 Dec 2001 12:43:58 -0500 (EST)
To: <lojban@yahoogroups.com>
Subject: Re: [lojban] if
In-Reply-To: <009101c17a79$17b5b3a0$4431ca3e@oemcomputer>
Message-ID: <Pine.NEB.4.33.0112011230040.18581-100000@reva.sixgirls.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
From: Invent Yourself <xod@sixgirls.org>
X-Yahoo-Profile: throwing_back_the_apple

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.


