Received: from mail-ww0-f61.google.com ([74.125.82.61]:34612) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RN55M-0002SG-DL; Sun, 06 Nov 2011 07:56:47 -0800 Received: by wwg7 with SMTP id 7sf8357850wwg.16 for ; Sun, 06 Nov 2011 07:56:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=bcoLWqeJVJ9Q7JKtKTdLMk+2fUckNK0CNTRrQUhqDKU=; b=ns2YyQAS14C56ArmtsDF80PJdQjYm+YM18SyZ7tSYkISUouQOTW0gxWNX2smrIxCev K+PB3BjK15OXbCbv/mC8NXzs+wOA8Vn9i7qe/nwiGZ9VmLrz3V2thbu+Qa8NEYtGa794 ZYnBYiOnfrqH102h6Y/+UGHLfrrRPvo2Ki5j8= Received: by 10.216.136.106 with SMTP id v84mr340589wei.84.1320594990068; Sun, 06 Nov 2011 07:56:30 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.14.100.66 with SMTP id y42ls546657eef.0.canary; Sun, 06 Nov 2011 07:56:29 -0800 (PST) Received: by 10.213.4.68 with SMTP id 4mr408907ebq.2.1320594988945; Sun, 06 Nov 2011 07:56:28 -0800 (PST) Received: by 10.213.4.68 with SMTP id 4mr408906ebq.2.1320594988907; Sun, 06 Nov 2011 07:56:28 -0800 (PST) Received: from mail-fx0-f52.google.com (mail-fx0-f52.google.com [209.85.161.52]) by gmr-mx.google.com with ESMTPS id z20si2866546faf.1.2011.11.06.07.56.28 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 06 Nov 2011 07:56:28 -0800 (PST) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.52 as permitted sender) client-ip=209.85.161.52; Received: by mail-fx0-f52.google.com with SMTP id n26so6293128faa.11 for ; Sun, 06 Nov 2011 07:56:28 -0800 (PST) MIME-Version: 1.0 Received: by 10.152.112.10 with SMTP id im10mr4639808lab.2.1320594988738; Sun, 06 Nov 2011 07:56:28 -0800 (PST) Received: by 10.152.19.198 with HTTP; Sun, 6 Nov 2011 07:56:28 -0800 (PST) In-Reply-To: <20111106033146.GC2831@gonzales> References: <20111104233756.GB24058@gonzales> <4EB4A123.7030305@gmail.com> <20111105061247.GE24058@gonzales> <4EB526B7.7070008@gmail.com> <20111105172216.GI24058@gonzales> <20111105201536.GB835@gonzales> <20111105233402.GA2831@gonzales> <20111106033146.GC2831@gonzales> Date: Sun, 6 Nov 2011 12:56:28 -0300 Message-ID: Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.52 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / On Sun, Nov 6, 2011 at 12:31 AM, Martin Bays wrote: > * Saturday, 2011-11-05 at 22:28 -0300 - Jorge Llamb=EDas : > > Another clear example: > =A0 =A0"A professor talked to all the students" > =A0 =A0{su'o ctuca cu tavla ro le tadni} > could mean only that each student was talked to by a professor - > formally, No, it could only mean that some professor talked to each student. > just because the kind Professor ctucas; or if we apply your > informal rule that quantification indicates that there should be > multiple things at the same level involved, then because it could be > that they were all talked to by a logic professor. Your English suggests to me a single event of talking, while your Lojban suggests a new event of talking for each of the students. But in any case, the Lojban requires at least one ctuca to be in tavla relationship with each of le tadni, there is no possibility of a different logical structure. If the context does not make it sufficiently clear what exactly counts as a ctuca, or that all the tavla relations were in fact part of a single tavla event, then the speaker should try to be more clear. The problem is not in the logical structure. >> >> Consider "a beret is a type of hat". I would say "lo ranmapku cu kles= i >> >> lo mapku". >> > >> > In reality, I'd just say {ro ranmapku cu mapku}. >> >> What about "berets and bowler hats are different types of hats"? >> "lo ranmapku jo'u lo bolmapku cu ficysi'u lo ka klesi lo mapku" > > Again we could avoid kinds, and just say {su'o da ranmapku .o nai > bolmapku}. (You need "gi'o" rather than ".o") That says something quite different though. It doesn't even preclude the possibility that every ranmapku is bolmapku as long as there is one bolmapku that is not ranmapku. > Or we could use properties rather than kinds, and say {lo ka > ranmapku na du lo ka bolmapku}, That doesn't say they are both kinds of mapku, although in this case that's kind of obvious from the lujvo. It wouldn't be obvious in the case of "lo xanto jo'u lo djirafa cu ficysi'u lo ka klesi lo mabru". > or copy your approach with {lo ka > ranmapku ku jo'u lo ka bolmapku cu ficysi'u lo ka kairni'i lo ka mapku} > (where ro da poi selkai ku'o ro de poi selkai zo'u go da de kairni'i gi > ro di ckaji da na.a de) (although {go'e fi lo ka ma kau ckaji} might > make more sense). And presumably it doesn't bother you that you need to be so roundabout to say something that seems so simple. > Can you give an example where we might want to go up two levels from > mundanes (as opposed to their stages or whatever)? I wouldn't be > surprised if there were such, and maybe you've given examples before, > but none spring to mind (other than artificial examples like "kinds of > kinds of garment" - unless you can think of natural cases where we'd > want to talk about those). Why is beret - hat - garment artificial? I'm not sure where you put the base level for "lo valsi". But at one level the first and seventeenth valsi of some book may count as one, at a lower level they may count as two, and at an even lower level they may count as thousands, depending on how many copies of the book were printed. >> > The "imaginaries" terminology of the other thread gives one plausible >> > approach to this - treating kinds as analogous (and, in a sense, dual) >> > to bunches. {su'o} would get neither bunches nor imaginaries, but {lo} >> > could get either. >> > >> > Would you reject such a solution out of hand? >> >> I think that covers most needs, but I suspect there are cases when we >> may want to quantify over kinds. > > Hmm. That didn't sound like a rejection! I tried to not make it sound as an out of hand rejection, which is not to say I find it alluring in any way. :) > For quantifying over kinds: if the rule is that {lo} gets a bunch of > imaginaries which are all imaginaries with respect to the same > equivalence relation aka differentiation criterion (i.e., to import one > more piece of model theoretic parlance, a bunch of imaginaries from the > same "imaginary sort"), I see nothing wrong with using e.g. > {ca lo prulamnicte mi citka vo lo cidja poi do nelci}. That's starting to look like Blobularity to me. Are you trying to make a distinction between "vo lo cidja poi do nelci" and "vo cidja poi do nelci"? > I would also want it to be possible to specify that we are fa'u are not > talking about imaginaries (with respect to a non-trivial equivalence > relation, i.e. one coarser than equality), perhaps with {lio} fa'u > {loi}. Equality is always the equivalence relation, at any level. > (No that wasn't a typo! The PEG morphology allows {lio} as a cmavo form, > right?) It does, but not everyone is happy with CiV and CuV syllables. > I'd also want to be able to specify the equivalence relation in question > in the former case, i.e. as per And's (iii) of the other thread. I don't > know how to do that... maybe with inner quantifiers? > {re lo fi'u vei ni'e ka skari ma kau ve'o mapku cu vi zvati} for > "two colours of hat are here", or > {so'o lo fi'u vei ni'e ka danlu ma kau ve'o cinfo ba zi morsi} for > "several species of lion will soon become extinct"? Interesting idea, but for it to be actually used we need something simpler than "fi'u vei ni'e ka (...) ma kau ve'o". > With {lio broda} being (blissfully) short for {lo fi'u vei ni'e co'e ve'o > broda}? But how would that be different from "lo broda"? > And {lo fi'u ro cinfo} being the wholly singularised lion, i.e. Lion > (rather than an infinitesimal amount of lion)? I'm not sure I get this one. mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.