Subject: Re: [lojban] Re: Get Much Ca$h !

From: [email-masked]
Date: Tue, 26 Sep 2000 20:47:53 EDT

In a message dated 00-09-26 19:30:09 EDT, you write:

<< >roda nirna roda
>roda se nirna roda
>roda selnirna roda
>roda roda selnirna

It is not clear what is the effect of quantifying the
same variable twice in the same sentence. Either the
second {da} has to be taken as a new variable, saying
that each thing is a nerve/neuron of each thing, or the
second quantifier has to be ignored, saying that each
thing is a nerve/neuron of itself. >>

In standard logic, it would be the second. However, in standard logic, both 
of these would be prenex and so both of the {da}s would be in the scope of 
both quantifiers and thus of the second, to which the pair qwould then 
reduce. So the result would be the second version.
Now, in Lojban. ...