From lojban+bncCOTEtqyUDhClx9nzBBoEhPen4Q@googlegroups.com Sun Sep 18 14:33:47 2011 Received: from mail-pz0-f57.google.com ([209.85.210.57]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1R5OzV-0002MP-6m; Sun, 18 Sep 2011 14:33:47 -0700 Received: by pzd13 with SMTP id 13sf2861756pzd.12 for ; Sun, 18 Sep 2011 14:33:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version:content-type:content-disposition:in-reply-to:x-pgp-key :x-pgp-keyid:x-cunselcu'a-valsi:user-agent: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; bh=G2VRjbFKQ6W0iF59phVd2O5sqWlNXtFDUI8/x82M9+4=; b=se+0t3jCMAQCAAtvG0OmGbsYcyY03UPUf28kCtMglCnG0LS47DLT+jfsSLweuoUciU ZBm6LiU88le2UxI4Hln/KLT5wIdmu9NMAI6UI48wNfFJf9zyiDivNFTO1kYdtVHseFNs 4vRIeItN1jXUJww7Gf65jUS+H/GjUbLc1vCS4= Received: by 10.68.34.197 with SMTP id b5mr207560pbj.76.1316381605767; Sun, 18 Sep 2011 14:33:25 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.33.194 with SMTP id t2ls18291965pbi.0.gmail; Sun, 18 Sep 2011 14:33:25 -0700 (PDT) Received: by 10.68.44.102 with SMTP id d6mr1406282pbm.9.1316381605010; Sun, 18 Sep 2011 14:33:25 -0700 (PDT) Received: by 10.68.44.102 with SMTP id d6mr1406281pbm.9.1316381604991; Sun, 18 Sep 2011 14:33:24 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id j4si23324475pbi.2.2011.09.18.14.33.24 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 18 Sep 2011 14:33:24 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) client-ip=192.94.73.19; Received: from gonzales.homelinux.org (root@sverige.freeshell.org [192.94.73.4]) by sdf.lonestar.org (8.14.4/8.14.3) with ESMTP id p8ILXOVM012330 for ; Sun, 18 Sep 2011 21:33:24 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1R5OzL-00080i-Sl for lojban@googlegroups.com; Sun, 18 Sep 2011 17:33:23 -0400 Date: Sun, 18 Sep 2011 17:33:23 -0400 From: Martin Bays To: lojban@googlegroups.com Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable Message-ID: <20110918213323.GB6878@gonzales> References: <20110912225255.GG28088@gonzales> <1315882379.97949.YahooMailRC@web81308.mail.mud.yahoo.com> <20110914041335.GO28088@gonzales> <55EFAEEE-10A9-4002-951E-7BD949DC29F7@yahoo.com> <20110914232007.GC6492@gonzales> <1316055853.22283.YahooMailRC@web81304.mail.mud.yahoo.com> <20110916000632.GD7274@gonzales> <20110918172927.GA4310@gonzales> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="32u276st3Jlj2kUU" Content-Disposition: inline In-Reply-To: X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: ponse User-Agent: Mutt/1.5.21 (2010-09-15) X-Original-Sender: mbays@sdf.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) smtp.mail=mbays@sdf.org 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: , --32u276st3Jlj2kUU Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Sunday, 2011-09-18 at 16:55 -0300 - Jorge Llamb=EDas : > On Sun, Sep 18, 2011 at 2:29 PM, Martin Bays wrote: > > > > Let me expand on that slightly. To reiterate and amend, I'm suggesting > > that we understand {zo'e} as follows: > > * All omitted numbered places are filled with {zo'e} > > * By a "zo'e expression" I mean an instance of {zo'e} along with any > > =A0 =A0attached relative clauses, e.g. {zo'e noi broda}. > > * Let us assume the Nirvana Conjecture: > > =A0 =A0When interpreting lojban, other rules reduce to the problem of > > =A0 =A0determining the truth value in a given possible world of a bridi > > =A0 =A0whose sumti are all either elements of the universe or are {zo'e} > > =A0 =A0expressions (or are anaphora to the latter, but let's ignore tha= t). > > =A0 =A0So reordering, we have selbri(c_1,...,c_n,zo'e_1,...,zo'e_m). > > * Interpret this as > > =A0 =A0\exists (x_1,...,x_m) \in C. (selbri(c_1,...,c_n,x_1,...,x_m)) > > * C here is a glorked subset of the mth cartesian power of the universe; > > =A0 =A0it depends on the current context, in particular on any quantifi= ed > > =A0 =A0variables the current formula is in the scope of. > > * Importantly, C is required to be such that any (x_1,...,x_m)\in > > =A0 =A0C satisfy all relative clauses in the zo'e expressions. > > * Note that {noi} and {poi} have the same effect for existential > > =A0 =A0quantifiers, so {zo'e noi} is the same as {zo'e poi}. > > * Handling plurals: take our universe to contain pluralities as well as > > =A0 =A0atoms, as discussed elsewhere and as presented nicely in > > =A0 =A0Chierchia98 section 2.1. > > * Handling kinds: also handled, if handled we want them to be, just by > > =A0 =A0having them in our universe, as in beloved Chierchia98. >=20 > I'm not sure I see the point of having zo'e be a quantification over > the members of C, instead of a direct reference to those very same > members. What do you gain with the intermediate set C? Consider: A: xu do pu klama su'o friko gugde B1: mi pu na klama [zo'e] B2: mi pu klama [zo'e] To get the right readings without an intermediate C, and without using kinds, we'd have to interpret the first as being the sum of all African countries, and the second as being a particular country which witnesses the existential. With an intermediate C, we can give both {zo'e}s the same interpretation. Moreover, the Cless interpretation of B1 relied on the distributivity of klama's x2. How, without using a C and without using kinds, could we handle {lo nanmu na bevri lo ti jubme}, if it's intended to mean that no group consisting of men carries the table? > Would you also want to say that "ta" is a close-scope quantification > over a set T whose members are glorked from context in much the same > way as we glork the referents of "ta" in an explanation that doesn't > involve quantification? I don't think so, no. I'd rather handle {ta} and {mi} and so on as commonly understood constants. In reality, a listener who fails to make sense of a sentence with their current understanding of {ta} might try changing it - but I think that's another level of interpretation. {zo'e} and {lo} are different, I think, as can be observed by their behaviour under negation. > As to the equivalence of noi and poi: >=20 > A: xu do nelci ta > B1: mi nelci zo'e poi zunle > B2: mi nelci zo'e noi zunle >=20 > Assuming B1 and B2 mean the same, then "zo'e" could have different > referents in each answer (or your C could have different members). In > B1, "zo'e" would have the same referents as "ta", (or C would have the > referents of "ta" as its members) and "poi" will select from those the > ones on the left. In B2, the referents of "zo'e" would have to be > already restricted to those on the left presumably by the context, so > that all of its referents end up satisfying "zunle". I find B1 more > natural, and I would say B2 is appropriate only if "ta" already > pointed to only things on the left. Yes, that does seem sensible. In terms of the formalisation suggested above, we would have that C is required to have its members satisfying all noi clauses, while any poi clauses get put into the scope of the existential. So {zo'e noi broda zi'e poi brode cu brodi} -> \exists x\in C:broda(x). (brode(x) /\ brodi(x)) where C:broda(x) is notation I just made up meaning that C should be glorked such that \forall x\in C. broda(x) . > > But sadly this doesn't seem to handle e.g. > > {ca lo nicte lo cinfo cu kalte lo cidja}, which should be something like > > Gen (w, n:nicte_w, cin:cinfo_w) ( cabna_w(n) -> > > =A0 =A0\exists cid:cidja_w(cid, cin). kalte_w(cin, cid) ) > > > > "For generic (contextually relevant) worlds, nights and lions, with the > > world cotemporaneous with the night, the lion hunts for something which > > is food to it." > > > > I don't see how any of the current understandings of {lo} could get that > > existential scoped within that generic... > > > > doi xorxes, if you're still listening: how do you get the right meaning > > there? >=20 > I have a domain of discourse with three (relevant) members: {Nights, > Lions, Food}, and a simple three argument predicate: "at x1, x2 hunts > for x3". I should have guessed! I don't think this is satisfactory in the long run - i.e. I think the truth conditions for that predication should involve the properties of actual nights, lions and food. But generic phrases are complicated, and seem to still be a point of contention among formal semanticists... (www.press.uchicago.edu/ucp/books/book/chicago/G/bo3631829.html) so maybe we shouldn't expect to reach firm conclusions any time soon. Perhaps for now I should be willing to agree that your predication of kinds there is something highly ambiguous one possible meaning of which is that I gave, and leave it at that for now. > The order in which the three constant arguments are presented > is irrelevant (as long as they are properly tagged). All further > explanations in terms of particular instances of Nights, Lions or Food > are beyond this level of abstraction. In this sentence, all we are > told is the answers to "when do lions hunt for food?", "who hunts for > food at night?", "what do lions hunt for at night?", "what do lions do > to food at night?". We are not told anything about particular nights, > particular lions, or particular instances of food. >=20 > (That's assuming all "ca" does is create a new predicate with an > additional argument, which is the usual Lojban explanation of tags. > This can in fact be expanded a bit more: ca ko'a ko'e broda ko'i -> > ko'a se cabna lo nu ko'e broda ko'i, but I don't think this affects > the present issue, in the expansion we are just showing how to create > a three-place predicate out of the two two-place predicates. Agreed on both points. > ) Can I get your opinion on the "Nirvana Conjecture"? I think that if we ignore anaphora, which could really be horribly complicated, we should be in agreement that it should be true. Are we? Martin --32u276st3Jlj2kUU Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk52Y6MACgkQULC7OLX7LNZcWgCgtp9rcXLyMeVNMNcSLnLP+pMJ U3IAmQG5jndJERUVgVsQKqeV5TL1UbAg =ZYrI -----END PGP SIGNATURE----- --32u276st3Jlj2kUU--