From nobody@digitalkingdom.org Thu Oct 29 13:48:04 2009 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 29 Oct 2009 13:48:04 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1N3bue-0001mL-0O for lojban-list-real@lojban.org; Thu, 29 Oct 2009 13:48:04 -0700 Received: from narnia.blumen-schwarz.de ([80.190.195.21]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1N3buZ-0001ls-VM for lojban-list@lojban.org; Thu, 29 Oct 2009 13:48:03 -0700 Received: from dslb-088-074-057-082.pools.arcor-ip.net ([88.74.57.82] helo=[192.168.20.113]) by narnia.blumen-schwarz.de with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from ) id 1N3buV-00037o-UH for lojban-list@lojban.org; Thu, 29 Oct 2009 21:47:56 +0100 Message-ID: <4AE9FF7F.9000600@fastmail.fm> Date: Thu, 29 Oct 2009 21:47:59 +0100 From: Roman Naumann User-Agent: Thunderbird 2.0.0.23 (X11/20091001) MIME-Version: 1.0 To: lojban-list@lojban.org Subject: [lojban] Re: xorlo and the expansion of bridi References: <4AE71391.5090501@fastmail.fm> <925d17560910271000j10c5f931ga1f4d12f85c12651@mail.gmail.com> <4AE9DD03.7070401@fastmail.fm> <925d17560910291215s49f2b043i8cfff957a2ec5e67@mail.gmail.com> In-Reply-To: <925d17560910291215s49f2b043i8cfff957a2ec5e67@mail.gmail.com> X-Enigmail-Version: 0.95.6 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam_score: -2.5 X-Spam_score_int: -24 X-Spam_bar: -- X-Spam_report: ------------- Start der SpamAssassin Auswertung --------------- Bei Fragen dazu bitte das Forum life.d.cvmx verwenden! Details der Inhaltsanalyse: (-2.5 Punkte, 5.0 benoetigt) -1.8 ALL_TRUSTED Nachricht wurde nur über vertrauenswürdige Rechner weitergeleitet 2.0 BAYES_50 BODY: Spamwahrscheinlichkeit nach Bayes-Test: 40-60% [score: 0.5000] -2.7 AWL AWL: From: address is in the auto white-list ---------------- Ende der SpamAssassin Auswertung ----------------- X-archive-position: 16414 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: roman_naumann@fastmail.fm Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Jorge Llambías wrote: > In normal predicate logic, it's equivalent to "ci da poi mlatu cu > blabi .ije re de cu barda". The two variables are independent of one > another. In CLL-logic it means something else, but since Lojban is > supposed to be based on predicate logic, I prefer to stick to that. > The CLL-logic of quantifiers is not completely coherent or consistent. In {ci da poi mlatu cu blaci .ije re da cu barda} [according to your (more mathematical) use of logic, not the CLL use], is {da} only to be considered an independent variable, because there is a leading PA before it? (If not:) If reusing a variable in a connected bridi generally introduces a new, independend variable, expressions like {lo gerku cu vasxu gi'e bajra}, which expand to {da poi gerku zo'u da vasxu ije da bajra} would mean {da poi gerku zo'u da vasxu ije de poi gerku zo'u de bajra}, which means, we could be talking about different dogs. That would collide with my understanding of {gi'e}. >> The appearance of ``ci da'' quantifies ``da'' >> as referring to three things, which are restricted by the relative clause to >> be cats. > > The way I would say it is that the variable "da" takes values from the > things that are cats, and (exactly) three of those values satisfy the > predicate "blabi" (which also means all but three of those values > don't satify it). If there is any reference going on here at all it is > to all cats, not just to the three that do satisfy the predicate > "blabi". If we were to say "no da poi mlatu cu blabi" then "da" again > takes values from the same set of referents, but now the number of > them that are said to satisfy blabi is zero. Would we say that "da" > doesn't refer to anything in this case? That's an interesting question. I would say it refers to all referents in the set, but the bridi is negated. At least the statement still has an implication on all referents in the set, your explanation includes that, the CLL one does not. (..or was that a rethorical question of yours..?) >> When ``re da'' appears later, it refers to two of the those three >> things --- there is no saying which ones. > > That's the CLL story, yes. It's appealing in simple cases like this, > but it doesn't work in general. (Or at least nobody has given any > satisfactory account of how these "double quantifications" should work > in general.) I understand. > "A lo B cu broda" or "A lo B cu broda"? > > Both are grammatical, at least if doesn't have another > quantifier. I assume you want an expansion of "A lo B broda cu brode". You are right about that. > We have shifted the outer quantifier A (a logical quantifieer) to a > proper prenex, we have transformed the "inner quantifier" B to an > ordinary number "li B" used as an ordinary argument, and we have got > rid of "lo". Indeed and thanks. That's the form I was looking for. I think it could be useful for letting the computer reason about lojban. > B cannot be transformed into a proper prenexed quantifier because it > was never a true quantifier to begin with, it's just a cardinality. I understood that now. The inner quantifier is just incidential information about the cardinality of the set-of-things we are talking about. > An inner quantifier gives the number of referents of a sumti. It is > only concerned with a sumti, not with a whole bridi. > > An outer quantifier binds a variable and quantifies a whole bridi, it > says for how many values of the variable the bridi in which that > variable appears is true. Well explained. By the way, is there any document about lojban logic on the web which sticks closer to what you explaned/to logic than the CLL? mu'o mi'e namor To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.