[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: Get Much Ca$h !
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. ...