Re: Variables and connectives.

[John Cowan <cowan@xxxxx.xxxx.xxxx]

mark@kli.org scripsit:

> Note that {da cmene mi .e do} is equivalent to
> {da cmene mi .ije da cmene do}. What I wasn't sure about, but which I
> think has already been considered and is well-known, is whether the scope
> works like I think it does. That is, in {da cmene mi .ije da cmene do} am
> I in fact asserting that we're dealing with the *same* da in both
> sentences? I think so; I thought bound variables had a fairly long scope,
> till they were rebound or at least until {ni'o} or something. If not, all
> I'm asserting is that both you and I have names.

It works the way you think, because sentence1 .ije sentence2 is in the
scope of the (implicit) prenex that binds da.

-- 
John Cowan cowan@ccil.org
I am a member of a civilization. --David Brin