From nobody@digitalkingdom.org Mon Jul 24 14:25:55 2006 Received: with ECARTIS (v1.0.0; list lojban-list); Mon, 24 Jul 2006 14:25:56 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G57vi-0002IX-S1 for lojban-list-real@lojban.org; Mon, 24 Jul 2006 14:25:34 -0700 Received: from web81312.mail.mud.yahoo.com ([68.142.199.128]) by chain.digitalkingdom.org with smtp (Exim 4.62) (envelope-from ) id 1G57vg-0002IQ-OS for lojban-list@lojban.org; Mon, 24 Jul 2006 14:25:34 -0700 Received: (qmail 92300 invoked by uid 60001); 24 Jul 2006 21:25:31 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=sbcglobal.net; h=Message-ID:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=BUx7OD+JLPKEK1j9nkYnbSk7xP5lAxD1vyxoQ61fAoVwBY/R8YqJG8gGUC5SVl4ShXAwJ3B0LP5gVWspnPzaE36cy+huXCOjzul1LzGv2Bo/TBBcBTNlvkqjEsfbkjzXxKlfA2gD15uJ9FSRj4NzUN0inQtC2vOqS43KxyCpgRU= ; Message-ID: <20060724212531.92298.qmail@web81312.mail.mud.yahoo.com> Received: from [207.150.68.88] by web81312.mail.mud.yahoo.com via HTTP; Mon, 24 Jul 2006 14:25:31 PDT Date: Mon, 24 Jul 2006 14:25:31 -0700 (PDT) From: John E Clifford Subject: [lojban] Re: A (rather long) discussion of {all} To: lojban-list@lojban.org In-Reply-To: <925d17560607191430g1b257e86lde29454e0f56740d@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-archive-position: 12272 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: clifford-j@sbcglobal.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --- Jorge Llambías wrote: > On 7/19/06, John E Clifford wrote: > > --- Jorge Llamb�as wrote: > > > > > What is the difference between wearing a hat and carrying a chair that > > > makes "the students carry chairs" c-true but "the students wear hats" > > > not c-true, when in both cases each student does? > > > > > At least two things: 1) hats, by their nature, can only be worn by one person at a time, so > the > > collective does not make sense > > So the rule would be: > "Whenever the collective reading would make sense, d-true implies c-true, > otherwise, it doesn't"? > > I find that rule very odd. > I don't think there is a rule. I can imagine a case (even if I can't produce one at the moment) where both the collective and the distributive make sense but, in fact, only one of them holds. For example, any number of people (well, some more than one anyhow) might be under a sheet, but in fact only one might be under each one. Thus, the students are under sheets would be d-true and c-truth would make sense but does not in fact hold in this case. Each predicate has its own logic about what ahppens. for example, McKay's favorite (and totally screwed up) example of "compete" in which c-true for any several things entails both not d-true and also that it is c-true for every pair, triple and so on from the several originals. And, beyond the meaning postulates for each predicate, there are a variety of factual cases: where, for ecxample, both c- and d- might apply or where c entails some arrangement of lesser ccases or some arrangment of lesser cases entails c (as in your students with chairs -- not a rule about carrying chairs, just a fact of this case). > > 2) "hats" is indefinite: if it were "the students wore THE hats" a > > collective would be possible because we now have a specific group to cover, that is we can get > a > > group-group relationship which is not available with the indefinite (to be sure three is the > group > > of worn hats, but that is not mentioned, it merely is. > > At this point I was asking about "the students wear hats" vs. "the students > carry chairs". I presume "the students carry chairs" is c-true even when > each student carries one chair, isn't it? If so, (2) does not count as > a difference. True; I was working in my head on my own case (The students carried the chairs) > > Note that the collective sense for wearing > > hats can only arise from the distributive one, whereas the case for carrying chairs might come > > from any arrangement of the members of the group and the chairs. > > "Individually", "in pairs", "in groups of three", "in groups of varying number", > "all together" are all different particular cases, and "individually" > does not seem > to warrant a special d-true to contrast it with a c-true for all the > rest. Certainly > "individually" and "all together" are special cases, because they are the two > extreme ones, but I don't see any obvious reason to lump all the intermediate > cases with the "all together" case to the exclusion of the "individually" case. I hope I didn't. The logic recognizes two cases: distributively and collectively. There are any number of other possibilities (pairwise, and so on) which are apparently not general enough to count as cases worht treating logically separately at this level (cf. case of "all" and "some" vs. "one", "five" and the rest). the other cases can be handled but only with more complex expressions -- in the logic: I am not sure about just how that will all play out in Lojban. > mu'o mi'e xorxes > N‹§²æìr¸›yúèšØb²X¬¶Ç§vf¢–Ú%¢6ÚžX¬¶·ª¹ë-–ˆÛjz+ƒ­†Ø^²æãyËnžË›±Êâmê+‚‹h†Ûiÿü0ÂZ#m©è®å² ¿¢¸ŸÊ‹«z·š–\¬¶ç$±éÝ™¨¥¶‹r·­j¼¥¢6ÚžŠà~ŠázZ 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.