Received: from mail-pz0-f61.google.com ([209.85.210.61]:65293) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RHRwS-0002tH-IT; Fri, 21 Oct 2011 20:08:19 -0700 Received: by pzk4 with SMTP id 4sf4359528pzk.16 for ; Fri, 21 Oct 2011 20:08:06 -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=AhL096rURzgR+tsY1s/8iNYTgYFH/lIESVoahRPVH8U=; b=wDkMt+dl5HWqbncQsA1y2xgh+78tLWa0g7vu6pOVRI2cDeEQmAU8Pz+mHdWNaPjefw FOyn9/saRMN18ACAiV2f3jJO/TpONcyiryauSs42I6qQzrl1ihaSFiNIEG6/+Tl7GrsS wGqV33PkhA9+udGEgWCBzqVgoVKENeV6jHU4Q= Received: by 10.68.16.71 with SMTP id e7mr1239821pbd.17.1319252883918; Fri, 21 Oct 2011 20:08:03 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.14.72 with SMTP id n8ls3588575pbc.0.gmail; Fri, 21 Oct 2011 20:08:02 -0700 (PDT) Received: by 10.68.8.135 with SMTP id r7mr17889774pba.8.1319252882346; Fri, 21 Oct 2011 20:08:02 -0700 (PDT) Received: by 10.68.8.135 with SMTP id r7mr17889773pba.8.1319252882337; Fri, 21 Oct 2011 20:08:02 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id l3si3494258pbd.0.2011.10.21.20.08.02 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 21 Oct 2011 20:08:02 -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 p9M381jP000690 for ; Sat, 22 Oct 2011 03:08:01 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1RHRwH-0008IV-Bg for lojban@googlegroups.com; Fri, 21 Oct 2011 23:08:01 -0400 Date: Fri, 21 Oct 2011 23:08:01 -0400 From: Martin Bays To: lojban@googlegroups.com Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable Message-ID: <20111022030801.GG28229@gonzales> References: <20111019184449.GC5010@gonzales> <1319076660.7053.YahooMailRC@web81305.mail.mud.yahoo.com> <20111020024132.GH5010@gonzales> <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> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="APlYHCtpeOhspHkB" Content-Disposition: inline In-Reply-To: <4E25E755-2FF6-4BDB-A5A4-5252845E0992@yahoo.com> X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: stuzi 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: / --APlYHCtpeOhspHkB Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Friday, 2011-10-21 at 15:43 -0400 - John E. Clifford : > I'm not too clear on what you thought I was proposing, though it must > not be too far from what I have in mind. I am not sure that Hans' > paper will help you much, for, while I taken over some things from him > in terms of dynamic domains and alternate domains, I have developed > somewhat differently, as Lojban seems to require. I would be interested to hear about what you've developed. > Particular quantification is the old term for existential > quantification, with the advantage that it does not appear to claim > more than something is in the domain, in particular, does not appear > to claim it is the extension of "exist" {zasti}. Ah! Then yes, please read 'particular' whenever I write 'existential'. > Sorry about the mumble there; I am just never sure which procedure > works best: a supply of things that turn up in different guises in > each world or a different set of things for each world, somehow > sometimes linked between worlds. Neither is perfect, but each has > it's uses. (Hindu v. Buddhist, as so many things are). Well, the former is essentially a special case of the latter - namely where the links consist of a coherent family of bijections. I'm not sure what the latter would help with. I don't yet understand how you deal with the flying dodos. Slightly more specifically, how you'd handle "flying dodos look silly, but there aren't actually now any flying dodos". Martin > On Oct 21, 2011, at 15:00, Martin Bays wrote: >=20 > > * Friday, 2011-10-21 at 08:46 -0700 - John E Clifford : > >=20 > >> If you want to say that flying dodos look silly, then your domain of d= iscourse=20 > >> (at least in Lojban) contains flying dodos. {lo} expressions always i= mply the=20 > >> particular quantification on their defining predication. Not that suc= h things=20 > >> need exist, of course (part of the reason I use "particular" rather th= an=20 > >> "existential" for that quantifier) > > What's particular quantification? I'm not familiar with the term. > >=20 > >> It is not clear that this is a different approach to tense and > >> intensions, though it may be a different approach to domains of > >> discourse (looking at Kamp again). > >=20 > > Discourse representation theory? Should I just read about that if I want > > to understand you? I think I do have Kamp's paper on my harddrive. > >=20 > >> The properties these nonexistent things may have probably derive from > >> the ones they have in worlds where they exist (not necessarily the > >> same things, mind you, but the things at the other end of some sort of > >> projection) > >=20 > > Not really with you here. > >=20 > > Well, it seems that I didn't understand correctly your solution. I don't > > see much wrong with the solution I understood you as proposing... but > > I'm happy to have multiple working solutions before having to pick one! --APlYHCtpeOhspHkB Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk6iM5EACgkQULC7OLX7LNZBkQCfe4uy2QbMk3pEeSyct57fFYML 5HgAoN4NrX9OQzbUHe1UHCmlOGx929gg =zs0E -----END PGP SIGNATURE----- --APlYHCtpeOhspHkB--