From pycyn@aol.com Sat Sep 21 17:59:46 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 22 Sep 2002 00:59:45 -0000 Received: (qmail 25758 invoked from network); 22 Sep 2002 00:59:45 -0000 Received: from unknown (66.218.66.216) by m9.grp.scd.yahoo.com with QMQP; 22 Sep 2002 00:59:45 -0000 Received: from unknown (HELO imo-d02.mx.aol.com) (205.188.157.34) by mta1.grp.scd.yahoo.com with SMTP; 22 Sep 2002 00:59:45 -0000 Received: from Pycyn@aol.com by imo-d02.mx.aol.com (mail_out_v34.10.) id r.134.14a6a670 (4468) for ; Sat, 21 Sep 2002 20:59:40 -0400 (EDT) Message-ID: <134.14a6a670.2abe6ffc@aol.com> Date: Sat, 21 Sep 2002 20:59:40 EDT Subject: Re: [lojban] tu'o usage To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_134.14a6a670.2abe6ffc_boundary" X-Mailer: AOL 7.0 for Windows US sub 10509 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra X-Yahoo-Message-Num: 15941 --part1_134.14a6a670.2abe6ffc_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/21/2002 12:31:26 PM Central Daylight Time, jjllambias@hotmail.com writes: << > There never was a difference between {pa lo su'o} and {pa lo ro}, > so "any more" does not apply. >> True, only one thought to hold between {lo ro} and {lo su'o}. << There is a difference between {ro lo su'o} and {ro lo ro} under nonimporting {ro}, but this has not come up in the present discussion. {ro lo ro pavyseljirna cu blabi} is true (in worlds with no unicorns) with nonimporting {ro}, but false with importing {ro}. {ro lo su'o pavyseljirna cu blabi} is false (in worlds with no unicorns) both for importing and nonimporting {ro}. >> It hasn't come up because, as you well know after hammering away at it, there is now no non-importing {ro} (though I cannot remember what the corresponding nonimporting expression is, it never being one I need). So {ro lo ro pavyseljirna cu blabi} is just false in this world (and its denial probably is too). And the same goes for {ro lo su'o pavyseljirna cu blabi}. --part1_134.14a6a670.2abe6ffc_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/21/2002 12:31:26 PM Central Daylight Time, jjllambias@hotmail.com writes:

<<

There never was a difference between {pa lo su'o} and {pa lo ro},
so "any more" does not apply.

>>
True, only one thought to hold between {lo ro} and {lo su'o}.

<<
There is a difference between {ro lo su'o} and {ro lo ro} under
nonimporting {ro}, but this has not come up in the present
discussion.

{ro lo ro pavyseljirna cu blabi} is true (in worlds with no unicorns)
with nonimporting {ro}, but false with importing {ro}.

{ro lo su'o pavyseljirna cu blabi} is false (in worlds with no
unicorns) both for importing and nonimporting {ro}.
>>
It hasn't come up because, as you well know after hammering away at it, there is now no non-importing {ro} (though I cannot remember what the corresponding nonimporting expression is, it never being one I need). So {ro lo ro pavyseljirna cu blabi} is just false in this world (and its denial probably is too). And the same goes for {ro lo su'o pavyseljirna cu blabi}.

--part1_134.14a6a670.2abe6ffc_boundary--