From sentto-44114-23646-1105472819-lojban-in=lojban.org@returns.groups.yahoo.com Tue Jan 11 11:47:38 2005 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 11 Jan 2005 11:47:38 -0800 (PST) Received: from n15a.bulk.scd.yahoo.com ([66.94.237.32]) by chain.digitalkingdom.org with smtp (Exim 4.34) id 1CoRzG-0006hW-UX for lojban-in@lojban.org; Tue, 11 Jan 2005 11:47:31 -0800 Received: from [66.218.69.6] by n15.bulk.scd.yahoo.com with NNFMP; 11 Jan 2005 19:46:59 -0000 Received: from [66.218.66.157] by mailer6.bulk.scd.yahoo.com with NNFMP; 11 Jan 2005 19:46:59 -0000 X-Yahoo-Newman-Property: groups-email X-Sender: a.rosta@v21.me.uk X-Apparently-To: lojban@yahoogroups.com Received: (qmail 64528 invoked from network); 11 Jan 2005 19:46:56 -0000 Received: from unknown (66.218.66.172) by m17.grp.scd.yahoo.com with QMQP; 11 Jan 2005 19:46:56 -0000 Received: from unknown (HELO heineken.flexi-surf.co.uk) (62.41.128.20) by mta4.grp.scd.yahoo.com with SMTP; 11 Jan 2005 19:46:56 -0000 Received: from oemcomputer (host81-7-63-241.surfport24.v21.co.uk [81.7.63.241]) by heineken.flexi-surf.co.uk (8.11.6/8.11.6) with SMTP id j0BHjAS20210; Tue, 11 Jan 2005 17:45:10 GMT Message-ID: <010601c4f816$418ac940$c2e1fea9@oemcomputer> To: Cc: References: <20050111133214.99001.qmail@web41902.mail.yahoo.com> X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-eGroups-Remote-IP: 62.41.128.20 From: "And Rosta" X-Yahoo-Profile: andjamin MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Tue, 11 Jan 2005 19:42:32 -0000 Subject: [lojban] Re: xorlo & mi nitcu lo mikce Content-Type: text/plain; charset=ISO-8859-1 X-archive-position: 9231 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@v21.me.uk Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list [Am experimentally cross-posting to wikidiscuss-list. If it works, I'll discontinue the thread from Lojban list.] xorxes: > --- And Rosta wrote: > > But let me reask my question, because it hasn't been > > answered yet. "PA broda" can apply to PA subkinds of Brodakind > > or to PA things that are classified as having the property of > > being broda. > > Right, but {lo} does not make that distinction. A subkind > of brodakind is nothing but a thing classified as having the property > of being broda. This can't be right. Subkinds of, say, Mr Dog exist by virtue of being conceivable/imaginable, whereas instances of Mr Dog, viz things that I classify as having doghood, exist by virtue of having material existence (since that is a necessary condition of doghood). I accept that this is an ontological distinction. But I think it's a distinction it is needful to be able to make somehow. > > -- Xorlo generalizes over that dichotomy, which is > > fair enough, but since it is a distinction that underlies the > > two nonspecific readings of "I need a doctor", it would be > > nice to have a way of making the distinction if one wanted to. > > I'm not sure it is a pure dichotomy. {mi nitcu su'o lo mikce} > can't have the "I need any doctor" reading. Neither of two > "I need any doctor" possible readings in fact: "I need any individual > who is a doctor", or "I need any kind of doctor". Yes, you're right, & I was wrong on that point. > > That is, given "mi nitcu re mikce", it would be nice to > > have a way of signalling whether the truth-conditions of > > the sentence are to involve checking through the subkinds of > > Mr Doctor (& seeing whether I need exactly two of them) > > That's exactly what it always involves. The tricky part is > figuring out what counts as a subkind in the given context. > Perhaps in the case of doctors there are usually only two > obvious choices: either specialists of a given speciality, or > individuals. But for other brivla there may be other options. > > > or, > > on the other hand, checking through the things in the material > > world that are classified as having the property of doctorhood > > (& seeing whether I need exactly two of them). > > The (present?) material world is not especially favoured by the > _grammar_ as the universe of discourse, although it is a very > frequent obvious choice in many contexts. Okay, but one would like to somehow be able to make unambiguous claims to the effect that exactly two things have the property of doctorhood in the world in which I need them. In other words, that one can go out into the world in which my needing occurs, and find & grab hold of these two individuals that are doctors. For clarity, a second example: There is an ambiguity in "I drew two unicorns" that doesn't exist in "I ate two unicorns". How can one remove the ambiguity, if one wanted to do so? > > I'm not saying that this is something the BPFK gadri proposals > > should have covered; but I find it hard to imagine how > > the distinction could be marked other than by gadri and, > > obviously, the matter occurs to me because in ancestral > > versions of xorlo the distinction was made. > > I think that unless the grammar is to impose an ontology, > that distinction can't be made with gadri. One way to make > it is through prediacates: "is a subkind of", "is an instance > of" I understand your reasoning, but "lo instance of lo mikce" would not guarantee that we are referring to actual instances; we could be referring to imaginable instances. That's why I can't see how to do it without involving gadri. (More precisely, I can't see how to do it without having a way to distinguish quantification over subkinds from quantification over instances.) --And. ------------------------ Yahoo! Groups Sponsor --------------------~--> Has someone you know been affected by illness or disease? Network for Good is THE place to support health awareness efforts! http://us.click.yahoo.com/RzSHvD/UOnJAA/79vVAA/GSaulB/TM --------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Yahoo! Groups Links <*> To visit your group on the web, go to: http://groups.yahoo.com/group/lojban/ <*> To unsubscribe from this group, send an email to: lojban-unsubscribe@yahoogroups.com <*> Your use of Yahoo! Groups is subject to: http://docs.yahoo.com/info/terms/