Received: from mail-pz0-f61.google.com ([209.85.210.61]:47194)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhDs9ZH1BBoEW5uePA@googlegroups.com>)
	id 1RI4n6-0005us-Il; Sun, 23 Oct 2011 13:37:17 -0700
Received: by pzk4 with SMTP id 4sf5934781pzk.16
        for <multiple recipients>; Sun, 23 Oct 2011 13:37:02 -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=NjJE99d+TH2hsbWLl22ts5A/f3wPAhfXubAylwAIaoY=;
        b=HktMwBIynv0NCYJhxf5wmc6xP1IXcIyGJozmxUEzgu8XYvm9/lMg6+MF70YeNywdP7
         j/5RxSCPwrU+WDERDIG9Y+RSISvPvxMD2ofHWqTnQWZSpCwrq4Q2Sut2HiZ612mgFg6O
         tgXXaDIw4YT+8kchO70jtiaYBJDQ7K7V27nrI=
Received: by 10.68.44.233 with SMTP id h9mr4137046pbm.2.1319402220393;
        Sun, 23 Oct 2011 13:37:00 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.19.131 with SMTP id f3ls18234783pbe.5.gmail; Sun, 23 Oct
 2011 13:36:59 -0700 (PDT)
Received: by 10.68.8.199 with SMTP id t7mr8314522pba.3.1319402219842;
        Sun, 23 Oct 2011 13:36:59 -0700 (PDT)
Received: by 10.68.8.199 with SMTP id t7mr8314521pba.3.1319402219834;
        Sun, 23 Oct 2011 13:36:59 -0700 (PDT)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id l3si9551705pbd.0.2011.10.23.13.36.59
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 23 Oct 2011 13:36:59 -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 p9NKaxH5019559
	for <lojban@googlegroups.com>; Sun, 23 Oct 2011 20:36:59 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RI4mw-0002zG-KN
	for lojban@googlegroups.com; Sun, 23 Oct 2011 16:36:58 -0400
Date: Sun, 23 Oct 2011 16:36:58 -0400
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
Message-ID: <20111023203658.GH28229@gonzales>
References: <20111020024132.GH5010@gonzales>
 <E7E854FB-384D-4137-B4C4-F200D8FAFFB7@yahoo.com>
 <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>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="it/zdz3K1bH9Y8/E"
Content-Disposition: inline
In-Reply-To: <1319308068.11247.YahooMailRC@web81306.mail.mud.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: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
X-Spam-Score: -0.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /


--it/zdz3K1bH9Y8/E
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Saturday, 2011-10-22 at 11:27 -0700 - John E Clifford <kali9putra@yahoo.c=
om>:

> "There aren't any" is ambiguous in these situations.  I try to use it onl=
y when=20
> I mean there are none in the domain.  But it can also mean "there don't e=
xist,"=20
> that is, the intersection of zasti and cipnrdodo is null.  In this latter=
 sense,=20
> your sentence presents no problem: they are in the non-existents' part of=
 the=20
> domain.
> In the former sense, however, a suitably expressed Lojban sentence,=20
> with {lo [flying] cipnrdodo}  as the first subject and the second part be=
ing =20
> {no da ca ca'e cipnrdodo} would be contradictory, i.e. really really fals=
e.
>=20
> As for taking one kind of model as a special case of the other, the best =
you can=20
> hope for is something close to an isomorphism.  In the first, it is impor=
tant=20
> that the items in various worlds are actually identical, the very same th=
ing in=20
> each world in which it occurs (svatman).  In the other it is equally impo=
rtant=20
> that things in one world never occur in another one but are, at best, joi=
ned=20
> with things in other worlds by various kind of causal, etc. chains (karma=
,=20
> say).  The first makes it possible to say"suppose Socrates were an 18th c=
entury=20
> Irish washerwoman" but make it impossible to draw meaningful conclusions =
=66rom=20
> that supposition, the second makes the hypothetical hard to state, but, a=
ssuming=20
> that being Socrates is something more than a unitary haeceity, might be a=
ble to=20
> make some plausible predictions.

Maybe I understand you.

I'm not sure how this differs from xorxes' "stages"; it seems rather
similar.

But let me see if I'm actually with you.

So if I wanted to say "those albatrosses looked mighty silly when they
were in flight a few minutes ago; I'm glad they've landed now", there
would be two sets of albatrosses in the domain - the flying ones and the
landed ones - and the fact that the anaphora manages to get from the
former to the latter is due to some complicated linkages between these
two sets. The flying ones don't satisfy "now exist", unlike the landed
ones, but they do satisfy "is an albatross" and "is flying".

Quantifiers and other constructs often add an implicit "and exist", so
e.g. I get the right count if I ask how many albatrosses are currently
here, and I can say that none of the albatrosses here are flying. (That
I get the right count even if I ask how many albatrosses have been here
recently is due to something more complicated involving the linkages (we
effectively count albatross world-lines, presumably).)

Now the tricky point is that some constructs *don't* add an implicit
"and exist", so I can say something general about albatrosses and pick
up both the landed and flying albatrosses; similarly I can say "flying
albatrosses look silly" and have our flying albatrosses as referents of
"flying albatrosses" - because even though they don't exist now, they
*are* flying now.

Was this your intention?

I must say, it seems rather complicated and unintuitive to me.

Martin

> ----- Original Message ----
> From: Martin Bays <mbays@sdf.org>
> To: lojban@googlegroups.com
> Sent: Fri, October 21, 2011 10:08:01 PM
> Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plur=
al=20
> variable
>=20
> * Friday, 2011-10-21 at 15:43 -0400 - John E. Clifford <kali9putra@yahoo.=
com>:
>=20
> > 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.
>=20
> I would be interested to hear about what you've developed.
>=20
> > 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}.
>=20
> Ah! Then yes, please read 'particular' whenever I write 'existential'.
>=20
> > 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).
>=20
> 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.
>=20
> 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".
>=20
> Martin
>=20
> > On Oct 21, 2011, at 15:00, Martin Bays <mbays@sdf.org> wrote:
> >=20
> > > * Friday, 2011-10-21 at 08:46 -0700 - John E Clifford=20
> <kali9putra@yahoo.com>:
> > >=20
> > >> If you want to say that flying dodos look silly, then your domain of=
=20
> >discourse=20
> >
> > >> (at least in Lojban) contains flying dodos.  {lo} expressions always=
 imply=20
> >the=20
> >
> > >> particular quantification on their defining predication.  Not that s=
uch=20
> >things=20
> >
> > >> need exist, of course (part of the reason I use "particular" rather =
than=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 w=
ant
> > > 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 do=
n'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 on=
e!
>=20
> --=20
> You received this message because you are subscribed to the Google Groups=
 "lojban" group.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to lojban+unsubscribe@googlegr=
oups.com.
> For more options, visit this group at http://groups.google.com/group/lojb=
an?hl=3Den.

--it/zdz3K1bH9Y8/E
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iEYEARECAAYFAk6keuoACgkQULC7OLX7LNYcCgCbB+alHjQTvfvjEtV098zq85la
F6kAn3xi0uTrqr/4R8IhcIDy3xuUwOjp
=HUpg
-----END PGP SIGNATURE-----

--it/zdz3K1bH9Y8/E--