From nobody@digitalkingdom.org Thu Oct 29 14:50:35 2009 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 29 Oct 2009 14:50:35 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1N3ct8-00084n-Ox for lojban-list-real@lojban.org; Thu, 29 Oct 2009 14:50:34 -0700 Received: from mail-yw0-f204.google.com ([209.85.211.204]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1N3ct4-00084G-TF for lojban-list@lojban.org; Thu, 29 Oct 2009 14:50:34 -0700 Received: by ywh42 with SMTP id 42so2193568ywh.28 for ; Thu, 29 Oct 2009 14:50:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type; bh=vFS8vlqk46z0tliBEKnK7N21t95vihPrBBDWPY7l2dc=; b=mp31bW1y+JfU7xp9nZ80RhvWETwvkzdxbcF+7TUOmaejo+YaEdREFJJfKKfa0z5xBo Cu+ojU/qxfLQcUqvxH7hUmQJ/KLedugfcq6qkzcThcqrl+DEX+q1Gt9zM7swowiW0Mwe OQ7a46Z1KkfkksfkLNVGLSAFpL0NqKABKIXNo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=dfGskNL0RpjgGix8Cv9KtytVgJK9f5gFfLHaElN9g1/zD18WFZ4W/nk/dM2FIPhvtA fZJCMGnnjgVWaOtHaghS7FOFX8FyCS8p7M77HbnO2ltEN1yMTw6fvz8chn9dvN9Y2ZQS B1d1lfgXu2LhTLtFaXisD+gI0wrCXisKhvvn8= MIME-Version: 1.0 Received: by 10.91.26.31 with SMTP id d31mr1886489agj.44.1256853024637; Thu, 29 Oct 2009 14:50:24 -0700 (PDT) In-Reply-To: <4AE9FF7F.9000600@fastmail.fm> References: <4AE71391.5090501@fastmail.fm> <925d17560910271000j10c5f931ga1f4d12f85c12651@mail.gmail.com> <4AE9DD03.7070401@fastmail.fm> <925d17560910291215s49f2b043i8cfff957a2ec5e67@mail.gmail.com> <4AE9FF7F.9000600@fastmail.fm> Date: Thu, 29 Oct 2009 18:50:24 -0300 Message-ID: <925d17560910291450t31fce05es6eb110a56f779720@mail.gmail.com> Subject: [lojban] Re: xorlo and the expansion of bridi From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban-list@lojban.org Content-Type: text/plain; charset=ISO-8859-1 X-archive-position: 16416 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list 2009/10/29 Roman Naumann : > > 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? There's also the possible problem of ".ije". This one would be unproblematic: ci da poi mlatu zo'u ge da blabi gi da barda "There are three cats x such that: both x is white and x is big." This does not preclude there being any number of white cats that are not big or any number of big cats that are not white. If what you want to say is that there are three cats that are white, and that all the cats that are white are big, then that will be something different. And if you want to say that there are three cats that are white, and that all and only the cats that are white are big, that will be different again. > (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 correct expansion is: da poi gerku cu vasxu gi'e bajra = da poi gerku zo'u da vasxu gi'e bajra = da poi gerku zo'u ge da vasxu gi da bajra so your understanding of "gi'e" is correct. "da poi gerku zo'u da vasxu ije de poi gerku zo'u de bajra" is actually ungrammatical, because "ije" cannot connect two bridi with prenexes. The first prenex is in fact a prenex for the whole thing, and you can't have a second prenex after "ije". This is quite unintuitive and was a bad choice, in my opinion, I think there even is an example in CLL that violates this, but that's how it was defined in the formal grammar. If you stick to forethough connectives "ge ... gi ...", there can be no doubt about the scopes of the different prenexes, so it is better to use those for clarifications. The relative scopes in that case are transparent. >>> 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..?) Yes, it was sort of a rhetorical question to show why I wouldn't say that da refers to three things in the case of "ci da". If da refers to anything, it refers to all the values that the quantifier ranges over, not just to those that make the bridi true. [...] > I understood that now. The inner quantifier is just incidential information > about the cardinality of the set-of-things we are talking about. Exactly. [...] > Well explained. Thank you! The usual situation is that nobody understands what I'm saying when I try to explain these things. :) > 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? Nothing I can think of. The CLL is correct for the most part, but it has some glitches here and there. mu'o mi'e xorxes 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.