From lojban-out@lojban.org Mon Jun 13 11:20:58 2005 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 6034 invoked from network); 13 Jun 2005 18:20:58 -0000 Received: from unknown (66.218.66.172) by m21.grp.scd.yahoo.com with QMQP; 13 Jun 2005 18:20:58 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta4.grp.scd.yahoo.com with SMTP; 13 Jun 2005 18:20:58 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.50) id 1DhtYP-0003fG-DY for lojban@yahoogroups.com; Mon, 13 Jun 2005 11:20:57 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.50) id 1DhtY3-0003ep-Qi; Mon, 13 Jun 2005 11:20:36 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Mon, 13 Jun 2005 11:20:30 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.50) id 1DhtXp-0003eb-HJ for lojban-list-real@lojban.org; Mon, 13 Jun 2005 11:20:21 -0700 Received: from web81306.mail.yahoo.com ([206.190.37.81]) by chain.digitalkingdom.org with smtp (Exim 4.50) id 1DhtXm-0003eT-HN for lojban-list@lojban.org; Mon, 13 Jun 2005 11:20:21 -0700 Received: (qmail 70555 invoked by uid 60001); 13 Jun 2005 18:20:17 -0000 Message-ID: <20050613182017.70553.qmail@web81306.mail.yahoo.com> Received: from [65.69.50.91] by web81306.mail.yahoo.com via HTTP; Mon, 13 Jun 2005 11:20:17 PDT Date: Mon, 13 Jun 2005 11:20:17 -0700 (PDT) In-Reply-To: <925d17560506130949b9adcf8@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 X-Spam-Score: -2.6 (--) X-archive-position: 10154 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: clifford-j@sbcglobal.net X-list: lojban-list X-Spam-Score: -2.6 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:12:0 X-eGroups-From: John E Clifford From: John E Clifford Reply-To: clifford-j@sbcglobal.net Subject: [lojban] Re: Un-definite quantifier. X-Yahoo-Group-Post: member; u=116389790; y=vIGmNzk2yVZ31ZwHyPDZP1qSChfzWH2aeUEhQwh_2RseX4Ko1A X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 24525 --- Jorge Llambías wrote: > On 6/13/05, John E Clifford > wrote: > > Almost certainly, for > > example, {lo pavyseljirna cu pavyseljirna} is > > true in this way as a general claim, even > when > > there are no unicorns; > > When there are no unicorns where? > > The claim can be true when there are no > unicorns in the real > (physical) world because it almost certainly is > not a claim about > the real world. Hey, I'm giving you the benefit of a doubt here. I say that it is likely, given the nature of xorlo, that {lo pavyseljirna cu pavyseljirna} is true in any universe whatsoever, including whatever the current universe, whatever it is, even if it does not contain unicorns. It is not clear why this claim is not about whatever the current universe is. Of course, if it is not, then we are left to puzzle out what universe it is about; it is not obvious that it has to be one that contains unicorns, but maybe it must. > {lo namcu cu namcu}, "numbers are numbers" is > also true > even though there are no numbers in the > physical world, > because it is clear that {lo namcu} does not > refer to a > physical object. Actually, it is not obvious, though traditionally held. But, so far as I know, no one has ever insisted -- in these discussions -- that the home universe has to be -- or even contain -- the "physical universe." > It is very hard to think of any case in which > {lo broda cu broda} > would be false for any broda. At worse it would > be meaningless > {lo fugza cu fugza} if "fugza" is a meaningless > word, but even > then I would tend to think it is true but I > just don't know what > fugzas are. The point exactly. > > Quantified {lo broda} expressions, on the > other > > hand, are directly about brodas and so > require > > that there be some brodas to be true (well, > > subject to a lot of conditions about scopes > of > > negations and the like). > > Quantifiers need not range over physical > objects though. No one says that they do. Why repeat this point? > For example {ro namcu cu namcu}, "each number > is a > number", or {ro selbri cu selbri}, "each > relation is a relation", > are true, and so would {ro pavyseljirna cu > pavyseljirna} in > any context I can think of. > > The fact that {lo broda} > > without quantifiers (and with internal > > quantifiers) behaves so differently from {le > > broda} is one objection to xorlo, the claim > being > > that absolutely nothing is gained by the > > complication invloved. > > {lo broda} without quantifiers behaves just as > {le broda} > withouth quantifiers, and indeed like any other > sumti without > quantifiers. If this is true, then the meaning of {le} has changed even more radically than that of {lo} -- and now defintely to the dtriment of expressibility in Lojban. This may actually have happened since I have seen {le broda} equated with {lo "broda"}, as though accurate description were the significant difference. With quantifiers too. For any > sumti, we have: > > PA = PA da poi ke'a me > The difference is less in what is said, but how it is said: {le broda} is always about brodas (or "brodas"), {lo broda} is presumably never directly about brodas. Even if we habitually understand things correctly, the technical difference are enormous.