From cowan@LOCKE.CCIL.ORG Sat Mar 6 22:44:52 2010 Date: Tue, 30 May 1995 12:40:57 -0400 From: John Cowan Subject: Re: quantifiers on sumti - late response To: Bob LeChevalier X-From-Space-Date: X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu Message-ID: la xorxes. cusku di'e > > Well, not really. I'm not 100 percent sure, but I think {lo'i} works > > like {lo}, that means "the set of all boxes, of which there are at > > least one". The inner quantifier of {lo'i} is always equivalent to {ro}. la dilyn. cusku di'e > The inner quantifier is {ro} unless it's changed, no? By putting in > {su'o}, you explicitly say it's not "the one and only set", but some > piece of that set. No. An inner quantifier with a lo-series descriptor (lo, loi, lo'i, lo'e) is an incidental comment on the size of the (veridical) set. So saying "lo'i su'o tanxe" is the same as "lo'i ro tanxe", given that at least one box exists. It's only in the le-series (and the la-series, which follows the same semantic rules) that inner quantifiers do in-mind subselection. -- John Cowan cowan@ccil.org e'osai ko sarji la lojban.