From a.rosta@ntlworld.com Sat Mar 09 08:13:41 2002
Return-Path: <a.rosta@ntlworld.com>
X-Sender: a.rosta@ntlworld.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 9 Mar 2002 16:13:41 -0000
Received: (qmail 57020 invoked from network); 9 Mar 2002 16:13:41 -0000
Received: from unknown (216.115.97.171)
  by m5.grp.snv.yahoo.com with QMQP; 9 Mar 2002 16:13:41 -0000
Received: from unknown (HELO mta06-svc.ntlworld.com) (62.253.162.46)
  by mta3.grp.snv.yahoo.com with SMTP; 9 Mar 2002 16:13:40 -0000
Received: from andrew ([62.253.84.66]) by mta06-svc.ntlworld.com
          (InterMail vM.4.01.03.27 201-229-121-127-20010626) with SMTP
          id <20020309161338.EEZE7000.mta06-svc.ntlworld.com@andrew>
          for <lojban@yahoogroups.com>; Sat, 9 Mar 2002 16:13:38 +0000
To: <lojban@yahoogroups.com>
Subject: RE: [lojban] Re: [jboske] Quantifiers, Existential Import, and all that stuff
Date: Sat, 9 Mar 2002 16:12:51 -0000
Message-ID: <LPBBJKMNINKHACNDIIGMOEJDFJAA.a.rosta@ntlworld.com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
In-reply-to: <81.18bb9496.29bb312a@aol.com>
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Importance: Normal
From: "And Rosta" <a.rosta@ntlworld.com>
X-Yahoo-Group-Post: member; u=77248971
X-Yahoo-Profile: andjamin
X-Yahoo-Message-Num: 13579

pc:
> I wish you'd make up your mind  whether it is the things with 
> internal {su'o} that are + or the things that are internal {ro}, the 
> shifting back and forth makes this hard to follow without constantly 
> checking the list again, which is more effort than crazinesses 
> deserves.  But, if  {su'o broda cu brode} = {su'o lo su'o broda cu 
> brode} then {naku su'o broda cu brode} must be also {naku su'o lo 
> su'o broda cu brode} .  But one of these is patently - and the other 
> + or else the principle here is totally arbitrary (i.e., no principle 
> at all).  Or maybe there is one but it is so far from Lojban and 
> logic, that I just can't see it.  I do wish you would explain how it 
> works (on loccan3, perhaps). 

{su'o broda cu brode} = {su'o lo ro broda cu brode} 

That then logically entails {su'o lo su'o broda cu brode}.

{na ku su'o broda cu brode} = {na ku su'o lo ro broda cu brode} 

And that does not entail {na ku su'o lo su'o broda cu brode} 

"=" in these formulae means "is an abbreviation of".

--And.