Received: from mail-pz0-f61.google.com ([209.85.210.61]:57448) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RI5fP-0006SF-Lz; Sun, 23 Oct 2011 14:33:21 -0700 Received: by pzk4 with SMTP id 4sf5954844pzk.16 for ; Sun, 23 Oct 2011 14:33:09 -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=XiCnhMdmQ+ex/NUEuGTJPY8g97G0UXvIAaI+OvlzrT4=; b=5AGoccS1K2FSBZTATQUn6dNJgaTNMY+Bw4kV9TkLpHkSWK8xGQbdwzqvvxZRu0k0wn kniNlnDwTreegQnO4pGVblXc8VpGd9ySAri6f/oMyHHeRpqkT1VMrmNMEFLMkpscdRGE PRnbb7Wcrcr8Hn0BNeqwxap6gwektTbptxhpY= Received: by 10.68.71.167 with SMTP id w7mr3967456pbu.15.1319405587141; Sun, 23 Oct 2011 14:33:07 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.42.97 with SMTP id n1ls18111960pbl.2.gmail; Sun, 23 Oct 2011 14:33:06 -0700 (PDT) Received: by 10.68.14.169 with SMTP id q9mr14892833pbc.2.1319405586603; Sun, 23 Oct 2011 14:33:06 -0700 (PDT) Received: by 10.68.14.169 with SMTP id q9mr14892832pbc.2.1319405586594; Sun, 23 Oct 2011 14:33:06 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id r5si4679299pbe.1.2011.10.23.14.33.06 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 23 Oct 2011 14:33:06 -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.5/8.14.3) with ESMTP id p9NLX5J3001290 for ; Sun, 23 Oct 2011 21:33:05 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1RI5fE-000397-RE for lojban@googlegroups.com; Sun, 23 Oct 2011 17:33:04 -0400 Date: Sun, 23 Oct 2011 17:33:04 -0400 From: Martin Bays To: lojban@googlegroups.com Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable Message-ID: <20111023213304.GA3230@gonzales> References: <20111021001006.GA28229@gonzales> <30281CDD-EDDD-4C0C-B69E-C5CCF5DD0DA5@yahoo.com> <20111021141620.GD28229@gonzales> <1319211982.72395.YahooMailRC@web81304.mail.mud.yahoo.com> <20111021190055.GF28229@gonzales> <4E25E755-2FF6-4BDB-A5A4-5252845E0992@yahoo.com> <20111022030801.GG28229@gonzales> <1319308068.11247.YahooMailRC@web81306.mail.mud.yahoo.com> <20111023203658.GH28229@gonzales> <1319404501.57946.YahooMailRC@web81303.mail.mud.yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="82I3+IH0IqGh5yIs" Content-Disposition: inline In-Reply-To: <1319404501.57946.YahooMailRC@web81303.mail.mud.yahoo.com> X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: jitfa 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: , X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / --82I3+IH0IqGh5yIs Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Sunday, 2011-10-23 at 14:15 -0700 - John E Clifford : > Maybe I shouldn't have made the Buddhist crack, it does complicate matter= s. If=20 > you take different times as separate worlds, then the ever-new view of do= mains=20 > does turn out to be like xorxes stages. That is certainly not my intenti= on, on=20 > either view (though the problem doesn't arise on the always-same view) [I= =20 > actually tend to be a nominalist in a rather strict sense and so closer t= o Hans'=20 > discourse representation, which never officially gets behind the words. B= ut that=20 > is not relevant here.] But given that alway-new sense and taking times a= s=20 > worlds, your description of the situation is essentially correct (and its= vague=20 > feeling of absurdity is one of the problems with that interpretation). T= he=20 > connection between the two sets of albatrosses is not merely anaphora, bu= t=20 > something involving vectors in time or some such analogy - "world lines" = is a=20 > nice cover term (which, alas, also seem to reify the connections -- an ol= d=20 > problem for Buddhists, too). Of course, "here now" does cut things down = to=20 > existents, pretty sharply (I suppose someone could argue, .... . But why= =20 > bother?). The point is that Lojban quantifiers do not add "and exists", e= ver. =20 > That comes out of the predicates, if at all. As to whether the former fl= ying=20 > albatrosses are flying now, that is hard to say (partly because it is unc= lear=20 > just what is being asked); in some cases they are in the current domain o= f=20 > discourse and in the extensions of both "albatross" and "flying", but it = is not=20 > clear whether the current domain of discourse is tightly correlated with = "now". =20 > And, of course, there is no rule that requires either the always-new=20 > interpretation of things nor the worlds view of time. There are advantag= es and=20 > disadvantages to all of these choices. > > A reasonable view (except for the=20 > complexities that spelling it out exactly involves) is that each world ex= tends=20 > through time, with things coming into existence and falling out as time g= oes=20 > along, i.e., that our world is a typical world. The formal gains of devi= ating=20 > from this view have to be pretty impressive to justify shifting from it. = On=20 > that view, the ten minutes ago's flying albatrosses still exist (most of = them=20 > anyhow usually) but are no longer flying (the ones we can see, anyhow) an= d they=20 > did look funny and so contribute to the general claim that flying albatro= sses=20 > look funny, even though they now look quite sedate -- largely because the= y are=20 > not flying. But the point was that we needed all flying albatrosses to satisfy "is flying" at a single time for the (ii) interpretation of {lo} to work. I thought you were claiming this. If you're not... I'm relieved! What you wrote from "A reasonable view" on seems to agree with the kind of universe I'd been assuming (i.e. that of Montague's PTQ). So do we agree that (i), or your generalised arbitrary-partition version (is), is needed to do kinds-like things with {lo} (assuming we want to avoid introducing xorxes-kinds)? Martin --82I3+IH0IqGh5yIs Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk6kiBAACgkQULC7OLX7LNZ4wQCeJ+g2kL0vdsJUpsVz3wIw+THg pFQAoJDQK53jWWjRViae6O3GXyS0ZBJY =xxoa -----END PGP SIGNATURE----- --82I3+IH0IqGh5yIs--