From lojban+bncCJ2UzZHuDRC_x6byBBoE3qeLLA@googlegroups.com Mon Aug 15 15:55:10 2011 Received: from mail-qy0-f189.google.com ([209.85.216.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Qt63m-0007Mn-84; Mon, 15 Aug 2011 15:55:09 -0700 Received: by qyk33 with SMTP id 33sf6543269qyk.16 for ; Mon, 15 Aug 2011 15:54:59 -0700 (PDT) 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=fY6sYTDk87eqxhnxxcm2YcwLLZkQrIwQHVyUaCfcaOg=; b=G0F/enJm6LTUommig8s+IPl/7EW/fGHoL2fvDChqUkQdt6sFd46K2hbJjC7zPMemTg sJ2zUXIvv8OqXSiZPE8ONiDXgttgWhcbxZlIU0JXd3WW5E48h3O44HZHbu66LYXly2b1 E1WkQWWFG03AXNgC5oyRGwWdDymGpjigNawyo= Received: by 10.229.90.99 with SMTP id h35mr174040qcm.1.1313448895710; Mon, 15 Aug 2011 15:54:55 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.224.174.15 with SMTP id r15ls12883675qaz.3.gmail; Mon, 15 Aug 2011 15:54:55 -0700 (PDT) Received: by 10.224.194.136 with SMTP id dy8mr3657053qab.25.1313448895131; Mon, 15 Aug 2011 15:54:55 -0700 (PDT) Received: by 10.224.194.136 with SMTP id dy8mr3657052qab.25.1313448895110; Mon, 15 Aug 2011 15:54:55 -0700 (PDT) Received: from mail-vw0-f46.google.com (mail-vw0-f46.google.com [209.85.212.46]) by gmr-mx.google.com with ESMTPS id w30si9049844qcz.0.2011.08.15.15.54.55 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 15 Aug 2011 15:54:55 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.46 as permitted sender) client-ip=209.85.212.46; Received: by mail-vw0-f46.google.com with SMTP id 1so5727687vws.5 for ; Mon, 15 Aug 2011 15:54:55 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.23.235 with SMTP id p11mr4314113vdf.232.1313448894870; Mon, 15 Aug 2011 15:54:54 -0700 (PDT) Received: by 10.52.101.170 with HTTP; Mon, 15 Aug 2011 15:54:54 -0700 (PDT) In-Reply-To: <20110814165654.GA14318@gonzales> References: <20110811101134.GF10697@gonzales> <1313159555.91794.YahooMailRC@web81303.mail.mud.yahoo.com> <20110812152917.GK10697@gonzales> <20110813082934.GO10697@gonzales> <20110813124739.GP10697@gonzales> <20110814165654.GA14318@gonzales> Date: Mon, 15 Aug 2011 19:54:54 -0300 Message-ID: Subject: Re: [lojban] xorlo and masses 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.212.46 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 On Sun, Aug 14, 2011 at 1:56 PM, Martin Bays wrote: > > I was using 'xorlo' as shorthand for 'the bpfk gadri > proposal'. But it seems that the definition there of {lo} *does* > interact with masses/groups, because its referents are explicitly > allowed to be groups. The referents of "lo" can be anything at all. The referents of "lo girzu" will be groups. The referents of "lo gerku" could be groups only if there are groups that are also dogs, which is not a matter to be decided by "lo". It's part of the semantics of "gerku". Can a group of things gerku, or can only the members of (certain) groups gerku? That depends on how "gerku" is defined. In any case, the BPFK definition of "lo" doesn't mention groups, does it? > My feeling is that the level-mixing ambiguity which allowing group > satisfaction of broda in {lo broda} would introduce - {lo besna} could > have its referents being neurons, Only if neurons can be a brain. The problem is that in English "to be" is sometimes used to mean "to constitute". If "lo so'i nirna cu besna" is true, then I don't see much of a problem in using "lo go'i", i.e. "lo besna", to refer to the same things that "lo so'i nirna" refers to. Whether or not "lo so'i nirna cu besna" can be said to be true is a matter of the semantics of "besna", not of "lo". > and generally {lo gunma be lo broda}, > with {gunma} as per your definition below, could have its referents > brodaing - would be an ambiguity too far. In my understanding of "gunma", "lo gunma be lo broda cu broda" is not a tautology, although it is true in many cases. It depends on what "broda" is. > And more generally, would you drop CLL's upwards closure axiom for > "masses", such that you can't have {lo plise} having as referent a group > whose constituents are an apple and a badger? ("lo plise" has apples as referents, so when speaking carefully I wouldn't say it has a group as referent.) And of course, I wouldn't say that "lo plise jo'u lo takside cu plise" is true, and so I wouldn't use "lo plise" instead of "lo plise jo'u lo takside" to refer to the apple and the badger. > However, I don't think that it is so useful to have the 'constituent' > relation as an ordinary selbri. A magic cmavo might be better. I think that whether there is a magic cmavo or not, there must definitely be an "x1 constitute x2" relation as an ordinary selbri. > Consider : we would always have {ko'a gunma ko'a}, where we interpret > collectively on both sides. "gunma" as a symmetric relationship? We already have "du" for that. And we would still need some other predicate for the cases where we do need the group to be a new entity. For example, when we want to quantify over groups. > Similarly, the referents of {lo selgunma be lo sruri} could be the > individuals which as groups sruri, but they could also be the sruris > themselves - depending on whether {lo sruri} is taken to sumti > distributively or collectively. There's no way of knowing whether "lo selgunma be lo sruri" refers to people or groups of people, since we don't know whether "lo sruri" is a group of people that surround the building or a group of groups of people that surround the building. (It has to be a group of something in order to fill the x2 of "selgunma".) But that's because so many different things can sruri. > And if you want > arbitrary sumtis to be able to sumti collectively, then getting a good > theory of collectivity is necessary even to understand {mi}, nevermind > {loi}. "mi" is hardly ever plural, so let's use "do", but it's the same deal. I don't see any special problem with it, it's basically equivalent to "lo te cusku" (at least as far as collectivity goes). No need to invoke the "mass" morass for it. > So allow me to recap how I would like to understand all this: > > The data in the interpretation of an ordinary sumti-6 is just a set of > individuals, its referents. When it sumtis, whether it does so > distributively or collectively is ambiguous. Yes, but... "when they sumti", please, not "when it sumtis". It's the referents, not the set, that do it. > {lu'a} and {lu'o} can be > used to disambiguate (forming extraordinary sumti-6). I pass on that one. As I said, I don't think this is something that makes sense to mark on the sumti. But according to the lore, in "lu'o lo broda cu brode", "lu'o" is supposed to say how the brodas brode, not how they broda. > Non-fractional > quantification unambiguously quantifies over the referents. Yes, but... not everyone agrees on what the referents of "loi broda" are. Are they brodas, or are they groups of brodas? That's the neverending discussion, and neither solution is really satisfactory. > The referents of {lo broda} are such that > ONE OF (currently unsettled) > (i) each referent satisfies broda, i.e. {ro lo broda cu broda} is > =A0 =A0tautologous. > (ii) the referents either each satisfy broda, or they collectively do, > =A0 =A0i.e. {ro lo broda cu broda .ija lu'o ri cu broda} Assuming that "lu'o" means "collectively" and not "lo gunma be". And also presumably assuming that "collectively" includes such things as "in pairs" and other distributions, not just "all together". For example, if I want to say "my coworkers brought their children to work today", and suppose that some of my coworkers have children together. How would you do it with "lu'o", keeping in mind that there is no child that they all brought together? > This constitutes the definition of {lo broda}, i.e. no further > information about the referents can be deduced (modulo usual assumptions > of contextual relevance). I think (i) is the way to go: "lo broda" =3D "zo'e noi ke'a broda", and not "zo'e noi ro ke'a broda". > A group is a kind of individual, so a possible referent of a sumti-6. Certainly, for example a referent of "lo girzu". > A group has as data a set of individuals - its constituents. OK. >Things > "collectively broda" iff the group whose constituents are those things > brodas. I'm not sure this will always hold. Do we need it for something? > (I think John Cowan would want to disagree here, and say in particular > that the group with only one constituent should not be distinguished > from that individual. Is that right, John? (I think you mean John Clifford.) > But this seems not to fit with your doi xorxes account of loi.) I don't have one account of "loi", I claim there are (at least) two accounts, and I favor neither. My preference is for forgetting that "loi" exists. > The exact semantics of when a group brodas depends on broda. Perhaps the > x1 of sruri is upwards closed, but the x1 of plise certainly isn't. Yes, I agree with that. 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.