From fracture@cs6668125-184.austin.rr.com Tue Nov 05 19:51:55 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 05 Nov 2002 19:51:55 -0800 (PST) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 189HEK-00024X-00 for lojban-list@lojban.org; Tue, 05 Nov 2002 19:51:51 -0800 Received: from cs6668125-184.austin.rr.com (asdf@localhost [127.0.0.1]) by cs6668125-184.austin.rr.com (8.12.3/8.12.3) with ESMTP id gA63vJiR056440 for ; Tue, 5 Nov 2002 21:57:23 -0600 (CST) (envelope-from fracture@cs6668125-184.austin.rr.com) Received: (from fracture@localhost) by cs6668125-184.austin.rr.com (8.12.3/8.12.3/Submit) id gA63vFTX056434 for lojban-list@lojban.org; Tue, 5 Nov 2002 21:57:15 -0600 (CST) Date: Tue, 5 Nov 2002 21:57:15 -0600 From: Jordan DeLong To: lojban-list@lojban.org Subject: [lojban] Re: zo'e = ? su'o de (was Re: What the heck is this crap?) Message-ID: <20021106035715.GA56246@allusion.net> References: <20021106012854.GB54404@allusion.net> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="C7zPtVaVf+AK4Oqc" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4i X-archive-position: 2447 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: fracture@allusion.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --C7zPtVaVf+AK4Oqc Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Nov 06, 2002 at 03:30:41AM -0000, And Rosta wrote: > Jordan: > > On Tue, Nov 05, 2002 at 06:42:39PM -0500, Invent Yourself wrote: > > [...] > > > But it gets worse. According to Nick Nicholas, in a recent email to m= e: > > >=20 > > > > zo'e =3D su'o de > > > > > > > > ro bangu cu selfi'i zo'e =3D ro da poi bangu; su'o de zo'u: da self= inti de > > > > (This is read as there being a possibly distinct de for each da) > > > > > > > > zo'e finti ro bangu =3D su'o de; ro da poi bangu zo'u: de finti da > > > > (This is read as there being at least one de inventing all da) > >=20 > > This is definitely *not* book lojban (unless it's hiding somewhere), > > whether or not jboskepre agree on it=20 > >=20 > > zo'e =3D=3D "implied value". This means it can mean things which don't > > claim existence, such as "lo'e pavyseljirna" or "lo'i cridrdrakone" > > (ok; well on that last I guess it depends on whether ro is importing, > > no? -- imho it would *suck* *ass* if ro were importing though, as > > lo'i broda wouldn't be something you could say when the set is > > empty, since the inner quantifier is ro. Also I gather that > > nonimporting universal quantifier is more standard in logic as > > well). This isn't the same as "su'o de" ("de") because it doesn't > > involve an existential quantifier=20 >=20 > The book is quite clear that ro as a quantifier is importing (16.8, > as pc has just pointed out on Jboske). Like you, my preference > would have been for nonimporting ro, but I can't see any grounds > for overriding the book -- it's not inconsistent or 'broken' on > this point.=20 Ah; so it is. I'll keep this in mind -- i've been operating under the impression (for some reason when this was being discussed earlier no one had the decency to mention that it was already decided) that it wasn't defined whether it was importing or not. I'll make sure I remember it is importing from now on. > However, the so-called "inner quantifier" functions as an indicator > of cardinality. I don't see why a set of cardinality ro has to be > a set of cardinality su'o. This is a subject of ongoing debate on > Jboske. If ro is importing (and apparently it is), it does. > As for whether zo'e claims existence, "lo'e pavyseljirna" is held > to be a possible value for da, since the universe of things > can include imaginaries. The view has always been that zo'e > entails da, because any sumti bar {no da} and {zi'o} entail da. > As you say: > > The only restrictions the book places on what zo'e can represent is > > that zo'e can't stand for "noda" and it can't stand for "zi'o"=20 Well: even though ro is importing, there's still sumti which don't entail da which aren't {no da} or {zi'o}: no gerku =3D=3D no da poi gerku no da poi gerku !=3D no da, and doesn't import. no na'ebo le broda doesn't import There's probably others... FWIW, it makes sense to me that lo'e (or le'e) pavyseljirna is a possible value for da, so I retract the example with that (and obviously the one with lo'i is apparently wrong because ro imports). --=20 Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku --C7zPtVaVf+AK4Oqc Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (FreeBSD) iD8DBQE9yJMaDrrilS51AZ8RAnlLAKCxyyHsOI6nV4GnkwOCC7hOFZPrjwCeP1cI mYdwDijDo+oqY7l7kT14x+A= =WGxE -----END PGP SIGNATURE----- --C7zPtVaVf+AK4Oqc--