From a.rosta@lycos.co.uk Fri Nov 08 03:40:07 2002 Return-Path: X-Sender: a.rosta@lycos.co.uk X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 8 Nov 2002 11:40:06 -0000 Received: (qmail 20096 invoked from network); 8 Nov 2002 11:40:06 -0000 Received: from unknown (66.218.66.216) by m8.grp.scd.yahoo.com with QMQP; 8 Nov 2002 11:40:06 -0000 Received: from unknown (HELO lmin08.st1.spray.net) (212.78.202.108) by mta1.grp.scd.yahoo.com with SMTP; 8 Nov 2002 11:40:06 -0000 Received: from oemcomputer (host213-121-66-155.surfport24.v21.co.uk [213.121.66.155]) by lmin08.st1.spray.net (Postfix) with ESMTP id 0B77025089 for ; Fri, 8 Nov 2002 12:40:04 +0100 (MET) To: "Lojban@Yahoogroups. Com" Subject: Attempting to bring the ro debate to a resolution Date: Fri, 8 Nov 2002 11:41:55 -0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" 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) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" X-Yahoo-Group-Post: member; u=122260811 X-Yahoo-Profile: andjamin X-Yahoo-Message-Num: 17034 The position supported by everybody except pc (= me, xorxes, Jordan, Adam, Nick + probably xod & Robin -- everybody who's participated, & probably the remainder of Lojbanists too) is this: A. ro broda cu brode = ro da poi broda cu brode B. ro da poi broda cu broda = ro da ga na broda gi brode C. ro broda cu brode = ro da ga na broda gi brode The position supported by pc is that C is definitely invalid, while either one of A and B may be declared valid, with the other one declared invalid (though his preference is for A to be valid and B to be invalid). The pros and cons of the two positions have already been debated, so I won't try to summarize them. Each position is partially but not fully consistent with CLL (which itself is not internally consistent). Contrary to what pc seems often to be saying, each position is equally compatible with logic, for the point at issue concerns which logical formula the linguistic structures correspond to. The debate about whether the universal quantifier and/or ro is importing is pretty much a red-herring, because it boils down to a question of the effect of an empty universe on truth values. It is a matter that your average Lojbanist interested only in precise and unambiguous communication can safely ignore. Neither position really has anything to do with logic. It has to do with the mapping between linguistic and logical structures. The choice really boils down to (a) which one makes the grammar simplest, (b) which one better matches established usage and established idiolects, (c) which one better matches the way we each would like things to be. How, then, do we choose between the two positions? CLL gives equal support to each, so is not decisive here. Each position is equally compatible with general lojbanological principles. There is no firmly established common lojbanic lore on the matter. The evidence for this is that if the A=B=C position had been firmly established, then we wouldn't be having the debate -- pc would go on complaining but nobody would heed it, except perhaps to point out that he was wrong --, while if pc's position had been firmly established, then he would not be the only one espousing it -- at the least, several other jboskepre ought to be backing him up. All we can do is note that pc takes the one position and everybody else the other. There is, then, a pc-less consensus in favour of A=B=C. IMO, when an issue has been as thoroughly debated as this, and a pcless consensus emerges, it counts as a pukka consensus, and it is eligible to made Official if/when the time comes to document it in official publications. I therefore propose to document A=B=C on the wiki as a pcless consensus. If that turns out to be premature, it can be revised. --And.