From sentto-44114-15963-1032656385-lojban-in=lojban.org@returns.groups.yahoo.com Sat Sep 21 18:02:22 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 21 Sep 2002 18:02:22 -0700 (PDT) Received: from n11.grp.scd.yahoo.com ([66.218.66.66]) by digitalkingdom.org with smtp (Exim 4.05) id 17sv8d-0007yz-00 for lojban-in@lojban.org; Sat, 21 Sep 2002 18:02:19 -0700 X-eGroups-Return: sentto-44114-15963-1032656385-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.201] by n11.grp.scd.yahoo.com with NNFMP; 22 Sep 2002 00:59:46 -0000 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> To: lojban@yahoogroups.com X-Mailer: AOL 7.0 for Windows US sub 10509 From: pycyn@aol.com X-Yahoo-Profile: kaliputra MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Sat, 21 Sep 2002 20:59:40 EDT Subject: [lojban] Re: tu'o usage Content-Type: multipart/alternative; boundary="part1_134.14a6a670.2abe6ffc_boundary" X-archive-position: 1450 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: pycyn@aol.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --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}.


Yahoo! Groups Sponsor
ADVERTISEMENT

To unsubscribe, send mail to lojban-unsubscribe@onelist.com

Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.
--part1_134.14a6a670.2abe6ffc_boundary--